| Title | Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems |
| Publication Type | Conference Papers |
| Year of Publication | 2006 |
| Authors | Abate, A., S. Amin, M. Prandini, J. Lygeros, and S. Sastry |
| Conference Name | Proceedings of the 45th IEEE Conference on Decision and Control |
| Date Published | Dec |
| Keywords | Automatic control, control design, control system synthesis, Control systems, Cost function, discrete time stochastic hybrid system, discrete time systems, maximal probabilistic safe sets, maximally safe policies, optimal control, probabilistic reachability, probability, reachability analysis, Safety, safety analysis, safety systems, stochastic optimal control, Stochastic processes, stochastic systems, Temperature |
| Abstract | In this work probabilistic reachability for controlled discrete time stochastic hybrid systems is investigated. By a suitable formulation of the reachability problem within a stochastic optimal control framework, two complementary interpretations and their corresponding computational techniques are suggested. The results can be of interest for solving safety analysis and control design problems for stochastic hybrid systems, by the computation of maximal probabilistic safe sets and maximally safe policies. They can also be employed to solve regulation problems through the interpretation of the desired operating region for the system as a "safe set". The described methodology is applied to a simple temperature regulation problem |
| DOI | 10.1109/CDC.2006.377091 |