Folgen
Miroslav Pajic
Titel
Zitiert von
Zitiert von
Jahr
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
2772014
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
2242016
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
2052011
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
1962016
Cyber–physical modeling of implantable cardiac medical devices
Z Jiang, M Pajic, R Mangharam
Proceedings of the IEEE 100 (1), 122-137, 2011
1932011
Stochastic game approach for replay attack detection
F Miao, M Pajic, GJ Pappas
52nd IEEE conference on decision and control, 1854-1859, 2013
1912013
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
1772012
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
1582010
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
1502012
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
1432017
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
1232020
Opportunistic control over shared wireless channels
K Gatsis, M Pajic, A Ribeiro, GJ Pappas
IEEE Transactions on Automatic Control 60 (12), 3140-3155, 2015
1082015
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
972015
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
922012
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
832014
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
822010
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
812010
A hybrid stochastic game for secure control of cyber-physical systems
F Miao, Q Zhu, M Pajic, GJ Pappas
Automatica 93, 55-63, 2018
792018
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
782014
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
752015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20