{"id":"https://openalex.org/W2120552118","doi":"https://doi.org/10.1023/a:1008301317459","title":"Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines","display_name":"Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines","publication_year":1998,"publication_date":"1998-12-01","ids":{"openalex":"https://openalex.org/W2120552118","doi":"https://doi.org/10.1023/a:1008301317459","mag":"2120552118"},"language":"en","primary_location":{"id":"doi:10.1023/a:1008301317459","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008301317459","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://hdl.handle.net/2027.42/45127","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110385349","display_name":"G. Barrett","orcid":null},"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":"George Barrett","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI, 48109\u20132122","Department of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI 48109-2122"],"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\u20132122","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI 48109-2122","institution_ids":["https://openalex.org/I27837315"]}]},{"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\u20132122","Department of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI 48109-2122"],"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\u20132122","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI 48109-2122","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":2.4375,"has_fulltext":true,"cited_by_count":83,"citation_normalized_percentile":{"value":0.89434112,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"8","issue":"4","first_page":"377","last_page":"429"},"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.9998999834060669,"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.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/supervisory-control-theory","display_name":"Supervisory control theory","score":0.7871944904327393},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.7826159000396729},{"id":"https://openalex.org/keywords/sublanguage","display_name":"Sublanguage","score":0.7561253309249878},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.7456885576248169},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.7031713724136353},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6662985682487488},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5479426980018616},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5124712586402893},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.5039975047111511},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.4977467358112335},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.49076542258262634},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.44225892424583435},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.428283154964447},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.424580454826355},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.41883689165115356},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3617566227912903},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3582600951194763},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3112201690673828},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.2120547890663147},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.14695173501968384},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12470600008964539},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.11936268210411072}],"concepts":[{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.7871944904327393},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.7826159000396729},{"id":"https://openalex.org/C2776411971","wikidata":"https://www.wikidata.org/wiki/Q17141398","display_name":"Sublanguage","level":2,"score":0.7561253309249878},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.7456885576248169},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.7031713724136353},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6662985682487488},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5479426980018616},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5124712586402893},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.5039975047111511},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.4977467358112335},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.49076542258262634},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.44225892424583435},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.428283154964447},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.424580454826355},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.41883689165115356},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3617566227912903},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3582600951194763},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3112201690673828},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2120547890663147},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.14695173501968384},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12470600008964539},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.11936268210411072},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1023/a:1008301317459","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008301317459","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:deepblue.lib.umich.edu:2027.42/45127","is_oa":true,"landing_page_url":"https://hdl.handle.net/2027.42/45127","pdf_url":"https://hdl.handle.net/2027.42/45127","source":{"id":"https://openalex.org/S4306400393","display_name":"Deep Blue (University of Michigan)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I27837315","host_organization_name":"University of Michigan","host_organization_lineage":["https://openalex.org/I27837315"],"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":"Article"}],"best_oa_location":{"id":"pmh:oai:deepblue.lib.umich.edu:2027.42/45127","is_oa":true,"landing_page_url":"https://hdl.handle.net/2027.42/45127","pdf_url":"https://hdl.handle.net/2027.42/45127","source":{"id":"https://openalex.org/S4306400393","display_name":"Deep Blue (University of Michigan)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I27837315","host_organization_name":"University of Michigan","host_organization_lineage":["https://openalex.org/I27837315"],"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":"Article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8379368332","display_name":"Presidential Young Investigators Award:  Modeling, Analysis and Control of Discrete Event Systems","funder_award_id":"9057967","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2120552118.pdf"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W27326584","https://openalex.org/W74463220","https://openalex.org/W94945286","https://openalex.org/W114927261","https://openalex.org/W178638537","https://openalex.org/W291723681","https://openalex.org/W334259169","https://openalex.org/W1532938278","https://openalex.org/W1543281322","https://openalex.org/W1791168610","https://openalex.org/W1973642705","https://openalex.org/W1979349468","https://openalex.org/W2047587193","https://openalex.org/W2048826020","https://openalex.org/W2059057465","https://openalex.org/W2068361557","https://openalex.org/W2090575514","https://openalex.org/W2095786572","https://openalex.org/W2097061575","https://openalex.org/W2100964372","https://openalex.org/W2119750672","https://openalex.org/W2126295866","https://openalex.org/W2131451245","https://openalex.org/W2142124345","https://openalex.org/W2161413064","https://openalex.org/W2340102009","https://openalex.org/W2479184649","https://openalex.org/W2561009009","https://openalex.org/W4244719572","https://openalex.org/W6601108843","https://openalex.org/W6607140240","https://openalex.org/W6632033413","https://openalex.org/W6681209906"],"related_works":["https://openalex.org/W2090684133","https://openalex.org/W2016380948","https://openalex.org/W2043655783","https://openalex.org/W1171144154","https://openalex.org/W2136853256","https://openalex.org/W2289736777","https://openalex.org/W2158559244","https://openalex.org/W3046685129","https://openalex.org/W2071592303","https://openalex.org/W1979349468"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":6}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}