scientific article; zbMATH DE number 1530301

zbMATH Open0964.68076MaRDI QIDQ4514735FDOQ4514735

Authors: Massimiliano Goldwurm, Christian Choffrut 

Publication date: 14 November 2000

Title of this publication is not available (Why is that?)

Recommendations

• A theory of timed automata
• scientific article; zbMATH DE number 1361127
• The expressive power of clocks
• Updatable timed automata
• When Are Timed Automata Determinizable?

zbMATH Keywords

timed automata\(\omega\)-automatasimulation of automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (18)

• A survey of timed automata for the development of real-time systems
• Model checking weighted integer reset timed automata
• An algebraic approach to data languages and timed languages
• On the complexity of timed pattern matching
• On the initialization of clocks in timed formalisms
• Frequencies in forgetful timed automata
• Removing all silent transitions from timed automata
• Reachability relations of timed pushdown automata
• Updatable timed automata
• The timestamp of timed automata
• Deciding whether a relation defined in Presburger logic can be defined in weaker logics
• Timed Automata with Integer Resets: Language Inclusion and Expressiveness
• Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
• Updatable Timed Automata with Additive and Diagonal Constraints
• Hybrid Systems: Computation and Control
• The expressive power of clocks
• LTL over integer periodicity constraints
• Product interval automata

This page was built for publication:

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