Physical control framework and protocol design for cyber-physical control system

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.

[1]  Michael Huth,et al.  Logic in Computer Science: Predicate logic , 2004 .

[2]  Miguel Palomino Dpto.  Predicate Logic , 2017, Encyclopedia of Machine Learning and Data Mining.

[3]  Nuno Pereira,et al.  Cyber-physical systems clouds: A survey , 2016, Comput. Networks.

[4]  José Carlos Campelo,et al.  A Reference Model for Monitoring IoT WSN-Based Applications , 2016, Sensors.

[5]  Jin Mitsugi,et al.  Bridging UPnP and ZigBee with CoAP: protocol and its performance evaluation , 2011, IoTSP '11.

[6]  Dirk Pesch,et al.  Constrained Application Protocol for Low Power Embedded Networks: A Survey , 2012, 2012 Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing.

[7]  Klaus Hartke,et al.  Observing Resources in the Constrained Application Protocol (CoAP) , 2015, RFC.

[8]  Yi Cai,et al.  Control protocols design for cyber-physical systems , 2015, 2015 IEEE Advanced Information Technology, Electronic and Automation Control Conference (IAEAC).

[9]  Geoff Mulligan,et al.  The 6LoWPAN architecture , 2007, EmNets '07.

[10]  Joy Kuri,et al.  e-SURAKSHAK: A Cyber-Physical Healthcare System with Service Oriented Architecture , 2012, 2012 International Symposium on Electronic System Design (ISED).

[11]  Shusen Yang,et al.  Lightweight Management of Resource-Constrained Sensor Devices in Internet of Things , 2015, IEEE Internet of Things Journal.

[12]  Tarek R. Sheltami,et al.  Hydrogen Sulfide (H2S) Gas Safety System for Oil Drilling Sites using Wireless Sensor Network , 2015, EUSPN/ICTH.

[13]  Dave Raggett,et al.  The Web of Things: Challenges and Opportunities , 2015, Computer.

[14]  Mark Ryan,et al.  Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .

[15]  Carsten Bormann,et al.  The Constrained Application Protocol (CoAP) , 2014, RFC.

[16]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[17]  Benjamin Aziz,et al.  A formal model and analysis of an IoT protocol , 2016, Ad Hoc Networks.

[18]  Kyong-Ho Lee,et al.  Enhancing CoAP proxy for semantic composition and multicast communication , 2015, UbiComp/ISWC Adjunct.

[19]  Alex Talevski,et al.  Applications of Wireless Sensor Networks in the Oil, Gas and Resources Industries , 2010, 2010 24th IEEE International Conference on Advanced Information Networking and Applications.

[20]  Lin Guan,et al.  Energy Model for H2S Monitoring Wireless Sensor Network , 2008, 2008 11th IEEE International Conference on Computational Science and Engineering.

[21]  Karl Andersson,et al.  Performance analysis of an IP based protocol stack for WSNs , 2016, 2016 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS).

[22]  Tharam S. Dillon,et al.  Web‐of‐things framework for cyber–physical systems , 2011, Concurr. Comput. Pract. Exp..

[23]  Carsten Bormann,et al.  CoAP: An Application Protocol for Billions of Tiny Internet Nodes , 2012, IEEE Internet Computing.