Dynamical properties of timed automata
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.
scientific article; zbMATH DE number 1428423