Biblio
Filters: Author is M. Pajic [Clear All Filters]
.
Submitted. A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. Automatica.
to appear
.
Submitted. A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. Automatica.
to appear
.
2017. Network Scheduling for Secure Cyber-Physical Systems. IEEE Real-Time Systems Symposium (RTSS).
to appear
.
2017. Relaxing Integrity Requirements for Resilient Control Systems. 56th IEEE Conference on Decision and Control (CDC).
.
2017. Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators. IEEE Control Systems. 37:66-81.
.
2017. Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Transactions on Control of Network Systems. 4:82-92.
.
2017. Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. IEEE Transactions on Control of Network Systems. 4:106-117.
.
2016. Estimation of Blood Oxygen Content Using Context-Aware Filtering. 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS). :1-10.
.
2016. Towards Plug-n-Play Numerical Control for Reconfigurable Manufacturing Systems. 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). :1-8.
.
2015. Robust estimation using context-aware filtering. 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton). :590-597.
.
2014. Safety-critical Medical Device Development using the UPP2SF Model Translation Tool. ACM Transactions on Embedded Computing. 13},foo number = {4s
.
2013. Distributed Control for Cyber-Physical Systems. Journal of the Indian Institute of Science, Special Issue on Cyber-Physical Systems. 93
.
2012. Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proceedings of the IEEE. 100:122-137.
.
2011. Model-based Closed-loop Testing of Implantable Pacemakers. Proceedings of the 2$^{nd}$ International Conference on Cyber-Physical Systems (ICCPS).