Secure-by-Construction Controller Synthesis of Cyber-Physical Systems
About the project
Start November 2022
This project advocates a paradigm shift in the development of CPS by proposing a secure-by-construction controller synthesis scheme by considering security properties simultaneously to safety ones during the design phase. To successfully overcome the design challenges encountered in large-scale CPS under the complex security requirements, we aim to develop a compositional and automated secure-by-construction design process based on a cross-disciplinary approach combining theoretical techniques from computer science (e.g. assume-guarantee rules) with those from control theory (e.g. small-gain theorems). This project aims to bring a potential solution to the fundamental security issue for the smart society vision by enabling cost-efficient and reliable design for CPS with formal security guarantees.
Cyber-physical systems (CPS) are the technological backbone of the increasingly interconnected and smart world where design faults or security vulnerabilities can be catastrophic. Self-driving cars, wearable and implantable medical devices, smart buildings, and critical infrastructure are some high-profile examples that underscore modern CPS’s security and safety concerns. In the last decades, safety concerns received considerable attention in the design of CPS, while security analysis is left as an afterthought for later stages. This paradigm results in a costly and lengthy development process due to high-security validation costs. We believe that the security considerations should be elevated as primary design drivers and safety ones to tackle the design challenge of modern CPS.
About the Digital Futures Postdoc Fellow
Siyuan Liu is a Postdoctoral researcher at the Division of Decision and Control Systems at KTH. Before joining KTH, she worked as a research assistant in the Institute of Informatics at Ludwig-Maximilian University of Munich (LMU), Germany, from 2019 to 2022. She received her B.E. degree in Automation Science in 2014 and M.E. degree in Control Engineering in 2017 from Beihang University, China. She received her PhD in Electrical Engineering from the Technical University of Munich (TUM), Germany, in 2022. Her current research interests include safety and security in cyber-physical systems, compositional analysis of large-scale hybrid systems, and automated verification and control of nonlinear control systems.
Dimos Dimarogonas, KTH
Marco Molinari, KTH
Jana Tumova, KTH
Digital Futures Postdoctoral Fellow, Postdoc project: Secure-by-Construction Controller Synthesis of Cyber-Physical Systemssy.email@example.com
Professor, Division of Decision and Control Systems at KTH, Working group Cooperate, PI of research project Towards Safe Smart Construction: Algorithms, Digital Twins and Infrastructures, Digital Futures Faculty+46 8 790 73 26
Researcher, Unit of Applied Thermodynamics and Refrigeration at KTH, Co-PI of research project Humanizing the Sustainable Smart City (HiSS), Digital Futures Faculty+46 8 790 74 68
Associate Professor, Division of Robotics, Perception and Learning at KTH, PI of project Scavenger: Real-time logic-based control for an autonomous scavenger robot, Digital Futures Facultytumova@kth.se