Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Fundamenta Informaticae

1 1998

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Characterization of the expressive power of silent transitions in timed automata

Berard B., Petit A., Diekert V., Gastin P.

Fundamenta Informaticae

1998

Vol. 36, nr 2,3

145-182

Timed automata are among the most widely studied models for real-time systems. Silent transitions, i.e., e-transitions, have already been proposed in the original paper on timed automata by Alur and Dill. We show that class TLe of timed languages recognized by automata with e-transitions, is more robust and more expressive than the corresponding class TL without e-transitions. We then focus on e-transitions without reset, i.e. e-transitions which do not reset clocks. We propose an algorithm to construct, given a timed automaton, an equivalent one without such transitions. This algorithm is in two steps, it first suppresses the cycles of e-transitions without reset and then the remaining ones. Then, we prove that a timed automaton such that no e-transition which resets clocks lies on any directed cycle, can be effectively transformed into a timed automaton without e-transitions. Interestingly, this main result holds under the assumption of non-Zenoness and it is false otherwise. To complete the picture, we exhibit a simple timed automaton with an e-transition, which resets some clock, on a cycle and which is not equivalent to any e-free timed automaton. To show this, we develop a promising new technique based on the notion of precise action.