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 | 278 | 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 | 223 | 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 |
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 | 201 | 2016 |
Cyber–physical modeling of implantable cardiac medical devices Z Jiang, M Pajic, R Mangharam Proceedings of the IEEE 100 (1), 122-137, 2011 | 194 | 2011 |
Stochastic game approach for replay attack detection F Miao, M Pajic, GJ Pappas 52nd IEEE conference on decision and control, 1854-1859, 2013 | 191 | 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 | 179 | 2012 |
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 |
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 | 153 | 2017 |
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 | 152 | 2012 |
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 | 138 | 2020 |
Opportunistic control over shared wireless channels K Gatsis, M Pajic, A Ribeiro, GJ Pappas IEEE Transactions on Automatic Control 60 (12), 3140-3155, 2015 | 112 | 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 | 98 | 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 |
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 | 84 | 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 | 82 | 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 |
A hybrid stochastic game for secure control of cyber-physical systems F Miao, Q Zhu, M Pajic, GJ Pappas Automatica 93, 55-63, 2018 | 81 | 2018 |
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 |
Attack-resilient state estimation in the presence of noise M Pajic, P Tabuada, I Lee, GJ Pappas 2015 54th IEEE Conference on Decision and Control (CDC), 5827-5832, 2015 | 76 | 2015 |