{"id":"https://openalex.org/W2766630495","doi":"https://doi.org/10.1080/00207179.2017.1397754","title":"Relative coobservability for decentralised supervisory control of discrete-event systems","display_name":"Relative coobservability for decentralised supervisory control of discrete-event systems","publication_year":2017,"publication_date":"2017-11-01","ids":{"openalex":"https://openalex.org/W2766630495","doi":"https://doi.org/10.1080/00207179.2017.1397754","mag":"2766630495"},"language":"en","primary_location":{"id":"doi:10.1080/00207179.2017.1397754","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207179.2017.1397754","pdf_url":null,"source":{"id":"https://openalex.org/S88061139","display_name":"International Journal of Control","issn_l":"0020-7179","issn":["0020-7179","1366-5820"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of 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":"https://openalex.org/A5036466435","display_name":"Kai Cai","orcid":"https://orcid.org/0000-0002-8784-0728"},"institutions":[{"id":"https://openalex.org/I317356780","display_name":"Osaka City University","ror":"https://ror.org/02skfsw40","country_code":"JP","type":"education","lineage":["https://openalex.org/I317356780"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kai Cai","raw_affiliation_strings":["Department of Electrical and Information Engineering, Osaka City University , Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Information Engineering, Osaka City University , Japan","institution_ids":["https://openalex.org/I317356780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101464174","display_name":"Renyuan Zhang","orcid":"https://orcid.org/0000-0002-4142-5166"},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Renyuan Zhang","raw_affiliation_strings":["School of Automation, Northwestern Polytechnical University , Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0002-4142-5166","affiliations":[{"raw_affiliation_string":"School of Automation, Northwestern Polytechnical University , Xi'an, China","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018886883","display_name":"W.M. Wonham","orcid":"https://orcid.org/0000-0002-9918-4481"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"W.M. Wonham","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Toronto , Toronto, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Toronto , Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101464174"],"corresponding_institution_ids":["https://openalex.org/I17145004"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.19011199,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"92","issue":"7","first_page":"1481","last_page":"1489"},"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.9934999942779541,"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.9932000041007996,"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/sublanguage","display_name":"Sublanguage","score":0.9831143617630005},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.8470861911773682},{"id":"https://openalex.org/keywords/unobservable","display_name":"Unobservable","score":0.8459203243255615},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.7989119291305542},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6124835014343262},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5347240567207336},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.48927900195121765},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4767388105392456},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4689252972602844},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4401816129684448},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.41043365001678467},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.40931233763694763},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3526281714439392},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.20312047004699707},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13286221027374268},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07682392001152039}],"concepts":[{"id":"https://openalex.org/C2776411971","wikidata":"https://www.wikidata.org/wiki/Q17141398","display_name":"Sublanguage","level":2,"score":0.9831143617630005},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.8470861911773682},{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.8459203243255615},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.7989119291305542},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6124835014343262},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5347240567207336},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.48927900195121765},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4767388105392456},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4689252972602844},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4401816129684448},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41043365001678467},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.40931233763694763},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3526281714439392},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.20312047004699707},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13286221027374268},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07682392001152039},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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.1080/00207179.2017.1397754","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207179.2017.1397754","pdf_url":null,"source":{"id":"https://openalex.org/S88061139","display_name":"International Journal of Control","issn_l":"0020-7179","issn":["0020-7179","1366-5820"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G3532718024","display_name":null,"funder_award_id":"61403308","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3851124399","display_name":null,"funder_award_id":"JP16K18122","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4532727861","display_name":null,"funder_award_id":"NSERC-DG-480599","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1498904389","https://openalex.org/W1988926301","https://openalex.org/W2026960586","https://openalex.org/W2068354234","https://openalex.org/W2108990199","https://openalex.org/W2145385263","https://openalex.org/W2147504115","https://openalex.org/W2150052960","https://openalex.org/W2152440281","https://openalex.org/W2157364367","https://openalex.org/W2158306892","https://openalex.org/W2167776999","https://openalex.org/W2170269579","https://openalex.org/W2171110406","https://openalex.org/W2181286595","https://openalex.org/W2343355661","https://openalex.org/W3161476343","https://openalex.org/W4249866328"],"related_works":["https://openalex.org/W2097726134","https://openalex.org/W4240933734","https://openalex.org/W2034815558","https://openalex.org/W2149686805","https://openalex.org/W2157429361","https://openalex.org/W2950099535","https://openalex.org/W4298084109","https://openalex.org/W2290012475","https://openalex.org/W2152440281","https://openalex.org/W1984266527"],"abstract_inverted_index":{"In":[0],"this":[1,49,98],"paper,":[2],"we":[3],"study":[4],"the":[5,65,81,101],"concept":[6,38],"of":[7,14,86],"relative":[8,26,70,110,125],"coobservability":[9,44,111,126],"in":[10,39],"decentralised":[11,34,40],"supervisory":[12,41],"control":[13,42],"discrete-event":[15],"systems":[16],"under":[17,55,120],"partial":[18],"observation.":[19],"This":[20],"extends":[21],"our":[22],"previous":[23],"work":[24],"on":[25,130],"observability":[27],"from":[28],"a":[29,33,87,93],"centralised":[30],"setup":[31],"to":[32,96],"one.":[35],"A":[36],"fundamental":[37],"is":[43,51,76,112,117],"(and":[45],"its":[46],"several":[47],"variations);":[48],"property":[50],"not,":[52],"however,":[53],"closed":[54,119],"set":[56,121],"union,":[57],"and":[58,80],"hence":[59],"there":[60],"generally":[61],"does":[62],"not":[63],"exist":[64],"supremal":[66,82,99],"element.":[67],"Our":[68],"proposed":[69],"coobservability,":[71,75],"although":[72],"stronger":[73],"than":[74,114],"algebraically":[77],"well":[78],"behaved,":[79],"relatively":[83],"coobservable":[84],"sublanguage":[85],"given":[88],"language":[89],"exists.":[90],"We":[91],"present":[92],"language-based":[94],"algorithm":[95,102],"compute":[97],"sublanguage;":[100],"allows":[103],"straightforward":[104],"implementation":[105],"using":[106],"off-the-shelf":[107],"algorithms.":[108],"Moreover,":[109],"weaker":[113],"conormality,":[115,124],"which":[116],"also":[118],"union;":[122],"unlike":[123],"imposes":[127],"no":[128],"constraint":[129],"disabling":[131],"unobservable":[132],"controllable":[133],"events.":[134]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}