Dynamical properties of timed automata (Q1975199)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Dynamical properties of timed automata |
scientific article; zbMATH DE number 1428423
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamical properties of timed automata |
scientific article; zbMATH DE number 1428423 |
Statements
Dynamical properties of timed automata (English)
0 references
13 June 2002
0 references
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.
0 references
dynamical systems
0 references
verification
0 references
reachability
0 references
clocks
0 references
timed automata
0 references
limit cycles
0 references
0.97933334
0 references
0 references
0.9105857
0 references
0.9021378
0 references
