Updatable Timed Automata with Additive and Diagonal Constraints

DOI10.1007/978-3-540-69407-6_44MaRDI QIDQ3507456zbMATH OpenOpenAlexFDO

Authors Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj

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)

Recommendations

• scientific article; zbMATH DE number 1670795
• scientific article; zbMATH DE number 1530301
• Updatable timed automata
• scientific article; zbMATH DE number 1759410
• On reachability analysis of updatable timed automata with one updatable clock

Cites work

• A theory of timed automata
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• On the power of non-observable actions in 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

Cited in

(7)

• Concurrency in timed automata
• Updatable timed automata
• On reachability analysis of updatable timed automata with one updatable clock
• scientific article; zbMATH DE number 1670795 (Why is no real title available?)
• Updatable Timed Automata with Additive and Diagonal Constraints
• scientific article; zbMATH DE number 1759410 (Why is no real title available?)
• Model checking weighted integer reset timed automata

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

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