Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Markov Set-Chains as Abstractions of Stochastic Hybrid Systems

Alessandro AbateContact Information, Alessandro D’InnocenzoContact Information, Maria D. Di BenedettoContact Information and Shankar S. SastryContact Information

(1)  Department of Aeronautics and Astronautics, Stanford University, USA
(2)  Department of Electrical Engineering and Computer Science, Center of Excellence DEWS, University of L’Aquila, Italy
(3)  Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, USA
Abstract
The objective of this study is to introduce an abstraction procedure that applies to a general class of dynamical systems, that is to discrete-time stochastic hybrid systems (dt-SHS). The procedure abstracts the original dt-SHS into a Markov set-chain (MSC) in two steps. First, a Markov chain (MC) is obtained by partitioning the hybrid state space, according to a controllable parameter, into non-overlapping domains and computing transition probabilities for these domains according to the dynamics of the dt-SHS. Second, explicit error bounds for the abstraction that depend on the above parameter are derived, and are associated to the computed transition probabilities of the MC, thus obtaining a MSC. We show that one can arbitrarily increase the accuracy of the abstraction by tuning the controllable parameter, albeit at an increase of the cardinality of the MSC. Resorting to a number of results from the MSC literature allows the analysis of the dynamics of the original dt-SHS. In the present work, the asymptotic behavior of the dt-SHS dynamics is assessed within the abstracted framework.
This work was partially supported by European Commission under Project IST NoE HYCON contract n. 511368, STREP project n. TREN/07/FP6AE/S07.71574/ 037180 IFLY, and by the NSF grant CCR-0225610.

Contact Information Alessandro Abate
Email: aabate@stanford.edu

Contact Information Alessandro D’Innocenzo
Email: adinnoce@ing.univaq.it

Contact Information Maria D. Di Benedetto
Email: dibenede@ing.univaq.it

Contact Information Shankar S. Sastry
Email: sastry@eecs.berkeley.edu
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.111 • Server: mpweb01
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)