{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T18:07:56Z","timestamp":1772302076704,"version":"3.50.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T00:00:00Z","timestamp":1655856000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T00:00:00Z","timestamp":1655856000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"nserc discovery grant","award":["RGPIN-2020-04279"],"award-info":[{"award-number":["RGPIN-2020-04279"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1007\/s10626-022-00363-7","type":"journal-article","created":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T23:02:51Z","timestamp":1655852571000},"page":"359-398","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Epistemic interpretations of decentralized discrete-event system problems"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3713-5964","authenticated-orcid":false,"given":"K.","family":"Ritsuka","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8675-334X","authenticated-orcid":false,"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,6,22]]},"reference":[{"key":"363_CR1","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (2007) Introduction to Discrete Event Systems, 2nd edn. Springer-Verlag GmbH","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"3","key":"363_CR2","doi-asserted-by":"publisher","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(3):249\u2013260. https:\/\/doi.org\/10.1109\/9.402","journal-title":"IEEE Trans Autom Control"},{"key":"363_CR3","doi-asserted-by":"publisher","unstructured":"Fagin R, Halpern JY, Moses Y, Vardi M (2004) Reasoning About Knowledge. The MIT Press. https:\/\/doi.org\/10.7551\/mitpress\/5803.001.0001","DOI":"10.7551\/mitpress\/5803.001.0001"},{"issue":"3","key":"363_CR4","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"JY Halpern","year":"1990","unstructured":"Halpern JY, Moses Y (1990) Knowledge and common knowledge in a distributed environment. J ACM 37(3):549\u2013587. https:\/\/doi.org\/10.1145\/79147.79161","journal-title":"J ACM"},{"key":"363_CR5","doi-asserted-by":"publisher","unstructured":"Kumar R, Takai S (2005) Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems. In: Proceedings of the 44th IEEE Conference on Decision and Control, IEEE. https:\/\/doi.org\/10.1109\/CDC.2005.1582701","DOI":"10.1109\/CDC.2005.1582701"},{"issue":"3","key":"363_CR6","doi-asserted-by":"publisher","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. Inf Sci 44(3):173\u2013198. https:\/\/doi.org\/10.1016\/0020-0255(88)90001-1","journal-title":"Inf Sci"},{"key":"363_CR7","doi-asserted-by":"publisher","unstructured":"Prosser JH, Kam M, Kwatny HG (1997) Decision fusion and supervisor synthesis in decentralized discrete-event systems. In: Proceedings of the American Control Conference, IEEE. https:\/\/doi.org\/10.1109\/ACC.1997.608978","DOI":"10.1109\/ACC.1997.608978"},{"issue":"1","key":"363_CR8","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230. https:\/\/doi.org\/10.1137\/0325013","journal-title":"SIAM J Control Optim"},{"issue":"9","key":"363_CR9","doi-asserted-by":"publisher","first-page":"1656","DOI":"10.1109\/9.880616","volume":"45","author":"SL Ricker","year":"2000","unstructured":"Ricker SL, Rudie K (2000) Know means no: Incorporating knowledge into discrete-event control systems. IEEE Trans Autom Control 45(9):1656\u20131668. https:\/\/doi.org\/10.1109\/9.880616","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"363_CR10","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/TAC.2007.892371","volume":"52","author":"SL Ricker","year":"2007","unstructured":"Ricker SL, Rudie K (2007) Knowledge is a terrible thing to waste: Using inference in discrete-event control problems. IEEE Trans Autom Control 52(3):428\u2013441. https:\/\/doi.org\/10.1109\/TAC.2007.892371","journal-title":"IEEE Trans Autom Control"},{"key":"363_CR11","doi-asserted-by":"publisher","unstructured":"Ritsuka K, Rudie K (2021) A visualization of inference-based supervisory control in discreteevent system. In: Proceedings of the 60th IEEE Conference on Decision and Control (CDC), 2021, IEEE, pp. 1062\u20131068, https:\/\/doi.org\/10.1109\/CDC45484.2021.9683210","DOI":"10.1109\/CDC45484.2021.9683210"},{"key":"363_CR12","doi-asserted-by":"crossref","unstructured":"Ritsuka K, Rudie K (2022) Do what you know: Coupling knowledge with action in discrete-event systems, submitted for publication.","DOI":"10.1007\/s10626-023-00381-z"},{"issue":"5","key":"363_CR13","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/0167-6911(90)90059-4","volume":"15","author":"K Rudie","year":"1990","unstructured":"Rudie K, Wonham WM (1990) The infimal prefix-closed and observable superlanguange of a given language. Systems & Control Letters 15(5):361\u2013371. https:\/\/doi.org\/10.1016\/0167-6911(90)90059-4","journal-title":"Systems & Control Letters"},{"issue":"11","key":"363_CR14","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K Rudie","year":"1992","unstructured":"Rudie K, Wonham WM (1992) Think globally, act locally: Decentralized supervisory control. IEEE Trans Autom Control 37 (11):1692\u20131708. https:\/\/doi.org\/10.1109\/9.173140","journal-title":"IEEE Trans Autom Control"},{"key":"363_CR15","doi-asserted-by":"publisher","unstructured":"Takai S, Ushio T (2001) Strong co-observability conditions for decentralized supervisory control of discrete event systems. In: Proceedings of the 40th IEEE Conference on Decision and Control (CDC), 2001, IEEE, pp. 4098\u20134103 vol.5, https:\/\/doi.org\/10.1109\/CDC.2001.980821","DOI":"10.1109\/CDC.2001.980821"},{"issue":"1","key":"363_CR16","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/s0005-1098(01)00187-x","volume":"38","author":"S Takai","year":"2002","unstructured":"Takai S, Ushio T (2002) A modified normality condition for decentralized supervisory control of discrete event systems. Automatica 38(1):185\u2013189. https:\/\/doi.org\/10.1016\/s0005-1098(01)00187-x","journal-title":"Automatica"},{"issue":"4","key":"363_CR17","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1109\/tac.2005.844724","volume":"50","author":"S Takai","year":"2005","unstructured":"Takai S, Kumar R, Ushio T (2005) Characterization of co-observable languages and formulas for their super\/sublanguages. IEEE Trans Autom Control 50 (4):434\u2013447. https:\/\/doi.org\/10.1109\/tac.2005.844724","journal-title":"IEEE Trans Autom Control"},{"key":"363_CR18","doi-asserted-by":"crossref","unstructured":"Wonham WM, Cai K (2018) Supervisory Control of Discrete-Event Systems. Springer-Verlag GmbH","DOI":"10.1007\/978-3-319-77452-7"},{"issue":"3","key":"363_CR19","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/a:1015625600613","volume":"12","author":"TS Yoo","year":"2002","unstructured":"Yoo TS, Lafortune S (2002) A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems 12 (3):335\u2013377. https:\/\/doi.org\/10.1023\/a:1015625600613","journal-title":"Discrete Event Dynamic Systems"},{"issue":"11","key":"363_CR20","doi-asserted-by":"publisher","first-page":"1886","DOI":"10.1109\/tac.2004.837595","volume":"49","author":"TS Yoo","year":"2004","unstructured":"Yoo TS, Lafortune S (2004) Decentralized supervisory control with conditional decisions: Supervisor existence. IEEE Trans Autom Control 49(11):1886\u20131904. https:\/\/doi.org\/10.1109\/tac.2004.837595","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-022-00363-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-022-00363-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-022-00363-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T11:16:52Z","timestamp":1695640612000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-022-00363-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,22]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["363"],"URL":"https:\/\/doi.org\/10.1007\/s10626-022-00363-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6,22]]},"assertion":[{"value":"28 July 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 February 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 June 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"<!--Emphasis Type='Bold' removed-->Conflict of Interests"}}]}}