Dynamical properties of timed automata. (English) Zbl 0986.93042

Puri, Anuj

Discrete Event Dyn. Syst. 10, No. 1-2, 87-113 (2000).

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.

Reviewer: T.Riismaa (Tallinn)

MSC:

93C65	Discrete event control/observation systems
37B15	Dynamical aspects of cellular automata
37B55	Topological dynamics of nonautonomous systems

Keywords:

dynamical systems; verification; reachability; clocks; timed automata; limit cycles

Software:

HyTech