Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

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

Summary: Probabilistic reachability and safe sets computation
for discrete time stochastic hybrid systems
Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros* and Shankar Sastry
Abstract-- In this work probabilistic reachability for con-
trolled discrete time stochastic hybrid systems is investigated.
By a suitable formulation of the reachability problem within a
stochastic optimal control framework, two complementary in-
terpretations 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.
I. INTRODUCTION
An important topic in classical control system theory is
reachability, which can be also interpreted as the problem of
maintaining the state of the system within some prespecified

  

Source: Abate, Alessandro - Faculty of Mechanical, Maritime and Materials Engineering, Technische Universiteit Delft

 

Collections: Engineering