Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes

DOI10.1109/TAC.2013.2273300zbMath1360.93656MaRDI QIDQ2983282

Alessandro Abate, Sadegh Esmaeil Zadeh Soudjani

Publication date: 16 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Stochastic systems in control theory (general) (93E03) Numerical solutions to stochastic differential and integral equations (65C30) Attainable sets, reachability (93B03)

Related Items (5)

Stochastic reachability of a target tube: theory and computation ⋮ Optimal retention of the trajectories of a discrete-time stochastic system in a tube: one problem statement ⋮ SySCoRe: Synthesis via Stochastic Coupling Relations ⋮ Dynamic Bayesian networks for formal verification of structured stochastic processes ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes