{"id":"https://openalex.org/W2678612607","doi":"https://doi.org/10.1109/tsmc.2017.2710132","title":"Model-Based Fault Diagnosis System Verification Using Reachability Analysis","display_name":"Model-Based Fault Diagnosis System Verification Using Reachability Analysis","publication_year":2017,"publication_date":"2017-07-19","ids":{"openalex":"https://openalex.org/W2678612607","doi":"https://doi.org/10.1109/tsmc.2017.2710132","mag":"2678612607"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2017.2710132","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tsmc.2017.2710132","pdf_url":"https://ieeexplore.ieee.org/ielx7/6221021/8667753/07984866.pdf","source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/6221021/8667753/07984866.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001081849","display_name":"Jinya Su","orcid":"https://orcid.org/0000-0002-3121-7208"},"institutions":[{"id":"https://openalex.org/I143804889","display_name":"Loughborough University","ror":"https://ror.org/04vg4w365","country_code":"GB","type":"education","lineage":["https://openalex.org/I143804889"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jinya Su","raw_affiliation_strings":["Department of Aeronautical and Automotive Engineering, Loughborough University, Loughborough, U.K"],"affiliations":[{"raw_affiliation_string":"Department of Aeronautical and Automotive Engineering, Loughborough University, Loughborough, U.K","institution_ids":["https://openalex.org/I143804889"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100428822","display_name":"Wen\u2010Hua Chen","orcid":"https://orcid.org/0000-0003-3356-2889"},"institutions":[{"id":"https://openalex.org/I143804889","display_name":"Loughborough University","ror":"https://ror.org/04vg4w365","country_code":"GB","type":"education","lineage":["https://openalex.org/I143804889"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Wen-Hua Chen","raw_affiliation_strings":["Department of Aeronautical and Automotive Engineering, Loughborough University, Loughborough, U.K"],"affiliations":[{"raw_affiliation_string":"Department of Aeronautical and Automotive Engineering, Loughborough University, Loughborough, U.K","institution_ids":["https://openalex.org/I143804889"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5001081849"],"corresponding_institution_ids":["https://openalex.org/I143804889"],"apc_list":null,"apc_paid":null,"fwci":5.0973,"has_fulltext":true,"cited_by_count":60,"citation_normalized_percentile":{"value":0.95654892,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"49","issue":"4","first_page":"742","last_page":"751"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9998999834060669,"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/T10220","display_name":"Machine Fault Diagnosis Techniques","score":0.9940000176429749,"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/T11236","display_name":"Control Systems and Identification","score":0.9764000177383423,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8623286485671997},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.7121483087539673},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.6686941385269165},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.6559997797012329},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5465856790542603},{"id":"https://openalex.org/keywords/false-alarm","display_name":"False alarm","score":0.5238571166992188},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4619349241256714},{"id":"https://openalex.org/keywords/constant-false-alarm-rate","display_name":"Constant false alarm rate","score":0.4310857057571411},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37638986110687256},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18614259362220764},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12789589166641235},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.09163621068000793}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8623286485671997},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.7121483087539673},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.6686941385269165},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.6559997797012329},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5465856790542603},{"id":"https://openalex.org/C2776836416","wikidata":"https://www.wikidata.org/wiki/Q1364844","display_name":"False alarm","level":2,"score":0.5238571166992188},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4619349241256714},{"id":"https://openalex.org/C77052588","wikidata":"https://www.wikidata.org/wiki/Q644307","display_name":"Constant false alarm rate","level":2,"score":0.4310857057571411},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37638986110687256},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18614259362220764},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12789589166641235},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.09163621068000793},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tsmc.2017.2710132","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tsmc.2017.2710132","pdf_url":"https://ieeexplore.ieee.org/ielx7/6221021/8667753/07984866.pdf","source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"},{"id":"pmh:oai:aura.abdn.ac.uk:2164/18948","is_oa":false,"landing_page_url":"https://hdl.handle.net/2164/18948","pdf_url":null,"source":{"id":"https://openalex.org/S4306400966","display_name":"Aberdeen University Research Archive (Aberdeen University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I195460627","host_organization_name":"University of Aberdeen","host_organization_lineage":["https://openalex.org/I195460627"],"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"},{"id":"pmh:oai:dspace.lboro.ac.uk:2134/25262","is_oa":true,"landing_page_url":"https://dspace.lboro.ac.uk/2134/25262","pdf_url":null,"source":{"id":"https://openalex.org/S4306401023","display_name":"Loughborough University Institutional Repository (Loughborough University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I143804889","host_organization_name":"Loughborough University","host_organization_lineage":["https://openalex.org/I143804889"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:figshare.com:article/9226082","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Model_based_fault_diagnosis_system_verification_using_reachability_analysis/9226082","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1109/tsmc.2017.2710132","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tsmc.2017.2710132","pdf_url":"https://ieeexplore.ieee.org/ielx7/6221021/8667753/07984866.pdf","source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Responsible consumption and production","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/12"}],"awards":[{"id":"https://openalex.org/G6103793051","display_name":"Towards More Autonomy for Unmanned Vehicles: Situational Awareness and Decision Making under Uncertainty","funder_award_id":"EP/J011525/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6445463004","display_name":null,"funder_award_id":"EP/J011525/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2678612607.pdf","grobid_xml":"https://content.openalex.org/works/W2678612607.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W108857541","https://openalex.org/W1597576211","https://openalex.org/W1605916706","https://openalex.org/W1877330521","https://openalex.org/W1971025315","https://openalex.org/W1984240524","https://openalex.org/W1985913779","https://openalex.org/W1987714032","https://openalex.org/W2015935914","https://openalex.org/W2019476477","https://openalex.org/W2020254113","https://openalex.org/W2026019548","https://openalex.org/W2051271553","https://openalex.org/W2102832680","https://openalex.org/W2131705529","https://openalex.org/W2135128809","https://openalex.org/W2137003642","https://openalex.org/W2153038799","https://openalex.org/W2153074709","https://openalex.org/W2240923019","https://openalex.org/W2300621294","https://openalex.org/W2329811151","https://openalex.org/W2406134394","https://openalex.org/W2406805717","https://openalex.org/W2411236827","https://openalex.org/W2502412532","https://openalex.org/W2550146378","https://openalex.org/W2580804901","https://openalex.org/W4239870056","https://openalex.org/W6657187930"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W1983393909","https://openalex.org/W2774527540","https://openalex.org/W2040150569","https://openalex.org/W2468095590","https://openalex.org/W2132174924","https://openalex.org/W1911540634","https://openalex.org/W2013909972"],"abstract_inverted_index":{"In":[0],"model-based":[1],"fault":[2,8,16,148,189],"detection":[3,58],"and":[4,15,24,56,105,184,198],"isolation":[5],"(FDI)":[6],"systems,":[7],"indicating":[9],"signals":[10],"(FISs)":[11],"such":[12],"as":[13],"residuals":[14],"estimates":[17],"are":[18,60,87,101],"corrupted":[19],"by":[20,76,154,168],"various":[21],"noises,":[22,186],"uncertainties":[23,82],"variations.":[25],"It":[26,43],"becomes":[27],"challenging":[28,46],"to":[29,47,72,134,137,194],"verify":[30],"whether":[31],"an":[32,117,170],"FDI":[33,118,171],"system":[34,119],"still":[35],"works":[36],"or":[37],"not":[38],"in":[39,176],"real":[40,65],"life":[41],"applications.":[42],"is":[44,166,192],"also":[45,150],"select":[48],"a":[49,143,174,188],"threshold":[50,129],"so":[51],"that":[52],"false":[53],"alarm":[54],"rate":[55,59],"missed":[57],"kept":[61],"low":[62],"depending":[63],"on":[64,83],"operation":[66],"conditions.":[67],"This":[68],"paper":[69],"proposes":[70],"solutions":[71],"the":[73,79,114,145,156,159,177],"aforementioned":[74],"problems":[75,86],"quantitatively":[77,152],"analyzing":[78],"effect":[80],"of":[81,99,116,158,173,179],"FIS.":[84],"The":[85,96,163],"formulated":[88],"into":[89],"reachability":[90],"analysis":[91],"problem":[92],"for":[93],"uncertain":[94],"systems.":[95],"reachable":[97,112,161],"sets":[98],"FIS":[100],"calculated":[102],"under":[103,124],"normal":[104],"selected":[106],"faulty":[107],"cases,":[108],"respectively.":[109],"From":[110],"these":[111],"sets,":[113],"effectiveness":[115],"can":[120,130,149],"be":[121,131,135,151],"qualitatively":[122],"verified":[123],"described":[125,140],"uncertainties.":[126,141],"A":[127],"dedicated":[128],"further":[132],"chosen":[133],"robust":[136],"all":[138],"possible":[139],"As":[142],"by-product,":[144],"minimum":[146],"detectable":[147],"determined":[153],"checking":[155],"intersection":[157],"computed":[160],"sets.":[162],"proposed":[164],"approach":[165,191],"demonstrated":[167],"evaluating":[169],"algorithm":[172],"motor":[175],"presence":[178],"parameter":[180],"uncertainties,":[181],"unknown":[182],"load,":[183],"sensor":[185,200],"where":[187],"estimation-based":[190],"adopted":[193],"diagnose":[195],"amplifier,":[196],"velocity,":[197],"current":[199],"faults.":[201]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":10},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}