{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T07:42:41Z","timestamp":1768808561876,"version":"3.49.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T00:00:00Z","timestamp":1688342400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T00:00:00Z","timestamp":1688342400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62103344"],"award-info":[{"award-number":["62103344"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003392","name":"Natural Science Foundation of Fujian Province of China","doi-asserted-by":"publisher","award":["2021J05015"],"award-info":[{"award-number":["2021J05015"]}],"id":[{"id":"10.13039\/501100003392","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2021ZD0112600"],"award-info":[{"award-number":["2021ZD0112600"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["20720220113"],"award-info":[{"award-number":["20720220113"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100013405","name":"RVO","doi-asserted-by":"publisher","award":["67985840"],"award-info":[{"award-number":["67985840"]}],"id":[{"id":"10.13039\/100013405","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001824","name":"GA\u010cR","doi-asserted-by":"publisher","award":["19-06175J"],"award-info":[{"award-number":["19-06175J"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,7,3]]},"DOI":"10.1109\/codit58514.2023.10284082","type":"proceedings-article","created":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T17:46:12Z","timestamp":1698169572000},"page":"251-256","source":"Crossref","is-referenced-by-count":4,"title":["Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition"],"prefix":"10.1109","author":[{"given":"Shaowen","family":"Miao","sequence":"first","affiliation":[{"name":"Xiamen University,Department of Automation,Xiamen,China,361102"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aiwen","family":"Lai","sequence":"additional","affiliation":[{"name":"Xiamen University,Department of Automation,Xiamen,China,361102"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao","family":"Yu","sequence":"additional","affiliation":[{"name":"Xiamen University,Innovation Laboratory for Sciences and Technologies of Energy Materials of Fujian Province (IKKEM),Department of Automation,Xiamen,China,361102"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Lahaye","sequence":"additional","affiliation":[{"name":"University of Angers,LARIS,Angers,France,49000"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Komenda","sequence":"additional","affiliation":[{"name":"Institute of Mathematics,Czech Academy of Sciences,Brno,Czech Republic,61662"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.03.023"},{"key":"ref12","first-page":"187","article-title":"I-detectability of discrete-event systems","volume":"10","author":"shu","year":"2012","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.04.025"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.03.077"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.910713"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867438"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.03.003"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2022.3176045"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-01492-5","author":"droste","year":"2009","journal-title":"Handbook of Weighted Automata"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109884"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90381-B"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109490"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2995173"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-022-00362-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2224255"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2011.02.001"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9028873"},{"key":"ref5","author":"lai","year":"2019","journal-title":"State estimation and verification of detectability and opacity in weighted automata"}],"event":{"name":"2023 9th International Conference on Control, Decision and Information Technologies (CoDIT)","location":"Rome, Italy","start":{"date-parts":[[2023,7,3]]},"end":{"date-parts":[[2023,7,6]]}},"container-title":["2023 9th International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10284032\/10284045\/10284082.pdf?arnumber=10284082","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T19:02:52Z","timestamp":1699902172000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10284082\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,3]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/codit58514.2023.10284082","relation":{},"subject":[],"published":{"date-parts":[[2023,7,3]]}}}