Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
 

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