Dynamical properties of timed automata
type: Item
instance of: scholarly article
title: Dynamical properties of timed automata
zbMATH Open document ID: 0986.93042
DOI: 10.1023/A:1008387132377
author: Anuj Puri
published in: Discrete Event Dynamic Systems
publication date: 2002-06-13T00:00:00Z
review text: 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.
reviewed by: Tiit Riismaa
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 37B15
Mathematics Subject Classification ID: 37B55
zbMATH DE Number: 1428423
zbMATH Keywords: dynamical systems
zbMATH Keywords: verification
zbMATH Keywords: reachability
zbMATH Keywords: clocks
zbMATH Keywords: timed automata
zbMATH Keywords: limit cycles
describes a project that uses: HyTech
MaRDI profile type: Publication
full work available at URL: a:1008387132377
OpenAlex ID: W1878074184
Recommended article: Dynamical Properties of Timed Automata Revisited
Recommended article: Q4503929
Recommended article: Timed automata
Recommended article: Q4817528
Recommended article: Q5418249
Recommended article: A theory of timed automata
Recommended article: Timed automata with non-instantaneous actions
Recommended article: Complete abstractions of dynamical systems by timed automata
Recommended article: Verification of continuous dynamical systems by timed automata
description: scientific article; zbMATH DE number 1428423