{"id":"https://openalex.org/W3011223394","doi":"https://doi.org/10.1109/cdc40024.2019.9028856","title":"A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems","display_name":"A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W3011223394","doi":"https://doi.org/10.1109/cdc40024.2019.9028856","mag":"3011223394"},"language":"en","primary_location":{"id":"doi:10.1109/cdc40024.2019.9028856","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9028856","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","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/A5033376085","display_name":"Jan Komenda","orcid":"https://orcid.org/0000-0002-7294-8365"},"institutions":[{"id":"https://openalex.org/I4210120266","display_name":"Czech Academy of Sciences, Institute of Mathematics","ror":"https://ror.org/02tv1yf50","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210120266"]},{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"funder","lineage":["https://openalex.org/I202391551"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Jan Komenda","raw_affiliation_strings":["Institute of Mathematics, Academy of Sciences of the Czech Republic, Brno, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Institute of Mathematics, Academy of Sciences of the Czech Republic, Brno, Czech Republic","institution_ids":["https://openalex.org/I202391551","https://openalex.org/I4210120266"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009172382","display_name":"Feng Lin","orcid":"https://orcid.org/0000-0002-6831-4458"},"institutions":[{"id":"https://openalex.org/I185443292","display_name":"Wayne State University","ror":"https://ror.org/01070mq45","country_code":"US","type":"education","lineage":["https://openalex.org/I185443292"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Feng Lin","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Wayne State University, Detroit, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Wayne State University, Detroit, MI, USA","institution_ids":["https://openalex.org/I185443292"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001849550","display_name":"Jan H. van Schuppen","orcid":"https://orcid.org/0000-0001-7150-7915"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jan H. van Schuppen","raw_affiliation_strings":["Van Schuppen Control Research, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Van Schuppen Control Research, Amsterdam, The Netherlands","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5033376085"],"corresponding_institution_ids":["https://openalex.org/I202391551","https://openalex.org/I4210120266"],"apc_list":null,"apc_paid":null,"fwci":0.1998,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.59262952,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"2019","issue":null,"first_page":"2009","last_page":"2014"},"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.9937999844551086,"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.9922999739646912,"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/distributivity","display_name":"Distributivity","score":0.8737781047821045},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.7705420255661011},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.6771446466445923},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6633380651473999},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5863431096076965},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.4949900507926941},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4866248071193695},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4415488541126251},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.41389814019203186},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3281107246875763},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.27820414304733276},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.22406575083732605},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15634313225746155},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0841490626335144}],"concepts":[{"id":"https://openalex.org/C138390121","wikidata":"https://www.wikidata.org/wiki/Q5283219","display_name":"Distributivity","level":3,"score":0.8737781047821045},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7705420255661011},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.6771446466445923},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6633380651473999},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5863431096076965},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.4949900507926941},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4866248071193695},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4415488541126251},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.41389814019203186},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3281107246875763},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.27820414304733276},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.22406575083732605},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15634313225746155},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0841490626335144},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"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},{"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":2,"locations":[{"id":"doi:10.1109/cdc40024.2019.9028856","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc40024.2019.9028856","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 58th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"mag:3042102011","is_oa":false,"landing_page_url":"https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002289545470209","pdf_url":null,"source":{"id":"https://openalex.org/S4306512817","display_name":"IEEE Conference Proceedings","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"IEEE Conference Proceedings","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1585701699","https://openalex.org/W1984266527","https://openalex.org/W2002741933","https://openalex.org/W2013460416","https://openalex.org/W2025366469","https://openalex.org/W2068354234","https://openalex.org/W2078233504","https://openalex.org/W2098729916","https://openalex.org/W2101933728","https://openalex.org/W2125708587","https://openalex.org/W2130795205","https://openalex.org/W2141547596","https://openalex.org/W2152440281","https://openalex.org/W2245698768","https://openalex.org/W2509841691","https://openalex.org/W2922048427","https://openalex.org/W3106447108","https://openalex.org/W4214749219","https://openalex.org/W4288853474","https://openalex.org/W6760814515"],"related_works":["https://openalex.org/W3017062904","https://openalex.org/W2535873559","https://openalex.org/W2018390992","https://openalex.org/W578326175","https://openalex.org/W2883359489","https://openalex.org/W2593170496","https://openalex.org/W2561764048","https://openalex.org/W4306177072","https://openalex.org/W4206672782","https://openalex.org/W3099932805"],"abstract_inverted_index":{"In":[0],"this":[1,41],"paper,":[2],"a":[3,36],"unifying":[4],"approach":[5],"to":[6,68],"maximal":[7],"permissiveness":[8],"in":[9,40],"modular":[10,25],"control":[11],"of":[12,24,32,59,81],"discrete-event":[13],"systems":[14],"is":[15,18,48],"proposed.":[16],"It":[17],"based":[19],"on":[20],"three":[21],"important":[22],"concepts":[23],"closed-loops:":[26],"monotonicity,":[27],"distributivity,":[28],"and":[29],"exchangeability.":[30],"Monotonicity":[31],"various":[33],"closed-loops":[34],"satisfying":[35],"given":[37,64],"property":[38,47,65],"considered":[39],"paper":[42],"holds":[43,54],"whenever":[44],"the":[45,56,63],"underlying":[46],"preserved":[49],"under":[50],"language":[51],"unions.":[52],"Distributivity":[53],"if":[55],"inverse":[57],"projections":[58],"local":[60],"plants":[61],"satisfy":[62],"with":[66],"respect":[67],"each":[69],"other.":[70],"Among":[71],"new":[72],"results,":[73],"sufficient":[74],"conditions":[75],"are":[76],"proposed":[77],"for":[78],"distributed":[79],"computation":[80],"supremal":[82],"relatively":[83],"observable":[84],"sublanguages.":[85]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}