Rahul Mangharam
Orcid: 0000-0002-3388-8283
According to our database1,
Rahul Mangharam
authored at least 152 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Individualization of Atrial Tachycardia Models for Clinical Applications: Performance of Fiber-Independent Model.
IEEE Trans. Biomed. Eng., January, 2024
Bridging the Gap between Discrete Agent Strategies in Game Theory and Continuous Motion Planning in Dynamic Environments.
CoRR, 2024
CoRR, 2024
2023
Fiber Organization Has Little Effect on Electrical Activation Patterns During Focal Arrhythmias in the Left Atrium.
IEEE Trans. Biomed. Eng., May, 2023
IEEE Control. Syst. Lett., 2023
CoRR, 2023
AV4EV: Open-Source Modular Autonomous Electric Vehicle Platform to Make Mobility Research Accessible.
CoRR, 2023
CoRR, 2023
CoRR, 2023
Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction.
CoRR, 2023
Ensemble Gaussian Processes for Adaptive Autonomous Driving on Multi-friction Surfaces.
CoRR, 2023
Differentiable Trajectory Generation for Car-like Robots with Interpolating Radial Basis Function Networks.
CoRR, 2023
Drive Right: Promoting Autonomous Vehicle Education Through an Integrated Simulation Platform.
CoRR, 2023
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023
A Benchmark Comparison of Imitation Learning-based Control Policies for Autonomous Racing.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023
Drive Right: Shaping Public's Trust, Understanding, and Preference Towards Autonomous Vehicles Using a Virtual Reality Driving Simulator.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023
Local_INN: Implicit Map Representation and Localization with Invertible Neural Networks.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
Bypassing the Simulation-to-Reality Gap: Online Reinforcement Learning Using a Supervisor.
Proceedings of the 21st International Conference on Advanced Robotics, 2023
Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
2022
You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks.
CoRR, 2022
Teaching Autonomous Systems Hands-On: Leveraging Modular Small-Scale Hardware in the Robotics Classroom.
CoRR, 2022
CoRR, 2022
Winning the 3rd Japan Automotive AI Challenge - Autonomous Racing with the Autoware.Auto Open Source Software Stack.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022
Proceedings of the 14th International Conference on COMmunication Systems & NETworkS, 2022
Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives.
Proceedings of the IEEE Conference on Control Technology and Applications, 2022
2021
IEEE Trans. Control. Syst. Technol., 2021
Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme.
ACM Trans. Cyber Phys. Syst., 2021
Track based Offline Policy Learning for Overtaking Maneuvers with Autonomous Racecars.
CoRR, 2021
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021
2020
Teaching Autonomous Systems at 1/10th-scale: Design of the F1/10 Racecar, Simulators and Curriculum.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020
How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020
FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis.
Proceedings of the 37th International Conference on Machine Learning, 2020
2019
F1TENTH: An Open-source Evaluation Environment for Continuous Control and Reinforcement Learning.
Proceedings of the NeurIPS 2019 Competition and Demonstration Track, 2019
Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Electroanatomic Mapping to determine Scar Regions in patients with Atrial Fibrillation.
Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019
2018
Data-Driven Model Predictive Control with Regression Trees - An Application to Building Energy Management.
ACM Trans. Cyber Phys. Syst., 2018
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
Learning and control using gaussian processes: towards bridging machine learning and controls for physical systems.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018
Proceedings of the 2018 Annual American Control Conference, 2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
Automated closed-loop model checking of implantable pacemakers using abstraction trees.
SIGBED Rev., 2017
CoRR, 2017
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the IEEE Conference on Control Technology and Applications, 2017
Proceedings of the 2017 American Control Conference, 2017
Proceedings of the Mobile Health - Sensors, Analytic Methods, and Applications, 2017
2016
Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, 2016
Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, 2016
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016
Proceedings of the ARCH@CPSWeek 2016, 2016
Proceedings of the 8th International Conference on Communication Systems and Networks, 2016
Robust model predictive control for non-linear systems with input and state constraints via feedback linearization.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
CyberCardia project: Modeling, verification and validation of implantable cardiac devices.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016
2015
Found. Trends Electron. Des. Autom., 2015
IEEE Des. Test, 2015
Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, 2015
Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, 2015
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Proceedings of the 2015 International Conference on Embedded Software, 2015
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015
2014
IEEE Trans. Ind. Informatics, 2014
ACM Trans. Embed. Comput. Syst., 2014
ACM Trans. Embed. Comput. Syst., 2014
Int. J. Softw. Tools Technol. Transf., 2014
Distributed control of a swarm of buildings connected to a smart grid: demo abstract.
Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, 2014
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014
Proceedings of the American Control Conference, 2014
2013
ProtoDrive: an experimental platform for electric vehicle energy scheduling and control.
SIGBED Rev., 2013
MLE+: a tool for integrated design and deployment of energy efficient building controls.
SIGBED Rev., 2013
IEEE J. Sel. Areas Commun., 2013
Proceedings of the 12th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2013), 2013
Towards synthesis of platform-aware attack-resilient control systems: extended abstract.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013
Proceedings of the American Control Conference, 2013
Proceedings of the American Control Conference, 2013
2012
ACM Trans. Embed. Comput. Syst., 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, 2012
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012
Proceedings of the 11th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2012), 2012
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the American Control Conference, 2012
2011
IEEE Trans. Autom. Control., 2011
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
AutoPlug: An automotive test-bed for electronic controller unit testing and verification.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011
Demo abstract: AutoPlug - An automotive test-bed for ECU testing, validation and verification.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011
Proceedings of the 2011 International Green Computing Conference and Workshops, 2011
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Proceedings of the Conference Record of the Forty Fifth Asilomar Conference on Signals, 2011
2010
EURASIP J. Wirel. Commun. Netw., 2010
Proceedings of Wireless Health 2010, 2010
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010
Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
2009
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009
2008
MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks.
IEEE Trans. Wirel. Commun., 2008
Ad Hoc Networks, 2008
2007
Real Time Syst., 2007
Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007
2006
RT-Link: A Time-Synchronized Link Protocol for Energy- Constrained Multi-hop Wireless Networks.
Proceedings of the Third Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, 2006
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006
Proceedings of the 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, 2006
MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure.
Proceedings of the 3rd International Conference on Broadband Communications, 2006
2005
Optimizing Transmission and Shutdown for Energy-Efficient Real-time Packet Scheduling in Clustered Ad Hoc Networks.
EURASIP J. Wirel. Commun. Netw., 2005
GrooveSim: a topography-accurate simulator for geographic routing in vehicular networks.
Proceedings of the Second International Workshop on Vehicular Ad Hoc Networks, 2005
Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005
Optimizing transmission and shutdown for energy-efficient packet scheduling in sensor networks.
Proceedings of the Wireless Sensor Networks, Second European Workshop, 2005