{"id":"https://openalex.org/W4385832174","doi":"https://doi.org/10.1109/tase.2023.3301997","title":"Design of Supervisors for Partially Observed Discrete Event Systems Using Quiescent Information","display_name":"Design of Supervisors for Partially Observed Discrete Event Systems Using Quiescent Information","publication_year":2023,"publication_date":"2023-08-15","ids":{"openalex":"https://openalex.org/W4385832174","doi":"https://doi.org/10.1109/tase.2023.3301997"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2023.3301997","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2023.3301997","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-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/A5040716448","display_name":"Yihui Hu","orcid":"https://orcid.org/0000-0003-0098-6933"},"institutions":[{"id":"https://openalex.org/I4210136859","display_name":"Xi\u2019an University of Posts and Telecommunications","ror":"https://ror.org/04jn0td46","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136859"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yihui Hu","raw_affiliation_strings":["School of Automation, Xi&#x2019;an University of Posts and Telecommunications, Xi&#x2019;an, China"],"raw_orcid":"https://orcid.org/0000-0003-0098-6933","affiliations":[{"raw_affiliation_string":"School of Automation, Xi&#x2019;an University of Posts and Telecommunications, Xi&#x2019;an, China","institution_ids":["https://openalex.org/I4210136859"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030774236","display_name":"Ziyue Ma","orcid":"https://orcid.org/0000-0001-5787-5738"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ziyue Ma","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi&#x2019;an, China"],"raw_orcid":"https://orcid.org/0000-0001-5787-5738","affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi&#x2019;an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]},{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN","MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi&#x2019;an, China","Taipa, Macau University of Science and Technology, Institute of Systems Engineering, Macau, Macau"],"raw_orcid":"https://orcid.org/0000-0003-1547-5503","affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi&#x2019;an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Taipa, Macau University of Science and Technology, Institute of Systems Engineering, Macau, Macau","institution_ids":["https://openalex.org/I111950717"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4181,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.90770638,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"21","issue":"3","first_page":"4778","last_page":"4789"},"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.9987999796867371,"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.9987999796867371,"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.995199978351593,"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.9872999787330627,"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.7855750322341919},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.7417383193969727},{"id":"https://openalex.org/keywords/observer","display_name":"Observer (physics)","score":0.6518586277961731},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5783334970474243},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5584107041358948},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5541526079177856},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.4840204417705536},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4674668610095978},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45640337467193604},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45446836948394775},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.4405456483364105},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42264705896377563},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3206910490989685},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.21967145800590515},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20404312014579773},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.14572513103485107},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.1055043637752533}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.7855750322341919},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.7417383193969727},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.6518586277961731},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5783334970474243},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5584107041358948},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5541526079177856},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.4840204417705536},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4674668610095978},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45640337467193604},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45446836948394775},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.4405456483364105},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42264705896377563},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3206910490989685},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.21967145800590515},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20404312014579773},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.14572513103485107},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.1055043637752533},{"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},{"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2023.3301997","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2023.3301997","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.7799999713897705,"display_name":"Sustainable cities and communities"}],"awards":[{"id":"https://openalex.org/G3363774619","display_name":null,"funder_award_id":"61873342","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4116873045","display_name":null,"funder_award_id":"2022JM-323","funder_id":"https://openalex.org/F4320324173","funder_display_name":"Natural Science Foundation of Shaanxi Province"},{"id":"https://openalex.org/G6629803254","display_name":null,"funder_award_id":"ZYTS23023","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G7016509438","display_name":null,"funder_award_id":"202208615026","funder_id":"https://openalex.org/F4320322725","funder_display_name":"China Scholarship Council"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322725","display_name":"China Scholarship Council","ror":"https://ror.org/04atp4p48"},{"id":"https://openalex.org/F4320324173","display_name":"Natural Science Foundation of Shaanxi Province","ror":null},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1972357705","https://openalex.org/W1974202634","https://openalex.org/W1988926301","https://openalex.org/W2012427794","https://openalex.org/W2025366469","https://openalex.org/W2054032778","https://openalex.org/W2059057465","https://openalex.org/W2060323123","https://openalex.org/W2068354234","https://openalex.org/W2097632535","https://openalex.org/W2112978629","https://openalex.org/W2125393216","https://openalex.org/W2126818664","https://openalex.org/W2152440281","https://openalex.org/W2160453080","https://openalex.org/W2160915085","https://openalex.org/W2292083449","https://openalex.org/W2297081251","https://openalex.org/W2342445930","https://openalex.org/W2497816991","https://openalex.org/W2509841691","https://openalex.org/W2561784930","https://openalex.org/W2593283477","https://openalex.org/W2883866063","https://openalex.org/W2884266744","https://openalex.org/W2945689388","https://openalex.org/W2966995099","https://openalex.org/W2981236637","https://openalex.org/W3004266930","https://openalex.org/W3023381051","https://openalex.org/W3113273238","https://openalex.org/W3181652927","https://openalex.org/W4205523298","https://openalex.org/W4226238815","https://openalex.org/W4288853474"],"related_works":["https://openalex.org/W2154921945","https://openalex.org/W46796605","https://openalex.org/W1536962364","https://openalex.org/W2333630979","https://openalex.org/W2325169597","https://openalex.org/W4309988904","https://openalex.org/W1502177156","https://openalex.org/W1965692592","https://openalex.org/W1964497242","https://openalex.org/W2331919730"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,85,104],"study":[4],"the":[5,32,42,53,63,67,70,91,116,132,136,148,155,166,169,218,230,248,251,267,290],"nonblocking":[6],"supervisor":[7,114,133,243],"synthesis":[8],"problem":[9,234],"in":[10,37,94,140,212,253,281],"partially":[11,214,237],"observed":[12,215,238],"discrete":[13,178,239],"event":[14,179,240],"systems":[15,203],"modeled":[16],"by":[17,135,147,265,275],"finite-state":[18],"automata.":[19],"We":[20,46],"consider":[21],"a":[22,38,49,56,74,87,95,111,182,188,209,236,257,261,276],"particular":[23],"type":[24],"of":[25,34,44,55,73,168,190,250,288],"supervisors":[26],"that":[27,151,270],"can":[28,77,271],"observe":[29],"not":[30,153],"only":[31],"execution":[33],"observable":[35,59],"events":[36],"plant":[39,57],"but":[40],"also":[41,162],"quiescence":[43,71,125,268],"it.":[45],"first":[47],"define":[48],"q-observer":[50,68],"to":[51,80,89,109,164,175,217,246,255],"characterize":[52],"behavior":[54],"with":[58,62],"quiescence.":[60,156],"Comparing":[61],"classical":[64],"observer":[65],"structure,":[66],"contains":[69],"information":[72,128,269],"plant,":[75],"which":[76,222],"be":[78,272],"used":[79],"improve":[81],"state":[82,130],"estimation.":[83],"Then":[84],"propose":[86],"method":[88,108,138],"detect":[90],"blocking":[92],"states":[93],"<inline-formula":[96,117],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[97,118,173],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[98,119],"<tex-math":[99,120],"notation=\"LaTeX\">$q$</tex-math>":[100,121],"</inline-formula>":[101,122],"-observer.":[102,123],"Finally,":[103],"develop":[105],"an":[106],"iterative":[107],"synthesize":[110],"nonblockingness":[112],"enforcement":[113],"from":[115],"Since":[124],"provides":[126],"additional":[127],"on":[129],"estimation,":[131],"synthesized":[134,146],"proposed":[137],"is":[139,161,181,211,244],"general":[141,213],"more":[142],"permissive":[143],"than":[144],"those":[145],"existing":[149],"approaches":[150],"do":[152],"monitor":[154],"A":[157,242],"manufacturing":[158,198],"system":[159,180,210,252],"example":[160],"given":[163],"elucidate":[165],"effectiveness":[167],"developed":[170],"approach":[171],"<italic":[172],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Note":[174],"Practitioners</i>":[176],"\u2014A":[177],"discrete-state":[183],"and":[184,204,283],"event-driven":[185],"system,":[186],"covering":[187],"deluge":[189],"contemporary":[191],"computer-integrated":[192],"man-made":[193],"constructs,":[194],"such":[195],"as":[196],"automated":[197],"systems,":[199],"smart":[200],"urban":[201],"transportation":[202],"computer":[205],"communication":[206],"networks.":[207],"Such":[208],"due":[216],"limited":[219],"sensor":[220],"deployment,":[221],"complicates":[223],"its":[224],"controller":[225],"design.":[226],"This":[227],"research":[228],"studies":[229],"typical":[231],"supervisory":[232],"control":[233,263,282,292],"for":[235,294],"system.":[241,278],"designed":[245],"restrict":[247],"dynamics":[249],"order":[254],"guarantee":[256],"safe":[258],"operation":[259],"through":[260],"different":[262],"scheme":[264,293],"using":[266],"usually":[273],"provided":[274],"real-world":[277],"The":[279],"practitioners":[280],"automation":[284],"community":[285],"are":[286],"capable":[287],"practicing":[289],"formulated":[291],"engineering":[295],"applications.":[296]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":7}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}