Recent advances on formal methods for safety and security of cyber-physical systems

作     者：Xiang Yin Shaoyuan Li Xiang Yin;Shaoyuan Li

作者机构：Department of AutomationShanghai Jiao Tong UniversityShanghai 200240China Key Laboratory of System Control and Information ProcessingMinistry of EducationShanghai 200240China 

出 版 物：《Control Theory and Technology》 (控制理论与技术（英文版）)

年 卷 期：2020年第18卷第4期

页      面：459-461页

核心收录：

学科分类：0839[工学-网络空间安全] 08[工学] 

基　　金：Xiang Yin 

主　　题：formal CPS autonomous 

摘      要：Cyber-physical systems(CPSs)are engineering systems with both computational and physical components[1].Typical CPSs include energy systems,transporation systems,autonomous vchicles,*** are usual hybrid involving complex interactions of continuous dynamics with discrete *** development of cotroller design and verification algorithms for such complex systems are crucial and challenging *** demands for safety and security of CPSs put stringent constraints on their analysis and design,and ncessitat the use of formal model-based *** recent years,we have witnessed a substantial increase in the use of formal techniques for the verifcation and design of safetyritical and security senstve CPSs[2].