{"id":"https://openalex.org/W2166129312","doi":"https://doi.org/10.23919/acc.2004.1384016","title":"Decentralized control of discrete event systems using prioritized composition with exclusion","display_name":"Decentralized control of discrete event systems using prioritized composition with exclusion","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W2166129312","doi":"https://doi.org/10.23919/acc.2004.1384016","mag":"2166129312"},"language":"en","primary_location":{"id":"doi:10.23919/acc.2004.1384016","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc.2004.1384016","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2004 American 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/A5112664221","display_name":"Wenbin Qiu","orcid":null},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Wenbin Qiu","raw_affiliation_strings":["Department of ECE, Iowa State University, Ames, IA, USA"],"affiliations":[{"raw_affiliation_string":"Department of ECE, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044031773","display_name":"Ratnesh Kumar","orcid":"https://orcid.org/0000-0003-3974-5790"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Kumar","raw_affiliation_strings":["Department of ECE, Iowa State University, Ames, IA, USA"],"affiliations":[{"raw_affiliation_string":"Department of ECE, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047505682","display_name":"V. Chandra","orcid":"https://orcid.org/0000-0002-2380-0292"},"institutions":[{"id":"https://openalex.org/I110325482","display_name":"Eastern Kentucky University","ror":"https://ror.org/012xks909","country_code":"US","type":"education","lineage":["https://openalex.org/I110325482"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"V. Chandra","raw_affiliation_strings":["Department of Technology, Fastern Kentucky University, Richmond, KY, USA"],"affiliations":[{"raw_affiliation_string":"Department of Technology, Fastern Kentucky University, Richmond, KY, USA","institution_ids":["https://openalex.org/I110325482"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5112664221"],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":0.3372,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.63941871,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"4483","last_page":"4487 vol.5"},"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.9957000017166138,"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.9955999851226807,"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/observability","display_name":"Observability","score":0.8733454942703247},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.6627201437950134},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.586514949798584},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5488680601119995},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4796181619167328},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.46708035469055176},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.42125511169433594},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4208722412586212},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.41337400674819946},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.4103558659553528},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.39998191595077515},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36630678176879883},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27984732389450073},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.19140586256980896},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09572473168373108},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.09566688537597656}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8733454942703247},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.6627201437950134},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.586514949798584},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5488680601119995},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4796181619167328},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.46708035469055176},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.42125511169433594},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4208722412586212},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.41337400674819946},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.4103558659553528},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.39998191595077515},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36630678176879883},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27984732389450073},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.19140586256980896},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09572473168373108},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.09566688537597656},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","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/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc.2004.1384016","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc.2004.1384016","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2004 American Control Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.7300000190734863}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1978495527","https://openalex.org/W1979349468","https://openalex.org/W1988926301","https://openalex.org/W2011115295","https://openalex.org/W2028300365","https://openalex.org/W2068354234","https://openalex.org/W2090575514","https://openalex.org/W2091149102","https://openalex.org/W2108990199","https://openalex.org/W2110446158","https://openalex.org/W2149549862","https://openalex.org/W2150052960","https://openalex.org/W2167776999","https://openalex.org/W2171110406"],"related_works":["https://openalex.org/W2332386680","https://openalex.org/W1983142522","https://openalex.org/W1986570998","https://openalex.org/W2782529250","https://openalex.org/W2037921533","https://openalex.org/W2508171592","https://openalex.org/W2801563517","https://openalex.org/W2130864543","https://openalex.org/W2068126039","https://openalex.org/W2041749520"],"abstract_inverted_index":{"This":[0],"paper":[1],"studies":[2],"the":[3,38,60,92,108,113,128,137],"decentralized":[4,95,150],"control":[5,151],"problem":[6],"of":[7,33,40,56,74,94,130],"discrete":[8],"event":[9],"systems":[10],"via":[11],"prioritized":[12,22],"composition":[13,24],"with":[14,79],"exclusion":[15],"(PCX).":[16],"PCX":[17,50,75,98,109,131],"was":[18],"obtained":[19],"by":[20],"extending":[21],"synchronous":[23],"(PSC)":[25],"in":[26,42,64,119,124],"order":[27],"to":[28,145],"model":[29],"various":[30],"Boolean":[31],"modes":[32,55],"decision":[34,51,57,99],"fusion":[35,52,58,132],"resulting":[36],"from":[37,142],"exclusivity":[39],"participation":[41],"system":[43],"interactions":[44],"Chandra,":[45],"V":[46],"et":[47,67],"al.":[48],"(2003).":[49],"allows":[53],"additional":[54],"beyond":[59],"AND/OR":[61],"architecture":[62,133],"considered":[63],"Yoo,":[65],"TS":[66],"al.,":[68],"2002.":[69],"We":[70,101],"present":[71],"a":[72,86],"definition":[73],"co-observability,":[76],"which":[77,111],"together":[78],"controllability":[80],"and":[81,88,122,148],"L/sub":[82],"m/(G)-closure":[83],"serves":[84],"as":[85],"necessary":[87],"sufficient":[89],"condition":[90],"for":[91,106],"existence":[93],"supervisors":[96,144],"under":[97],"fusion.":[100],"also":[102],"provide":[103],"an":[104],"algorithm":[105],"testing":[107],"co-observability":[110],"has":[112,152],"computational":[114],"complexity":[115],"that":[116],"is":[117,140],"quadratic":[118],"plant":[120],"states":[121],"cubic":[123],"specification":[125],"states.":[126],"Next":[127],"properties":[129],"are":[134],"presented.":[135],"Finally,":[136],"exclusive":[138],"operation":[139],"extended":[141],"two":[143],"n":[146],"supervisors,":[147],"corresponding":[149],"been":[153],"studied.":[154]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}