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 Safety for Controlled Discrete Time Stochastic Hybrid Systems
 

Summary: Probabilistic Reachability and Safety for Controlled
Discrete Time Stochastic Hybrid Systems
Alessandro Abate a
, Maria Prandini b
, John Lygeros c
, Shankar Sastry a
a
Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, USA
b
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
c
Automatic Control Laboratory, ETH Zurich, Switzerland
Abstract
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems
with control inputs. A suitable embedding of the reachability problem in a stochastic control framework reveals that it is
amenable to two complementary interpretations, leading to dual algorithms for reachability computations. In particular, the
set of initial conditions providing a certain probabilistic guarantee that the system will keep evolving within a desired `safe'
region of the state space is characterized in terms of a value function, and `maximally safe' Markov policies are determined via
dynamic programming. These results are of interest not only for safety analysis and design, but also for solving those regulation
and stabilization problems that can be reinterpreted as safety problems. The temperature regulation problem presented in the

  

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

 

Collections: Engineering