{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:25:48Z","timestamp":1740122748432,"version":"3.37.3"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,7,4]],"date-time":"2017-07-04T00:00:00Z","timestamp":1499126400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"JSPS KAKENHI Grant","award":["JP16K18122"],"award-info":[{"award-number":["JP16K18122"]}]},{"name":"National Nature Science Foundation","award":["61403308"],"award-info":[{"award-number":["61403308"]}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["7399"],"award-info":[{"award-number":["7399"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s10626-017-0250-0","type":"journal-article","created":{"date-parts":[[2017,7,4]],"date-time":"2017-07-04T17:36:44Z","timestamp":1499189804000},"page":"269-287","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Characterizations and effective computation of supremal relatively observable sublanguages"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8784-0728","authenticated-orcid":false,"given":"Kai","family":"Cai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renyuan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. M.","family":"Wonham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,4]]},"reference":[{"key":"250_CR1","doi-asserted-by":"crossref","unstructured":"Alves M, Carvalho L, Basilio J (2016) New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage. In: Proceedings of the multi-conference on systems and control. Buenos Aires, Argentina, pp 527\u2013531","DOI":"10.1109\/CCA.2016.7587883"},{"key":"250_CR2","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0167-6911(90)90004-E","volume":"15","author":"RD Brandt","year":"1990","unstructured":"Brandt RD, Garg VK, Kumar R, Lin F, Marcus SI, Wonham WM (1990) Formulas for calculating supremal controllable and normal sublanguages. Syst Control Lett 15:111\u2013117","journal-title":"Syst Control Lett"},{"key":"250_CR3","doi-asserted-by":"crossref","unstructured":"Cai K, Wonham WM (2016) A new algorithm for computing the supremal relatively observable sublanguage. In: Proceedings of the workshop on discrete-event systems. Xi\u2019an, China, pp 8\u201313","DOI":"10.1109\/WODES.2016.7497819"},{"key":"250_CR5","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1109\/TAC.2014.2341891","volume":"60","author":"K Cai","year":"2015","unstructured":"Cai K, Zhang R, Wonham WM (2015) Relative observability of discrete-event systems and its supremal sublanguages. IEEE Trans Autom Control 60:659\u2013670","journal-title":"IEEE Trans Autom Control"},{"key":"250_CR4","doi-asserted-by":"crossref","first-page":"3382","DOI":"10.1109\/TAC.2015.2513370","volume":"61","author":"K Cai","year":"2016","unstructured":"Cai K, Zhang R, Wonham WM (2016) Relative observability and coobservability of timed discrete-event systems. IEEE Trans Autom Control 61:3382\u20133395","journal-title":"IEEE Trans Autom Control"},{"key":"250_CR6","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF02551361","volume":"2","author":"H Cho","year":"1989","unstructured":"Cho H, Marcus SI (1989) On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Math Control Signals Syst 2:47\u201369","journal-title":"Math Control Signals Syst"},{"key":"250_CR7","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1109\/9.402","volume":"33","author":"R Cieslak","year":"1988","unstructured":"Cieslak R, Desclaux C, Fawaz AS, Varaiya P (1988) Supervisory control of discrete-event processes with partial observations. IEEE Trans Autom Control 33:249\u2013260","journal-title":"IEEE Trans Autom Control"},{"key":"250_CR8","unstructured":"Eilenberg S (1974) Automata, languages and machines, volume A. Academic Press"},{"key":"250_CR9","unstructured":"Hopcroft JE, Ullman JD (1979) Introduction to automata theory. Addison-Wesley, Languages and Computation"},{"key":"250_CR10","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1109\/9.250512","volume":"38","author":"R Kumar","year":"1993","unstructured":"Kumar R, Garg VK, Marcus SI (1993) Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans Autom Control 38:232\u2013247","journal-title":"IEEE Trans Autom Control"},{"key":"250_CR11","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin F, Wonham WM (1988) On observability of discrete-event systems. Inform Sci 44:173\u2013198","journal-title":"Inform Sci"},{"key":"250_CR12","doi-asserted-by":"crossref","unstructured":"Moor T, Baier C, Yoo T, Lin F, Lafortune S (2012) On the computation of supremal sublanguages relevant to supervisory control. In: Proceedings of the international workshop discrete event systems (WODES12). Guadalajara, Mexico, pp 175\u2013180","DOI":"10.3182\/20121003-3-MX-4033.00030"},{"key":"250_CR13","unstructured":"Wonham WM (2016) Supervisory Control of Discrete-Event Systems. Systems Control Group, Dept. of Electrical and Computer Engineering, University of Toronto, updated annually 1998-2016. Available online at \n                        http:\/\/www.control.toronto.edu\/DES"},{"key":"250_CR14","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"WM Wonham","year":"1987","unstructured":"Wonham WM, Ramadge PJ (1987) On the supremal controllable sublanguage of a given language. SIAM J Control and Opt 25:637\u2013659","journal-title":"J Control and Optimization"},{"key":"250_CR15","doi-asserted-by":"crossref","first-page":"2140","DOI":"10.1109\/TAC.2015.2484359","volume":"61","author":"X Yin","year":"2016","unstructured":"Yin X, Lafortune S (2016) A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. IEEE Trans Autom Control 61:2140\u20132154","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-017-0250-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0250-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0250-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,5]],"date-time":"2018-05-05T04:35:26Z","timestamp":1525494926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-017-0250-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,4]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["250"],"URL":"https:\/\/doi.org\/10.1007\/s10626-017-0250-0","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2017,7,4]]}}}