Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems

TitleProbabilistic reachability and safe sets computation for discrete time stochastic hybrid systems
Publication TypeConference Paper
Year of Publication2006
AuthorsAbate, A.., S.. Amin, M.. Prandini, J.. Lygeros, and S.. Sastry
Conference NameProceedings of the 45th IEEE Conference on Decision and Control
Date PublishedDec
KeywordsAutomatic 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

DOI10.1109/CDC.2006.377091