A compositional translation of stochastic automata into timed automata


D'Argenio, Pedro R. (2000) A compositional translation of stochastic automata into timed automata. [Report]

open access
Abstract:We present a translation from stochastic automata [17, 16] into timed automata with deadlines [37, 13]. The translation preserves traces when the stochastic characteristics, namely the probability measures, are abstracted from the original stochastic automaton. Moreover, we show that the translation is compositional in the sense that the translation of the parallel composition of two stochastic automata is equivalent to the parallel composition of the timed automata resulting from the translation of each stochastic automaton. The translation aims to borrow techniques and tools successfully developed in the context of timed automata and apply them to analyse the correctness of systems modelled in terms of stochastic automata.
Item Type:Report
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/18176
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 118696