A compositional translation of stochastic automata into timed automata

Share/Save/Bookmark

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

[img]
Preview
PDF
362Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/18176
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 118696