Rahul Mangharam
机构: Associate Professor of Electrical Engineering and Computer Science, University of Pennsylvania
主页: upenn.edu
每年引用次数
引用次数
引用: 6,345
H-指数: 42
I10-指数 : 104
出版物: 275
Power-efficient algorithms for autonomous navigation
Yash Vardhan Pant , Houssam Abbas , K. N. Nischal , Paritosh Kelkar
international conference on complex system and engineering 1 -6
3
2015
Robust model predictive control for non-linear systems with input and state constraints via feedback linearization
Yash Vardhan Pant , Houssam Abbas , Rahul Mangharam
2016 IEEE 55th Conference on Decision and Control (CDC) 5694 -5699
2
2016
Towards Model Checking of Implantable Cardioverter Defibrillators
Houssam Abbas , Kuk Jin Jiang , Zhihao Jiang , Rahul Mangharam
international conference on hybrid systems computation and control 87 -92
6
2016
Multi-Scale Modeling of the Heart for Closed-Loop Evaluation of Pacemaker Software
Zhihao Jiang , Rahul Mangharam
ASME 2013 Conference on Frontiers in Medical Devices: Applications of Computer Modeling and Simulation
1
2013
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility
Alena Rodionova , Yash Vardhan Pant , Kuk Jang , Houssam Abbas
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) 1 -8
2
2020
Real-Time Decision Policies With Predictable Performance
Houssam Abbas , Rajeev Alur , Konstantinos Mamouras , Rahul Mangharam
Proceedings of the IEEE 106 ( 9) 1593 -1615
7
2018
Computer Aided Clinical Trials for Implantaule Cardiac Devices
Kuk Jang , James Weimer , Houssam Abbas , Zhihao Jiang
international conference of the ieee engineering in medicine and biology society 2018 1 -4
4
2018
Electroanatomic Mapping to determine Scar Regions in patients with Atrial Fibrillation
Jiyue He , Kuk Jin Jang , Katie Walsh , Jackson Liang
international conference of the ieee engineering in medicine and biology society 2019 5941 -5944
2019
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles
Houssam Abbas , Matthew O’Kelly , Alena Rodionova , Rahul Mangharam
Cyber Physical Systems. Design, Modeling, and Evaluation 94 -106
23
2019
Closed-loop verification of medical devices with model abstraction and refinement
Zhihao Jiang , Miroslav Pajic , Rajeev Alur , Rahul Mangharam
International Journal on Software Tools for Technology Transfer 16 ( 2) 191 -213
34
2014
Three challenges in cyber-physical systems
Rahul Mangharam , Houssam Abbas , Madhur Behl , Kuk Jang
communication systems and networks 1 -8
7
2016
Data predictive control using regression trees and ensemble learning
Achin Jain , Francesco Smarra , Rahul Mangharam
2017 IEEE 56th Annual Conference on Decision and Control (CDC) 4446 -4451
23
2017
The Challenges of High-Confidence Medical Device Software
Zhihao Jiang , Houssam Abbas , Kuk Jin Jang , Rahul Mangharam
IEEE Computer 49 ( 1) 34 -42
4
2016
Networked realization of discrete-time controllers
Fei Miao , Miroslav Pajic , Rahul Mangharam , George J. Pappas
american control conference 2996 -3001
1
2013
Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic
Yash Vardhan Pant , Rhudii A. Quaye , Houssam Abbas , Akarsh Varre
nasa formal methods symposium 355 -362
2
2019
FireFly: a cross-layer platform for real-time embedded wireless networks
Rahul Mangharam , Anthony Rowe , Raj Rajkumar
Real-time Systems 37 ( 3) 183 -231
145
2007
Embedded Virtual Machines for Robust Wireless Control Systems
Rahul Mangharam , Miroslav Pajic
international conference on distributed computing systems workshops 38 -43
12
2009
Data-Driven Model Predictive Control with Regression Trees—An Application to Building Energy Management
Achin Jain , Francesco Smarra , Madhur Behl , Rahul Mangharam
ACM Transactions on Cyber-Physical Systems 2 ( 1) 4
58
2018
Miroslav Pajic Houssam Abbas Madhur Behl Zhihao Jiang Ragunathan Rajkumar Truong X. Nghiem Yash Vardhan Pant George Pappas Matthew O'Kelly Achin Jain Shreyas Sundaram Insup Lee Kuk Jin Jang Oleg Sokolsky Francesco Smarra Sofie Pollin Alessandro D'Innocenzo Daniel Stancil Alberto Sangiovanni Vincentelli Jerome Le Ny