{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T04:25:48Z","timestamp":1754108748221,"version":"3.37.3"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T00:00:00Z","timestamp":1692576000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T00:00:00Z","timestamp":1692576000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2020-04279","698466"],"award-info":[{"award-number":["RGPIN-2020-04279","698466"]}],"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":[[2023,9]]},"DOI":"10.1007\/s10626-023-00381-z","type":"journal-article","created":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T09:02:06Z","timestamp":1692608526000},"page":"257-277","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Do what you know: coupling knowledge with action in discrete-event systems"],"prefix":"10.1007","volume":"33","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":"K.","family":"Rudie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,8,21]]},"reference":[{"issue":"3","key":"381_CR1","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1109\/9.402","volume":"33","author":"R Cieslak","year":"1988","unstructured":"Cieslak R et al (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":"381_CR2","first-page":"772","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2007","unstructured":"Cassandras CG, Lafortune S (2007) Introduction to Discrete Event Systems. Springer-Verlag GmbH, Second, p 772"},{"key":"381_CR3","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5803.001.0001","author":"R Fagin","year":"2004","unstructured":"Fagin R et al (2004) Reasoning About Knowledge. The MIT Press. https:\/\/doi.org\/10.7551\/mitpress\/5803.001.0001","journal-title":"The MIT Press"},{"issue":"3","key":"381_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"},{"issue":"10","key":"381_CR5","doi-asserted-by":"publisher","first-page":"1783","DOI":"10.1109\/TAC.2007.906158","volume":"52","author":"R Kumar","year":"2007","unstructured":"Kumar R, Takai S (2007) Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems. IEEE Trans Autom Control 52(10):1783\u20131794. https:\/\/doi.org\/10.1109\/TAC.2007.906158","journal-title":"IEEE Trans Autom Control"},{"key":"381_CR6","doi-asserted-by":"publisher","unstructured":"Prosser JH, Kam M, Kwatny HG (1997) \u201cDecision fusion and supervisor synthesis in decentralized discrete-event systems\u201d. In: Proceedings of the American Control Conference. IEEE. https:\/\/doi.org\/10.1109\/ACC.1997.608978","DOI":"10.1109\/ACC.1997.608978"},{"issue":"9","key":"381_CR7","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":"381_CR8","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":"381_CR9","doi-asserted-by":"publisher","unstructured":"Ritsuka K, Rudie K (2021) \u201cA Visualization of Inference-Based Supervisory Control in Discrete-Event Systems\u201d. In: 2021 60th IEEE Conference on Decision and Control (CDC). IEEE. https:\/\/doi.org\/10.1109\/cdc45484.2021.9683210","DOI":"10.1109\/cdc45484.2021.9683210"},{"key":"381_CR10","unstructured":"Ritsuka K, Rudie K (2022) A correspondence between control and observation problems in decentralized discrete-event systems. arXiv:2204.10792 [eess.SY]"},{"issue":"3","key":"381_CR11","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/s10626-022-00363-7","volume":"32","author":"K Ritsuka","year":"2022","unstructured":"Ritsuka K, Rudie K (2022) Epistemic interpretations of decentralized discrete-event system problems. Discrete Event Dyn Syst 32(3):359\u2013398. https:\/\/doi.org\/10.1007\/s10626-022-00363-7","journal-title":"Discrete Event Dyn Syst"},{"issue":"11","key":"381_CR12","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"},{"issue":"2","key":"381_CR13","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1109\/tac.2007.915171","volume":"53","author":"S Takai","year":"2008","unstructured":"Takai S, Kumar R (2008) Synthesis of Inference Based Decentralized Control for Discrete Event Systems. IEEE Trans Autom Control 53(2):522\u2013534. https:\/\/doi.org\/10.1109\/tac.2007.915171","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"381_CR14","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10626-017-0264-7","volume":"28","author":"Y Tong","year":"2017","unstructured":"Tong Y et al (2017) Current-state opacity enforcement in discrete event systems under incomparable observations. Discrete Event Dyn Syst 28(2):161\u2013182. https:\/\/doi.org\/10.1007\/s10626-017-0264-7","journal-title":"Discrete Event Dyn Syst"},{"key":"381_CR15","doi-asserted-by":"crossref","unstructured":"Wonham WM, Cai K (2018) Supervisory Control of Discrete Event Systems. Springer-Verlag GmbH. 487 pp","DOI":"10.1007\/978-3-319-77452-7"},{"issue":"3","key":"381_CR16","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 Dyn Syst 12(3):335\u2013377. https:\/\/doi.org\/10.1023\/a:1015625600613","journal-title":"Discrete Event Dyn Syst"},{"issue":"11","key":"381_CR17","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"},{"issue":"8","key":"381_CR18","doi-asserted-by":"publisher","first-page":"1205","DOI":"10.1109\/tac.2005.852556","volume":"50","author":"TS Yoo","year":"2005","unstructured":"Yoo TS, Lafortune S (2005) Decentralized supervisory control with conditional decisions: supervisor realization. IEEE Trans Autom Control 50(8):1205\u20131211. https:\/\/doi.org\/10.1109\/tac.2005.852556","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-023-00381-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-023-00381-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-023-00381-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,11]],"date-time":"2023-09-11T11:12:41Z","timestamp":1694430761000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-023-00381-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,21]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["381"],"URL":"https:\/\/doi.org\/10.1007\/s10626-023-00381-z","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2023,8,21]]},"assertion":[{"value":"30 May 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 July 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 August 2023","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":"Conflicts of interest"}}]}}