| Robustness of attack-resilient state estimators M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS …, 2014 | 285 | 2014 |
| Coding schemes for securing cyber-physical systems against stealthy data injection attacks F Miao, Q Zhu, M Pajic, GJ Pappas IEEE Transactions on Control of Network Systems 4 (1), 106 - 117, 2016 | 246 | 2016 |
| Attack-resilient state estimation for noisy dynamical systems M Pajic, I Lee, GJ Pappas IEEE Transactions on Control of Network Systems 4 (1), 82-92, 2016 | 207 | 2016 |
| The Wireless Control Network: A New Approach for Control over Networks M Pajic, S Sundaram, G Pappas, R Mangharam Automatic Control, IEEE Transactions on 56 (10), 2305 - 2318, 2011 | 205 | 2011 |
| Cyber–physical modeling of implantable cardiac medical devices Z Jiang, M Pajic, R Mangharam Proceedings of the IEEE 100 (1), 122-137, 2011 | 201 | 2011 |
| Stochastic game approach for replay attack detection F Miao, M Pajic, GJ Pappas 52nd IEEE conference on decision and control, 1854-1859, 2013 | 200 | 2013 |
| Modeling and verification of a dual chamber implantable pacemaker Z Jiang, M Pajic, S Moarref, R Alur, R Mangharam International conference on tools and algorithms for the construction and …, 2012 | 180 | 2012 |
| Design and implementation of attack-resilient cyberphysical systems: With a focus on attack-resilient state estimators M Pajic, J Weimer, N Bezzo, O Sokolsky, GJ Pappas, I Lee IEEE Control Systems Magazine 37 (2), 66-81, 2017 | 164 | 2017 |
| Toward patient safety in closed-loop medical device systems D Arney, M Pajic, JM Goldman, I Lee, R Mangharam, O Sokolsky Proceedings of the 1st ACM/IEEE international conference on cyber-physical …, 2010 | 159 | 2010 |
| Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning AK Bozkurt, Y Wang, MM Zavlanos, M Pajic 2020 International Conference on Robotics and Automation (ICRA), 2020 | 155 | 2020 |
| Model-driven safety analysis of closed-loop medical systems M Pajic, R Mangharam, O Sokolsky, D Arney, J Goldman, I Lee Industrial Informatics, IEEE Transactions on, 2012 | 155 | 2012 |
| Opportunistic control over shared wireless channels K Gatsis, M Pajic, A Ribeiro, GJ Pappas IEEE Transactions on Automatic Control 60 (12), 3140-3155, 2015 | 129 | 2015 |
| Sensor attack detection in the presence of transient faults J Park, R Ivanov, J Weimer, M Pajic, I Lee Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical …, 2015 | 96 | 2015 |
| From verification to implementation: A model translation tool and a pacemaker case study M Pajic, Z Jiang, I Lee, O Sokolsky, R Mangharam 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium …, 2012 | 94 | 2012 |
| A hybrid stochastic game for secure control of cyber-physical systems F Miao, Q Zhu, M Pajic, GJ Pappas Automatica 93, 55-63, 2018 | 89 | 2018 |
| Security Analysis of Camera-LiDAR Fusion Against Black-Box Attacks on Autonomous Vehicles RS Hallyburton, Y Liu, Y Cao, ZM Mao, M Pajic 31st USENIX Security Symposium (USENIX Security 22), 1903-1920, 2022 | 87 | 2022 |
| Coding sensor outputs for injection attacks detection F Miao, Q Zhu, M Pajic, GJ Pappas 53rd IEEE Conference on Decision and Control, 5776-5781, 2014 | 86 | 2014 |
| The wireless control network: Monitoring for malicious behavior S Sundaram, M Pajic, CN Hadjicostis, R Mangharam, GJ Pappas 49th IEEE Conference on Decision and Control (CDC), 5979-5984, 2010 | 83 | 2010 |
| Real-time heart model for implantable cardiac device validation and verification Z Jiang, M Pajic, A Connolly, S Dixit, R Mangharam 2010 22nd Euromicro Conference on Real-Time Systems, 239-248, 2010 | 82 | 2010 |
| Closed-loop verification of medical devices with model abstraction and refinement Z Jiang, M Pajic, R Alur, R Mangharam International Journal on Software Tools for Technology Transfer 16 (2), 191-213, 2014 | 81 | 2014 |
Rahul MangharamProfessor of Electrical Engineering and Computer Science, University of PennsylvaniaEmail được xác minh tại seas.upenn.edu