Visible to the public Biblio

Filters: Keyword is 1652544  [Clear All Filters]
2018-05-16
F. Miao, Q. Zhu, M. Pajic, G. J. Pappas.  Submitted.  A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. Automatica.

to appear

V. Lesi, I. Jovanov, M. Pajic.  2017.  Network Scheduling for Secure Cyber-Physical Systems. IEEE Real-Time Systems Symposium (RTSS).

to appear

Elfar, Mahmoud, Zhong, Zhanwei, Li, Zipeng, Chakrabarty, Krishnendu, Pajic, Miroslav.  2017.  Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. ACM Trans. Embed. Comput. Syst.. 16:127:1–127:22.
Lesi, Vuk, Jovanov, Ilija, Pajic, Miroslav.  2017.  Security-Aware Scheduling of Embedded Control Tasks. ACM Trans. Embed. Comput. Syst.. 16:188:1–188:21.
I. Jovanov, M. Pajic.  2017.  Relaxing Integrity Requirements for Resilient Control Systems. 56th IEEE Conference on Decision and Control (CDC).
Jakovljevic, Zivana, Majstorovic, Vidosav, Stojadinovic, Slavenko, Zivkovic, Srdjan, Gligorijevic, Nemanja, Pajic, Miroslav.  2017.  Cyber-Physical Manufacturing Systems (CPMS). Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies: NEWTECH 2017. :199–214.
Jakovljevic, Zivana, Mitrovic, Stefan, Pajic, Miroslav.  2017.  Cyber Physical Production Systems–-An IEC 61499 Perspective. Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies: NEWTECH 2017. :27–39.