{"id":"https://openalex.org/W1943826093","doi":"https://doi.org/10.1109/cca.2015.7320659","title":"Computational methods for diagnosability verification of hybrid systems","display_name":"Computational methods for diagnosability verification of hybrid systems","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W1943826093","doi":"https://doi.org/10.1109/cca.2015.7320659","mag":"1943826093"},"language":"en","primary_location":{"id":"doi:10.1109/cca.2015.7320659","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cca.2015.7320659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE Conference on Control Applications (CCA)","raw_type":"proceedings-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/A5051234357","display_name":"Oumar Diene","orcid":"https://orcid.org/0000-0001-5069-1290"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]},{"id":"https://openalex.org/I4210113996","display_name":"Centro Universit\u00e1rio da Cidade","ror":"https://ror.org/032bg8m67","country_code":"BR","type":"education","lineage":["https://openalex.org/I4210113996"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Oumar Diene","raw_affiliation_strings":["Department of Electrical Engineering, Cidade Universit\u00e1ria, Rio de Janeiro, RJ, Brazil","Department of Electrical Engineering, Polytechnic School, Federal University of Rio de Janeiro, Cidade Universit\u00e1ria, Ilha do Fund\u00e3o, Rio de Janeiro, 21.945-970, RJ, Brazil"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Cidade Universit\u00e1ria, Rio de Janeiro, RJ, Brazil","institution_ids":["https://openalex.org/I4210113996"]},{"raw_affiliation_string":"Department of Electrical Engineering, Polytechnic School, Federal University of Rio de Janeiro, Cidade Universit\u00e1ria, Ilha do Fund\u00e3o, Rio de Janeiro, 21.945-970, RJ, Brazil","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001743340","display_name":"Marcos V. Moreira","orcid":"https://orcid.org/0000-0001-5661-2637"},"institutions":[{"id":"https://openalex.org/I4210113996","display_name":"Centro Universit\u00e1rio da Cidade","ror":"https://ror.org/032bg8m67","country_code":"BR","type":"education","lineage":["https://openalex.org/I4210113996"]},{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marcos V. Moreira","raw_affiliation_strings":["Department of Electrical Engineering, Cidade Universit\u00e1ria, Rio de Janeiro, RJ, Brazil","Department of Electrical Engineering, Polytechnic School, Federal University of Rio de Janeiro, Cidade Universit\u00e1ria, Ilha do Fund\u00e3o, Rio de Janeiro, 21.945-970, RJ, Brazil"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Cidade Universit\u00e1ria, Rio de Janeiro, RJ, Brazil","institution_ids":["https://openalex.org/I4210113996"]},{"raw_affiliation_string":"Department of Electrical Engineering, Polytechnic School, Federal University of Rio de Janeiro, Cidade Universit\u00e1ria, Ilha do Fund\u00e3o, Rio de Janeiro, 21.945-970, RJ, Brazil","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025115841","display_name":"Victor R. Alvarez","orcid":"https://orcid.org/0000-0003-4316-4032"},"institutions":[{"id":"https://openalex.org/I4210113996","display_name":"Centro Universit\u00e1rio da Cidade","ror":"https://ror.org/032bg8m67","country_code":"BR","type":"education","lineage":["https://openalex.org/I4210113996"]},{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Victor R. Alvarez","raw_affiliation_strings":["COPPE-Electrical Engineering Program, Cidade Universit\u00e1ria, Rio de Janeiro, RJ, Brazil","COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Cidade Uni-versit\u00e1ria, Ilha do Fund\u00e3o, Rio de Janeiro, 21.945-970, RJ, Brazil"],"affiliations":[{"raw_affiliation_string":"COPPE-Electrical Engineering Program, Cidade Universit\u00e1ria, Rio de Janeiro, RJ, Brazil","institution_ids":["https://openalex.org/I4210113996"]},{"raw_affiliation_string":"COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Cidade Uni-versit\u00e1ria, Ilha do Fund\u00e3o, Rio de Janeiro, 21.945-970, RJ, Brazil","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004755902","display_name":"Eduardo R. Silva","orcid":null},"institutions":[{"id":"https://openalex.org/I4210113996","display_name":"Centro Universit\u00e1rio da Cidade","ror":"https://ror.org/032bg8m67","country_code":"BR","type":"education","lineage":["https://openalex.org/I4210113996"]},{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Eduardo R. Silva","raw_affiliation_strings":["COPPE-Electrical Engineering Program, Cidade Universit\u00e1ria, Rio de Janeiro, RJ, Brazil","COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Cidade Uni-versit\u00e1ria, Ilha do Fund\u00e3o, Rio de Janeiro, 21.945-970, RJ, Brazil"],"affiliations":[{"raw_affiliation_string":"COPPE-Electrical Engineering Program, Cidade Universit\u00e1ria, Rio de Janeiro, RJ, Brazil","institution_ids":["https://openalex.org/I4210113996"]},{"raw_affiliation_string":"COPPE-Electrical Engineering Program, Federal University of Rio de Janeiro, Cidade Uni-versit\u00e1ria, Ilha do Fund\u00e3o, Rio de Janeiro, 21.945-970, RJ, Brazil","institution_ids":["https://openalex.org/I122140584"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5051234357"],"corresponding_institution_ids":["https://openalex.org/I122140584","https://openalex.org/I4210113996"],"apc_list":null,"apc_paid":null,"fwci":1.0515,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.7815342,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"47","issue":null,"first_page":"382","last_page":"387"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","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/T11125","display_name":"Petri Nets in System Modeling","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/T10876","display_name":"Fault Detection and Control Systems","score":0.9983999729156494,"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/T10142","display_name":"Formal Methods in Verification","score":0.9965000152587891,"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.839199423789978},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.714009165763855},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.619988203048706},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5283841490745544},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.5270823836326599},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5143362283706665},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4857114255428314},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46900224685668945},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4673346281051636},{"id":"https://openalex.org/keywords/hybrid-automaton","display_name":"Hybrid automaton","score":0.45275166630744934},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.43222346901893616},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4271778166294098},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.42299360036849976},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11740827560424805}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.839199423789978},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.714009165763855},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.619988203048706},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5283841490745544},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.5270823836326599},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5143362283706665},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4857114255428314},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46900224685668945},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4673346281051636},{"id":"https://openalex.org/C2776028153","wikidata":"https://www.wikidata.org/wiki/Q5953179","display_name":"Hybrid automaton","level":3,"score":0.45275166630744934},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.43222346901893616},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4271778166294098},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.42299360036849976},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11740827560424805},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cca.2015.7320659","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cca.2015.7320659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE Conference on Control Applications (CCA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5400000214576721,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322468","display_name":"Petrobras","ror":"https://ror.org/0235kyq22"},{"id":"https://openalex.org/F4320322749","display_name":"Funda\u00e7\u00e3o Carlos Chagas Filho de Amparo \u00e0 Pesquisa do Estado do Rio de Janeiro","ror":"https://ror.org/03kk0s825"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1482540049","https://openalex.org/W1587663028","https://openalex.org/W1594130515","https://openalex.org/W1985787415","https://openalex.org/W1991412897","https://openalex.org/W1997224674","https://openalex.org/W2045388415","https://openalex.org/W2081944106","https://openalex.org/W2090002622","https://openalex.org/W2098320911","https://openalex.org/W2110388557","https://openalex.org/W2117558445","https://openalex.org/W2144040052","https://openalex.org/W2509841691","https://openalex.org/W2738306895","https://openalex.org/W6681418194"],"related_works":["https://openalex.org/W2160647525","https://openalex.org/W4317533142","https://openalex.org/W2616809300","https://openalex.org/W2614633113","https://openalex.org/W2109003011","https://openalex.org/W2095644384","https://openalex.org/W2014066180","https://openalex.org/W1524267824","https://openalex.org/W2103488150","https://openalex.org/W1995691455"],"abstract_inverted_index":{"Modern":[0],"industrial":[1],"systems":[2,27,42],"are":[3,22,43],"real":[4],"time":[5],"controlled":[6],"and":[7,18,21,66],"supervised":[8],"by":[9],"means":[10],"of":[11,37,40,53,99,102,113,122,133,143],"automatic":[12],"computer-based":[13],"control":[14],"systems,":[15],"combining":[16],"discrete":[17],"continuous":[19,140],"behaviors,":[20],"best":[23],"modeled":[24],"as":[25],"hybrid":[26,41],"(HS).":[28],"In":[29],"this":[30],"paper,":[31],"two":[32],"methods":[33],"for":[34,63,81,96],"the":[35,38,51,67,97,100,105,114,123,131,134,139,144],"verification":[36,98],"diagnosability":[39,101],"proposed.":[44],"The":[45,110],"first":[46],"method":[47,69,106,116],"is":[48,70,117],"based":[49,71,137],"on":[50,72,138],"construction":[52],"a":[54,73,92,120],"diagnoser":[55,108],"automaton,":[56],"that":[57],"can":[58,84],"also":[59],"be":[60,79,85],"straightforwardly":[61],"used":[62,80],"online":[64,82],"diagnosis,":[65,83],"second":[68,115],"verifier":[74,121],"automaton":[75],"that,":[76],"although":[77],"cannot":[78],"constructed":[86],"in":[87],"polynomial":[88],"time,":[89],"leading":[90],"to":[91,118],"smaller":[93],"computational":[94],"complexity":[95],"HS":[103],"than":[104],"using":[107],"automata.":[109],"main":[111],"idea":[112],"build":[119],"underlying":[124],"discrete-event":[125],"system":[126,135],"(DES),":[127],"taking":[128],"into":[129],"account":[130],"distinguishability":[132],"modes":[136],"state":[141],"models":[142],"HS.":[145]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}