{"id":"https://openalex.org/W2740111887","doi":"https://doi.org/10.1177/1550147717722692","title":"Physical control framework and protocol design for cyber-physical control system","display_name":"Physical control framework and protocol design for cyber-physical control system","publication_year":2017,"publication_date":"2017-07-01","ids":{"openalex":"https://openalex.org/W2740111887","doi":"https://doi.org/10.1177/1550147717722692","mag":"2740111887"},"language":"en","primary_location":{"id":"doi:10.1177/1550147717722692","is_oa":true,"landing_page_url":"https://doi.org/10.1177/1550147717722692","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1177/1550147717722692","source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Distributed Sensor Networks","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://journals.sagepub.com/doi/pdf/10.1177/1550147717722692","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102008984","display_name":"Yi Cai","orcid":"https://orcid.org/0000-0002-9798-2463"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yi Cai","raw_affiliation_strings":["Guangzhou College, South China University of Technology, Guangzhou, China","School of Computer Science and Engineering, South China University of Technology, Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"Guangzhou College, South China University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]},{"raw_affiliation_string":"School of Computer Science and Engineering, South China University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088356478","display_name":"Deyu Qi","orcid":null},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Deyu Qi","raw_affiliation_strings":["School of Computer Science and Engineering, South China University of Technology, Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, South China University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5102008984"],"corresponding_institution_ids":["https://openalex.org/I90610280"],"apc_list":{"value":2200,"currency":"USD","value_usd":2200},"apc_paid":{"value":2200,"currency":"USD","value_usd":2200},"fwci":0.6759,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.68579593,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"13","issue":"7","first_page":"155014771772269","last_page":"155014771772269"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8965743184089661},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7649229764938354},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6397367119789124},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6242615580558777},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.596703052520752},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5878245830535889},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4521335959434509},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.4359840750694275},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.4180162847042084},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3310036063194275},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.267300009727478}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8965743184089661},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7649229764938354},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6397367119789124},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6242615580558777},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.596703052520752},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5878245830535889},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4521335959434509},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.4359840750694275},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.4180162847042084},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3310036063194275},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.267300009727478},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1177/1550147717722692","is_oa":true,"landing_page_url":"https://doi.org/10.1177/1550147717722692","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1177/1550147717722692","source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Distributed Sensor Networks","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:sae:intdis:v:13:y:2017:i:7:p:1550147717722692","is_oa":false,"landing_page_url":"https://journals.sagepub.com/doi/10.1177/1550147717722692","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:doaj.org/article:ebbaf106e09a48d784db5ea46f7afc36","is_oa":true,"landing_page_url":"https://doaj.org/article/ebbaf106e09a48d784db5ea46f7afc36","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Distributed Sensor Networks, Vol 13 (2017)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1177/1550147717722692","is_oa":true,"landing_page_url":"https://doi.org/10.1177/1550147717722692","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1177/1550147717722692","source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Distributed Sensor Networks","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2740111887.pdf","grobid_xml":"https://content.openalex.org/works/W2740111887.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W604094558","https://openalex.org/W1502499896","https://openalex.org/W1533216727","https://openalex.org/W1632539300","https://openalex.org/W1717983670","https://openalex.org/W1979796197","https://openalex.org/W2031926216","https://openalex.org/W2062065265","https://openalex.org/W2517373000","https://openalex.org/W2541314274","https://openalex.org/W2913618081","https://openalex.org/W4233847519"],"related_works":["https://openalex.org/W2350953867","https://openalex.org/W2994120531","https://openalex.org/W70902631","https://openalex.org/W2085847302","https://openalex.org/W2093227835","https://openalex.org/W2108326965","https://openalex.org/W1592102986","https://openalex.org/W3017360834","https://openalex.org/W2756692340","https://openalex.org/W2127730763"],"abstract_inverted_index":{"A":[0],"cyber-physical":[1],"system":[2],"is":[3,54,60],"an":[4],"integration":[5],"of":[6,71,92],"computation,":[7],"networking,":[8],"and":[9,64],"physical":[10,17],"processes.":[11],"This":[12],"article":[13],"introduces":[14],"a":[15,46,89],"novel":[16],"control":[18],"framework":[19,35],"to":[20,24,62,80,87],"integrate":[21],"various":[22],"devices":[23],"form":[25],"the":[26,51,72,93],"lower-level":[27],"abstraction":[28],"network.":[29],"Two":[30],"relevant":[31],"protocols":[32,53,73],"within":[33],"this":[34],"are":[36,74,85],"proposed":[37,52,94],"for":[38,50],"information":[39],"exchange":[40],"between":[41],"different":[42],"network":[43],"environments.":[44],"Furthermore,":[45],"formal":[47],"verification":[48],"method":[49],"discussed.":[55],"The":[56,69],"model-checking":[57],"tool":[58],"SPIN":[59],"used":[61],"model":[63],"formally":[65],"verify":[66],"such":[67],"protocols.":[68,95],"properties":[70],"expressed":[75],"using":[76],"linear":[77],"temporal":[78],"logic":[79],"enable":[81],"model-checking.":[82],"Implementation":[83],"results":[84],"presented":[86],"provide":[88],"deeper":[90],"understanding":[91]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}