Nested timed automata with frozen clocks

DOI10.1007/978-3-319-22975-1_13MaRDI QIDQ2945595zbMATH OpenOpenAlexFDO

Authors Mizuhito Ogawa, Shoji Yuen, Guoqiang Li

Publication date 14 September 2015

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

Full work available at URL https://doi.org/10.1007/978-3-319-22975-1_13

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Nested timed automata
• Nested Timed Automata with Invariants
• On termination and boundedness of nested updatable timed automata
• Reachability relations of timed pushdown automata
• Recursive timed automata

Cites work

• scientific article; zbMATH DE number 1759608 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• A theory of timed automata
• Dense-timed pushdown automata
• Hyper-Ackermannian bounds for pushdown vector addition systems
• Model checking of systems with many identical timed processes
• Nested timed automata
• Recursive timed automata
• Symbolic model checking for real-time systems
• Well-structured pushdown system: case of dense timed pushdown automata
• Well-structured pushdown systems
• What's decidable about hybrid automata?
• What's decidable about recursive hybrid automata?

Cited in

(3)

• Nested timed automata
• Nested Timed Automata with Invariants
• On termination and boundedness of nested updatable timed automata

This page was built for publication: Nested timed automata with frozen clocks

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