Functional Abstraction of Stochastic Hybrid Systems


Share/Save/Bookmark

Bujorianu, Manuela L. and Blom, Henk A.P. and Hermanns, Holger (2006) Functional Abstraction of Stochastic Hybrid Systems. In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006, 7-9 June 2006, Alghero, Italy.

[img]PDF
Restricted to UT campus only
: Request a copy
320Kb
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 reachability. A new concept of stochastic bisimulation is introduced and its connection with equivalence of stochastic processes is established.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/63446
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 238194