{"id":"https://openalex.org/W2002130414","doi":"https://doi.org/10.1145/2000367.2000368","title":"Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior","display_name":"Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior","publication_year":2011,"publication_date":"2011-06-01","ids":{"openalex":"https://openalex.org/W2002130414","doi":"https://doi.org/10.1145/2000367.2000368","mag":"2002130414"},"language":"en","primary_location":{"id":"doi:10.1145/2000367.2000368","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2000367.2000368","pdf_url":null,"source":{"id":"https://openalex.org/S4210187018","display_name":"ACM SIGBED Review","issn_l":"1551-3688","issn":["1551-3688"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGBED Review","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","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":["Nanjing University, Nanjing, Jiangsu, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, Jiangsu, P. R. China","institution_ids":["https://openalex.org/I881766915"]}]},{"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":["The Hong Kong Polytechnic University, Hung Hom, Kowloon, Hong Kong","The Hong Kong Polytechnic University , Hung Hom, Kowloon, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Hong Kong Polytechnic University, Hung Hom, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I14243506"]},{"raw_affiliation_string":"The Hong Kong Polytechnic University , Hung Hom, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100720628","display_name":"Xin Chen","orcid":"https://orcid.org/0000-0001-8775-2827"},"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":"Xin Chen","raw_affiliation_strings":["Nanjing University, Nanjing, Jiangsu, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, Jiangsu, P. R. China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090305216","display_name":"Linzhang Wang","orcid":"https://orcid.org/0000-0003-4794-1652"},"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":"Linzhang Wang","raw_affiliation_strings":["Nanjing University, Nanjing, Jiangsu, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, Jiangsu, P. R. China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100371753","display_name":"Tian Zhang","orcid":"https://orcid.org/0000-0003-4909-4119"},"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":"Tian Zhang","raw_affiliation_strings":["Nanjing University, Nanjing, Jiangsu, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, Jiangsu, P. R. China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103295231","display_name":"Jianhua Zhao","orcid":"https://orcid.org/0009-0004-3869-5108"},"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":"Jianhua Zhao","raw_affiliation_strings":["Nanjing University, Nanjing, Jiangsu, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, Jiangsu, P. R. China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090810072","display_name":"Xuandong Li","orcid":"https://orcid.org/0000-0003-3090-9568"},"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":"Xuandong Li","raw_affiliation_strings":["Nanjing University, Nanjing, Jiangsu, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, Jiangsu, P. R. China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.1907,"has_fulltext":false,"cited_by_count":51,"citation_normalized_percentile":{"value":0.91473541,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"8","issue":"2","first_page":"7","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/bounded-function","display_name":"Bounded function","score":0.7723891735076904},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7696317434310913},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.762385904788971},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7184116840362549},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.575606644153595},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41973575949668884},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3262529969215393},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2952452003955841},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.07503795623779297}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7723891735076904},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7696317434310913},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.762385904788971},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7184116840362549},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.575606644153595},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41973575949668884},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3262529969215393},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2952452003955841},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.07503795623779297},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2000367.2000368","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2000367.2000368","pdf_url":null,"source":{"id":"https://openalex.org/S4210187018","display_name":"ACM SIGBED Review","issn_l":"1551-3688","issn":["1551-3688"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGBED Review","raw_type":"journal-article"},{"id":"pmh:oai:ira.lib.polyu.edu.hk:10397/12242","is_oa":false,"landing_page_url":"http://hdl.handle.net/10397/12242","pdf_url":null,"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":"","raw_type":"Journal/Magazine Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G229117327","display_name":null,"funder_award_id":"A-PK46","funder_id":"https://openalex.org/F4320321592","funder_display_name":"Research Grants Council, University Grants Committee"},{"id":"https://openalex.org/G2814201289","display_name":null,"funder_award_id":"9.08E+23","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3777690587","display_name":null,"funder_award_id":"PolyU 5245/09E","funder_id":"https://openalex.org/F4320321592","funder_display_name":"Research Grants Council, University Grants Committee"},{"id":"https://openalex.org/G4862325688","display_name":null,"funder_award_id":"2009CB320702","funder_id":"https://openalex.org/F4320321540","funder_display_name":"Ministry of Science and Technology of the People's Republic of China"},{"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/F4320321540","display_name":"Ministry of Science and Technology of the People's Republic of China","ror":"https://ror.org/027s68j25"},{"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"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W809787349","https://openalex.org/W1483893502","https://openalex.org/W1522694098","https://openalex.org/W1616801211","https://openalex.org/W1971575936","https://openalex.org/W2008158699","https://openalex.org/W2040637657","https://openalex.org/W2103910858","https://openalex.org/W2107164313","https://openalex.org/W2116176955","https://openalex.org/W2147340401","https://openalex.org/W2153173530","https://openalex.org/W2156598086","https://openalex.org/W2163304527","https://openalex.org/W2322462744","https://openalex.org/W2913459036","https://openalex.org/W4245664566"],"related_works":["https://openalex.org/W184826316","https://openalex.org/W1576777252","https://openalex.org/W2102187481","https://openalex.org/W2497444493","https://openalex.org/W3004173571","https://openalex.org/W2497720798","https://openalex.org/W2400856453","https://openalex.org/W1993103557","https://openalex.org/W2288787028","https://openalex.org/W1501020676"],"abstract_inverted_index":{"Many":[0],"Cyber-Physical":[1],"Systems":[2],"(CPS)":[3],"are":[4,128],"highly":[5],"nondeterministic.":[6],"This":[7],"often":[8],"makes":[9],"it":[10,86],"impractical":[11],"to":[12,72,78,140],"model":[13,65,82],"and":[14,31,39,42,59,109,116,153,160],"predict":[15],"the":[16,47,63,69,92,107,117,146],"complete":[17],"system":[18,64],"behavior.":[19],"To":[20,90],"address":[21],"this":[22],"problem,":[23],"we":[24,43,97,137,154],"propose":[25],"that":[26,144,156],"instead":[27],"of":[28,94,101,111,150],"offline":[29],"modeling":[30,108,159],"verification,":[32],"many":[33],"CPS":[34,131,151],"systems":[35],"should":[36],"be":[37,73],"modeled":[38],"verified":[40],"online,":[41,68],"shall":[44],"focus":[45],"on":[46,106,119],"system's":[48],"time-bounded":[49,147],"behavior":[50,149],"in":[51],"short-run":[52,148],"future":[53],",":[54],"which":[55],"is":[56,66,76,83,87,162],"more":[57],"describable":[58],"predictable.":[60],"Meanwhile,":[61],"as":[62],"generated/updated":[67],"verification":[70,110,161],"has":[71],"fast.":[74],"It":[75],"meaningless":[77],"tell":[79],"an":[80],"online":[81,142,158],"unsafe":[84],"when":[85],"already":[88],"out-dated.":[89],"demonstrate":[91],"feasibility":[93],"our":[95,102],"proposal,":[96],"study":[98],"two":[99,135],"cases":[100,127],"ongoing":[103],"projects,":[104],"one":[105],"a":[112,120],"train":[113],"control":[114],"system,":[115],"other":[118],"Medical":[121],"Device":[122],"Plug-and-Play":[123],"(MDPnP)":[124],"application.":[125],"Both":[126],"about":[129],"safety-critical":[130],"systems.":[132],"Through":[133],"these":[134],"cases,":[136],"exemplify":[138],"how":[139],"build":[141],"models":[143],"describe":[145],"systems;":[152],"show":[155],"fast":[157],"possible.":[163]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}