An introduction to timed automata

DOI10.1007/978-1-4471-4276-8_9MaRDI QIDQ5496927zbMATH OpenOpenAlexFDO

Authors Béatrice Bérard

Publication date 29 January 2015

Published in Lecture Notes in Control and Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4471-4276-8_9

Mathematics Subject Classification ID

Dynamical aspects of cellular automata (37B15) Cellular automata (computational aspects) (68Q80)

Recommendations

• A theory of timed automata
• scientific article; zbMATH DE number 1962849
• scientific article; zbMATH DE number 1507209
• scientific article; zbMATH DE number 2102690
• scientific article; zbMATH DE number 6300098

Cites work

• A theory of timed automata
• Causality versus true-concurrency
• Compositional specification of timed systems
• Formal Methods for the Design of Real-Time Systems
• Formal Methods for the Design of Real-Time Systems
• Formal Modeling and Analysis of Timed Systems
• Forward analysis of updatable timed automata
• scientific article; zbMATH DE number 5604117 (Why is no real title available?)
• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• scientific article; zbMATH DE number 1337733 (Why is no real title available?)
• scientific article; zbMATH DE number 5228180 (Why is no real title available?)
• Kronos: A verification tool for real-time systems
• Minimum and maximum delay problems in real-time systems
• Model-checking in dense real-time
• Symbolic model checking for real-time systems
• The power of reachability testing for timed automata
• Timed Automata with Integer Resets: Language Inclusion and Expressiveness
• Undecidability of Universality for Timed Automata with Minimal Resources
• Undecidability Results for Timed Automata with Silent Transitions
• Undecidable Problems About Timed Automata
• When Are Timed Automata Determinizable?

Cited in

(15)

• From ATP to timed graphs and hybrid systems
• Forward analysis of updatable timed automata
• Timed automata
• scientific article; zbMATH DE number 2059569 (Why is no real title available?)
• Language equations for timed alternating finite automata
• scientific article; zbMATH DE number 1500653 (Why is no real title available?)
• Clock allocation in timed automata and graph colouring
• Analyzing timed systems using tree automata
• Timed automata with disjoint activity
• Horn clauses for communicating timed systems
• A menagerie of timed automata
• Formal Methods for the Design of Real-Time Systems
• On Interleaving in Timed Automata
• Revisiting local time semantics for networks of timed automata
• An efficient state space construction for a class of timed automata

This page was built for publication: An introduction to timed automata

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