Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems

Investigators: Sayan Mitra, Geir Dullerud, and Swarat Chardhuri

Researchers: Zhenqi Huang and Yu Wang

Cyber-physical system (CPS) security lapses may lead to catastrophic failure. We are interested in the scientific basis for discovering unique CPS security vulnerabilities to dynamics-aware attacks that alter behaviors of components in ways that lead to instability, unsafe behavior, and ultimately diminished availability. Our project advances this scientific basis through security-metrics-driven design and evaluation of CPS, based on formalization of adversary classes and security metrics. We propose to define metrics, and then develop and study static and dynamic analysis algorithms that provide formal guarantees on them with respect to different adversary classes.

Hard Problems Addressed

Workshops

Publications

  1. Zhenqi Huang, Yu Wang, Sayan Mitra and Geir Dullerud, “Analyzing the Cost of Securing Control Systems”, The Next Wave: The National Security Agency’s Review of Emerging Technologies, volume 21, number 1, 2015. [link]
  2. Zhenqi Huang, Yu Wang, Sayan Mitra and Geir Dullerud, “Controller Synthesis for Linear Time-varying Systems with Adversaries”, January 2015. [full text]
  3. Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, and Marta Kwiatkowska, “Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage”, Special Issue of IEEE Design and Test, June 2015. [full text]
  4. Maurice Heemels, Geir Dullerud, and Andrew Teel, “L2-gain Analysis for a Class of Hybrid Systems with Applications to Reset and Event-triggered Control: A Lifting Approach”, IEEE Transactions on Automatic Control, issue 99, November 20, 2015. [full text]
  5. Anshuman Mishra, Cedric Langbort, and Geir E. Dullerud, “Decentralized Control of Linear Switched Nested Systems With l2-Induced Norm Performance”, IEEE Transactions on Control of Network Systems, volume 2, number 4, December 2105. [full text]
  6. Zhenqi Huang, Yu Wang, Sayan Mitra, Geir Dullerud, “Controller Synthesis for Linear Time-varying Systems with Adversaries”, IEEE International Conference on Decision and Control (CDC 2015), Osaka, Japan, December 15-18, 2015. [full text]
  7. Maurice Heemels, Geir Dullerud, and Andrew Teel, “A Lifting Approach to L2-gain Analysis of Periodic Event-triggered and Switching Sampled-data Control Systems”, IEEE International Conference on Decision and Control (CDC 2015), Osaka, Japan, December 15-18, 2015. [full text]
  8. Zhenqi Huang, Yu Wang, Sayan Mitra, and Geir Dullerud, “Controller Synthesis for Linear Time-varying Systems with Adversaries”, Symposium and Bootcamp on the Science of Security (HotSoS 2016), Pittsburgh, PA, April 20-21, 2016. [full text]
  9. Zhenqi Huang, Chuchu Fan, and Sayan Mitra, “Bounded Invariant Verification for Time-delayed Nonlinear Networked Dynamical Systems”, Journal of the IFAC, International Federation of Automatic Control, Nonlinear Analysis: Hybrid Systems, June 28, 2016. [full text]
  10. Mohammad Naghnaeian, Petros G. Voulgaris, and Geir E. Dullerud, “A Unified Frameworks for LpAnalysis and Synthesis of Linear Switched Systems”, American Control Conference, Boston, MA, July 6-8, 2016. [full text]
  11. Matthew Philippe, Ray Essick, Geir Dullerud, and Raphael M. Jungers, “Stability of Discrete-time Switching Systems with Constrained Switching Sequences”, Automatica, volume 72, issue C, October 2016. [full text]
  12. Y. Wang, M. Hale, M. Egerstedt, and G. Dullerud, “Differentially Private Objective Functions in Distributed Cloud-based Optimization”, 55th Conference on Decision and Control (CDC 2016), Las Vegas, NV, December 12-14, 2016. [full text]
  13.  Matthew Philippe, Ray Essick, Geir Dullerud, and Raphael M. Jungers, “Extremal Storage Functions and Minimal Realizations of Discrete-time Linear Switching Systems”, 55th Conference on Decision and Control (CDC 2016), Las Vegas, NV, December 12-14, 2016. [full text]
  14. Yu Wang, Zhenqi Huang, Sayan Mitra, and Geir Dullerud, “Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs”, IEEE Transactions on Control of Network Systems, volume 4, issue 1, January 25, 2017. [full text]
  15. Hussein Sibae and Sayan Mitra, “Optimal Data Rate for Estimation and Mode Detection of Switched Nonlinear Systems”, 20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017) in conjunction with CPS Week 2017, Pittsburgh, PA, April 18-21, 2017. [full text]
  16. Joao Jansch Porto and Geir E. Dullerud, “Decentralized Control with Moving-Horizon Linear Switched Systems: Synthesis and Testbed Implementation”, American Control Conference 2017, Seattle, WA, May 24-26, 2017. [full text]
  17. Yu Wang, Sayan Mitra, and Gier E. Dullerud, “Differential Privacy and Minimum Variance Unbiased Estimation in Multi-agent Control Systems”, 20th World Congress of the International Federations of Automatic Control (IFAC 2017 World Congress), Toulouse, France, July 9-14, 2017. [full text]

