{"id":"https://openalex.org/W1498904389","doi":"https://doi.org/10.1109/acc.2015.7170764","title":"On relative coobservability of discrete-event systems","display_name":"On relative coobservability of discrete-event systems","publication_year":2015,"publication_date":"2015-07-01","ids":{"openalex":"https://openalex.org/W1498904389","doi":"https://doi.org/10.1109/acc.2015.7170764","mag":"1498904389"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2015.7170764","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2015.7170764","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 American Control Conference (ACC)","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/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":true,"raw_author_name":"Kai Cai","raw_affiliation_strings":["Urban Research Plaza, Osaka City University, Japan"],"affiliations":[{"raw_affiliation_string":"Urban Research Plaza, 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":false,"raw_author_name":"Renyuan Zhang","raw_affiliation_strings":["Department of Traffic and Control Engineering, Northwestern Polytechnical University, China","[Department of Traffic and Control Engineering, Northwestern Polytechnical University, China]"],"affiliations":[{"raw_affiliation_string":"Department of Traffic and Control Engineering, Northwestern Polytechnical University, China","institution_ids":["https://openalex.org/I17145004"]},{"raw_affiliation_string":"[Department of Traffic and Control Engineering, Northwestern Polytechnical University, 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, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5036466435"],"corresponding_institution_ids":["https://openalex.org/I317356780"],"apc_list":null,"apc_paid":null,"fwci":3.8557,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.93544879,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"371","last_page":"376"},"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.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.9943000078201294,"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.9845095872879028},{"id":"https://openalex.org/keywords/unobservable","display_name":"Unobservable","score":0.8655917048454285},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.8537132740020752},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.7296209931373596},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6475934386253357},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5723071098327637},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.569860577583313},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5321953296661377},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46840426325798035},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4181000292301178},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3667706847190857},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3393346667289734},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.19332623481750488},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1559828221797943},{"id":"https://openalex.org/keywords/econometrics","display_name":"Econometrics","score":0.0835980474948883},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07232972979545593}],"concepts":[{"id":"https://openalex.org/C2776411971","wikidata":"https://www.wikidata.org/wiki/Q17141398","display_name":"Sublanguage","level":2,"score":0.9845095872879028},{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.8655917048454285},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8537132740020752},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.7296209931373596},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6475934386253357},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5723071098327637},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.569860577583313},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5321953296661377},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46840426325798035},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4181000292301178},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3667706847190857},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3393346667289734},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.19332623481750488},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1559828221797943},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.0835980474948883},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07232972979545593},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/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/acc.2015.7170764","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2015.7170764","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W322937049","https://openalex.org/W1984266527","https://openalex.org/W1988926301","https://openalex.org/W2034815558","https://openalex.org/W2068354234","https://openalex.org/W2108990199","https://openalex.org/W2126295866","https://openalex.org/W2145385263","https://openalex.org/W2152440281","https://openalex.org/W2167776999","https://openalex.org/W2171110406","https://openalex.org/W2181286595"],"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":{"We":[0,88],"study":[1],"a":[2,27,31,84],"new":[3],"concept":[4,36],"of":[5,12,83],"relative":[6,24,68,98,113],"coobservability":[7,42,99,114],"in":[8,37],"decentralized":[9,32,38],"supervisory":[10,39],"control":[11,40],"discrete-event":[13],"systems":[14],"under":[15,53,108],"partial":[16],"observation.":[17],"This":[18],"extends":[19],"our":[20],"previous":[21],"work":[22],"on":[23,118],"observability":[25],"from":[26],"centralized":[28],"setup":[29],"to":[30,92],"one.":[33],"A":[34],"fundamental":[35],"is":[41,49,74,100,105],"(and":[43],"its":[44],"several":[45],"variations);":[46],"this":[47,94],"property":[48],"not,":[50],"however,":[51],"closed":[52,107],"set":[54,109],"union,":[55],"and":[56,77],"hence":[57],"there":[58],"generally":[59],"does":[60],"not":[61],"exist":[62],"the":[63,78],"supremal":[64,79,95],"element.":[65],"Our":[66],"proposed":[67],"coobservability,":[69,73],"although":[70],"stronger":[71],"than":[72,102],"algebraically":[75],"well-behaved,":[76],"relatively":[80],"coobservable":[81],"sublanguage":[82],"given":[85],"language":[86],"exists.":[87],"present":[89],"an":[90],"algorithm":[91],"compute":[93],"sublanguage.":[96],"Moreover,":[97],"weaker":[101],"conormality,":[103,112],"which":[104],"also":[106],"union;":[110],"unlike":[111],"imposes":[115],"no":[116],"constraint":[117],"disabling":[119],"unobservable":[120],"controllable":[121],"events.":[122]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}