{"id":"https://openalex.org/W2064739636","doi":"https://doi.org/10.1109/cdc.2011.6160567","title":"Maximally permissive distributed supervisory control of nondeterministic discrete-event systems","display_name":"Maximally permissive distributed supervisory control of nondeterministic discrete-event systems","publication_year":2011,"publication_date":"2011-12-01","ids":{"openalex":"https://openalex.org/W2064739636","doi":"https://doi.org/10.1109/cdc.2011.6160567","mag":"2064739636"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2011.6160567","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2011.6160567","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Conference on Decision and Control and European Control Conference","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/A5046844818","display_name":"Rong Su","orcid":"https://orcid.org/0000-0003-3448-0586"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Rong Su","raw_affiliation_strings":["Division of Control and Instrumentation, School of Electrical and Electronic Engineering, Nanyang technological University, Singapore","Division of Control and Instrumentation, School of Electrical and Electronic Engineering, Nanyang technological University, 50 Nanyang Avenue, Singapore 639798"],"affiliations":[{"raw_affiliation_string":"Division of Control and Instrumentation, School of Electrical and Electronic Engineering, Nanyang technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"Division of Control and Instrumentation, School of Electrical and Electronic Engineering, Nanyang technological University, 50 Nanyang Avenue, Singapore 639798","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001849550","display_name":"Jan H. van Schuppen","orcid":"https://orcid.org/0000-0001-7150-7915"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan H. van Schuppen","raw_affiliation_strings":["Centrum voor Wiskunde en Informatica, Amsterdam, Netherlands","Systems Engineering Group in the Department of Mechanical Engineering, Eindhoven University of Technology, PO Box 513, 5600 MB, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum voor Wiskunde en Informatica, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Systems Engineering Group in the Department of Mechanical Engineering, Eindhoven University of Technology, PO Box 513, 5600 MB, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110277322","display_name":"Jacobus E. Rooda","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jacobus E. Rooda","raw_affiliation_strings":["Systems Engineering Group in the Department of Mechanical Engineering, Eindhovan University of Technology, Eindhoven, Netherlands","Centrum voor Wiskunde en Informatica (CWI) P.O. Box 94079, 1090 GB Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Systems Engineering Group in the Department of Mechanical Engineering, Eindhovan University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Centrum voor Wiskunde en Informatica (CWI) P.O. Box 94079, 1090 GB Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5046844818"],"corresponding_institution_ids":["https://openalex.org/I172675005"],"apc_list":null,"apc_paid":null,"fwci":0.3138,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59954794,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1155","last_page":"1160"},"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.998199999332428,"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.9945999979972839,"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/supervisor","display_name":"Supervisor","score":0.8873040676116943},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7872384786605835},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.706000030040741},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7034868001937866},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6508550643920898},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.5855212807655334},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5370992422103882},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.46891865134239197},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.451956182718277},{"id":"https://openalex.org/keywords/deterministic-automaton","display_name":"Deterministic automaton","score":0.4186231195926666},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3919360637664795},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.35601890087127686},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.32560014724731445},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26133036613464355},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.06303960084915161}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8873040676116943},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7872384786605835},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.706000030040741},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7034868001937866},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6508550643920898},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.5855212807655334},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5370992422103882},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.46891865134239197},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.451956182718277},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.4186231195926666},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3919360637664795},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.35601890087127686},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.32560014724731445},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26133036613464355},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06303960084915161},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc.2011.6160567","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2011.6160567","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Conference on Decision and Control and European Control Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/7fb33c43-6ddc-48f9-b05a-70e74921a5d3","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/7fb33c43-6ddc-48f9-b05a-70e74921a5d3","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Su, R, Van Schuppen, J H & Rooda, J E 2011, Maximally permissive distributed supervisory control of nondeterministic discrete-event systems. in 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011., 6160567, Institute of Electrical and Electronics Engineers, pp. 1155-1160, 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, Orlando, FL, United States, 12/12/11. https://doi.org/10.1109/CDC.2011.6160567","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1973642705","https://openalex.org/W1979349468","https://openalex.org/W2005777052","https://openalex.org/W2068354234","https://openalex.org/W2078233504","https://openalex.org/W2081177528","https://openalex.org/W2115425820","https://openalex.org/W2122142933","https://openalex.org/W2125393216","https://openalex.org/W2126086148","https://openalex.org/W2126295866","https://openalex.org/W2140220034","https://openalex.org/W2141725522","https://openalex.org/W2147504115","https://openalex.org/W2157364367","https://openalex.org/W2171773362","https://openalex.org/W2489145936","https://openalex.org/W2984582970","https://openalex.org/W6841587223"],"related_works":["https://openalex.org/W2561017691","https://openalex.org/W2059979350","https://openalex.org/W1982464584","https://openalex.org/W2525308864","https://openalex.org/W1825821945","https://openalex.org/W2368684504","https://openalex.org/W2030569822","https://openalex.org/W2617402802","https://openalex.org/W4231063068","https://openalex.org/W2981250289"],"abstract_inverted_index":{"In":[0,14,55],"supervisor":[1,45],"synthesis":[2,20],"achieving":[3],"nonblockingness":[4],"is":[5,29],"a":[6,11,32,49,60],"major":[7],"computational":[8],"challenge":[9],"for":[10],"large":[12],"system.":[13],"the":[15,27,39,42,68],"literature":[16],"several":[17],"automaton-based":[18],"distributed":[19,44,70],"approaches":[21],"have":[22],"been":[23],"proposed,":[24],"in":[25],"which":[26,63],"plant":[28],"modeled":[30,47],"by":[31,48],"collection":[33,50],"of":[34,51,67],"nondeterministic":[35],"finite-state":[36,53],"automata":[37],"and":[38,41],"requirement":[40],"final":[43],"are":[46],"deterministic":[52],"automata.":[54],"this":[56],"paper":[57],"we":[58],"provide":[59],"sufficient":[61],"condition,":[62],"guarantees":[64],"maximal":[65],"permissiveness":[66],"synthesized":[69],"supervisor.":[71]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}