Updatable timed automata

DOI10.1016/j.tcs.2004.04.003zbMath1070.68063OpenAlexW2142830749MaRDI QIDQ1885906

Antoine Petit, Catherine Dufourd, Emmanuel Fleury, Patricia Bouyer

Publication date: 12 November 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.04.003

zbMATH Keywords

emptiness checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Timed recursive state machines: expressiveness and complexity ⋮ Decidability and complexity of action-based temporal planning over dense time ⋮ Model Checking Real-Time Systems ⋮ Verification of Hybrid Systems ⋮ Improved undecidability results on weighted timed automata ⋮ On the decidability and complexity of problems for restricted hierarchical hybrid systems ⋮ Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels ⋮ A survey of timed automata for the development of real-time systems ⋮ Unnamed Item ⋮ A study on shuffle, stopwatches and independently evolving clocks ⋮ Equivalence checking and intersection of deterministic timed finite state machines ⋮ Updatable Timed Automata with Additive and Diagonal Constraints ⋮ Parametric updates in parametric timed automata ⋮ Timed-automata abstraction of switched dynamical systems using control invariants ⋮ Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets ⋮ Unnamed Item ⋮ MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS ⋮ When are timed automata weakly timed bisimilar to time Petri nets? ⋮ On the initialization of clocks in timed formalisms ⋮ Model checking for probabilistic timed automata ⋮ Timed Petri nets and timed automata: On the discriminating power of Zeno sequences ⋮ Model checking weighted integer reset timed automata ⋮ A menagerie of timed automata ⋮ A game approach to determinize timed automata ⋮ Decisiveness of stochastic systems and its application to hybrid models ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?

Uses Software

• Kronos
• HyTech
• Uppaal
• CMC

Cites Work

• Event-clock automata: a determinizable class of timed automata
• A theory of timed automata
• A compared study of two correctness proofs for the standardized algorithm of ABR conformance
• Timed automata and additive clock constraints
• HyTech: A model checker for hybrid systems
• Kronos: A verification tool for real-time systems
• Uppaal in a nutshell
• On the power of non-observable actions in timed automata
• The expressive power of clocks
• Parametric real-time reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item