Physical control framework and protocol design for cyber-physical control system. (July 2017)

• Record Type: Journal Article
• Authors: Cai, Yi; Qi, Deyu
• Is Part Of: International journal of distributed sensor networks. Volume 13:Number 7(2017)
• Publication Date: 2017-07
• Subjects: Cyber-physical system -- formal verification -- Zigbee -- constrained application protocol -- Internet of Things; Sensor networks -- Periodicals; Intelligent agents (Computer software) -- Periodicals; Multisensor data fusion -- Periodicals; 681.2
• DOI: 10.1177/1550147717722692
• Languages: English
• ISSNs: 1550-1329

Abstract

A cyber-physical system is an integration of computation, networking, and physical processes. This article introduces a novel physical control framework to integrate various devices to form the lower-level abstraction network. Two relevant protocols within this framework are proposed for information exchange between different network environments. Furthermore, a formal verification method for the proposed protocols is discussed. The model-checking tool SPIN is used to model and formally verify such protocols. The properties of the protocols are expressed using linear temporal logic to enable model-checking. Implementation results are presented to provide a deeper understanding of the proposed protocols.