Counter-Free Input-Determined Timed Automata

DOI10.1007/978-3-540-75454-1_8MaRDI QIDQ3510837zbMATH OpenOpenAlexFDO

Authors Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar

Publication date 3 July 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-75454-1_8

Mathematics Subject Classification ID

Temporal logic (03B44) Formal languages and automata (68Q45)

Recommendations

• On Continuous Timed Automata with Input-Determined Guards
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 1256652
• A theory of timed automata
• From \textsc{mtl} to deterministic timed automata

Cited in

(8)

• A survey of timed automata for the development of real-time systems
• Frequencies in forgetful timed automata
• Automata and logics over signals
• Model-checking timed temporal logics
• On Continuous Timed Automata with Input-Determined Guards
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
• Automata and logics over finitely varying functions

This page was built for publication: Counter-Free Input-Determined Timed Automata

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