Stochastic Hybrid System Controller Synthesis for Reachability Specifications Encoded by Random Sets
METADATA ONLY
Loading...
Author / Producer
Date
2013-09
Publication Type
Journal Article
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
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.
Permanent link
Publication status
published
Editor
Book title
Journal / series
Volume
49 (9)
Pages / Article No.
2906 - 2910
Publisher
Elsevier
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Hybrid systems; Stochastic systems; Reachability; Safety; Target hitting; Optimal control; Dynamic programming
Organisational unit
03751 - Lygeros, John / Lygeros, John
Notes
Brief paper.