{"id":"https://openalex.org/W7092197801","doi":"https://doi.org/10.1109/tac.2025.3622478","title":"Enforcement of Critical Observability in Modular Discrete-Event Systems","display_name":"Enforcement of Critical Observability in Modular Discrete-Event Systems","publication_year":2025,"publication_date":"2025-10-16","ids":{"openalex":"https://openalex.org/W7092197801","doi":"https://doi.org/10.1109/tac.2025.3622478"},"language":null,"primary_location":{"id":"doi:10.1109/tac.2025.3622478","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3622478","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","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":null,"display_name":"Shaowen Miao","orcid":"https://orcid.org/0009-0008-4913-1999"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shaowen Miao","raw_affiliation_strings":["Department of Automation, Xiamen University, Xiamen, China"],"raw_orcid":"https://orcid.org/0009-0008-4913-1999","affiliations":[{"raw_affiliation_string":"Department of Automation, Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]},{"author_position":"middle","author":{"id":null,"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"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Jan Komenda","raw_affiliation_strings":["Institute of Mathematics of the Czech Academy of Sciences, Prague, Czechia"],"raw_orcid":"https://orcid.org/0000-0002-7294-8365","affiliations":[{"raw_affiliation_string":"Institute of Mathematics of the Czech Academy of Sciences, Prague, Czechia","institution_ids":["https://openalex.org/I4210120266"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Tom\u00e1\u0161 Masopust","orcid":"https://orcid.org/0000-0001-9282-758X"},"institutions":[{"id":"https://openalex.org/I70703428","display_name":"Palack\u00fd University Olomouc","ror":"https://ror.org/04qxnmv42","country_code":"CZ","type":"education","lineage":["https://openalex.org/I70703428"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Tom\u00e1\u0161 Masopust","raw_affiliation_strings":["Faculty of Science, Palacky University Olomouc, Olomouc, Czechia"],"raw_orcid":"https://orcid.org/0000-0001-9282-758X","affiliations":[{"raw_affiliation_string":"Faculty of Science, Palacky University Olomouc, Olomouc, Czechia","institution_ids":["https://openalex.org/I70703428"]}]},{"author_position":"last","author":{"id":null,"display_name":"Aiwen Lai","orcid":"https://orcid.org/0000-0003-3328-3441"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Aiwen Lai","raw_affiliation_strings":["Department of Automation, Xiamen University, Xiamen, China"],"raw_orcid":"https://orcid.org/0000-0003-3328-3441","affiliations":[{"raw_affiliation_string":"Department of Automation, Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7546,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.80652305,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"71","issue":"3","first_page":"2114","last_page":"2119"},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.8980000019073486,"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.8980000019073486,"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.024000000208616257,"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/T11424","display_name":"Security and Verification in Computing","score":0.014700000174343586,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8996999859809875},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.7896000146865845},{"id":"https://openalex.org/keywords/sublanguage","display_name":"Sublanguage","score":0.6901999711990356},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6694999933242798},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.616100013256073},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5498999953269958},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.5163999795913696},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.3944000005722046}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8996999859809875},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7896000146865845},{"id":"https://openalex.org/C2776411971","wikidata":"https://www.wikidata.org/wiki/Q17141398","display_name":"Sublanguage","level":2,"score":0.6901999711990356},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6694999933242798},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6514000296592712},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.616100013256073},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5498999953269958},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.5163999795913696},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4713999927043915},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.3944000005722046},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3763999938964844},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.34599998593330383},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.34150001406669617},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.32030001282691956},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.30000001192092896},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.28459998965263367},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.28060001134872437},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.27709999680519104},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.2727999985218048},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2678999900817871},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2590000033378601},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.2540999948978424}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2025.3622478","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3622478","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7310169339179993,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1554301460","https://openalex.org/W1953348647","https://openalex.org/W1972357705","https://openalex.org/W2013460416","https://openalex.org/W2017253339","https://openalex.org/W2026960586","https://openalex.org/W2068354234","https://openalex.org/W2152440281","https://openalex.org/W2497816991","https://openalex.org/W2509841691","https://openalex.org/W2755285785","https://openalex.org/W2887757342","https://openalex.org/W3163503072","https://openalex.org/W4214749219","https://openalex.org/W4288853474","https://openalex.org/W4324290952","https://openalex.org/W4383295107","https://openalex.org/W4388740221","https://openalex.org/W4414067844"],"related_works":[],"abstract_inverted_index":{"In":[0],"safety-critical":[1],"applications,":[2],"the":[3,27,52,61,100],"ability":[4],"to":[5,59,73,83],"distinguish":[6],"between":[7],"critical":[8],"and":[9,23,109],"noncritical":[10],"states":[11],"based":[12],"on":[13],"observations,":[14],"known":[15],"ascritical":[16],"observability(CO),":[17],"is":[18,67],"essential":[19],"for":[20],"ensuring":[21],"reliability":[22],"security.":[24],"We":[25,69],"address":[26],"enforcement":[28],"of":[29,54,102],"CO":[30,41,78],"in":[31],"discrete-event":[32],"systems":[33],"(DES)":[34],"through":[35],"supervisory":[36],"control.":[37],"While":[38],"a":[39],"supremal":[40],"sublanguage":[42],"does":[43],"not":[44],"exist,":[45],"we":[46,92],"overcome":[47],"this":[48,71],"challenge":[49],"by":[50],"leveraging":[51],"concept":[53],"normality,":[55],"proposing":[56],"an":[57],"algorithm":[58],"compute":[60],"least":[62],"restrictive":[63],"closed-loop":[64],"system":[65],"that":[66,104],"CO.":[68,110],"extend":[70],"approach":[72],"modular":[74],"DES,":[75],"showing":[76],"how":[77],"can":[79],"be":[80],"enforced":[81],"locally":[82],"achieve":[84],"global":[85],"enforcement,":[86],"thereby":[87],"addressing":[88],"scalability":[89],"challenges.":[90],"Finally,":[91],"integrate":[93],"our":[94],"framework":[95],"with":[96],"safety":[97,108],"specifications,":[98],"enabling":[99],"synthesis":[101],"supervisors":[103],"concurrently":[105],"ensure":[106],"both":[107]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-17T00:00:00"}