Rahul Mangharam

196 papers A* 5A 11B 4C 17Misc 4Journal 81Unranked 70

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	AdaptNC: Adaptive Nonconformity Scores for Uncertainty-Aware Autonomous Systems in Dynamic Environments. CoRR Renukanandan Tumu, Aditya Singh, Rahul Mangharam
2026	J	`jnl`	Nonplanar Model Predictive Control for Autonomous Vehicles with Recursive Sparse Gaussian Process Dynamics. CoRR Ahmad Amine, Kabir Puri, Viet-Anh Le, Rahul Mangharam
2026	J	`jnl`	SIT-LMPC: Safe Information-Theoretic Learning Model Predictive Control for Iterative Tasks. CoRR Zirui Zang, Ahmad Amine, Nick-Marios T. Kokolakis, Truong X. Nghiem, Ugo Rosolia, Rahul Mangharam
2026	J	`jnl`	SIT-LMPC: Safe Information-Theoretic Learning Model Predictive Control for Iterative Tasks. IEEE Robotics Autom. Lett. Zirui Zang, Ahmad Amine, Nick-Marios T. Kokolakis, Truong X. Nghiem, Ugo Rosolia, Rahul Mangharam
2026	J	`jnl`	STL-SVPIO: Signal Temporal Logic guided Stein Variational Path Integral Optimization. CoRR Hongrui Zheng, Zirui Zang, Ahmad Amine, Cristian Ioan Vasile, Rahul Mangharam
2025	J	`jnl`	A Bimanual Gesture Interface for ROS-Based Mobile Manipulators Using TinyML and Sensor Fusion. CoRR Najeeb Ahmed Bhuiyan, M. Nasimul Huq, Sakib H. Chowdhury, Rahul Mangharam
2025	J	`jnl`	A Hybrid Learning-to-Optimize Framework for Mixed-Integer Quadratic Programming. CoRR Viet-Anh Le, Mu Xie, Rahul Mangharam
2025	J	`jnl`	Adversarial Social Influence: Modeling Persuasion in Contested Social Networks. CoRR Renukanandan Tumu, Cristian Ioan Vasile, Victor M. Preciado, Rahul Mangharam
2025	—	`conf`	Adversarially Robust Optimal Safe Predefined-Time Stabilization: A Game-Theoretic Approach. CDC Nick-Marios T. Kokolakis, Rahul Mangharam
2025	J	`jnl`	F1TENTH: Enhancing Autonomous Systems Education Through Hands-On Learning and Competition. IEEE Trans. Intell. Veh. Johannes Betz, Hongrui Zheng, Felix Jahncke, Zirui Zang, Florian Sauerbeck, Yahong Rosa Zheng, Joydeep Biswas, Venkat Krovi, Rahul Mangharam
2025	A	`conf`	Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. IROS Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao
2025	J	`jnl`	Opportunistic Routing in Wireless Communications via Learnable State-Augmented Policies. CoRR Sourajit Das, Navid Naderializadeh, Rahul Mangharam, Alejandro Ribeiro
2025	—	`conf`	STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems. L4DC Shuo Yang, Hongrui Zheng, Cristian-Ioan Vasile, George J. Pappas, Rahul Mangharam
2025	J	`jnl`	Small-Scale Testbeds for Connected and Automated Vehicles and Robot Swarms: Challenges and a Roadmap. CoRR Jianye Xu, Bassam Alrifaee, Johannes Betz, Armin Mokhtarian, Archak Mittal, Mengchi Cai, Rahul Mangharam, Omar M. Shehata, Catherine M. Elias, Jan-Nico Zaech, Patrick Scheffe, Felix Jahncke, Sangeet Sankaramangalam Ulhas, Kaj Munhoz Arfvidsson
2024	C	`conf`	AV4EV: Open-Source Modular Autonomous Electric Vehicle Platform for Making Mobility Research Accessible. IV 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
2024	J	`jnl`	Bridging the Gap between Discrete Agent Strategies in Game Theory and Continuous Motion Planning in Dynamic Environments. CoRR Hongrui Zheng, Zhijun Zhuang, Stephanie Wu, Shuo Yang, Rahul Mangharam
2024	—	`conf`	Conformal Off-Policy Prediction for Multi-Agent Systems. CDC Tom Kuipers, Renukanandan Tumu, Shuo Yang, Milad Kazemi, Rahul Mangharam, Nicola Paoletti
2024	J	`jnl`	Conformal Off-Policy Prediction for Multi-Agent Systems. CoRR Tom Kuipers, Renukanandan Tumu, Shuo Yang, Milad Kazemi, Rahul Mangharam, Nicola Paoletti
2024	J	`jnl`	Editorial: Special Issue on Opportunities and Challenges with Autonomous Racing. Field Robotics Johannes Betz, Venkat Krovi, Rahul Mangharam, Madhur Behl
2024	J	`jnl`	Individualization of Atrial Tachycardia Models for Clinical Applications: Performance of Fiber-Independent Model. IEEE Trans. Biomed. Eng. Jiyue He, Arkady M. Pertsov, John R. Bullinga, Rahul Mangharam
2024	A*	`conf`	Learning Adaptive Safety for Multi-Agent Systems. ICRA Luigi Berducci, Shuo Yang, Rahul Mangharam, Radu Grosu
2024	J	`jnl`	Learning Local Control Barrier Functions for Safety Control of Hybrid Systems. CoRR Shuo Yang, Yu Chen, Xiang Yin, Rahul Mangharam
2024	—	`conf`	MEGA-DAgger: Imitation Learning with Multiple Imperfect Experts. ITSC Xiatao Sun, Shuo Yang, Mingyan Zhou, Kunpeng Liu, Rahul Mangharam
2024	—	`conf`	Multi-modal conformal prediction regions by optimizing convex shape templates. L4DC Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann
2024	J	`jnl`	PoseINN: Realtime Visual-based Pose Regression and Localization with Invertible Neural Networks. CoRR Zirui Zang, Ahmad Amine, Rahul Mangharam
2024	J	`jnl`	STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems. CoRR Shuo Yang, Hongrui Zheng, Cristian-Ioan Vasile, George J. Pappas, Rahul Mangharam
2024	C	`conf`	Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. ACC Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam
2023	C	`conf`	A Benchmark Comparison of Imitation Learning-based Control Policies for Autonomous Racing. IV Xiatao Sun, Mingyan Zhou, Zhijun Zhuang, Shuo Yang, Johannes Betz, Rahul Mangharam
2023	J	`jnl`	AV4EV: Open-Source Modular Autonomous Electric Vehicle Platform to Make Mobility Research Accessible. CoRR 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
2023	—	`conf`	Bypassing the Simulation-to-Reality Gap: Online Reinforcement Learning Using a Supervisor. ICAR Benjamin David Evans, Johannes Betz, Hongrui Zheng, Herman A. Engelbrecht, Rahul Mangharam, Hendrik W. Jordaan
2023	J	`jnl`	Differentiable Safe Controller Design Through Control Barrier Functions. IEEE Control. Syst. Lett. Shuo Yang, Shaoru Chen, Victor M. Preciado, Rahul Mangharam
2023	J	`jnl`	Differentiable Trajectory Generation for Car-like Robots with Interpolating Radial Basis Function Networks. CoRR Hongrui Zheng, Rahul Mangharam
2023	J	`jnl`	Drive Right: Promoting Autonomous Vehicle Education Through an Integrated Simulation Platform. CoRR Zhijie Qiao, Helen Loeb, Venkata Gurrla, Matt Lebermann, Johannes Betz, Rahul Mangharam
2023	C	`conf`	Drive Right: Shaping Public's Trust, Understanding, and Preference Towards Autonomous Vehicles Using a Virtual Reality Driving Simulator. IV Zhijie Qiao, Xiatao Sun, Helen Loeb, Rahul Mangharam
2023	J	`jnl`	Ensemble Gaussian Processes for Adaptive Autonomous Driving on Multi-friction Surfaces. CoRR Tomás Nagy, Ahmad Amine, Truong X. Nghiem, Ugo Rosolia, Zirui Zang, Rahul Mangharam
2023	J	`jnl`	Fiber Organization Has Little Effect on Electrical Activation Patterns During Focal Arrhythmias in the Left Atrium. IEEE Trans. Biomed. Eng. Jiyue He, Arkady M. Pertsov, Elizabeth M. Cherry, Flavio H. Fenton, Caroline H. Roney, Steven A. Niederer, Zirui Zang, Rahul Mangharam
2023	J	`jnl`	Learning Adaptive Safety for Multi-Agent Systems. CoRR Luigi Berducci, Shuo Yang, Rahul Mangharam, Radu Grosu
2023	A*	`conf`	Local_INN: Implicit Map Representation and Localization with Invertible Neural Networks. ICRA Zirui Zang, Hongrui Zheng, Johannes Betz, Rahul Mangharam
2023	J	`jnl`	MEGA-DAgger: Imitation Learning with Multiple Imperfect Experts. CoRR Xiatao Sun, Shuo Yang, Rahul Mangharam
2023	J	`jnl`	Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. CoRR Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao
2023	J	`jnl`	Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates. CoRR Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann
2023	C	`conf`	Physics Constrained Motion Prediction with Uncertainty Quantification. IV Renukanandan Tumu, Lars Lindemann, Truong Nghiem, Rahul Mangharam
2023	J	`jnl`	Physics Constrained Motion Prediction with Uncertainty Quantification. CoRR Renukanandan Tumu, Lars Lindemann, Truong Nghiem, Rahul Mangharam
2023	J	`jnl`	Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. CoRR Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam
2023	—	`conf`	Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction. CDC Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann
2023	J	`jnl`	Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction. CoRR Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann
2023	C	`conf`	Towards Explainability in Modular Autonomous System Software. IV Hongrui Zheng, Zirui Zang, Shuo Yang, Rahul Mangharam
2022	J	`jnl`	A Benchmark Comparison of Imitation Learning-based Control Policies for Autonomous Racing. CoRR Xiatao Sun, Mingyan Zhou, Zhijun Zhuang, Shuo Yang, Johannes Betz, Rahul Mangharam
2022	J	`jnl`	Accelerating Online Reinforcement Learning via Supervisory Safety Systems. CoRR Benjamin David Evans, Johannes Betz, Hongrui Zheng, Herman A. Engelbrecht, Rahul Mangharam, Hendrik W. Jordaan
2022	J	`jnl`	Autonomous Vehicles on the Edge: A Survey on Autonomous Vehicle Racing. CoRR Johannes Betz, Hongrui Zheng, Alexander Liniger, Ugo Rosolia, Phillip Karle, Madhur Behl, Venkat Krovi, Rahul Mangharam
2022	Misc	`conf`	Deriving Spatial Policies for Overtaking Maneuvers with Autonomous Vehicles. COMSNETS Jayanth Bhargav, Johannes Betz, Hongrui Zheng, Rahul Mangharam
2022	J	`jnl`	Differentiable Safe Controller Design through Control Barrier Functions. CoRR Shuo Yang, Shaoru Chen, Victor M. Preciado, Rahul Mangharam
2022	—	`conf`	Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives. CCTA Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam
2022	J	`jnl`	Drive Right: Shaping Public's Trust, Understanding, and Preference Towards Autonomous Vehicles Using a Virtual Reality Driving Simulator. CoRR Zhijie Qiao, Xiatao Sun, Helen Loeb, Rahul Mangharam
2022	J	`jnl`	Electroanatomic Mapping to determine Scar Regions in patients with Atrial Fibrillation. CoRR Jiyue He, Kuk Jin Jang, Katie Walsh, Jackson Liang, Sanjay Dixit, Rahul Mangharam
2022	J	`jnl`	Fiber Organization has Little Effect on Electrical Activation Patterns during Focal Arrhythmias in the Left Atrium. CoRR Jiyue He, Arkady M. Pertsov, Elizabeth M. Cherry, Flavio H. Fenton, Caroline H. Roney, Steven A. Niederer, Zirui Zang, Rahul Mangharam
2022	J	`jnl`	Game-theoretic Objective Space Planning. CoRR Hongrui Zheng, Zhijun Zhuang, Johannes Betz, Rahul Mangharam
2022	J	`jnl`	Gradient-free Multi-domain Optimization for Autonomous Systems. CoRR Hongrui Zheng, Johannes Betz, Rahul Mangharam
2022	J	`jnl`	Local_INN: Implicit Map Representation and Localization with Invertible Neural Networks. CoRR Zirui Zang, Hongrui Zheng, Johannes Betz, Rahul Mangharam
2022	J	`jnl`	Patient-Specific Heart Model Towards Atrial Fibrillation. CoRR Jiyue He, Arkady M. Pertsov, Sanjay Dixit, Katie Walsh, Eric Toolan, Rahul Mangharam
2022	C	`conf`	Stress Testing Autonomous Racing Overtake Maneuvers with RRT. IV Stanley Bak, Johannes Betz, Abhinav Chawla, Hongrui Zheng, Rahul Mangharam
2022	J	`jnl`	Teaching Autonomous Systems Hands-On: Leveraging Modular Small-Scale Hardware in the Robotics Classroom. CoRR Johannes Betz, Hongrui Zheng, Zirui Zang, Florian Sauerbeck, Krzysztof Walas, Velin Dimitrov, Madhur Behl, Rosa Zheng, Joydeep Biswas, Venkat Krovi, Rahul Mangharam
2022	J	`jnl`	Towards Explainability in Modular Autonomous Vehicle Software. CoRR Hongrui Zheng, Zirui Zang, Shuo Yang, Rahul Mangharam
2022	C	`conf`	Winning the 3rd Japan Automotive AI Challenge - Autonomous Racing with the Autoware.Auto Open Source Software Stack. IV Zirui Zang, Renukanandan Tumu, Johannes Betz, Hongrui Zheng, Rahul Mangharam
2022	J	`jnl`	Winning the 3rd Japan Automotive AI Challenge - Autonomous Racing with the Autoware.Auto Open Source Software Stack. CoRR Zirui Zang, Renukanandan Tumu, Johannes Betz, Hongrui Zheng, Rahul Mangharam
2022	J	`jnl`	You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks. CoRR Yu Chen, Shuo Yang, Rahul Mangharam, Xiang Yin
2021	J	`jnl`	Anytime Computation and Control for Autonomous Systems. IEEE Trans. Control. Syst. Technol. Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Rhudii A. Quaye, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam
2021	J	`jnl`	Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme. ACM Trans. Cyber Phys. Syst. Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam
2021	J	`jnl`	Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme. CoRR Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam
2021	—	`conf`	Patient-specific heart model towards atrial fibrillation. ICCPS Jiyue He, Arkady M. Pertsov, Sanjay Dixit, Katie Walsh, Eric Toolan, Rahul Mangharam
2021	J	`jnl`	Stress Testing Autonomous Racing Overtake Maneuvers with RRT. CoRR Stanley Bak, Johannes Betz, Abhinav Chawla, Hongrui Zheng, Rahul Mangharam
2021	J	`jnl`	Track based Offline Policy Learning for Overtaking Maneuvers with Autonomous Racecars. CoRR Jayanth Bhargav, Johannes Betz, Hongrui Zheng, Rahul Mangharam
2020	A*	`conf`	FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis. ICML Aman Sinha, Matthew O'Kelly, Hongrui Zheng, Rahul Mangharam, John C. Duchi, Russ Tedrake
2020	J	`jnl`	FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis. CoRR Aman Sinha, Matthew O'Kelly, Hongrui Zheng, Rahul Mangharam, John C. Duchi, Russ Tedrake
2020	C	`conf`	How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles. IV Alëna Rodionova, Ignacio J. Alvarez, Maria Soledad Elli, Fabian Oboril, Johannes Quast, Rahul Mangharam
2020	—	`conf`	Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility. ITSC Alëna Rodionova, Yash Vardhan Pant, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam
2020	J	`jnl`	Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility. CoRR Alëna Rodionova, Yash Vardhan Pant, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam
2020	A*	`conf`	TUNERCAR: A Superoptimization Toolchain for Autonomous Racing. ICRA Matthew O'Kelly, Hongrui Zheng, Achin Jain, Joseph Auckley, Kim Luong, Rahul Mangharam
2020	A	`conf`	Teaching Autonomous Systems at 1/10th-scale: Design of the F1/10 Racecar, Simulators and Curriculum. SIGCSE Abhijeet Agnihotri, Matthew O'Kelly, Rahul Mangharam, Houssam Abbas
2019	—	`conf`	Electroanatomic Mapping to determine Scar Regions in patients with Atrial Fibrillation. EMBC Jiyue He, Kuk Jin Jang, Katie Walsh, Jackson Liang, Sanjay Dixit, Rahul Mangharam
2019	J	`jnl`	F1/10: An Open-Source Autonomous Cyber-Physical Platform. CoRR Matthew O'Kelly, Varundev Sukhil, Houssam Abbas, Jack Harkins, Chris Kao, Yash Vardhan Pant, Rahul Mangharam, Dipshil Agarwal, Madhur Behl, Paolo Burgio, Marko Bertogna
2019	—	`conf`	F1TENTH: An Open-source Evaluation Environment for Continuous Control and Reinforcement Learning. NeurIPS (Competition and Demos) Matthew O'Kelly, Hongrui Zheng, Dhruv Karthik, Rahul Mangharam
2019	—	`conf`	Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic. NFM Yash Vardhan Pant, Rhudii A. Quaye, Houssam Abbas, Akarsh Varre, Rahul Mangharam
2019	—	`conf`	Robustness evaluation of computer-aided clinical trials for medical devices. ICCPS Kuk Jin Jang, Yash Vardhan Pant, Bo Zhang, James Weimer, Rahul Mangharam
2019	—	`conf`	Synthesizing stealthy reprogramming attacks on cardiac devices. ICCPS Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
2019	—	`conf`	Temporal logic robustness for general signal classes. HSCC Houssam Abbas, Yash Vardhan Pant, Rahul Mangharam
2018	—	`conf`	Computer Aided Clinical Trials for Implantaule Cardiac Devices. EMBC Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, Rahul Mangharam
2018	J	`jnl`	Data-Driven Model Predictive Control with Regression Trees - An Application to Building Energy Management. ACM Trans. Cyber Phys. Syst. Achin Jain, Francesco Smarra, Madhur Behl, Rahul Mangharam
2018	—	`conf`	Data-driven Switched Affine Modeling for Model Predictive Control. ADHS Francesco Smarra, Achin Jain, Rahul Mangharam, Alessandro D'Innocenzo
2018	—	`conf`	Fly-by-logic: control of multi-drone fleets with temporal logic objectives. ICCPS Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, Rahul Mangharam
2018	C	`conf`	Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology. ACC Houssam Abbas, Rahul Mangharam
2018	—	`conf`	Learning and control using gaussian processes: towards bridging machine learning and controls for physical systems. ICCPS Achin Jain, Truong X. Nghiem, Manfred Morari, Rahul Mangharam
2018	—	`conf`	Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. MT@CPSWeek Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
2018	J	`jnl`	Real-Time Decision Policies With Predictable Performance. Proc. IEEE Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
2018	J	`jnl`	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. CoRR Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
2017	—	`conf`	An Autonomous Vehicle Control Stack. ARCH@CPSWeek Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam
2017	J	`jnl`	Automated closed-loop model checking of implantable pacemakers using abstraction trees. SIGBED Rev. Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, Rahul Mangharam
2017	C	`conf`	Data Predictive Control for building energy management. ACC Achin Jain, Madhur Behl, Rahul Mangharam
2017	—	`conf`	Data predictive control using regression trees and ensemble learning. CDC Achin Jain, Francesco Smarra, Rahul Mangharam
2017	J	`jnl`	MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology. CoRR Rahul Mangharam, Megan Reyerson, Steve Viscelli, Hamsa Balakrishanan, Alexandre M. Bayen, Surabh Amin, Leslie Richards, Leo Bagley, George J. Pappas
2017	—	`ch.`	Modeling Opportunities in mHealth Cyber-Physical Systems. Mobile Health - Sensors, Analytic Methods, and Applications 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
2017	—	`conf`	Relaxed Decidability and the Robust Semantics of Metric Temporal Logic. HSCC Houssam Abbas, Matthew O'Kelly, Rahul Mangharam
2017	—	`conf`	Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles. CyPhy Houssam Abbas, Matthew O'Kelly, Alëna Rodionova, Rahul Mangharam
2017	—	`conf`	Smooth operator: Control using the smooth robustness of temporal logic. CCTA Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam
2016	Misc	`ed.`	2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016 EMSOFT Petru Eles, Rahul Mangharam
2016	—	`conf`	CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM 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
2016	—	`conf`	Data Predictive Control for Building Energy Management: Poster Abstract. BuildSys Achin Jain, Madhur Behl, Rahul Mangharam
2016	—	`conf`	Data Predictive Control for Peak Power Reduction. BuildSys Achin Jain, Rahul Mangharam, Madhur Behl
2016	—	`conf`	Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems. ICCPS Madhur Behl, Achin Jain, Rahul Mangharam
2016	J	`jnl`	Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems. CoRR Madhur Behl, Achin Jain, Rahul Mangharam
2016	—	`conf`	High-level modeling for computer-aided clinical trials of medical devices. HLDVT Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Rahul Mangharam
2016	—	`conf`	In-silico pre-clinical trials for implantable cardioverter defibrillators. EMBC Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, Rahul Mangharam
2016	—	`conf`	Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. ARCH@CPSWeek Houssam Abbas, Kuk Jin Jang, Rahul Mangharam
2016	—	`conf`	Robust model predictive control for non-linear systems with input and state constraints via feedback linearization. CDC Yash Vardhan Pant, Houssam Abbas, Rahul Mangharam
2016	J	`jnl`	The Challenges of High-Confidence Medical Device Software. Computer Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Rahul Mangharam
2016	Misc	`conf`	Three challenges in cyber-physical systems. COMSNETS Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang
2016	—	`conf`	Towards Model Checking of Implantable Cardioverter Defibrillators. HSCC Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam
2015	—	`conf`	Cloud Mat: Context-Aware Personalization of Fitness Content. SCC Kuk Jin Jang, Jungmin Ryoo, Orkan Telhan, Rahul Mangharam
2015	A	`conf`	Co-design of Anytime Computation and Robust Control. RTSS Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam
2015	J	`jnl`	Guest Editors' Introduction: Cyber-Physical Systems for Medical Applications. IEEE Des. Test Paul Bogdan, Rahul Mangharam
2015	A	`conf`	Hardware Optimizations for Anytime Perception and Control. RTSS Nischal K. N., Paritosh Kelkar, Dhruva Kumar, Yash Vardhan Pant, Houssam Abbas, Joseph Devietti, Rahul Mangharam
2015	J	`jnl`	High-Confidence Medical Device Software Development. Found. Trends Electron. Des. Autom. Zhihao Jiang, Rahul Mangharam
2015	J	`jnl`	Model Checking Implantable Cardioverter Defibrillators. CoRR Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam
2015	—	`conf`	Poster Abstract: A Data-Driven Demand Response Recommender System. BuildSys Madhur Behl, Rahul Mangharam
2015	—	`ed.`	Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, BuildSys 2015, Seoul, South Korea, November 4-5, 2015 BuildSys David E. Culler, Yuvraj Agarwal, Rahul Mangharam
2015	Misc	`conf`	Scalable scheduling of energy control systems. EMSOFT Truong X. Nghiem, Rahul Mangharam
2015	—	`conf`	Sometimes, Money Does Grow On Trees: Data-Driven Demand Response with DR-Advisor. BuildSys Madhur Behl, Rahul Mangharam
2014	—	`ed.`	5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014 MCPS Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer
2014	J	`jnl`	Closed-loop verification of medical devices with model abstraction and refinement. Int. J. Softw. Tools Technol. Transf. Zhihao Jiang, Miroslav Pajic, Rajeev Alur, Rahul Mangharam
2014	—	`conf`	Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) 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
2014	—	`conf`	Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys 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
2014	J	`jnl`	Editorial: Special issue on real-time and embedded technology and applications. ACM Trans. Embed. Comput. Syst. Marco Di Natale, Rich West, Jian-Jia Chen, Rahul Mangharam
2014	—	`conf`	IMpACT: Inverse model accuracy and control performance toolbox for buildings. CASE Madhur Behl, Truong X. Nghiem, Rahul Mangharam
2014	J	`jnl`	Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Trans. Ind. Informatics Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee
2014	—	`conf`	Model-IQ: Uncertainty propagation from sensing to modeling and control in buildings. ICCPS Madhur Behl, Truong X. Nghiem, Rahul Mangharam
2014	C	`conf`	Peak power reduction in hybrid energy systems with limited load forecasts. ACC Yash Vardhan Pant, Truong X. Nghiem, Rahul Mangharam
2014	—	`ed.`	Proceedings of the 4th ACM MobiHoc workshop on Pervasive wireless healthcare, MobileHealth@MobiHoc 2014, Philadelphia, Pennsylvania, USA, August 11, 2014 MobileHealth@MobiHoc Emmanuel Baccelli, Roozbeh Jafari, Rahul Mangharam, Rong Zheng
2014	J	`jnl`	Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embed. Comput. Syst. Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
2014	J	`jnl`	The Swarm at the Edge of the Cloud. IEEE Des. Test 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
2013	—	`conf`	Demo abstract: EnergyLab: building energy testbed for demand-response. IPSN Madhur Behl, Neel D. Shah, Larry Vadakedathu, Dan Wheeler, Rahul Mangharam
2013	C	`conf`	Event-based Green scheduling of radiant systems in buildings. ACC Truong X. Nghiem, George J. Pappas, Rahul Mangharam
2013	J	`jnl`	MLE+: a tool for integrated design and deployment of energy efficient building controls. SIGBED Rev. Willy Bernal, Madhur Behl, Truong Nghiem, Rahul Mangharam
2013	C	`conf`	Networked realization of discrete-time controllers. ACC Fei Miao, Miroslav Pajic, Rahul Mangharam, George J. Pappas
2013	J	`jnl`	ProtoDrive: an experimental platform for electric vehicle energy scheduling and control. SIGBED Rev. William Price, Harsh Jain, Yash Pant, Rahul Mangharam
2013	J	`jnl`	Topological Conditions for In-Network Stabilization of Dynamical Systems. IEEE J. Sel. Areas Commun. Miroslav Pajic, Rahul Mangharam, George J. Pappas, Shreyas Sundaram
2013	—	`conf`	Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee
2012	—	`conf`	Closing the loop: a simple distributed method for control over wireless networks. IPSN Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam
2012	J	`jnl`	Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proc. IEEE Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
2012	—	`conf`	Demo Abstract: Model-Based Testing of Implantable Cardiac Devices. ICCPS Shilpa Sarode, Sriram Radhakrishnan, Varun Sampath, Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
2012	A	`conf`	From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. IEEE Real-Time and Embedded Technology and Applications Symposium Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
2012	A	`conf`	Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants. RTSS Madhur Behl, Truong Nghiem, Rahul Mangharam
2012	—	`conf`	Green scheduling for radiant systems in buildings. CDC Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam
2012	—	`conf`	MLE+: a tool for integrated design and deployment of energy efficient building controls. BuildSys@SenSys Willy Bernal, Madhur Behl, Truong X. Nghiem, Rahul Mangharam
2012	—	`conf`	MLE+: design and deployment integration for energy-efficient building controls. BuildSys@SenSys Willy Bernal, Madhur Behl, Truong Nghiem, Rahul Mangharam
2012	A	`conf`	Modeling and Verification of a Dual Chamber Implantable Pacemaker. TACAS Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam
2012	J	`jnl`	Robust architectures for embedded wireless network control and actuation. ACM Trans. Embed. Comput. Syst. Miroslav Pajic, Alexander Chernoguzov, Rahul Mangharam
2012	C	`conf`	Scalable scheduling of building control systems for peak demand reduction. ACC Truong X. Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas
2011	A	`conf`	Anytime Algorithms for GPU Architectures. RTSS Rahul Mangharam, Aminreza Abrahimi Saba
2011	—	`conf`	Architecture for a fully distributed Wireless Control Network. IPSN Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, Rahul Mangharam, George J. Pappas
2011	—	`conf`	AutoPlug: An automotive test-bed for electronic controller unit testing and verification. ITSC Utsav Drolia, Zhenyan Wang, Yash Pant, Rahul Mangharam
2011	—	`conf`	Demo abstract: AutoPlug - An automotive test-bed for ECU testing, validation and verification. IPSN Utsav Drolia, Zhenyan Wang, Srinivas Vemuri, Madhur Behl, Rahul Mangharam
2011	—	`conf`	Demo abstract: Closed-loop testing for implantable cardiac pacemakers. IPSN Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
2011	—	`conf`	Demo abstract: R.A.V.E.N. - Remote autonomous vehicle explorer network. IPSN Paul D. Martin, William Etter, Rahul Mangharam
2011	—	`conf`	EnRoute: An energy router for energy-efficient buildings. IPSN Madhur Behl, Mansimar Aneja, Harsh Jain, Rahul Mangharam
2011	—	`conf`	Green scheduling of control systems for peak demand reduction. CDC/ECC Truong Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas
2011	—	`conf`	Green scheduling: Scheduling of control systems for peak power reduction. IGCC Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam
2011	—	`conf`	Model-Based Closed-Loop Testing of Implantable Pacemakers. ICCPS Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
2011	—	`conf`	Modeling cardiac pacemaker malfunctions with the Virtual Heart Model. EMBC Zhihao Jiang, Rahul Mangharam
2011	—	`conf`	Network synthesis for dynamical system stabilization. ACSCC Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam
2011	A	`conf`	On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. RTSS Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam
2011	J	`jnl`	The Wireless Control Network: A New Approach for Control Over Networks. IEEE Trans. Autom. Control. Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam
2011	—	`conf`	Topological conditions for wireless control networks. CDC/ECC Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam
2010	—	`conf`	A platform for implantable medical device validation. IPSN Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam
2010	—	`conf`	A platform for implantable medical device validation: demo abstract. Wireless Health Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam
2010	A	`conf`	Embedded Virtual Machines for Robust Wireless Control and Actuation. IEEE Real-Time and Embedded Technology and Applications Symposium Miroslav Pajic, Rahul Mangharam
2010	B	`conf`	Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. ECRTS Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam
2010	J	`jnl`	Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks. EURASIP J. Wirel. Commun. Netw. Miroslav Pajic, Rahul Mangharam
2010	—	`conf`	The Wireless Control Network: Synthesis and robustness. CDC Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam
2010	—	`conf`	The wireless control network: Monitoring for malicious behavior. CDC Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, George J. Pappas
2010	—	`conf`	Toward patient safety in closed-loop medical device systems. ICCPS David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky
2009	—	`conf`	Anti-jamming for embedded wireless networks. IPSN Miroslav Pajic, Rahul Mangharam
2009	—	`conf`	Demo abstract: Embedded Virtual Machines for wireless industrial automation. IPSN Rahul Mangharam, Miroslav Pajic, Shivakumar Sastry
2009	—	`conf`	Embedded Virtual Machines for Robust Wireless Control Systems. ICDCS Workshops Rahul Mangharam, Miroslav Pajic
2008	J	`jnl`	MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks. IEEE Trans. Wirel. Commun. Sofie Pollin, Rahul Mangharam, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman, Ragunathan Rajkumar, Francky Catthoor
2008	J	`jnl`	RT-Link: A global time-synchronized link protocol for sensor networks. Ad Hoc Networks Anthony Rowe, Rahul Mangharam, Raj Rajkumar
2007	J	`jnl`	FireFly: a cross-layer platform for real-time embedded wireless networks. Real Time Syst. Rahul Mangharam, Anthony Rowe, Raj Rajkumar
2007	J	`jnl`	MEERA: cross-layer methodology for energy efficient resource allocation in wireless networks. IEEE Trans. Wirel. Commun. Sofie Pollin, Rahul Mangharam, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman, Ragunathan Rajkumar, Francky Catthoor
2007	B	`conf`	Node Connectivity in Vehicular Ad Hoc Networks with Structured Mobility. LCN Ivan Wang Hei Ho, Kin K. Leung, John W. Polak, Rahul Mangharam
2006	C	`conf`	GrooveNet: A Hybrid Simulator for Vehicle-to-Vehicle Networks. MobiQuitous Rahul Mangharam, Daniel S. Weller, Raj Rajkumar, Priyantha Mudalige, Fan Bai
2006	C	`conf`	MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure. BROADNETS Rahul Mangharam, Raj Rajkumar
2006	B	`conf`	RT-Link: A Time-Synchronized Link Protocol for Energy- Constrained Multi-hop Wireless Networks. SECON Anthony Rowe, Rahul Mangharam, Raj Rajkumar
2006	A	`conf`	Voice over Sensor Networks. RTSS Rahul Mangharam, Anthony Rowe, Raj Rajkumar, Ryohei Suzuki
2005	—	`conf`	GrooveSim: a topography-accurate simulator for geographic routing in vehicular networks. Vehicular Ad Hoc Networks Rahul Mangharam, Daniel S. Weller, Daniel D. Stancil, Ragunathan Rajkumar, Jayendra S. Parikh
2005	A*	`conf`	Optimal fixed and scalable energy management for wireless networks. INFOCOM Rahul Mangharam, Ragunathan Rajkumar, Sofie Pollin, Francky Catthoor, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman
2005	J	`jnl`	Optimizing Transmission and Shutdown for Energy-Efficient Real-time Packet Scheduling in Clustered Ad Hoc Networks. EURASIP J. Wirel. Commun. Netw. Sofie Pollin, Bruno Bougard, Rahul Mangharam, Francky Catthoor, Ingrid Moerman, Ragunathan Rajkumar, Liesbet Van der Perre
2005	B	`conf`	Optimizing transmission and shutdown for energy-efficient packet scheduling in sensor networks. EWSN Sofie Pollin, Bruno Bougard, Rahul Mangharam, Liesbet Van der Perre, Francky Catthoor, Ragunathan Rajkumar, Ingrid Moerman