Contributed by: Kai Cai, kai.cai@eng.osaka-cu.ac.jp
Special Issue: ”Security, Privacy and Safety of Cyber-Physical Systems”
Guest Editors: Kai Cai, Osaka City University (kai.cai@eng.osaka-cu.ac.jp)
Maria Prandini, Politecnico di Milano (prandini@elet.polimi.it)
Xiang Yin, Shanghai Jiao Tong University (yinxiang@sjtu.edu.cn)
Majid Zamani, University of Colorado Boulder (Majid.Zamani@colorado.edu)
Cyber-physical systems are engineered systems that are built from and depend upon the synergy of computational and physical components. They are pervasive in today’s technological society. Cyber-physical systems usually involve complex interactions of continuous dynamics with discrete logic, referred to as “hybrid” behavior. The development of controller design and verification algorithms for such complex systems are crucial and challenging tasks, due in particular to the theoretical difficulties of analyzing hybrid behavior and to the computational challenges associated with the synthesis of hybrid controllers.
Ever-increasing demands for safety, privacy, security and certification of cyber-physical systems put stringent constraints on their analysis and design, and necessitate the use of formal model-based approaches. In recent years, we have witnessed a substantial increase in the use of formal techniques for the verification and design of privacy-sensitive, safety-critical cyber-physical systems.
The main objective of this special issue to gather recently developed novel approaches devoted to analysis and enforcement of security, privacy and safety of cyber-physical systems using formal techniques. We seek submissions including but not limited to the following topics:
– Security and privacy analysis of cyber-physical systems, including opacity, differential privacy, noninterference and other related notions
– Fault diagnosis, intrusion detection, and attack mitigation of cyber-physical systems
– Supervisory control for safety of discrete-event systems
– Formal methods and reactive synthesis for safety of cyber-physical systems
– Data-driven verification and synthesis of cyber-physical systems
– Distributed approaches for large scale cyber-physical systems and hybrid systems
– Algorithms and tools for verification and synthesis of safety-critical systems
– Applications in security and/or safety of manufacturing systems, transportation systems, energy systems, robotic networks, telecommunications, and computer networks.
Submission Information:
Deadline (no further extension): February 14, 2021
Website: https://www.editorialmanager.com/NAHS/default.asp
Article type (identifier of this special issue): VSI: Security
