Reachable state space generation for structured models which use functional transitions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Reachable state space generation for structured models which use functional transitions

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.
No 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 X LinkedIn More