{"id":"https://openalex.org/W2074727206","doi":"https://doi.org/10.1007/s10626-008-0044-5","title":"Diagnosability Analysis of a Class of Hierarchical State Machines","display_name":"Diagnosability Analysis of a Class of Hierarchical State Machines","publication_year":2008,"publication_date":"2008-05-06","ids":{"openalex":"https://openalex.org/W2074727206","doi":"https://doi.org/10.1007/s10626-008-0044-5","mag":"2074727206"},"language":"en","primary_location":{"id":"doi:10.1007/s10626-008-0044-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10626-008-0044-5","pdf_url":null,"source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/journal_contribution/Diagnosability_analysis_of_a_class_of_hierarchical_state_machines/24338746","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028900305","display_name":"Andrea Paoli","orcid":"https://orcid.org/0000-0002-0857-6499"},"institutions":[{"id":"https://openalex.org/I4210148804","display_name":"Ospedale San Giuseppe","ror":"https://ror.org/05m6e7d23","country_code":"IT","type":"healthcare","lineage":["https://openalex.org/I4210094922","https://openalex.org/I4210148804","https://openalex.org/I4210153126"]},{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Andrea Paoli","raw_affiliation_strings":["Center for Research on Complex Automated Systems (CASY) \u201cGiuseppe Evangelisti\u201d DEIS\u2014Department of Electronic, Computer Science and Systems, University of Bologna, Viale Pepoli, 3/2, 40136, Bologna, Italy","Center for Research on Complex Automated Systems (CASY) Giuseppe Evangelisti DEIS--Department of Electronic, Computer Science and Systems, University of Bologna, Bologna, Italy 40136#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Research on Complex Automated Systems (CASY) \u201cGiuseppe Evangelisti\u201d DEIS\u2014Department of Electronic, Computer Science and Systems, University of Bologna, Viale Pepoli, 3/2, 40136, Bologna, Italy","institution_ids":["https://openalex.org/I4210148804"]},{"raw_affiliation_string":"Center for Research on Complex Automated Systems (CASY) Giuseppe Evangelisti DEIS--Department of Electronic, Computer Science and Systems, University of Bologna, Bologna, Italy 40136#TAB#","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027585653","display_name":"St\u00e9phane Lafortune","orcid":"https://orcid.org/0000-0002-7526-6642"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"St\u00e9phane Lafortune","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI, 48109-2122, USA","Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor, USA 48109-2122#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI, 48109-2122, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor, USA 48109-2122#TAB#","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5028900305"],"corresponding_institution_ids":["https://openalex.org/I4210148804","https://openalex.org/I9360294"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":1.9662,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.86532534,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"18","issue":"3","first_page":"385","last_page":"413"},"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.9997000098228455,"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.9997000098228455,"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.9965000152587891,"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.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/unobservable","display_name":"Unobservable","score":0.9240888357162476},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7311521172523499},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.6532670855522156},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.65053790807724},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5934162139892578},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5780416131019592},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.5579318404197693},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5422866940498352},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4817526340484619},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.44042155146598816},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.4335232973098755},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4244707226753235},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4109165072441101},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40804293751716614},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17855367064476013},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.1414160132408142},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0601019561290741}],"concepts":[{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.9240888357162476},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7311521172523499},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6532670855522156},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.65053790807724},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5934162139892578},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5780416131019592},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.5579318404197693},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5422866940498352},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4817526340484619},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.44042155146598816},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.4335232973098755},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4244707226753235},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4109165072441101},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40804293751716614},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17855367064476013},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.1414160132408142},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0601019561290741},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"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/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"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":4,"locations":[{"id":"doi:10.1007/s10626-008-0044-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10626-008-0044-5","pdf_url":null,"source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},{"id":"pmh:oai:eprints.lincoln.ac.uk:15876","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4377196275","display_name":"Lincoln Repository (University of Lincoln)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I51532219","host_organization_name":"University of Lincoln","host_organization_lineage":["https://openalex.org/I51532219"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:cris.unibo.it:11585/68687","is_oa":false,"landing_page_url":"http://hdl.handle.net/11585/68687","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:figshare.com:article/24338746","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Diagnosability_analysis_of_a_class_of_hierarchical_state_machines/24338746","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":null,"raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/24338746","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Diagnosability_analysis_of_a_class_of_hierarchical_state_machines/24338746","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":null,"raw_type":"Text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W182227077","https://openalex.org/W1490230761","https://openalex.org/W1501640954","https://openalex.org/W1526119296","https://openalex.org/W1565555505","https://openalex.org/W1578178060","https://openalex.org/W1581249620","https://openalex.org/W1587663028","https://openalex.org/W1985787415","https://openalex.org/W1986601502","https://openalex.org/W2037802202","https://openalex.org/W2094456504","https://openalex.org/W2095253518","https://openalex.org/W2095814825","https://openalex.org/W2099395647","https://openalex.org/W2099529102","https://openalex.org/W2105626325","https://openalex.org/W2113428686","https://openalex.org/W2115217694","https://openalex.org/W2120247689","https://openalex.org/W2121810837","https://openalex.org/W2126410464","https://openalex.org/W2127688117","https://openalex.org/W2133052507","https://openalex.org/W2142873763","https://openalex.org/W2166909032","https://openalex.org/W2504811584","https://openalex.org/W2509841691","https://openalex.org/W2528223576","https://openalex.org/W3015129727"],"related_works":["https://openalex.org/W2149686805","https://openalex.org/W4294689033","https://openalex.org/W1978158123","https://openalex.org/W4226462367","https://openalex.org/W2967463586","https://openalex.org/W2082642870","https://openalex.org/W2378270039","https://openalex.org/W4246201196","https://openalex.org/W2108024750","https://openalex.org/W4242459863"],"abstract_inverted_index":null,"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":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}