Updatable Timed Automata with Additive and Diagonal Constraints

DOI10.1007/978-3-540-69407-6_44zbMath1142.68426OpenAlexW1761968866MaRDI QIDQ3507456

Lakshmi Manasa, Kumar Nagaraj, Shankara Narayanan Krishna

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69407-6_44

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Updatable Timed Automata with Additive and Diagonal Constraints ⋮ Model checking weighted integer reset timed automata

Cites Work

• Unnamed Item
• A theory of timed automata
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Timed automata and additive clock constraints
• Updatable timed automata
• Updatable Timed Automata with Additive and Diagonal Constraints
• On the power of non-observable actions in timed automata

This page was built for publication: Updatable Timed Automata with Additive and Diagonal Constraints