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.