{"id":"https://openalex.org/W2077023771","doi":"https://doi.org/10.1109/tpds.2014.2358224","title":"A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking","display_name":"A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking","publication_year":2014,"publication_date":"2014-09-15","ids":{"openalex":"https://openalex.org/W2077023771","doi":"https://doi.org/10.1109/tpds.2014.2358224","mag":"2077023771"},"language":"en","primary_location":{"id":"doi:10.1109/tpds.2014.2358224","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2014.2358224","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Parallel and Distributed Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://ira.lib.polyu.edu.hk/bitstream/10397/61170/1/a0627-n01_TPDS2015_BW_OCR_9MB.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048748291","display_name":"Feng Tan","orcid":"https://orcid.org/0000-0003-1849-4443"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Feng Tan","raw_affiliation_strings":["Department of Computing, The Hong Kong Polytechnic University, Kowloon, Hong Kong, S. A. R"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, The Hong Kong Polytechnic University, Kowloon, Hong Kong, S. A. R","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100374813","display_name":"Yufei Wang","orcid":"https://orcid.org/0000-0001-6403-4259"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Yufei Wang","raw_affiliation_strings":["Department of Computing, The Hong Kong Polytechnic University, Kowloon, Hong Kong, S. A. R"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, The Hong Kong Polytechnic University, Kowloon, Hong Kong, S. A. R","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075972332","display_name":"Qixin Wang","orcid":"https://orcid.org/0000-0002-1466-441X"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Qixin Wang","raw_affiliation_strings":["Department of Computing, The Hong Kong Polytechnic University, Kowloon, Hong Kong, S. A. R"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, The Hong Kong Polytechnic University, Kowloon, Hong Kong, S. A. R","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029676029","display_name":"Lei Bu","orcid":"https://orcid.org/0000-0003-0517-7801"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Bu","raw_affiliation_strings":["State Key Lab for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, P. R., China","State Key Lab for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, P. R., China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Lab for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, P. R., China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Lab for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, P. R., China#TAB#","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079786056","display_name":"Neeraj Suri","orcid":"https://orcid.org/0000-0003-1688-1167"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Neeraj Suri","raw_affiliation_strings":["Department of Computer Science, TU Darmstadt, Darmstadt, Germany","Department of computer science, TU Darmstadt, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, TU Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]},{"raw_affiliation_string":"Department of computer science, TU Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1442,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.8771201,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"26","issue":"10","first_page":"2630","last_page":"2642"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9984999895095825,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/polling","display_name":"Polling","score":0.804312527179718},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.789936363697052},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.7255774140357971},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.612852156162262},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5797673463821411},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5163520574569702},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4482354521751404},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.41884106397628784},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3714703321456909},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35577118396759033},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3304060101509094},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.21726858615875244},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1357133686542511},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.12187552452087402},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08111962676048279}],"concepts":[{"id":"https://openalex.org/C204854418","wikidata":"https://www.wikidata.org/wiki/Q1362921","display_name":"Polling","level":2,"score":0.804312527179718},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.789936363697052},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.7255774140357971},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.612852156162262},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5797673463821411},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5163520574569702},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4482354521751404},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.41884106397628784},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3714703321456909},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35577118396759033},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3304060101509094},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.21726858615875244},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1357133686542511},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.12187552452087402},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08111962676048279},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tpds.2014.2358224","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2014.2358224","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Parallel and Distributed Systems","raw_type":"journal-article"},{"id":"pmh:oai:ira.lib.polyu.edu.hk:10397/61170","is_oa":true,"landing_page_url":"http://hdl.handle.net/10397/61170","pdf_url":"http://ira.lib.polyu.edu.hk/bitstream/10397/61170/1/a0627-n01_TPDS2015_BW_OCR_9MB.pdf","source":{"id":"https://openalex.org/S4306400205","display_name":"PolyU Institutional Research Archive (Hong Kong Polytechnic University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I14243506","host_organization_name":"Hong Kong Polytechnic University","host_organization_lineage":["https://openalex.org/I14243506"],"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":"Journal/Magazine Article"},{"id":"pmh:oai:eprints.lancs.ac.uk:137413","is_oa":false,"landing_page_url":"https://eprints.lancs.ac.uk/id/eprint/137413/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401916","display_name":"Lancaster EPrints (Lancaster University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67415387","host_organization_name":"Lancaster University","host_organization_lineage":["https://openalex.org/I67415387"],"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":"Journal Article"}],"best_oa_location":{"id":"pmh:oai:ira.lib.polyu.edu.hk:10397/61170","is_oa":true,"landing_page_url":"http://hdl.handle.net/10397/61170","pdf_url":"http://ira.lib.polyu.edu.hk/bitstream/10397/61170/1/a0627-n01_TPDS2015_BW_OCR_9MB.pdf","source":{"id":"https://openalex.org/S4306400205","display_name":"PolyU Institutional Research Archive (Hong Kong Polytechnic University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I14243506","host_organization_name":"Hong Kong Polytechnic University","host_organization_lineage":["https://openalex.org/I14243506"],"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":"Journal/Magazine Article"},"sustainable_development_goals":[{"score":0.4300000071525574,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G4162863362","display_name":null,"funder_award_id":"5245/09E","funder_id":"https://openalex.org/F4320321592","funder_display_name":"Research Grants Council, University Grants Committee"},{"id":"https://openalex.org/G4722731998","display_name":null,"funder_award_id":"91318301","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5380640742","display_name":null,"funder_award_id":"5328/12E","funder_id":"https://openalex.org/F4320321592","funder_display_name":"Research Grants Council, University Grants Committee"},{"id":"https://openalex.org/G5679492325","display_name":null,"funder_award_id":"A-PK46","funder_id":"https://openalex.org/F4320322598","funder_display_name":"Hong Kong Polytechnic University"},{"id":"https://openalex.org/G590384796","display_name":null,"funder_award_id":"A-PJ80","funder_id":"https://openalex.org/F4320322598","funder_display_name":"Hong Kong Polytechnic University"},{"id":"https://openalex.org/G6667581590","display_name":null,"funder_award_id":"61321491","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6929593045","display_name":"\u6df7\u6210\u7cfb\u7edf\u6a21\u578b\u68c0\u9a8c\u5e94\u7528\u6280\u672f\u7814\u7a76","funder_award_id":"61100036","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7117310263","display_name":null,"funder_award_id":"A-PL82","funder_id":"https://openalex.org/F4320322598","funder_display_name":"Hong Kong Polytechnic University"},{"id":"https://openalex.org/G7762434492","display_name":null,"funder_award_id":"G-YN37","funder_id":"https://openalex.org/F4320322598","funder_display_name":"Hong Kong Polytechnic University"},{"id":"https://openalex.org/G789595839","display_name":null,"funder_award_id":"G_HK022/12","funder_id":"https://openalex.org/F4320321592","funder_display_name":"Research Grants Council, University Grants Committee"},{"id":"https://openalex.org/G8735189228","display_name":null,"funder_award_id":"A-PJ68","funder_id":"https://openalex.org/F4320322598","funder_display_name":"Hong Kong Polytechnic University"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321592","display_name":"Research Grants Council, University Grants Committee","ror":"https://ror.org/00djwmt25"},{"id":"https://openalex.org/F4320322598","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2077023771.pdf"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W633708014","https://openalex.org/W1546165700","https://openalex.org/W1968218666","https://openalex.org/W1971575936","https://openalex.org/W1978855656","https://openalex.org/W1985539098","https://openalex.org/W1992876689","https://openalex.org/W1995691455","https://openalex.org/W2012481411","https://openalex.org/W2043990251","https://openalex.org/W2056586185","https://openalex.org/W2103316272","https://openalex.org/W2107497336","https://openalex.org/W2115457697","https://openalex.org/W2117087357","https://openalex.org/W2122544881","https://openalex.org/W2124778357","https://openalex.org/W2135269894","https://openalex.org/W2150247650","https://openalex.org/W2151250495","https://openalex.org/W2154656053","https://openalex.org/W2160997270","https://openalex.org/W2165360029","https://openalex.org/W2168207263","https://openalex.org/W2170239483","https://openalex.org/W4230986161","https://openalex.org/W4238185244","https://openalex.org/W4249492311","https://openalex.org/W6632824863","https://openalex.org/W6649502603","https://openalex.org/W6679747030","https://openalex.org/W7008801378"],"related_works":["https://openalex.org/W2076641224","https://openalex.org/W2987499578","https://openalex.org/W4205624458","https://openalex.org/W2462076241","https://openalex.org/W4230797417","https://openalex.org/W4386075345","https://openalex.org/W2511501630","https://openalex.org/W2392717539","https://openalex.org/W2164895946","https://openalex.org/W1499408262"],"abstract_inverted_index":{"Cyber-Physical":[0],"Systems":[1],"(CPS)":[2],"integrate":[3],"discrete-time":[4],"computing":[5],"and":[6,54,66,139],"continuous-time":[7],"physical-world":[8],"entities,":[9],"which":[10],"are":[11],"often":[12],"wirelessly":[13],"interlinked.":[14],"The":[15,173],"use":[16],"of":[17,34,124],"wireless":[18,91,108,132,181,193],"safety-critical":[19],"CPS":[20,42,68,109,133],"requires":[21],"safety":[22,36,87,123],"guarantees":[23],"despite":[24],"communication":[25,92,153,171],"faults.":[26,93],"This":[27,111],"paper":[28],"focuses":[29],"on":[30,137,142],"one":[31,136],"important":[32],"set":[33],"such":[35],"rules:":[37],"Proper-Temporal-Embedding":[38],"(PTE),":[39],"where":[40],"distributed":[41],"entities":[43],"must":[44],"enter/leave":[45],"risky":[46],"states":[47],"according":[48],"to":[49,63,84,99,144],"properly":[50],"nested":[51],"temporal":[52],"pattern":[53,103],"certain":[55],"duration":[56],"spacing.":[57],"Our":[58],"solution":[59],"introduces":[60],"hybrid":[61,104],"automata":[62,105],"formally":[64],"describe":[65],"analyze":[67],"design":[69,77,102],"patterns.":[70],"We":[71,94,129,155],"propose":[72,95],"a":[73,96,161],"novel":[74],"leasing":[75],"based":[76,163],"pattern,":[78],"along":[79],"with":[80,160],"closed-form":[81],"configuration":[82],"constraints,":[83],"guarantee":[85],"PTE":[86,122,168],"rules":[88],"under":[89,169,178,188],"arbitrary":[90,170],"formal":[97],"procedure":[98,112],"transform":[100],"the":[101,121,125,140,147],"into":[106],"specific":[107,127],"designs.":[110,128],"can":[113],"effectively":[114],"isolate":[115],"physical":[116],"world":[117],"parameters":[118],"from":[119],"affecting":[120],"resultant":[126],"conduct":[130],"two":[131],"case":[134],"studies,":[135],"medicine":[138],"other":[141],"control,":[143],"show":[145],"that":[146],"resulted":[148],"system":[149],"is":[150],"safe":[151],"against":[152],"failures.":[154,172],"also":[156],"compare":[157],"our":[158],"approach":[159,175],"polling":[162,174],"approach.":[164],"Both":[165],"approaches":[166],"support":[167],"performs":[176,186],"better":[177,187],"severely":[179],"adverse":[180,192],"medium":[182,194],"conditions;":[183],"while":[184],"ours":[185],"benign":[189],"or":[190],"moderately":[191],"conditions.":[195]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":6}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}