Dynamical Properties of Timed Automata Revisited

DOI10.1007/978-3-540-75454-1_11MaRDI QIDQ3510840zbMATH OpenOpenAlexFDO

Authors Cătălin Dima

Publication date 3 July 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75454-1_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Dynamical properties of timed automata
• Robust model checking of timed automata under clock drifts
• A theory of timed automata
• Symbolic Robustness Analysis of Timed Automata
• Better abstractions for timed automata

Cited in

(10)

• Robust safety of timed automata
• Dynamical properties of timed automata
• Shrinking timed automata
• Rigorous implementation of real-time systems -- from theory to application
• Using non-convex approximations for efficient analysis of timed automata
• A survey of timed automata for the development of real-time systems
• Investigation of the dynamics of discrete automata with undeffined signal values. II
• Robust Analysis of Timed Automata Via Channel Machines
• Automata with a time-variant structure and supply-demand theorems
• Verification of continuous dynamical systems by timed automata

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: Dynamical Properties of Timed Automata Revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3510840)