Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
695715 | Automatica | 2013 | 5 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Engineering
Control and Systems Engineering
Authors
Sean Summers, Maryam Kamgarpour, Claire Tomlin, John Lygeros,