@conference{Bai2021, Author = {Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle}, Title = {Reach-avoid Analysis for Stochastic Discrete-time Systems}, Year = {2021}, Pages = {4879-4885}, Month = {05}, Publisher = {IEEE}, Address = {New Orleans, LA, USA}, Booktitle = {2021 American Control Conference (ACC)}, type = {conference}, Abstract = {Stochastic discrete-time systems, i.e., discrete-time dynamic systems subject to stochastic disturbances, are an essential modelling tool for many engineering systems, and reach-avoid analysis is able to guarantee safety (i.e., via avoiding unsafe sets) and progress (i.e., via reaching target sets). In this paper we study the reach-avoid problem of stochastic discrete-time systems over open (i.e., not bounded a priori) time horizons. The stochastic discrete-time system of interest is modeled by iterative polynomial maps with stochastic disturbances, and the problem addressed is to effectively compute an inner approximation of its p-reach-avoid set. The p-reach-avoid set collects those initial states that give rise to a bundle of trajectories which with probability being larger than p eventually hits a designated set of target states while remaining inside a set of safe states before the first hit. The computation of the p-reach-avoid …} } @COMMENT{Bibtex file generated on }