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.
|
 |
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
| |
|
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 |
| (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.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|