Compositional Abstraction of Stochastic Systems

Katoen, Joost-Pieter and Klink, Daniel and Neuhäußer, Martin R. (2009) Compositional Abstraction of Stochastic Systems. In: 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, September 14-16, 2009, Budapest, Hungary.

Preview

PDF
609Kb

PDF
Restricted to UT campus only: Request a copy
358Kb

Abstract:	We propose to exploit three-valued abstraction to stochastic systems in a compositional way. This combines the strengths of an aggressive state-based abstraction technique with compositional modeling. Applying this principle to interactive Markov chains yields abstract models that combine interval Markov chains and modal transition systems in a natural and orthogonal way. We prove the correctness of our technique for parallel and symmetric composition and show that it yields lower bounds for minimal and upper bounds for maximal timed reachability probabilities.
Item Type:	Conference or Workshop Item
Copyright:	© 2009 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/69313
Official URL:	http://dx.doi.org/10.1007/978-3-642-04368-0_16
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page