Control Protocols Design for Cyber-Physical Systems

摘要：

　　Cyber-Physical System is a relatively new thing with continuous development nowadays.But there is a lack of universal underlying support platform to integrate the underlying devices and screen the technology details.We introduce a Physical Control Framework to integrating real-world devices to form the lower-level abstraction network with complexity and heterogeneity.Then we propose two relevant protocols within this framework to satisfy the need of controlling over remote devices and exchanging information from sensors.Further,we use the model checking tool SPIN to model and to verify such protocols.Some requirements for the protocols are expressed using linear temporal logic to enable requirement analysis and early detection of inconsistencies.

关键词： Physical Control Framework Cyber-Physical System format verification Linear Temporal Logic Sensor

作者: Yi Cai Deyu Qi

作者单位: School of Computer Science and Engineering South China University of Technology,Guangzhou, P. R. Chi School of Computer Science and Engineering South China University of Technology,Guangzhou, P. R. Chi

会议类型: 国际会议

会议名称: 2015 IEEE Advanced Information Technology, Electronic and Automation Control Conference(IAEAC 2015)(2015 IEEE先进信息技术,电子与自动化控制国际会议)

会议地点: 重庆

会议语种:英文

页码: 668-671

在线出版日期: 2015-12-19（万方平台首次上网日期，不代表论文的发表时间）