{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:18:29Z","timestamp":1757312309031,"version":"3.37.3"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Leading-edge Technology Program of Jiangsu Natural Science Foundation","award":["BK20202001"],"award-info":[{"award-number":["BK20202001"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61972193","61932021","61972197"],"award-info":[{"award-number":["61972193","61932021","61972197"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["NS2021069"],"award-info":[{"award-number":["NS2021069"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004608","name":"Natural Science Foundation of Jiangsu Province","doi-asserted-by":"publisher","award":["BK20201292"],"award-info":[{"award-number":["BK20201292"]}],"id":[{"id":"10.13039\/501100004608","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Collaborative Innovation Center of Novel Software Technology and Industrialization"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1109\/tr.2022.3167116","type":"journal-article","created":{"date-parts":[[2022,4,28]],"date-time":"2022-04-28T20:19:34Z","timestamp":1651177174000},"page":"289-301","source":"Crossref","is-referenced-by-count":4,"title":["Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty"],"prefix":"10.1109","volume":"72","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1213-6733","authenticated-orcid":false,"given":"Wenhua","family":"Yang","sequence":"first","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6299-4704","authenticated-orcid":false,"given":"Chang","family":"Xu","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology of Nanjing University, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4011-5350","authenticated-orcid":false,"given":"Minxue","family":"Pan","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Software Institute of Nanjing University, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3723-7584","authenticated-orcid":false,"given":"Yu","family":"Zhou","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6843-1892","authenticated-orcid":false,"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42061-5_16"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3093894"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2322503"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2011.5982785"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502535"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2387487"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2453253"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/NBiS.2012.118"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2633961"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2013.77"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1287\/opre.26.2.282"},{"article-title":"Dynamic programming and Markov processes","year":"1960","author":"Howard","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7354079"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6906922"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v29i1.9655"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v30i1.10423"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v30i1.10402"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3044945"},{"key":"ref23","first-page":"417","article-title":"Solving POMDPs by searching the space of finite policies","volume-title":"Proc. 15th Conf. Uncertainty Artif. Intell.","author":"Meuleau","year":"1999"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1613\/jair.678"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.5555\/1630659.1630806"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2008.IV.009"},{"key":"ref27","first-page":"2164","article-title":"MonteCarlo planning in large POMDPs","volume-title":"Proc. 23rd Int. Conf. Neural Inf. Process. Syst.- Volume 2","author":"Silver","year":"2010"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-017-9269-4"},{"volume-title":"Principles of Model Checking","year":"2008","author":"Baier","key":"ref29"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/EIT48999.2020.9208273"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_36"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2012.6224396"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35813-5_9"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2428"},{"key":"ref35","first-page":"520","article-title":"Heuristic search value iteration for POMDPs","volume-title":"Proc. 20th Conf. Uncertainty Artif. Intell.","author":"Smith","year":"2004"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4054-9"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.measurement.2017.09.012"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00378-8"},{"key":"ref39","first-page":"519","article-title":"Finite-state controllers of POMDPs via parameter synthesis","volume-title":"Proc. 28th Conf. Uncertainty Artif. Intell.","author":"Junges","year":"2018"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1002\/9781119387596"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728617"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1201\/b19290"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1002\/SERIES1345"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.2980726"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.05.005"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0609-6"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-018-9437-3"},{"year":"2020","key":"ref50","article-title":"Simulink"},{"year":"2020","key":"ref51","article-title":"Modelica"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3301273"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1168919.1168907"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402879"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968485"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795197"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185641"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14052-5_19"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351632"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijcip.2010.09.001"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/2656075.2656093"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2015.12.006"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2007.4385521"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/10057590\/09765334.pdf?arnumber=9765334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T22:34:14Z","timestamp":1705962854000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9765334\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3]]},"references-count":64,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tr.2022.3167116","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"type":"print","value":"0018-9529"},{"type":"electronic","value":"1558-1721"}],"subject":[],"published":{"date-parts":[[2023,3]]}}}