{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T17:10:39Z","timestamp":1746551439856},"reference-count":19,"publisher":"SAGE Publications","issue":"7","license":[{"start":{"date-parts":[[2017,7,1]],"date-time":"2017-07-01T00:00:00Z","timestamp":1498867200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Distributed Sensor Networks"],"published-print":{"date-parts":[[2017,7]]},"abstract":"<jats:p> 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. <\/jats:p>","DOI":"10.1177\/1550147717722692","type":"journal-article","created":{"date-parts":[[2017,7,29]],"date-time":"2017-07-29T07:32:53Z","timestamp":1501313573000},"page":"155014771772269","update-policy":"http:\/\/dx.doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":5,"title":["Physical control framework and protocol design for cyber-physical control system"],"prefix":"10.1177","volume":"13","author":[{"given":"Yi","family":"Cai","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, South China University of Technology, Guangzhou, China"},{"name":"Guangzhou College, South China University of Technology, Guangzhou, China"}]},{"given":"Deyu","family":"Qi","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, South China University of Technology, Guangzhou, China"}]}],"member":"179","published-online":{"date-parts":[[2017,7,29]]},"reference":[{"key":"bibr1-1550147717722692","first-page":"363","volume-title":"Proceedings of the 11th IEEE international symposium on object and component-oriented real-time distributed computing (ISORC)","author":"Lee EA"},{"key":"bibr2-1550147717722692","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2016.08.017"},{"key":"bibr4-1550147717722692","first-page":"668","volume-title":"Proceedings of the advanced information technology, electronic and automation control conference (IAEAC)","author":"Cai Y"},{"key":"bibr5-1550147717722692","first-page":"941","volume-title":"Proceedings of the 24th IEEE international conference on advanced information networking and applications","author":"Reza M"},{"key":"bibr6-1550147717722692","first-page":"402","volume-title":"Proceedings of the 11th IEEE international conference on computational science and engineering","author":"Chao X"},{"key":"bibr7-1550147717722692","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.08.375"},{"key":"bibr8-1550147717722692","first-page":"78","volume-title":"Proceedings of the 4th workshop on embedded networked sensors","author":"Mulligan G"},{"key":"bibr9-1550147717722692","first-page":"177","volume-title":"Proceedings of the 2012 international symposium on electronic system design (ISED)","author":"Rao IH"},{"key":"bibr10-1550147717722692","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1629"},{"key":"bibr11-1550147717722692","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.149"},{"key":"bibr13-1550147717722692","first-page":"702","volume-title":"Proceedings of the sixth international conference on innovative mobile and internet services in ubiquitous computing","author":"Villaverde BC"},{"key":"bibr14-1550147717722692","first-page":"360","volume-title":"Proceedings of the IEEE conference on computer communications workshops (INFOCOM WKSHPS)","author":"Thombre S"},{"key":"bibr15-1550147717722692","first-page":"205","volume-title":"Adjunct proceedings of the 2015 ACM international joint conference on pervasive and ubiquitous computing and proceedings of the 2015 ACM international symposium on wearable computers","author":"Cho G"},{"key":"bibr16-1550147717722692","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2015.2419740"},{"key":"bibr17-1550147717722692","first-page":"1","volume-title":"Proceedings of the workshop on Internet of Things and service platforms","author":"Mitsugi J"},{"key":"bibr20-1550147717722692","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2015.05.013"},{"key":"bibr21-1550147717722692","doi-asserted-by":"publisher","DOI":"10.3390\/s16111816"},{"key":"bibr22-1550147717722692","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275.004"},{"key":"bibr23-1550147717722692","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2012.29"}],"container-title":["International Journal of Distributed Sensor Networks"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/1550147717722692","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/1550147717722692","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/1550147717722692","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,5]],"date-time":"2021-01-05T04:43:43Z","timestamp":1609821823000},"score":1,"resource":{"primary":{"URL":"http:\/\/journals.sagepub.com\/doi\/10.1177\/1550147717722692"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":19,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2017,7]]}},"alternative-id":["10.1177\/1550147717722692"],"URL":"https:\/\/doi.org\/10.1177\/1550147717722692","relation":{},"ISSN":["1550-1477","1550-1477"],"issn-type":[{"value":"1550-1477","type":"print"},{"value":"1550-1477","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7]]}}}