Summary: Markov Set-Chains as abstractions
of Stochastic Hybrid Systems
Alessandro Abate1
, Alessandro D'Innocenzo2
,
Maria D. Di Benedetto2
, and Shankar S. Sastry3
1
Department of Aeronautics and Astronautics, Stanford University - USA
aabate@stanford.edu
2
Department of Electrical Engineering and Computer Science,
Center of Excellence DEWS, University of L'Aquila - Italy
{adinnoce,dibenede}@ing.univaq.it
3
Department of Electrical Engineering and Computer Sciences,
University of California, Berkeley - USA
sastry@eecs.berkeley.edu
Abstract. The objective of this study is to introduce an abstraction
procedure that applies to a general class of dynamical systems, that is

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

Collections: Engineering