{"id":"https://openalex.org/W2967436707","doi":"https://doi.org/10.1109/tcad.2019.2935062","title":"Scenario-Based Online Reachability Validation for CPS Fault Prediction","display_name":"Scenario-Based Online Reachability Validation for CPS Fault Prediction","publication_year":2019,"publication_date":"2019-08-13","ids":{"openalex":"https://openalex.org/W2967436707","doi":"https://doi.org/10.1109/tcad.2019.2935062","mag":"2967436707"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2019.2935062","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2019.2935062","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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 Computer-Aided Design of Integrated Circuits and Systems","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":["Department of Computer Science and Technology, State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0003-0517-7801","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, 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":["Department of Computing, Hong Kong Polytechnic University, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-1466-441X","affiliations":[{"raw_affiliation_string":"Department of Computing, Hong Kong Polytechnic University, Hong Kong","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066698999","display_name":"Xinyue Ren","orcid":null},"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":"Xinyue Ren","raw_affiliation_strings":["Department of Computer Science and Technology, State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038604034","display_name":"Shaopeng Xing","orcid":"https://orcid.org/0000-0001-6585-6297"},"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":"Shaopeng Xing","raw_affiliation_strings":["Department of Computer Science and Technology, State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0001-6585-6297","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, 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":["Department of Computer Science and Technology, State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, 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":0.3856,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.640019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"39","issue":"10","first_page":"2081","last_page":"2094"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9973000288009644,"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"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.948213517665863},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8714135885238647},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7199129462242126},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6374498605728149},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5911169052124023},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5576133728027344},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.4895971417427063},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4886344075202942},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44953352212905884},{"id":"https://openalex.org/keywords/online-model","display_name":"Online model","score":0.4400690197944641},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.4129624366760254},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3367384076118469},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2287941575050354},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1295168697834015}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.948213517665863},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8714135885238647},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7199129462242126},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6374498605728149},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5911169052124023},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5576133728027344},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.4895971417427063},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4886344075202942},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44953352212905884},{"id":"https://openalex.org/C2777851325","wikidata":"https://www.wikidata.org/wiki/Q7094102","display_name":"Online model","level":2,"score":0.4400690197944641},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.4129624366760254},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3367384076118469},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2287941575050354},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1295168697834015},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2019.2935062","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2019.2935062","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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 Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1213761846","display_name":null,"funder_award_id":"P0000157 (1-BBWC)","funder_id":"https://openalex.org/F4320322598","funder_display_name":"Hong Kong Polytechnic University"},{"id":"https://openalex.org/G1487659843","display_name":null,"funder_award_id":"P0010792 (G-YN37)","funder_id":"https://openalex.org/F4320322598","funder_display_name":"Hong Kong Polytechnic University"},{"id":"https://openalex.org/G1905943838","display_name":"\u57fa\u4e8e\u7b26\u53f7\u6267\u884c\u7684\u590d\u6742\u8f6f\u4ef6\u7cfb\u7edf\u6d4b\u8bd5\u4e0e\u9a8c\u8bc1\u7814\u7a76","funder_award_id":"61632015","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2155270942","display_name":null,"funder_award_id":"61561146394","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3281203584","display_name":null,"funder_award_id":"P0013879 (1-BBWH)","funder_id":"https://openalex.org/F4320322598","funder_display_name":"Hong Kong Polytechnic University"},{"id":"https://openalex.org/G424241468","display_name":null,"funder_award_id":"P0009706 (G-YBXW)","funder_id":"https://openalex.org/F4320322598","funder_display_name":"Hong Kong Polytechnic University"},{"id":"https://openalex.org/G4359008878","display_name":"\u9762\u5411\u590d\u6742\u884c\u4e3a\u573a\u666f\u7684\u5b9e\u65f6\u548c\u6df7\u6210\u7cfb\u7edf\u6a21\u578b\u68c0\u9a8c\u6280\u672f\u7814\u7a76","funder_award_id":"61572249","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4450093019","display_name":null,"funder_award_id":"P0008501 (G-UA7L)","funder_id":"https://openalex.org/F4320322598","funder_display_name":"Hong Kong Polytechnic University"},{"id":"https://openalex.org/G4914268673","display_name":null,"funder_award_id":"P0009367 (G-YBMW)","funder_id":"https://openalex.org/F4320322598","funder_display_name":"Hong Kong Polytechnic University"},{"id":"https://openalex.org/G8658538679","display_name":null,"funder_award_id":"P0001888 (4-ZZHD)","funder_id":"https://openalex.org/F4320322598","funder_display_name":"Hong Kong Polytechnic University"}],"funders":[{"id":"https://openalex.org/F4320320719","display_name":"Department of Science and Technology, Ministry of Science and Technology, India","ror":"https://ror.org/0101xrq71"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322598","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98"},{"id":"https://openalex.org/F4320326895","display_name":"State Key Laboratory of Novel Software Technology","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W15609906","https://openalex.org/W172589331","https://openalex.org/W187564461","https://openalex.org/W629029206","https://openalex.org/W809787349","https://openalex.org/W856973001","https://openalex.org/W1499853177","https://openalex.org/W1505589413","https://openalex.org/W1520906906","https://openalex.org/W1522694098","https://openalex.org/W1541626447","https://openalex.org/W1583869287","https://openalex.org/W1594976552","https://openalex.org/W1604596197","https://openalex.org/W1905380539","https://openalex.org/W1975630497","https://openalex.org/W1992147928","https://openalex.org/W2002130414","https://openalex.org/W2004463571","https://openalex.org/W2025782239","https://openalex.org/W2025886420","https://openalex.org/W2040637657","https://openalex.org/W2057847320","https://openalex.org/W2078356878","https://openalex.org/W2094530979","https://openalex.org/W2100984753","https://openalex.org/W2103910858","https://openalex.org/W2104258017","https://openalex.org/W2106419991","https://openalex.org/W2107164313","https://openalex.org/W2107605643","https://openalex.org/W2111907480","https://openalex.org/W2147340401","https://openalex.org/W2151250495","https://openalex.org/W2153173530","https://openalex.org/W2160690545","https://openalex.org/W2163590987","https://openalex.org/W2163850966","https://openalex.org/W2163878530","https://openalex.org/W2176215692","https://openalex.org/W2286110513","https://openalex.org/W2296504218","https://openalex.org/W2414818575","https://openalex.org/W2576277975","https://openalex.org/W2606133973","https://openalex.org/W2785931971","https://openalex.org/W2913459036","https://openalex.org/W4285719527","https://openalex.org/W6607093319","https://openalex.org/W6620183896","https://openalex.org/W6623024296","https://openalex.org/W6629978691","https://openalex.org/W6631522544","https://openalex.org/W6639701037","https://openalex.org/W6731923558","https://openalex.org/W6781707199"],"related_works":["https://openalex.org/W2884574904","https://openalex.org/W2130664212","https://openalex.org/W1554767603","https://openalex.org/W1565729639","https://openalex.org/W4382045631","https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449","https://openalex.org/W2018269609"],"abstract_inverted_index":{"Unlike":[0],"standalone":[1],"embedded":[2],"devices,":[3],"behaviors":[4],"of":[5,46,96,105],"a":[6,82,129,149],"cyber-physical":[7],"system":[8,153],"(CPS)":[9],"are":[10,28,61],"highly":[11],"dynamic.":[12],"Many":[13],"parameter":[14,59],"values":[15,60],"(e.g.,":[16],"those":[17],"related":[18],"to":[19,51,74,131,142,169],"nature":[20],"environment":[21],"and":[22],"third":[23],"party":[24],"black":[25],"box":[26],"functions)":[27],"unknown":[29,62],"offline.":[30],"Furthermore,":[31,126],"distributed":[32],"sub-CPSs":[33],"may":[34],"exchange":[35],"data":[36],"online.":[37],"In":[38],"this":[39,87,110],"article,":[40],"we":[41,72,112,127],"first":[42],"propose":[43,73,113,128],"the":[44,92,102,115],"concept":[45],"parametric":[47],"hybrid":[48],"automata":[49],"(PHA)":[50],"describe":[52],"such":[53],"complex":[54],"CPSs.":[55],"As":[56],"some":[57],"PHA":[58,77],"until":[63],"runtime,":[64],"conventional":[65,103],"offline":[66],"model":[67,78,106,116,161],"checking":[68,79,117,162],"is":[69,89,101],"infeasible.":[70],"Instead,":[71],"carry":[75],"out":[76],"online,":[80],"as":[81],"fault":[83],"prediction":[84],"mechanism.":[85],"However,":[86],"usage":[88],"challenged":[90],"by":[91],"high":[93],"time":[94,145,163],"cost":[95,164],"state":[97],"reachability":[98,123,136],"verification,":[99],"which":[100],"focus":[104,119],"checking.":[107],"To":[108],"address":[109],"challenge,":[111],"that":[114,155],"shall":[118],"on":[120,148],"online":[121,160],"scenario":[122,135],"validation":[124,137],"instead.":[125],"mechanism":[130],"compose/decompose":[132],"scenarios.":[133],"Our":[134],"can":[138,158],"exploit":[139],"linear":[140],"programming":[141],"achieve":[143],"polynomial":[144],"cost.":[146],"Evaluations":[147],"state-of-the-art":[150],"train":[151],"control":[152],"show":[154],"our":[156],"approach":[157],"cut":[159],"from":[165],"over":[166],"1":[167],"h":[168],"within":[170],"200":[171],"ms.":[172]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}