{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T10:02:02Z","timestamp":1764842522785,"version":"3.37.3"},"reference-count":16,"publisher":"IEEE","funder":[{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["61872341,61836005,61625206,61732001"],"award-info":[{"award-number":["61872341,61836005,61625206,61732001"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["DFG GRK 1765"],"award-info":[{"award-number":["DFG GRK 1765"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,5,25]]},"DOI":"10.23919\/acc50511.2021.9483095","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T20:29:16Z","timestamp":1627504156000},"page":"4879-4885","source":"Crossref","is-referenced-by-count":6,"title":["Reach-avoid Analysis for Stochastic Discrete-time Systems"],"prefix":"10.23919","author":[{"given":"Bai","family":"Xue","sequence":"first","affiliation":[]},{"given":"Renjue","family":"Li","sequence":"additional","affiliation":[]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Franzle","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"journal-title":"The MOSEK Optimization Toolbox for MATLAB Manual","year":"2015","author":"mosek","key":"ref11"},{"key":"ref12","volume":"2","author":"ogata","year":"1995","journal-title":"Discrete-Time Control Systems"},{"key":"ref13","volume":"2","author":"oppenheim","year":"2001","journal-title":"Discrete-Time Signal Processing"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.08.006"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3013135"},{"key":"ref16","first-page":"867","article-title":"Inner-approximating reach-avoid sets for discrete-time polynomial systems","author":"xue","year":"2020","journal-title":"CDC"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264291"},{"key":"ref3","first-page":"134","article-title":"A semidefinite programming approach to control synthesis for stochastic reach-avoid problems","author":"drzajic","year":"2016","journal-title":"ARCH CPSWeek"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669603"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161228"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760626"},{"key":"ref7","volume":"3","author":"khalil","year":"2002","journal-title":"Nonlinear Systems"},{"journal-title":"Model checking","year":"2018","author":"clarke","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"}],"event":{"name":"2021 American Control Conference (ACC)","start":{"date-parts":[[2021,5,25]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2021,5,28]]}},"container-title":["2021 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9482409\/9482614\/09483095.pdf?arnumber=9483095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,6]],"date-time":"2021-10-06T10:51:17Z","timestamp":1633517477000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9483095\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,25]]},"references-count":16,"URL":"https:\/\/doi.org\/10.23919\/acc50511.2021.9483095","relation":{},"subject":[],"published":{"date-parts":[[2021,5,25]]}}}