{"id":"https://openalex.org/W2077951865","doi":"https://doi.org/10.1109/cdc.2011.6160476","title":"Supervisory control of concurrent discrete-event systems","display_name":"Supervisory control of concurrent discrete-event systems","publication_year":2011,"publication_date":"2011-12-01","ids":{"openalex":"https://openalex.org/W2077951865","doi":"https://doi.org/10.1109/cdc.2011.6160476","mag":"2077951865"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2011.6160476","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2011.6160476","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, 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, Singapore 639798","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5046844818"],"corresponding_institution_ids":["https://openalex.org/I172675005"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.13776194,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"e87 a","issue":null,"first_page":"1811","last_page":"1816"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9947999715805054,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9941999912261963,"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/controllability","display_name":"Controllability","score":0.9119617938995361},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.8338019847869873},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8286248445510864},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.728053092956543},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.6564397811889648},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5817259550094604},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.5305175185203552},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5236684679985046},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.48767316341400146},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.473330557346344},{"id":"https://openalex.org/keywords/exception-handling","display_name":"Exception handling","score":0.4391048550605774},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.4273495674133301},{"id":"https://openalex.org/keywords/industrial-control-system","display_name":"Industrial control system","score":0.42668479681015015},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.418832004070282},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33267533779144287},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29240918159484863},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17451000213623047},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14133265614509583},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11350402235984802}],"concepts":[{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.9119617938995361},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.8338019847869873},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8286248445510864},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.728053092956543},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.6564397811889648},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5817259550094604},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.5305175185203552},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5236684679985046},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.48767316341400146},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.473330557346344},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.4391048550605774},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.4273495674133301},{"id":"https://openalex.org/C40071531","wikidata":"https://www.wikidata.org/wiki/Q2513962","display_name":"Industrial control system","level":3,"score":0.42668479681015015},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.418832004070282},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33267533779144287},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29240918159484863},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17451000213623047},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14133265614509583},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11350402235984802},{"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2011.6160476","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2011.6160476","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1488962902","https://openalex.org/W1509757908","https://openalex.org/W1879127424","https://openalex.org/W1979349468","https://openalex.org/W2038341113","https://openalex.org/W2068354234","https://openalex.org/W2126295866","https://openalex.org/W2134351118","https://openalex.org/W2489145936","https://openalex.org/W6629157999"],"related_works":["https://openalex.org/W4256621493","https://openalex.org/W3161414730","https://openalex.org/W2101979700","https://openalex.org/W1770180814","https://openalex.org/W2943911154","https://openalex.org/W2348305843","https://openalex.org/W1824907219","https://openalex.org/W2048419619","https://openalex.org/W227907875","https://openalex.org/W2132511067"],"abstract_inverted_index":{"Concurrency":[0],"is":[1],"a":[2,24,30,35],"common":[3],"feature":[4],"in":[5,23,61],"most":[6],"industrial":[7],"systems,":[8],"where":[9],"several":[10],"components":[11],"can":[12,54],"execute":[13],"different":[14],"actions":[15],"simultaneously.":[16],"In":[17],"this":[18],"paper":[19],"we":[20,42],"first":[21],"bring":[22],"new":[25,36],"supervisory":[26],"control":[27],"map":[28],"for":[29],"concurrent":[31,39],"system,":[32],"and":[33,49],"subsequently":[34],"concept":[37],"of":[38],"controllability,":[40],"then":[41],"show":[43],"that":[44],"the":[45,62],"supremal":[46],"concurrently":[47],"controllable":[48],"normal":[50],"sublanguages":[51],"exist,":[52],"which":[53],"be":[55],"computed":[56],"by":[57],"an":[58],"algorithm":[59],"proposed":[60],"paper.":[63]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}