default search action
Rahul Mangharam
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j29]Johannes Betz, Venkat Krovi, Rahul Mangharam, Madhur Behl:
Editorial: Special Issue on Opportunities and Challenges with Autonomous Racing. Field Robotics 4(1): 246-248 (2024) - [j28]Jiyue He, Arkady M. Pertsov, John R. Bullinga, Rahul Mangharam:
Individualization of Atrial Tachycardia Models for Clinical Applications: Performance of Fiber-Independent Model. IEEE Trans. Biomed. Eng. 71(1): 258-269 (2024) - [c105]Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam:
Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. ACC 2024: 344-351 - [c104]Luigi Berducci, Shuo Yang, Rahul Mangharam, Radu Grosu:
Learning Adaptive Safety for Multi-Agent Systems. ICRA 2024: 2859-2865 - [c103]Zhijie Qiao, Mingyan Zhou, Zhijun Zhuang, Tejas Agarwal, Felix Jahncke, Po-Jen Wang, Jason Friedman, Hongyi Lai, Divyanshu Sahu, Tomás Nagy, Martin Endler, Jason Schlessman, Rahul Mangharam:
AV4EV: Open-Source Modular Autonomous Electric Vehicle Platform for Making Mobility Research Accessible. IV 2024: 2942-2947 - [c102]Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann:
Multi-modal conformal prediction regions by optimizing convex shape templates. L4DC 2024: 1343-1356 - [i41]Shuo Yang, Yu Chen, Xiang Yin, Rahul Mangharam:
Learning Local Control Barrier Functions for Safety Control of Hybrid Systems. CoRR abs/2401.14907 (2024) - [i40]Hongrui Zheng, Zhijun Zhuang, Stephanie Wu, Shuo Yang, Rahul Mangharam:
Bridging the Gap between Discrete Agent Strategies in Game Theory and Continuous Motion Planning in Dynamic Environments. CoRR abs/2403.11334 (2024) - [i39]Tom Kuipers, Renukanandan Tumu, Shuo Yang, Milad Kazemi, Rahul Mangharam, Nicola Paoletti:
Conformal Off-Policy Prediction for Multi-Agent Systems. CoRR abs/2403.16871 (2024) - [i38]Zirui Zang, Ahmad Amine, Rahul Mangharam:
PoseINN: Realtime Visual-based Pose Regression and Localization with Invertible Neural Networks. CoRR abs/2404.13288 (2024) - [i37]Shuo Yang, Hongrui Zheng, Cristian-Ioan Vasile, George J. Pappas, Rahul Mangharam:
STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems. CoRR abs/2412.01656 (2024) - 2023
- [j27]Shuo Yang, Shaoru Chen, Victor M. Preciado, Rahul Mangharam:
Differentiable Safe Controller Design Through Control Barrier Functions. IEEE Control. Syst. Lett. 7: 1207-1212 (2023) - [j26]Jiyue He, Arkady M. Pertsov, Elizabeth M. Cherry, Flavio H. Fenton, Caroline H. Roney, Steven A. Niederer, Zirui Zang, Rahul Mangharam:
Fiber Organization Has Little Effect on Electrical Activation Patterns During Focal Arrhythmias in the Left Atrium. IEEE Trans. Biomed. Eng. 70(5): 1611-1621 (2023) - [c101]Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann:
Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction. CDC 2023: 6072-6078 - [c100]Benjamin David Evans, Johannes Betz, Hongrui Zheng, Herman A. Engelbrecht, Rahul Mangharam, Hendrik W. Jordaan:
Bypassing the Simulation-to-Reality Gap: Online Reinforcement Learning Using a Supervisor. ICAR 2023: 325-331 - [c99]Zirui Zang, Hongrui Zheng, Johannes Betz, Rahul Mangharam:
Local_INN: Implicit Map Representation and Localization with Invertible Neural Networks. ICRA 2023: 11742-11748 - [c98]Zhijie Qiao, Xiatao Sun, Helen Loeb, Rahul Mangharam:
Drive Right: Shaping Public's Trust, Understanding, and Preference Towards Autonomous Vehicles Using a Virtual Reality Driving Simulator. IV 2023: 1-8 - [c97]Xiatao Sun, Mingyan Zhou, Zhijun Zhuang, Shuo Yang, Johannes Betz, Rahul Mangharam:
A Benchmark Comparison of Imitation Learning-based Control Policies for Autonomous Racing. IV 2023: 1-5 - [c96]Renukanandan Tumu, Lars Lindemann, Truong Nghiem, Rahul Mangharam:
Physics Constrained Motion Prediction with Uncertainty Quantification. IV 2023: 1-8 - [c95]Hongrui Zheng, Zirui Zang, Shuo Yang, Rahul Mangharam:
Towards Explainability in Modular Autonomous System Software. IV 2023: 1-8 - [i36]Renukanandan Tumu, Lars Lindemann, Truong Nghiem, Rahul Mangharam:
Physics Constrained Motion Prediction with Uncertainty Quantification. CoRR abs/2302.01060 (2023) - [i35]Zhijie Qiao, Helen Loeb, Venkata Gurrla, Matt Lebermann, Johannes Betz, Rahul Mangharam:
Drive Right: Promoting Autonomous Vehicle Education Through an Integrated Simulation Platform. CoRR abs/2302.08613 (2023) - [i34]Xiatao Sun, Shuo Yang, Rahul Mangharam:
MEGA-DAgger: Imitation Learning with Multiple Imperfect Experts. CoRR abs/2303.00638 (2023) - [i33]Hongrui Zheng, Rahul Mangharam:
Differentiable Trajectory Generation for Car-like Robots with Interpolating Radial Basis Function Networks. CoRR abs/2303.00981 (2023) - [i32]Tomás Nagy, Ahmad Amine, Truong X. Nghiem, Ugo Rosolia, Zirui Zang, Rahul Mangharam:
Ensemble Gaussian Processes for Adaptive Autonomous Driving on Multi-friction Surfaces. CoRR abs/2303.13694 (2023) - [i31]Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann:
Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction. CoRR abs/2304.00194 (2023) - [i30]Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao:
Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. CoRR abs/2306.06808 (2023) - [i29]Luigi Berducci, Shuo Yang, Rahul Mangharam, Radu Grosu:
Learning Adaptive Safety for Multi-Agent Systems. CoRR abs/2309.10657 (2023) - [i28]Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam:
Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. CoRR abs/2311.17201 (2023) - [i27]Zhijie Qiao, Mingyan Zhou, Tejas Agarwal, Zhijun Zhuang, Felix Jahncke, Po-Jen Wang, Jason Friedman, Hongyi Lai, Divyanshu Sahu, Tomás Nagy, Martin Endler, Jason Schlessman, Rahul Mangharam:
AV4EV: Open-Source Modular Autonomous Electric Vehicle Platform to Make Mobility Research Accessible. CoRR abs/2312.00951 (2023) - [i26]Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann:
Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates. CoRR abs/2312.07434 (2023) - 2022
- [c94]Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam:
Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives. CCTA 2022: 476-483 - [c93]Jayanth Bhargav, Johannes Betz, Hongrui Zheng, Rahul Mangharam:
Deriving Spatial Policies for Overtaking Maneuvers with Autonomous Vehicles. COMSNETS 2022: 859-864 - [c92]Stanley Bak, Johannes Betz, Abhinav Chawla, Hongrui Zheng, Rahul Mangharam:
Stress Testing Autonomous Racing Overtake Maneuvers with RRT. IV 2022: 806-812 - [c91]Zirui Zang, Renukanandan Tumu, Johannes Betz, Hongrui Zheng, Rahul Mangharam:
Winning the 3rd Japan Automotive AI Challenge - Autonomous Racing with the Autoware.Auto Open Source Software Stack. IV 2022: 1757-1764 - [i25]Johannes Betz, Hongrui Zheng, Alexander Liniger, Ugo Rosolia, Phillip Karle, Madhur Behl, Venkat Krovi, Rahul Mangharam:
Autonomous Vehicles on the Edge: A Survey on Autonomous Vehicle Racing. CoRR abs/2202.07008 (2022) - [i24]Hongrui Zheng, Johannes Betz, Rahul Mangharam:
Gradient-free Multi-domain Optimization for Autonomous Systems. CoRR abs/2202.13525 (2022) - [i23]Zirui Zang, Renukanandan Tumu, Johannes Betz, Hongrui Zheng, Rahul Mangharam:
Winning the 3rd Japan Automotive AI Challenge - Autonomous Racing with the Autoware.Auto Open Source Software Stack. CoRR abs/2206.00770 (2022) - [i22]Zhijie Qiao, Xiatao Sun, Helen Loeb, Rahul Mangharam:
Drive Right: Shaping Public's Trust, Understanding, and Preference Towards Autonomous Vehicles Using a Virtual Reality Driving Simulator. CoRR abs/2208.02939 (2022) - [i21]Hongrui Zheng, Zhijun Zhuang, Johannes Betz, Rahul Mangharam:
Game-theoretic Objective Space Planning. CoRR abs/2209.07758 (2022) - [i20]Shuo Yang, Shaoru Chen, Victor M. Preciado, Rahul Mangharam:
Differentiable Safe Controller Design through Control Barrier Functions. CoRR abs/2209.10034 (2022) - [i19]Benjamin David Evans, Johannes Betz, Hongrui Zheng, Herman A. Engelbrecht, Rahul Mangharam, Hendrik W. Jordaan:
Accelerating Online Reinforcement Learning via Supervisory Safety Systems. CoRR abs/2209.11082 (2022) - [i18]Johannes Betz, Hongrui Zheng, Zirui Zang, Florian Sauerbeck, Krzysztof Walas, Velin Dimitrov, Madhur Behl, Rosa Zheng, Joydeep Biswas, Venkat Krovi, Rahul Mangharam:
Teaching Autonomous Systems Hands-On: Leveraging Modular Small-Scale Hardware in the Robotics Classroom. CoRR abs/2209.11181 (2022) - [i17]Zirui Zang, Hongrui Zheng, Johannes Betz, Rahul Mangharam:
Local_INN: Implicit Map Representation and Localization with Invertible Neural Networks. CoRR abs/2209.11925 (2022) - [i16]Xiatao Sun, Mingyan Zhou, Zhijun Zhuang, Shuo Yang, Johannes Betz, Rahul Mangharam:
A Benchmark Comparison of Imitation Learning-based Control Policies for Autonomous Racing. CoRR abs/2209.15073 (2022) - [i15]Jiyue He, Kuk Jin Jang, Katie Walsh, Jackson Liang, Sanjay Dixit, Rahul Mangharam:
Electroanatomic Mapping to determine Scar Regions in patients with Atrial Fibrillation. CoRR abs/2210.12772 (2022) - [i14]Jiyue He, Arkady M. Pertsov, Sanjay Dixit, Katie Walsh, Eric Toolan, Rahul Mangharam:
Patient-Specific Heart Model Towards Atrial Fibrillation. CoRR abs/2210.12825 (2022) - [i13]Jiyue He, Arkady M. Pertsov, Elizabeth M. Cherry, Flavio H. Fenton, Caroline H. Roney, Steven A. Niederer, Zirui Zang, Rahul Mangharam:
Fiber Organization has Little Effect on Electrical Activation Patterns during Focal Arrhythmias in the Left Atrium. CoRR abs/2210.16497 (2022) - [i12]Yu Chen, Shuo Yang, Rahul Mangharam, Xiang Yin:
You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks. CoRR abs/2211.12803 (2022) - [i11]Hongrui Zheng, Zirui Zang, Shuo Yang, Rahul Mangharam:
Towards Explainability in Modular Autonomous Vehicle Software. CoRR abs/2212.00544 (2022) - 2021
- [j25]Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam:
Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme. ACM Trans. Cyber Phys. Syst. 5(4): 35:1-35:26 (2021) - [j24]Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Rhudii A. Quaye, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam:
Anytime Computation and Control for Autonomous Systems. IEEE Trans. Control. Syst. Technol. 29(2): 768-779 (2021) - [c90]Jiyue He, Arkady M. Pertsov, Sanjay Dixit, Katie Walsh, Eric Toolan, Rahul Mangharam:
Patient-specific heart model towards atrial fibrillation. ICCPS 2021: 33-43 - [i10]Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam:
Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme. CoRR abs/2101.10404 (2021) - [i9]Jayanth Bhargav, Johannes Betz, Hongrui Zheng, Rahul Mangharam:
Track based Offline Policy Learning for Overtaking Maneuvers with Autonomous Racecars. CoRR abs/2107.09782 (2021) - [i8]Stanley Bak, Johannes Betz, Abhinav Chawla, Hongrui Zheng, Rahul Mangharam:
Stress Testing Autonomous Racing Overtake Maneuvers with RRT. CoRR abs/2110.01095 (2021) - 2020
- [c89]Aman Sinha, Matthew O'Kelly, Hongrui Zheng, Rahul Mangharam, John C. Duchi, Russ Tedrake:
FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis. ICML 2020: 8992-9004 - [c88]Matthew O'Kelly, Hongrui Zheng, Achin Jain, Joseph Auckley, Kim Luong, Rahul Mangharam:
TUNERCAR: A Superoptimization Toolchain for Autonomous Racing. ICRA 2020: 5356-5362 - [c87]Alëna Rodionova, Yash Vardhan Pant, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam:
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility. ITSC 2020: 1-8 - [c86]Alëna Rodionova, Ignacio J. Alvarez, Maria Soledad Elli, Fabian Oboril, Johannes Quast, Rahul Mangharam:
How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles. IV 2020: 1457-1464 - [c85]Abhijeet Agnihotri, Matthew O'Kelly, Rahul Mangharam, Houssam Abbas:
Teaching Autonomous Systems at 1/10th-scale: Design of the F1/10 Racecar, Simulators and Curriculum. SIGCSE 2020: 657-663 - [i7]Aman Sinha, Matthew O'Kelly, Hongrui Zheng, Rahul Mangharam, John C. Duchi, Russ Tedrake:
FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis. CoRR abs/2003.03900 (2020) - [i6]Alëna Rodionova, Yash Vardhan Pant, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam:
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility. CoRR abs/2006.13267 (2020)
2010 – 2019
- 2019
- [c84]Jiyue He, Kuk Jin Jang, Katie Walsh, Jackson Liang, Sanjay Dixit, Rahul Mangharam:
Electroanatomic Mapping to determine Scar Regions in patients with Atrial Fibrillation. EMBC 2019: 5941-5944 - [c83]Houssam Abbas, Yash Vardhan Pant, Rahul Mangharam:
Temporal logic robustness for general signal classes. HSCC 2019: 45-56 - [c82]Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka:
Synthesizing stealthy reprogramming attacks on cardiac devices. ICCPS 2019: 13-22 - [c81]Kuk Jin Jang, Yash Vardhan Pant, Bo Zhang, James Weimer, Rahul Mangharam:
Robustness evaluation of computer-aided clinical trials for medical devices. ICCPS 2019: 163-173 - [c80]Yash Vardhan Pant, Rhudii A. Quaye, Houssam Abbas, Akarsh Varre, Rahul Mangharam:
Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic. NFM 2019: 355-362 - [c79]Matthew O'Kelly, Hongrui Zheng, Dhruv Karthik, Rahul Mangharam:
F1TENTH: An Open-source Evaluation Environment for Continuous Control and Reinforcement Learning. NeurIPS (Competition and Demos) 2019: 77-89 - [i5]Matthew O'Kelly, Varundev Sukhil, Houssam Abbas, Jack Harkins, Chris Kao, Yash Vardhan Pant, Rahul Mangharam, Dipshil Agarwal, Madhur Behl, Paolo Burgio, Marko Bertogna:
F1/10: An Open-Source Autonomous Cyber-Physical Platform. CoRR abs/1901.08567 (2019) - 2018
- [j23]Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova:
Real-Time Decision Policies With Predictable Performance. Proc. IEEE 106(9): 1593-1615 (2018) - [j22]Achin Jain, Francesco Smarra, Madhur Behl, Rahul Mangharam:
Data-Driven Model Predictive Control with Regression Trees - An Application to Building Energy Management. ACM Trans. Cyber Phys. Syst. 2(1): 4:1-4:21 (2018) - [c78]Francesco Smarra, Achin Jain, Rahul Mangharam, Alessandro D'Innocenzo:
Data-driven Switched Affine Modeling for Model Predictive Control. ADHS 2018: 199-204 - [c77]Houssam Abbas, Rahul Mangharam:
Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology. ACC 2018: 1592-1597 - [c76]Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova:
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. MT@CPSWeek 2018: 1-2 - [c75]Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam:
Computer Aided Clinical Trials for Implantaule Cardiac Devices. EMBC 2018: 1-4 - [c74]Achin Jain, Truong X. Nghiem, Manfred Morari, Rahul Mangharam:
Learning and control using gaussian processes: towards bridging machine learning and controls for physical systems. ICCPS 2018: 140-149 - [c73]Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, Rahul Mangharam:
Fly-by-logic: control of multi-drone fleets with temporal logic objectives. ICCPS 2018: 186-197 - [i4]Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka:
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. CoRR abs/1810.03808 (2018) - 2017
- [j21]Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, Rahul Mangharam:
Automated closed-loop model checking of implantable pacemakers using abstraction trees. SIGBED Rev. 14(2): 15-23 (2017) - [c72]Achin Jain, Madhur Behl, Rahul Mangharam:
Data Predictive Control for building energy management. ACC 2017: 44-49 - [c71]Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam:
Smooth operator: Control using the smooth robustness of temporal logic. CCTA 2017: 1235-1240 - [c70]Achin Jain, Francesco Smarra, Rahul Mangharam:
Data predictive control using regression trees and ensemble learning. CDC 2017: 4446-4451 - [c69]Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam:
An Autonomous Vehicle Control Stack. ARCH@CPSWeek 2017: 44-51 - [c68]Houssam Abbas, Matthew O'Kelly, Alëna Rodionova, Rahul Mangharam:
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles. CyPhy 2017: 94-106 - [c67]Houssam Abbas, Matthew O'Kelly, Rahul Mangharam:
Relaxed Decidability and the Robust Semantics of Metric Temporal Logic. HSCC 2017: 217-225 - [p1]Wendy Nilsen, Emre Ertin, Eric B. Hekler, Santosh Kumar, Insup Lee, Rahul Mangharam, Misha Pavel, James M. Rehg, William T. Riley, Daniel E. Rivera, Donna Spruijt-Metz:
Modeling Opportunities in mHealth Cyber-Physical Systems. Mobile Health - Sensors, Analytic Methods, and Applications 2017: 443-453 - [i3]Rahul Mangharam, Megan Reyerson, Steve Viscelli, Hamsa Balakrishanan, Alexandre M. Bayen, Surabh Amin, Leslie Richards, Leo Bagley, George J. Pappas:
MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology. CoRR abs/1705.01923 (2017) - 2016
- [j20]Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Rahul Mangharam:
The Challenges of High-Confidence Medical Device Software. Computer 49(1): 34-42 (2016) - [c66]Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka:
CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM 2016: 1445-1452 - [c65]Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam:
Robust model predictive control for non-linear systems with input and state constraints via feedback linearization. CDC 2016: 5694-5699 - [c64]Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang:
Three challenges in cyber-physical systems. COMSNETS 2016: 1-8 - [c63]Houssam Abbas, Kuk Jin Jang, Rahul Mangharam:
Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. ARCH@CPSWeek 2016: 1-8 - [c62]Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, Rahul Mangharam:
In-silico pre-clinical trials for implantable cardioverter defibrillators. EMBC 2016: 169-172 - [c61]Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Rahul Mangharam:
High-level modeling for computer-aided clinical trials of medical devices. HLDVT 2016: 85-92 - [c60]Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam:
Towards Model Checking of Implantable Cardioverter Defibrillators. HSCC 2016: 87-92 - [c59]Madhur Behl, Achin Jain, Rahul Mangharam:
Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems. ICCPS 2016: 35:1-35:10 - [c58]Achin Jain, Rahul Mangharam, Madhur Behl:
Data Predictive Control for Peak Power Reduction. BuildSys 2016: 109-118 - [c57]Achin Jain, Madhur Behl, Rahul Mangharam:
Data Predictive Control for Building Energy Management: Poster Abstract. BuildSys 2016: 245-246 - [e4]Petru Eles, Rahul Mangharam:
2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016. ACM 2016, ISBN 978-1-4503-4485-2 [contents] - [i2]Madhur Behl, Achin Jain, Rahul Mangharam:
Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems. CoRR abs/1601.05164 (2016) - 2015
- [j19]Paul Bogdan, Rahul Mangharam:
Guest Editors' Introduction: Cyber-Physical Systems for Medical Applications. IEEE Des. Test 32(5): 6-8 (2015) - [j18]Zhihao Jiang, Rahul Mangharam:
High-Confidence Medical Device Software Development. Found. Trends Electron. Des. Autom. 9(4): 309-391 (2015) - [c56]Kuk Jin Jang, Jungmin Ryoo, Orkan Telhan, Rahul Mangharam:
Cloud Mat: Context-Aware Personalization of Fitness Content. SCC 2015: 301-308 - [c55]Truong X. Nghiem, Rahul Mangharam:
Scalable scheduling of energy control systems. EMSOFT 2015: 137-146 - [c54]Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam:
Co-design of Anytime Computation and Robust Control. RTSS 2015: 43-52 - [c53]Nischal K. N., Paritosh Kelkar, Dhruva Kumar, Yash Vardhan Pant, Houssam Abbas, Joseph Devietti, Rahul Mangharam:
Hardware Optimizations for Anytime Perception and Control. RTSS 2015: 380 - [c52]Madhur Behl, Rahul Mangharam:
Poster Abstract: A Data-Driven Demand Response Recommender System. BuildSys 2015: 111-112 - [c51]Madhur Behl, Rahul Mangharam:
Sometimes, Money Does Grow On Trees: Data-Driven Demand Response with DR-Advisor. BuildSys 2015: 137-146 - [e3]David E. Culler, Yuvraj Agarwal, Rahul Mangharam:
Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, BuildSys 2015, Seoul, South Korea, November 4-5, 2015. ACM 2015, ISBN 978-1-4503-3981-0 [contents] - [i1]Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam:
Model Checking Implantable Cardioverter Defibrillators. CoRR abs/1512.08083 (2015) - 2014
- [j17]Edward A. Lee, Björn Hartmann, John Kubiatowicz, Tajana Simunic Rosing, John Wawrzynek, David Wessel, Jan M. Rabaey, Kris Pister, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, David T. Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Ben Taskar, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Rahul Mangharam, George J. Pappas, Richard M. Murray, Anthony Rowe:
The Swarm at the Edge of the Cloud. IEEE Des. Test 31(3): 8-20 (2014) - [j16]Zhihao Jiang, Miroslav Pajic, Rajeev Alur, Rahul Mangharam:
Closed-loop verification of medical devices with model abstraction and refinement. Int. J. Softw. Tools Technol. Transf. 16(2): 191-213 (2014) - [j15]Marco Di Natale, Rich West, Jian-Jia Chen, Rahul Mangharam:
Editorial: Special issue on real-time and embedded technology and applications. ACM Trans. Embed. Comput. Syst. 13(4s): 119:1-119:2 (2014) - [j14]Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam:
Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embed. Comput. Syst. 13(4s): 127:1-127:26 (2014) - [j13]Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee:
Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Trans. Ind. Informatics 10(1): 3-16 (2014) - [c50]Yash Vardhan Pant, Truong X. Nghiem, Rahul Mangharam:
Peak power reduction in hybrid energy systems with limited load forecasts. ACC 2014: 4212-4217 - [c49]Madhur Behl, Truong X. Nghiem, Rahul Mangharam:
IMpACT: Inverse model accuracy and control performance toolbox for buildings. CASE 2014: 1109-1114 - [c48]Madhur Behl, Truong X. Nghiem, Rahul Mangharam:
Model-IQ: Uncertainty propagation from sensing to modeling and control in buildings. ICCPS 2014: 13-24 - [c47]Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka:
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) 2014: 356-364 - [c46]Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donzé, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasumathi Raman, Anthony Rowe, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh:
Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys 2014: 172-173 - [e2]Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer:
5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014. OASIcs 36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-66-8 [contents] - [e1]Emmanuel Baccelli, Roozbeh Jafari, Rahul Mangharam, Rong Zheng:
Proceedings of the 4th ACM MobiHoc workshop on Pervasive wireless healthcare, MobileHealth@MobiHoc 2014, Philadelphia, Pennsylvania, USA, August 11, 2014. ACM 2014, ISBN 978-1-4503-2983-5 [contents] - 2013
- [j12]Miroslav Pajic, Rahul Mangharam, George J. Pappas, Shreyas Sundaram:
Topological Conditions for In-Network Stabilization of Dynamical Systems. IEEE J. Sel. Areas Commun. 31(4): 794-807 (2013) - [j11]William Price, Harsh Jain, Yash Pant, Rahul Mangharam:
ProtoDrive: an experimental platform for electric vehicle energy scheduling and control. SIGBED Rev. 10(2): 33 (2013) - [j10]Willy Bernal, Madhur Behl, Truong Nghiem, Rahul Mangharam:
MLE+: a tool for integrated design and deployment of energy efficient building controls. SIGBED Rev. 10(2): 34 (2013) - [c45]Truong X. Nghiem, George J. Pappas, Rahul Mangharam:
Event-based Green scheduling of radiant systems in buildings. ACC 2013: 455-460 - [c44]Fei Miao, Miroslav Pajic, Rahul Mangharam, George J. Pappas:
Networked realization of discrete-time controllers. ACC 2013: 2996-3001 - [c43]Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee:
Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS 2013: 75-76 - [c42]Madhur Behl, Neel D. Shah, Larry Vadakedathu, Dan Wheeler, Rahul Mangharam:
Demo abstract: EnergyLab: building energy testbed for demand-response. IPSN 2013: 303-304 - 2012
- [j9]Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proc. IEEE 100(1): 122-137 (2012) - [j8]Miroslav Pajic, Alexander Chernoguzov, Rahul Mangharam:
Robust architectures for embedded wireless network control and actuation. ACM Trans. Embed. Comput. Syst. 11(4): 82:1-82:24 (2012) - [c41]Truong X. Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas:
Scalable scheduling of building control systems for peak demand reduction. ACC 2012: 3050-3055 - [c40]Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam:
Green scheduling for radiant systems in buildings. CDC 2012: 7577-7582 - [c39]Shilpa Sarode, Sriram Radhakrishnan, Varun Sampath, Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Demo Abstract: Model-Based Testing of Implantable Cardiac Devices. ICCPS 2012: 221 - [c38]Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam:
Closing the loop: a simple distributed method for control over wireless networks. IPSN 2012: 25-36 - [c37]Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam:
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 173-184 - [c36]Madhur Behl, Truong Nghiem, Rahul Mangharam:
Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants. RTSS 2012: 195-204 - [c35]Willy Bernal, Madhur Behl, Truong X. Nghiem, Rahul Mangharam:
MLE+: a tool for integrated design and deployment of energy efficient building controls. BuildSys@SenSys 2012: 123-130 - [c34]Willy Bernal, Madhur Behl, Truong Nghiem, Rahul Mangharam:
MLE+: design and deployment integration for energy-efficient building controls. BuildSys@SenSys 2012: 215-216 - [c33]Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam:
Modeling and Verification of a Dual Chamber Implantable Pacemaker. TACAS 2012: 188-203 - 2011
- [j7]Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam:
The Wireless Control Network: A New Approach for Control Over Networks. IEEE Trans. Autom. Control. 56(10): 2305-2318 (2011) - [c32]Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam:
Network synthesis for dynamical system stabilization. ACSCC 2011: 821-825 - [c31]Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam:
Topological conditions for wireless control networks. CDC/ECC 2011: 2353-2360 - [c30]Truong Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas:
Green scheduling of control systems for peak demand reduction. CDC/ECC 2011: 5131-5136 - [c29]Zhihao Jiang, Rahul Mangharam:
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model. EMBC 2011: 263-266 - [c28]Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam:
Green scheduling: Scheduling of control systems for peak power reduction. IGCC 2011: 1-8 - [c27]Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Model-Based Closed-Loop Testing of Implantable Pacemakers. ICCPS 2011: 131-140 - [c26]Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, Rahul Mangharam, George J. Pappas:
Architecture for a fully distributed Wireless Control Network. IPSN 2011: 117-118 - [c25]Zhihao Jiang, Miroslav Pajic, Rahul Mangharam:
Demo abstract: Closed-loop testing for implantable cardiac pacemakers. IPSN 2011: 119-120 - [c24]Paul D. Martin, William Etter, Rahul Mangharam:
Demo abstract: R.A.V.E.N. - Remote autonomous vehicle explorer network. IPSN 2011: 123-124 - [c23]Madhur Behl, Mansimar Aneja, Harsh Jain, Rahul Mangharam:
EnRoute: An energy router for energy-efficient buildings. IPSN 2011: 125-126 - [c22]Utsav Drolia, Zhenyan Wang, Srinivas Vemuri, Madhur Behl, Rahul Mangharam:
Demo abstract: AutoPlug - An automotive test-bed for ECU testing, validation and verification. IPSN 2011: 131-132 - [c21]Utsav Drolia, Zhenyan Wang, Yash Pant, Rahul Mangharam:
AutoPlug: An automotive test-bed for electronic controller unit testing and verification. ITSC 2011: 1187-1192 - [c20]Rahul Mangharam, Aminreza Abrahimi Saba:
Anytime Algorithms for GPU Architectures. RTSS 2011: 47-56 - [c19]Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam:
On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. RTSS 2011: 295-304 - 2010
- [j6]Miroslav Pajic, Rahul Mangharam:
Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks. EURASIP J. Wirel. Commun. Netw. 2010 (2010) - [c18]Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, George J. Pappas:
The wireless control network: Monitoring for malicious behavior. CDC 2010: 5979-5984 - [c17]Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam:
The Wireless Control Network: Synthesis and robustness. CDC 2010: 7576-7581 - [c16]Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam:
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. ECRTS 2010: 239-248 - [c15]David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky:
Toward patient safety in closed-loop medical device systems. ICCPS 2010: 139-148 - [c14]Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam:
A platform for implantable medical device validation. IPSN 2010: 418-419 - [c13]Miroslav Pajic, Rahul Mangharam:
Embedded Virtual Machines for Robust Wireless Control and Actuation. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 79-88 - [c12]Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam:
A platform for implantable medical device validation: demo abstract. Wireless Health 2010: 208-209
2000 – 2009
- 2009
- [c11]Rahul Mangharam, Miroslav Pajic:
Embedded Virtual Machines for Robust Wireless Control Systems. ICDCS Workshops 2009: 38-43 - [c10]Miroslav Pajic, Rahul Mangharam:
Anti-jamming for embedded wireless networks. IPSN 2009: 301-312 - [c9]Rahul Mangharam, Miroslav Pajic, Shivakumar Sastry:
Demo abstract: Embedded Virtual Machines for wireless industrial automation. IPSN 2009: 413-414 - 2008
- [j5]Anthony Rowe, Rahul Mangharam, Raj Rajkumar:
RT-Link: A global time-synchronized link protocol for sensor networks. Ad Hoc Networks 6(8): 1201-1220 (2008) - [j4]Sofie Pollin, Rahul Mangharam, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman, Ragunathan Rajkumar, Francky Catthoor:
MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks. IEEE Trans. Wirel. Commun. 7(1): 98-109 (2008) - 2007
- [j3]Rahul Mangharam, Anthony Rowe, Raj Rajkumar:
FireFly: a cross-layer platform for real-time embedded wireless networks. Real Time Syst. 37(3): 183-231 (2007) - [j2]Sofie Pollin, Rahul Mangharam, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman, Ragunathan Rajkumar, Francky Catthoor:
MEERA: cross-layer methodology for energy efficient resource allocation in wireless networks. IEEE Trans. Wirel. Commun. 6(2): 617-628 (2007) - [c8]Ivan Wang Hei Ho, Kin K. Leung, John W. Polak, Rahul Mangharam:
Node Connectivity in Vehicular Ad Hoc Networks with Structured Mobility. LCN 2007: 635-642 - 2006
- [c7]Rahul Mangharam, Raj Rajkumar:
MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure. BROADNETS 2006 - [c6]Rahul Mangharam, Daniel S. Weller, Raj Rajkumar, Priyantha Mudalige, Fan Bai:
GrooveNet: A Hybrid Simulator for Vehicle-to-Vehicle Networks. MobiQuitous 2006: 1-8 - [c5]Rahul Mangharam, Anthony Rowe, Raj Rajkumar, Ryohei Suzuki:
Voice over Sensor Networks. RTSS 2006: 291-302 - [c4]Anthony Rowe, Rahul Mangharam, Raj Rajkumar:
RT-Link: A Time-Synchronized Link Protocol for Energy- Constrained Multi-hop Wireless Networks. SECON 2006: 402-411 - 2005
- [j1]Sofie Pollin, Bruno Bougard, Rahul Mangharam, Francky Catthoor, Ingrid Moerman, Ragunathan Rajkumar, Liesbet Van der Perre:
Optimizing Transmission and Shutdown for Energy-Efficient Real-time Packet Scheduling in Clustered Ad Hoc Networks. EURASIP J. Wirel. Commun. Netw. 2005(5): 698-711 (2005) - [c3]Sofie Pollin, Bruno Bougard, Rahul Mangharam, Liesbet Van der Perre, Francky Catthoor, Ragunathan Rajkumar, Ingrid Moerman:
Optimizing transmission and shutdown for energy-efficient packet scheduling in sensor networks. EWSN 2005: 290-301 - [c2]Rahul Mangharam, Ragunathan Rajkumar, Sofie Pollin, Francky Catthoor, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman:
Optimal fixed and scalable energy management for wireless networks. INFOCOM 2005: 114-125 - [c1]Rahul Mangharam, Daniel S. Weller, Daniel D. Stancil, Ragunathan Rajkumar, Jayendra S. Parikh:
GrooveSim: a topography-accurate simulator for geographic routing in vehicular networks. Vehicular Ad Hoc Networks 2005: 59-68
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-23 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint