Rahul Mangharam
机构: Associate Professor of Electrical Engineering and Computer Science, University of Pennsylvania
主页: upenn.edu
每年引用次数
引用次数
引用: 6,345
H-指数: 42
I10-指数 : 104
出版物: 275
Automated closed-loop model checking of implantable pacemakers using abstraction trees
Zhihao Jiang , Houssam Abbas , Pieter J. Mosterman , Rahul Mangharam
ACM Sigbed Review 14 ( 2) 15 -23
2017
A Multi-hop Mobile Networking Test-bed for Telematics
Rahul Mangharam , Jacob J. Meyers , Ragunathan Rajkumar , Daniel D. Stancil
SAE transactions 114 ( 7) 441 -447
17
2005
Cloud Mat: Context-Aware Personalization of Fitness Content
Kuk Jin Jang , Jungmin Ryoo , Orkan Telhan , Rahul Mangharam
2015 IEEE International Conference on Services Computing 301 -308
4
2015
How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles
Alena Rodionova , Ignacio Alvarez , Maria Soledad Elli , Fabian Oboril
ieee intelligent vehicles symposium
2020
Sometimes, Money Does Grow On Trees: Data-Driven Demand Response with DR-Advisor
Madhur Behl , Rahul Mangharam
Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments 137 -146
7
2015
Smooth operator: Control using the smooth robustness of temporal logic
Yash Vardhan Pant , Houssam Abbas , Rahul Mangharam
2017 IEEE Conference on Control Technology and Applications (CCTA) 1235 -1240
51
2017
Network synthesis for dynamical system stabilization
Miroslav Pajic , Shreyas Sundaram , George J. Pappas , Rahul Mangharam
asilomar conference on signals, systems and computers 821 -825
5
2011
Data-driven switching modeling for MPC using Regression Trees and Random Forests
Francesco Smarra , Giovanni Domenico Di Girolamo , Vittorio De Iuliis , Achin Jain
Nonlinear Analysis: Hybrid Systems 36 100882
40
2020
Model-Based Closed-Loop Testing of Implantable Pacemakers
Zhihao Jiang , Miroslav Pajic , Rahul Mangharam
2011 IEEE/ACM Second International Conference on Cyber-Physical Systems 131 -140
24
2011
Closing the loop: a simple distributed method for control over wireless networks
Miroslav Pajic , Shreyas Sundaram , Jerome Le Ny , George J. Pappas
information processing in sensor networks 25 -36
28
2012
A platform for implantable medical device validation: demo abstract
Zhihao Jiang , Miroslav Pajic , Allison Connolly , Sanjay Dixit
wireless health 208 -209
6
2010
IMpACT: Inverse model accuracy and control performance toolbox for buildings
Madhur Behl , Truong X. Nghiem , Rahul Mangharam
conference on automation science and engineering 1109 -1114
3
2014
Safety-critical medical device development using the UPP2SF model translation tool
Miroslav Pajic , Zhihao Jiang , Insup Lee , Oleg Sokolsky
ACM Transactions in Embedded Computing Systems 13 ( 4) 127
23
2014
Teaching Autonomous Systems at 1/10th-scale: Design of the F1/10 Racecar, Simulators and Curriculum
Abhijeet Agnihotri , Matthew O'Kelly , Rahul Mangharam , Houssam Abbas
technical symposium on computer science education 657 -663
1
2020
The Swarm at the Edge of the Cloud
Edward A. Lee , Jan Rabaey , Bjorn Hartmann , John Kubiatowicz
IEEE Design & Test of Computers 31 ( 3) 8 -20
87
2014
Guest Editors' Introduction: Cyber–Physical Systems for Medical Applications
Paul Bogdan , Rahul Mangharam
IEEE Design & Test of Computers 32 ( 5) 6 -8
1
2015
AutoPlug: An automotive test-bed for electronic controller unit testing and verification
Utsav Drolia , Zhenyan Wang , Yash Pant , Rahul Mangharam
international conference on intelligent transportation systems 1187 -1192
40
2011
Topological conditions for wireless control networks
Miroslav Pajic , Shreyas Sundaram , George J. Pappas , Rahul Mangharam
IEEE Conference on Decision and Control and European Control Conference 2353 -2360
39
2011
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