Miroslav Pajic
Nicola Bezzo
George J. Pappas
Stephanie Weirich
Insup Lee
ABSTRACT
No abstract available.
- Real-Time Windows Target - Run Simulink models on a PC in real time. http://www.mathworks.com/products/rtwt/.Google Scholar
- Robotic Operating System. http://www.ros.org.Google Scholar
- H. Fawzi, P. Tabuada, and S. Diggavi. Secure state-estimation for dynamical systems under active adversaries. In 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pages 337--344, 2011.Google ScholarCross Ref
- H. Fawzi, P. Tabuada, and S. Diggavi. Security for control systems under sensor and actuator attacks. In Proceedings of the 51st IEEE Conference on Decision and Control, 2012.Google ScholarCross Ref
- P. Feiler, B. Lewis, and S. Vestal. The SAE AADL standard: A basis for model-based architecture-driven embedded systems engineering. In Workshop on Model-Driven Embedded Systems, 2003.Google Scholar
- J. Hugues, B. Zalila, L. Pautet, and F. Kordon. From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Transactions on Embedded Computing Systems, 7(4):42:1--42:25, 2008. Google ScholarDigital Library
- K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, and S. Savage. Experimental security analysis of a modern automobile. In 2010 IEEE Symposium on Securityand Privacy (SP), pages 447--462, 2010. Google ScholarDigital Library
- F. Pasqualetti, F. Dörfler, and F. Bullo. Attack detection and identification in cyber-physical systems. IEEE Transactions on Automatic Control, 2012. submitted.Google Scholar
- J. Weimer, N. Bezzo, M. Pajic, G. Pappas, O. Sokolsky, and I. Lee. Resilient adaptive control with application to vehicle cruise control. In Workshop on Control of Cyber-Physical Systems, 2012. submitted.Google Scholar
Index Terms
- Towards synthesis of platform-aware attack-resilient control systems: extended abstract
Recommendations
A multi-layered and kill-chain based security analysis framework for cyber-physical systems
This paper introduces a novel framework for understanding cyber attacks and the related risks to cyber-physical systems. The framework consists of two elements, a three-layered logical model and reference architecture for cyber-physical systems, and a ...
A Formal Approach to Physics-based Attacks in Cyber-physical Systems
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and physics-based attacks, i.e., attacks targeting physical devices. We focus on a formal treatment of both integrity and denial of ...
Towards DDoS Attack Resilient Wide Area Monitoring Systems
ARES '17: Proceedings of the 12th International Conference on Availability, Reliability and SecurityThe traditional physical power grid is evolving into a cyber-physical Smart Grid (SG) that links the cyber communication and computational elements with the physical control functions to dynamically integrate varied and geographically distributed energy ...
Comments