Summary: Computational Approaches to Reachability
Analysis of Stochastic Hybrid Systems
Alessandro Abate1
, Saurabh Amin1
, Maria Prandini2
,
John Lygeros3
, and Shankar Sastry1
1
University of California, at Berkeley - Berkeley, CA, USA
{aabate,saurabh,sastry}@eecs.berkeley.edu
2
Politecnico di Milano - Milano, Italy
prandini@elet.polimi.it
3
ETH Zurich - Zurich, Switzerland
lygeros@control.ee.ethz.ch
Abstract. This work investigates some of the computational issues
involved in the solution of probabilistic reachability problems for discrete-
time, controlled stochastic hybrid systems. It is first argued that, under

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

Collections: Engineering