Presentations

  1. September 2014, NSA SoS Bi-weekly Meeting, Yu Wang,  Entropy-minimizing Mechanism for Differential Privacy of Discrete-time Linear Feedback Systems [slides]
  2. September 2014, NSA SoS Bi-weekly Meeting, Zhenqi Huang, Verification from Simulations and Modular Annotations [slides]
  3. October 2014, NSA SoS Quarterly Lablet Meeting, Sayan Mitra, Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems [slides]
  4. March 2015, NSA SoS Bi-weekly Meeting, Geir Dullerud, Static Dynamic Analysis of Security Metrics for Cyber Physical Systems [slides]
  5. October 2015, NSA SoS Quarterly Lablet Meeting, Sayan Mitra: Model-based Analysis and Synthesis for Security of Control Systems [slides]
  6. November 2015, Joint Trust and Security/Science of Security Seminar, Zhenqi Huang and Yu Wang: SMT-Based Controller Synthesis for Linear Dynamical Systems with Adversary [video & slides]
  7. December 2015, IEEE International Conference on Decision and Control, Zhenqi Huang: Controller Synthesis for Linear Time-varying Systems with Adversaries
  8. December 2015, Technical University of Vienna, Sayan Mitra: Parameterized Verification of Distributed Systems
  9. December 2015, PhD preliminary examination, Zhenqi Huang: Compositional Verification and Security of Cyber-physical Systems
  10. April 2016, Sayan Mitra and Geir Dullerud, Science of Security for Cyber-Physical Systems Workshop (SoSCYPS), CPS Week 2016, lead panel: Cyberphysical Systems Security
  11. April 2016, Joint Trust and Security/Science of Security Seminar, Zhenqi Huang and Yu Wang: Differential Privacy, Entropy and Security in Distributed Control of Cyber Physical Systems [video & slides]
  12. June 2016, Geir Dullerud, European Control Conference (ECC), keynote: Lyapunov Constructions, Formal Proof Frameworks, and Computation-based Verification for Complex Systems
  13. July 2016, International Workshop on Operator Theory and Applications (IWOTA 2016), plenary talk, Geir Dullerud: Operators and Feedback Control Theory: Linear Switched Systems
  14. July 2016, NSA SoS Quarterly Meeting, poster session, Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra and Marta Kwiatkoska: Automatic Safety Verification of Implantable Medical Devices [poster]
  15. July 2016, NSA SoS Quarterly Meeting, poster session, Yu Wang, Zhenqi Huang, Sayan Mitra, and Geir Dullerud: Differentially Private and Efficient Sequential Learning Algorithms [poster]
  16. December 2016, Frontiers Seminar, Master of Technology Management Program, University of Illinois at Urbana-Champaign Business School, Sayan Mitra: Auditing Algorithms
  17. December 2016, 55th Conference on Decision and Control, invited tutorial, George Pappas, Jerome Le Ny, Geir Dullerud, and Jorge Cortes: Differential Privacy in Control and Network Systems [conference link]