Characterization of the Expressive Power of Silent Transitions in Timed Automata
- 1 January 1998
- journal article
- Published by SAGE Publications in Fundamenta Informaticae
- Vol. 36 (2,3) , 145-182
- https://doi.org/10.3233/fi-1998-36233
Abstract
Timed automata are among the most widely studied models for real-time systems. Silent transitions, i.e., ϵ-transitions, have already been proposed in the original paper on timed automata by Alur and Dill [3]. We show that the class TLϵ of timed languKeywords
This publication has 0 references indexed in Scilit: