{"id":"https://openalex.org/W2311017383","doi":"https://doi.org/10.1109/tac.2015.2455111","title":"Verification of Hybrid Automata Diagnosability With Measurement Uncertainty","display_name":"Verification of Hybrid Automata Diagnosability With Measurement Uncertainty","publication_year":2015,"publication_date":"2015-07-10","ids":{"openalex":"https://openalex.org/W2311017383","doi":"https://doi.org/10.1109/tac.2015.2455111","mag":"2311017383"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2015.2455111","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2015.2455111","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","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/A5015076117","display_name":"Yi Deng","orcid":"https://orcid.org/0000-0003-2657-4689"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yi Deng","raw_affiliation_strings":["Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088713991","display_name":"Alessandro D\u2019Innocenzo","orcid":"https://orcid.org/0000-0002-5239-0894"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro D'Innocenzo","raw_affiliation_strings":["Department of Engineering and Information Sciences and Mathematics, Center of Excellence DEWS, University of L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Engineering and Information Sciences and Mathematics, Center of Excellence DEWS, University of L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061994256","display_name":"Maria Domenica Di Benedetto","orcid":"https://orcid.org/0000-0001-5703-7822"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maria Domenica Di Benedetto","raw_affiliation_strings":["Department of Engineering and Information Sciences and Mathematics, Center of Excellence DEWS, University of L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Engineering and Information Sciences and Mathematics, Center of Excellence DEWS, University of L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082574385","display_name":"S. Di Gennaro","orcid":"https://orcid.org/0000-0002-2014-623X"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stefano Di Gennaro","raw_affiliation_strings":["Department of Engineering and Information Sciences and Mathematics, Center of Excellence DEWS, University of L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Engineering and Information Sciences and Mathematics, Center of Excellence DEWS, University of L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029921181","display_name":"A. Agung Julius","orcid":"https://orcid.org/0000-0002-0970-3226"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Agung Julius","raw_affiliation_strings":["Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical, Computer, and Systems Engineering, Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6716,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.9045019,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"61","issue":"4","first_page":"982","last_page":"993"},"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.9994000196456909,"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.9994000196456909,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9959999918937683,"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/T10142","display_name":"Formal Methods in Verification","score":0.9955999851226807,"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/automaton","display_name":"Automaton","score":0.6723016500473022},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6184048652648926},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5472332239151001},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5155365467071533},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38955992460250854}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6723016500473022},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6184048652648926},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5472332239151001},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5155365467071533},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38955992460250854},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2015.2455111","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2015.2455111","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W27464976","https://openalex.org/W59350782","https://openalex.org/W1482540049","https://openalex.org/W1508536183","https://openalex.org/W1510598017","https://openalex.org/W1526031273","https://openalex.org/W1985787415","https://openalex.org/W2004463571","https://openalex.org/W2004886718","https://openalex.org/W2008325098","https://openalex.org/W2060347105","https://openalex.org/W2079042739","https://openalex.org/W2097320111","https://openalex.org/W2103931555","https://openalex.org/W2112465475","https://openalex.org/W2120347230","https://openalex.org/W2120953717","https://openalex.org/W2126708831","https://openalex.org/W2133130964","https://openalex.org/W2137659272","https://openalex.org/W2146826400","https://openalex.org/W2150454902","https://openalex.org/W2152784531","https://openalex.org/W2159461839","https://openalex.org/W2161591590","https://openalex.org/W2165748475","https://openalex.org/W2169289043","https://openalex.org/W2171230839","https://openalex.org/W3101780859","https://openalex.org/W3103706207","https://openalex.org/W6665642523"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2045155990","https://openalex.org/W4388675521","https://openalex.org/W2108135022","https://openalex.org/W3148810651","https://openalex.org/W2898772359"],"abstract_inverted_index":{"The":[0,118],"problem":[1],"of":[2,26,38,71,94,101,130,134,150],"system":[3,14,22,28,60,81],"diagnosability":[4,82,138,149],"verification":[5],"is":[6,83],"concerned":[7],"with":[8,158],"whether":[9],"a":[10,64],"fault":[11],"in":[12,57],"the":[13,21,27,35,43,54,59,68,76,79,99,102,128,131,148,151],"operation":[15],"can":[16,139],"be":[17,112,140],"diagnosed":[18],"by":[19],"using":[20,98],"model":[23],"and":[24,143],"observations":[25],"output.":[29,61],"In":[30],"this":[31,156],"paper,":[32],"we":[33],"investigate":[34],"(\u03b4d,":[36,69,106],"\u03b4m)-diagnosability":[37,70,107],"hybrid":[39,72,80],"automata,":[40],"which":[41],"characterizes":[42],"maximum":[44],"delay":[45],"for":[46],"diagnosing":[47],"faults":[48],"since":[49],"their":[50],"first":[51],"occurrence,":[52],"given":[53],"measurement":[55],"uncertainty":[56],"observing":[58],"We":[62,89,154],"present":[63],"methodology":[65],"that":[66,125],"analyzes":[67],"automata.":[73],"Due":[74],"to":[75,86,111,115,127,146],"complex":[77],"dynamics,":[78],"often":[84],"difficult":[85],"analyze":[87],"directly.":[88],"thus":[90],"propose":[91],"an":[92,96,159],"approach":[93],"constructing":[95],"abstraction":[97,119],"trajectories":[100,124],"original":[103,152],"system.":[104,153],"Their":[105],"properties":[108],"are":[109],"proved":[110],"quantitatively":[113],"related":[114],"each":[116],"other.":[117],"has":[120],"only":[121],"finitely":[122],"many":[123],"extend":[126],"end":[129],"time":[132],"horizon":[133],"interest,":[135],"so":[136],"its":[137],"easily":[141],"calculated,":[142],"then":[144],"used":[145],"derive":[147],"illustrate":[155],"procedure":[157],"example.":[160]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2015,"cited_by_count":2}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}