Abstract
The verification problem for stochastic hybrid systems is quite difficult.
One method to verify these systems is stochastic reachability analysis. Concepts
of abstractions for stochastic hybrid systems are needed to ease the stochastic
reachability analysis. In this paper, we set up different ways to define abstractions
for stochastic hybrid systems, which preserve the parameters of stochastic reach-
ability. A new concept of stochastic bisimulation is introduced and its connection
with equivalence of stochastic processes is established.
Original language | Undefined |
---|---|
Title of host publication | 2nd IFAC Conf. on Analysis and Design of Hybrid Systems, ADHS 2006 |
Place of Publication | Oxford |
Publisher | Elsevier |
Pages | 160-165 |
Number of pages | 6 |
ISBN (Print) | 978-0-08-044613-4 |
Publication status | Published - Nov 2006 |
Event | 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006 - Alghero, Italy Duration: 7 Jun 2006 → 9 Jun 2006 Conference number: 2 |
Publication series
Name | |
---|---|
Publisher | Elsevier |
Number | 2 |
Conference
Conference | 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006 |
---|---|
Abbreviated title | ADHS |
Country/Territory | Italy |
City | Alghero |
Period | 7/06/06 → 9/06/06 |
Keywords
- EWI-6978
- IR-63446
- METIS-238194