{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:39:36Z","timestamp":1780994376263,"version":"3.54.1"},"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":8,"title":["Reach-avoid Analysis for Stochastic Discrete-time Systems"],"prefix":"10.23919","author":[{"given":"Bai","family":"Xue","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Renjue","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Franzle","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref11","author":"mosek","year":"2015","journal-title":"The MOSEK Optimization Toolbox for MATLAB Manual"},{"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"},{"key":"ref2","author":"clarke","year":"2018","journal-title":"Model checking"},{"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)","location":"New Orleans, LA, USA","start":{"date-parts":[[2021,5,25]]},"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]]}}}