{"id":"https://openalex.org/W4313598838","doi":"https://doi.org/10.1109/tcns.2023.3234598","title":"A New Approach for Verification of Delay Co-observability of Discrete-Event Systems","display_name":"A New Approach for Verification of Delay Co-observability of Discrete-Event Systems","publication_year":2023,"publication_date":"2023-01-06","ids":{"openalex":"https://openalex.org/W4313598838","doi":"https://doi.org/10.1109/tcns.2023.3234598"},"language":"en","primary_location":{"id":"doi:10.1109/tcns.2023.3234598","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcns.2023.3234598","pdf_url":null,"source":{"id":"https://openalex.org/S2502544478","display_name":"IEEE Transactions on Control of Network Systems","issn_l":"2325-5870","issn":["2325-5870","2372-2533"],"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 Control of Network Systems","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/A5037626649","display_name":"Yunfeng Hou","orcid":"https://orcid.org/0000-0001-9531-902X"},"institutions":[{"id":"https://openalex.org/I148128674","display_name":"University of Shanghai for Science and Technology","ror":"https://ror.org/00ay9v204","country_code":"CN","type":"education","lineage":["https://openalex.org/I148128674"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yunfeng Hou","raw_affiliation_strings":["Institute of Machine Intelligence, University of Shanghai for Science and Technology, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0001-9531-902X","affiliations":[{"raw_affiliation_string":"Institute of Machine Intelligence, University of Shanghai for Science and Technology, Shanghai, China","institution_ids":["https://openalex.org/I148128674"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021667837","display_name":"Qingdu Li","orcid":"https://orcid.org/0000-0001-9928-7272"},"institutions":[{"id":"https://openalex.org/I148128674","display_name":"University of Shanghai for Science and Technology","ror":"https://ror.org/00ay9v204","country_code":"CN","type":"education","lineage":["https://openalex.org/I148128674"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qingdu Li","raw_affiliation_strings":["Institute of Machine Intelligence, University of Shanghai for Science and Technology, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0001-9928-7272","affiliations":[{"raw_affiliation_string":"Institute of Machine Intelligence, University of Shanghai for Science and Technology, Shanghai, China","institution_ids":["https://openalex.org/I148128674"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066762136","display_name":"Yunfeng Ji","orcid":"https://orcid.org/0000-0002-9676-8211"},"institutions":[{"id":"https://openalex.org/I148128674","display_name":"University of Shanghai for Science and Technology","ror":"https://ror.org/00ay9v204","country_code":"CN","type":"education","lineage":["https://openalex.org/I148128674"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yunfeng Ji","raw_affiliation_strings":["Institute of Machine Intelligence, University of Shanghai for Science and Technology, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-9676-8211","affiliations":[{"raw_affiliation_string":"Institute of Machine Intelligence, University of Shanghai for Science and Technology, Shanghai, China","institution_ids":["https://openalex.org/I148128674"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035830376","display_name":"Gang Wang","orcid":"https://orcid.org/0000-0001-7831-5246"},"institutions":[{"id":"https://openalex.org/I148128674","display_name":"University of Shanghai for Science and Technology","ror":"https://ror.org/00ay9v204","country_code":"CN","type":"education","lineage":["https://openalex.org/I148128674"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gang Wang","raw_affiliation_strings":["Institute of Machine Intelligence, University of Shanghai for Science and Technology, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0001-7831-5246","affiliations":[{"raw_affiliation_string":"Institute of Machine Intelligence, University of Shanghai for Science and Technology, Shanghai, China","institution_ids":["https://openalex.org/I148128674"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035657472","display_name":"Ching-Yen Weng","orcid":"https://orcid.org/0000-0002-8499-4414"},"institutions":[{"id":"https://openalex.org/I148128674","display_name":"University of Shanghai for Science and Technology","ror":"https://ror.org/00ay9v204","country_code":"CN","type":"education","lineage":["https://openalex.org/I148128674"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ching-Yen Weng","raw_affiliation_strings":["Institute of Machine Intelligence, University of Shanghai for Science and Technology, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-8499-4414","affiliations":[{"raw_affiliation_string":"Institute of Machine Intelligence, University of Shanghai for Science and Technology, Shanghai, China","institution_ids":["https://openalex.org/I148128674"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5037626649"],"corresponding_institution_ids":["https://openalex.org/I148128674"],"apc_list":null,"apc_paid":null,"fwci":0.7759,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.73622544,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"10","issue":"3","first_page":"1542","last_page":"1554"},"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.9976000189781189,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9887999892234802,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.98072350025177},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6495319604873657},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.6038953065872192},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.5402414798736572},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4467054307460785},{"id":"https://openalex.org/keywords/discrete-event-dynamic-system","display_name":"Discrete event dynamic system","score":0.4324151575565338},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.425994873046875},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.386687695980072},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3825700581073761},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.34108269214630127},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3232075572013855},{"id":"https://openalex.org/keywords/discrete-system","display_name":"Discrete system","score":0.23082932829856873},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.16289380192756653},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.15449506044387817},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09462365508079529}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.98072350025177},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6495319604873657},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6038953065872192},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.5402414798736572},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4467054307460785},{"id":"https://openalex.org/C32866371","wikidata":"https://www.wikidata.org/wiki/Q5282046","display_name":"Discrete event dynamic system","level":3,"score":0.4324151575565338},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.425994873046875},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.386687695980072},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3825700581073761},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.34108269214630127},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3232075572013855},{"id":"https://openalex.org/C96314035","wikidata":"https://www.wikidata.org/wiki/Q5282062","display_name":"Discrete system","level":2,"score":0.23082932829856873},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.16289380192756653},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.15449506044387817},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09462365508079529},{"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/tcns.2023.3234598","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcns.2023.3234598","pdf_url":null,"source":{"id":"https://openalex.org/S2502544478","display_name":"IEEE Transactions on Control of Network Systems","issn_l":"2325-5870","issn":["2325-5870","2372-2533"],"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 Control of Network Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5600000023841858}],"awards":[{"id":"https://openalex.org/G155476271","display_name":null,"funder_award_id":"22ZR1443600","funder_id":"https://openalex.org/F4320309612","funder_display_name":"Natural Science Foundation of Shanghai"},{"id":"https://openalex.org/G2667425053","display_name":null,"funder_award_id":"6217023627","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7048147014","display_name":null,"funder_award_id":"19ZR1436000","funder_id":"https://openalex.org/F4320309612","funder_display_name":"Natural Science Foundation of Shanghai"},{"id":"https://openalex.org/G7857932966","display_name":null,"funder_award_id":"92048205","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G883098085","display_name":null,"funder_award_id":"62003214","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320309612","display_name":"Natural Science Foundation of Shanghai","ror":null},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W1582995105","https://openalex.org/W1761337960","https://openalex.org/W1968302778","https://openalex.org/W1979349468","https://openalex.org/W1981008659","https://openalex.org/W1985787415","https://openalex.org/W1991940429","https://openalex.org/W2037802202","https://openalex.org/W2060323123","https://openalex.org/W2068354234","https://openalex.org/W2091149102","https://openalex.org/W2097894506","https://openalex.org/W2108990199","https://openalex.org/W2110388557","https://openalex.org/W2125493492","https://openalex.org/W2130587077","https://openalex.org/W2145385263","https://openalex.org/W2150052960","https://openalex.org/W2152440281","https://openalex.org/W2155934015","https://openalex.org/W2167776999","https://openalex.org/W2170614893","https://openalex.org/W2171110406","https://openalex.org/W2175139803","https://openalex.org/W2181286595","https://openalex.org/W2323109263","https://openalex.org/W2339479657","https://openalex.org/W2344790901","https://openalex.org/W2494924537","https://openalex.org/W2509841691","https://openalex.org/W2523938397","https://openalex.org/W2554059338","https://openalex.org/W2593809978","https://openalex.org/W2782865495","https://openalex.org/W2793026105","https://openalex.org/W2884717594","https://openalex.org/W2904697878","https://openalex.org/W2910541645","https://openalex.org/W2914130458","https://openalex.org/W2940611068","https://openalex.org/W2990784851","https://openalex.org/W3015129727","https://openalex.org/W3097439979","https://openalex.org/W3162626460","https://openalex.org/W3163642081","https://openalex.org/W3210753433","https://openalex.org/W3212423304","https://openalex.org/W4212998164","https://openalex.org/W4286949267","https://openalex.org/W6753606374","https://openalex.org/W6839989117"],"related_works":["https://openalex.org/W2154921945","https://openalex.org/W4248220457","https://openalex.org/W2015027349","https://openalex.org/W2033300532","https://openalex.org/W2099363701","https://openalex.org/W2105965600","https://openalex.org/W2355782166","https://openalex.org/W2617235531","https://openalex.org/W1547828691","https://openalex.org/W1964497242"],"abstract_inverted_index":{"In":[0,35,136],"decentralized":[1,144,152],"networked":[2,148,156],"supervisory":[3,145],"control":[4,22,146],"of":[5,60,91,102,106,123,147,155,177],"discrete-event":[6],"systems":[7],"(DESs),":[8],"the":[9,53,85,92,100,104,109,121,133,140,143,151,175],"local":[10,29,124],"supervisors":[11,30],"observe":[12],"event":[13],"occurrences":[14],"subject":[15],"to":[16,19,43,78,99,120,169,183],"observation":[17,113],"delays":[18,114],"make":[20,32],"correct":[21],"decisions.":[23],"Delay":[24],"co-observability":[25,82,179],"describes":[26],"whether":[27],"these":[28],"can":[31,180],"sufficient":[33],"observations.":[34],"this":[36],"article,":[37],"we":[38,51,74,138],"provide":[39],"an":[40],"efficient":[41],"way":[42],"verify":[44,184],"delay":[45,81,161,170,178,185],"co-observability.":[46,171],"For":[47,71],"each":[48,72],"controllable":[49,86],"event,":[50],"partition":[52],"specification":[54],"language":[55],"into":[56],"a":[57,76,128],"finite":[58],"number":[59,101,105,122],"sets":[61,67],"such":[62],"that":[63,160],"strings":[64],"in":[65],"different":[66,69],"have":[68],"lengths.":[70],"set,":[73],"construct":[75],"verifier":[77],"check":[79],"if":[80],"holds":[83],"for":[84,174],"event.":[87],"The":[88],"computational":[89],"complexity":[90,130],"proposed":[93],"approach":[94],"is":[95,167],"polynomial":[96],"with":[97,118],"respect":[98,119],"states,":[103],"events,":[107],"and":[108,115,150,158],"upper":[110],"bounds":[111],"on":[112],"only":[116],"exponential":[117],"supervisors.":[125],"It":[126],"has":[127],"lower":[129],"order":[131],"than":[132],"existing":[134],"approaches.":[135],"addition,":[137],"investigate":[139],"relationship":[141],"between":[142],"DESs":[149,157],"fault":[153],"diagnosis":[154],"show":[159],"<inline-formula":[162,186],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[163,187],"xmlns:xlink=\"http://www.w3.org/1999/xlink\"><tex-math":[164,188],"notation=\"LaTeX\">$K$</tex-math></inline-formula>":[165,189],"-codiagnosability":[166],"transformable":[168],"Thus,":[172],"techniques":[173],"verification":[176],"be":[181],"leveraged":[182],"-codiagnosability.":[190]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}