Topological superposition of abstractions of stochastic processes

Bujorianu, L.M. and Bujorianu, M.C. (2008) Topological superposition of abstractions of stochastic processes. In: MED '07. Mediterranean Conference on Control & Automation, 27-29 June 2007, Athens, Greece.

Preview

PDF
173Kb

Abstract:	In this paper, we present a sound integration mechanism for Markov processes that are abstractions of stochastic hybrid systems (SHS). In a previous work, we have defined a very general model of SHS and we proved that the realization of an SHS is a Markov process. Moreover, we have developed a verification strategy for the reachability analysis problem. We develop further this line of research by making verification modularly. To achieve this, the state space is decomposed into regions that might share a common border. An abstraction can be constructed on each region and the abstraction method can vary from one region to another. We show how these abstractions can be integrated to provide an abstraction for the entire system. We illustrate this technique for the reachability analysis problem.
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:	http://purl.utwente.nl/publications/65456
Official URL:	http://dx.doi.org/10.1109/MED.2007.4433833
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page