scientific article; zbMATH DE number 1530301

MaRDI QIDQ4514735zbMATH OpenFDO

Authors Massimiliano Goldwurm, Christian Choffrut

Publication date 14 November 2000

zbMATH Keywords

\(\omega\)-automatasimulation of automatatimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

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?

Cited in

(19)

• An algebraic approach to data languages and timed languages
• Product interval automata
• Updatable timed automata
• On the initialization of clocks in timed formalisms
• The timestamp of timed automata
• Reachability relations of timed pushdown automata
• LTL over integer periodicity constraints
• Updatable Timed Automata with Additive and Diagonal Constraints
• 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
• Removing all silent transitions from timed automata
• A survey of timed automata for the development of real-time systems
• The expressive power of clocks
• Frequencies in forgetful timed automata
• Model checking weighted integer reset timed automata
• Hybrid Systems: Computation and Control
• Title not available (Why is no real title available?)
• On the complexity of timed pattern matching

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)