期刊
ANNUAL REVIEWS IN CONTROL
卷 47, 期 -, 页码 178-192出版社
PERGAMON-ELSEVIER SCIENCE LTD
DOI: 10.1016/j.arcontrol.2019.03.010
关键词
Cyber-Physical systems; Formal methods; Logic specifications; Symbolic models
资金
- Center of Excellence DEWS
There is a growing interest in Industry and Academia in large scale composite systems where a number of physical processes are interfaced with intelligent units that control them and govern their interactions. Examples are manufacturing plants, drone swarms, and autonomous connected cars. These systems belong to the category of Cyber-Physical Systems (CPS), where the physical components interact with the digital world. Designing and managing CPS safely and securely is extremely difficult given their heterogeneity, i.e., the presence of multiple physical and logical domains, and their scale, i.e., number of components and of interconnections. To cope with these difficulties, mathematical approaches have been proposed but few if any can deal with all the above mentioned challenges. This tutorial surveys our work based on formal methods, which attempts at dealing with the heterogeneity and complexity of CPS. (C) 2019 Elsevier Ltd. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据