Miroslav Pajic
Cited by
Cited by
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
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
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
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
Cyber–physical modeling of implantable cardiac medical devices
Z Jiang, M Pajic, R Mangharam
Proceedings of the IEEE 100 (1), 122-137, 2011
Stochastic game approach for replay attack detection
F Miao, M Pajic, GJ Pappas
52nd IEEE conference on decision and control, 1854-1859, 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
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
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
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
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
Opportunistic control over shared wireless channels
K Gatsis, M Pajic, A Ribeiro, GJ Pappas
IEEE Transactions on Automatic Control 60 (12), 3140-3155, 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
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
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
A hybrid stochastic game for secure control of cyber-physical systems
F Miao, Q Zhu, M Pajic, GJ Pappas
Automatica 93, 55-63, 2018
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20