Summary: Reachability Analysis for Controlled Discrete
Time Stochastic Hybrid Systems
Saurabh Amin1
, Alessandro Abate1
, Maria Prandini2
,
John Lygeros3
, and Shankar Sastry1
1
University of California at Berkeley - Berkeley, USA
{saurabh, aabate, sastry}@eecs.berkeley.edu
2
Politecnico di Milano - Milano, Italy
prandini@elet.polimi.it
3
University of Patras - Patras, Greece
lygeros@ee.upatras.gr
Abstract. A model for discrete time stochastic hybrid systems whose
evolution can be influenced by some control input is proposed in this
paper. With reference to the introduced class of systems, a methodol-

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

Collections: Engineering