Loading...
research article
Stochastic system controller synthesis for reachability specifications encoded by random sets
September 2013
We consider a reach–avoid specification for a stochastic hybrid dynamical system defined as reaching a goal set at some finite time, while avoiding an unsafe set at all previous times. In contrast with earlier works which consider the target and avoid sets as deterministic, we consider these sets to be probabilistic. An optimal control policy is derived which maximizes the reach–avoid probability. Special structure on the stochastic sets is exploited to make the computation tractable for large space dimensions.
Type
research article
Authors
Publication date
2013-09
Published in
Volume
49
Issue
9
Start page
2906
End page
2910
Peer reviewed
REVIEWED
EPFL units
Available on Infoscience
December 1, 2021
Use this identifier to reference this record