Recent advances on formal methods for safety and security of cyber-physical systems
Xiang Yin
Shaoyuan Li
1.Department of Automation, Shanghai Jiao Tong University,Shanghai 200240, China;Key Laboratory of System Control and Information Processing, Ministry of Education, Shanghai 200240, China2.Department of Automation, Shanghai Jiao Tong University,Shanghai 200240, China;Key Laboratory of System Control and Information Processing, Ministry of Education, Shanghai 200240, China
摘要：Cyber-physical systems (CPSs) are engineering systems with both computational and physical components [1]. Typi-cal CPSs include energy systems, transportation systems,autonomous vehicles, etc. CPSs are usually hybrid involving complex interactions of continuous dynamics with discrete logics. The development of controller design and verifica-tion algorithms for such complex systems are crucial and challenging tasks. Ever-increasing demands for safety and security of CPSs 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 safety-critical and security-sensitive CPSs [2].
机标关键词：
论文发表日期：2020-11-05
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：3( 459-461 )