Stochastic system controller synthesis for reachability specifications encoded by random sets
| Autor: | Claire J. Tomlin, John Lygeros, Sean Summers, Maryam Kamgarpour |
|---|---|
| Rok vydání: | 2013 |
| Předmět: |
0209 industrial biotechnology
Mathematical optimization 020208 electrical & electronic engineering Probabilistic logic 02 engineering and technology Optimal control Space (mathematics) Set (abstract data type) Dynamic programming 020901 industrial engineering & automation Control and Systems Engineering Reachability Hybrid system 0202 electrical engineering electronic engineering information engineering Electrical and Electronic Engineering Dynamical system (definition) Mathematics |
| Zdroj: | Automatica. 49:2906-2910 |
| ISSN: | 0005-1098 |
| DOI: | 10.1016/j.automatica.2013.06.016 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect