{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T22:11:57Z","timestamp":1772489517289,"version":"3.50.1"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["ECCS-2144416"],"award-info":[{"award-number":["ECCS-2144416"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2026,3]]},"DOI":"10.1109\/tac.2025.3608119","type":"journal-article","created":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T17:50:47Z","timestamp":1757526647000},"page":"1512-1520","source":"Crossref","is-referenced-by-count":0,"title":["The Universal State-Estimation-Intersection-Based Architecture for Decentralized Problems of Discrete-Event Systems"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3713-5964","authenticated-orcid":false,"given":"K.","family":"Ritsuka","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7526-6642","authenticated-orcid":false,"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/9.402"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/9.173140"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/acc.1997.608978"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/a:1015625600613"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2004.837595"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/cdc.2005.1582701"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2011.2128730"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1023\/a:1008335115538"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/tsmca.2005.853503"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0006-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/cdc.2013.6760887"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2023.10.1518"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2004.01.004"},{"key":"ref14","article-title":"Equivalence of decentralized observation, diagnosis, and control problems in discrete-event systems","author":"Ritsuka","year":"2022"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/cdc.2002.1184531"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2016.2523424"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2023.3299552"},{"key":"ref18","volume-title":"Isabelle\/HOL, A Proof Assistant for Higher-Order Logic","author":"Nipkow","year":"2002"},{"key":"ref19","article-title":"Supplementary material for the universal state-estimate-intersection-based architecture for decentralized problems of discrete-event systems","author":"Ritsuka","year":"2024"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72274-6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7"},{"key":"ref22","volume-title":"Picking Nits","author":"Blanchette"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"ref24","volume-title":"Software Abstractions, Logic, Language and Analysis","author":"Jackson","year":"2016"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-022-00363-7"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0264-7"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/9.880616"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2017.07.002"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/9\/11417357\/11155206-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/9\/11417357\/11155206.pdf?arnumber=11155206","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T20:58:54Z","timestamp":1772485134000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11155206\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3]]},"references-count":28,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tac.2025.3608119","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3]]}}}