×

zbMATH — the first resource for mathematics

Dynamical properties of timed automata. (English) Zbl 0986.93042
The author shows the standard approach for performing reachability analysis is not correct when the clocks drift even by a very small amount. To prove the correctness of a given algorithm, the understanding of the dynamics of timed automata, in particular, the structure of the limit cycles of timed automata, is needed.

MSC:
93C65 Discrete event control/observation systems
37B15 Dynamical aspects of cellular automata
37B55 Topological dynamics of nonautonomous systems
Software:
HyTech
PDF BibTeX XML Cite
Full Text: DOI