{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:33:57Z","timestamp":1736573637430,"version":"3.32.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T00:00:00Z","timestamp":1726790400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T00:00:00Z","timestamp":1726790400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,9,20]]},"DOI":"10.1109\/icbase63199.2024.10762225","type":"proceedings-article","created":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T18:45:22Z","timestamp":1732646722000},"page":"548-552","source":"Crossref","is-referenced-by-count":0,"title":["Reduction for Timed Discrete-Event Systems I: Timed Discrete-Event Systems are Synchronous Product Structures"],"prefix":"10.1109","author":[{"given":"Liyong","family":"Lin","sequence":"first","affiliation":[{"name":"Contemporary Amperex Technology Limited,NingDe,China"}]},{"given":"Jian","family":"Cao","sequence":"additional","affiliation":[{"name":"Contemporary Amperex Technology Limited,NingDe,China"}]},{"given":"Lele","family":"Li","sequence":"additional","affiliation":[{"name":"Contemporary Amperex Technology Limited,NingDe,China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1988.194493"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/9.52290"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1991.261658"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2566884"},{"article-title":"Timed state tree structures: supervisory control and fault diagnosis","year":"2009","author":"Saadatpoor","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.05.015"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2019.2912008"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2513370"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2016.1147606"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.340"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2019.2923037"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619051"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2613911"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2015.2482219"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.2061"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2019.2895345"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2019.8899529"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2335052"},{"article-title":"Nonblocking supervisory control of state tree structures","year":"2004","author":"Ma","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.04.022"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA54724.2022.9831928"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3331564"}],"event":{"name":"2024 5th International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE)","start":{"date-parts":[[2024,9,20]]},"location":"Wenzhou, China","end":{"date-parts":[[2024,9,22]]}},"container-title":["2024 5th International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10761118\/10761986\/10762225.pdf?arnumber=10762225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T19:50:06Z","timestamp":1736538606000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10762225\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,20]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icbase63199.2024.10762225","relation":{},"subject":[],"published":{"date-parts":[[2024,9,20]]}}}