Encoding Timed Models as Uniform Labeled Transition Systems

  title={Encoding Timed Models as Uniform Labeled Transition Systems},
  author={Marco Bernardo and Luca Tesei},
We provide a unifying view of timed models such as timed automata, probabilistic timed automata, and Markov automata. The timed models and their bisimulation semantics are encoded in the framework of uniform labeled transition systems. In this unifying framework, we show that the timed bisimilarities present in the literature can be reobtained and that a new bisimilarity, of which we exhibit the modal logic characterization, can be introduced for timed models including probabilities. We finally… CONTINUE READING

Similar Papers

Loading similar papers…