Miroslav Pajic
Title
Cited by
Cited by
Year
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
1902014
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
1742011
Cyber–physical modeling of implantable cardiac medical devices
Z Jiang, M Pajic, R Mangharam
Proceedings of the IEEE 100 (1), 122-137, 2011
1522011
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
1392010
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
1302012
Stochastic game approach for replay attack detection
F Miao, M Pajic, GJ Pappas
52nd IEEE conference on decision and control, 1854-1859, 2013
1202013
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
1172012
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
952016
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
802016
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
742012
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
722010
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
692017
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
642010
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
612015
Opportunistic control over shared wireless channels
K Gatsis, M Pajic, A Ribeiro, GJ Pappas
IEEE Transactions on Automatic Control 60 (12), 3140-3155, 2015
582015
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
562015
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
562014
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
542014
Topological Conditions for Wireless Control Networks
M Pajic, S Sundaram, GJ Pappas, R Mangharam
Decision and Control and European Control Conference (CDC-ECC), 2011 50th …, 2011
482011
Attack resilient state estimation for autonomous robotic systems
N Bezzo, J Weimer, M Pajic, O Sokolsky, GJ Pappas, I Lee
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2014
472014
The system can't perform the operation now. Try again later.
Articles 1–20