Reachable state space generation for structured models which use functional transitions - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

Reachable state space generation for structured models which use functional transitions

(1) , (1)
1

Abstract

This paper presents a new approach to obtain the reachable state space (RSS) of a structured model which uses functional transitions. We use multi-valued decision diagrams (MDD) to store sets of reachable spaces and stochastic automata networks (SAN) formalism to describe structured models. We focus our contribution in the proposal of a method to generate a compact MDD description taking advantage of the modular structure of SAN formalism, which also allows to represent the transition rate matrix of a continuous-time Markov chain by means of a sum of generalized Kronecker products. The method is tested on some models and the conclusion presents future work.
Not file

Dates and versions

hal-00788913 , version 1 (15-02-2013)

Identifiers

Cite

Afonso Sales, Brigitte Plateau. Reachable state space generation for structured models which use functional transitions. Proceedings of the 6th International Conference on the Quantitative Evaluation of Systems (QEST'09), 2009, Budapest, Hungary. pp.269-278, ⟨10.1109/QEST.2009.29⟩. ⟨hal-00788913⟩
85 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More