Perturbed timed automata

DOI10.1007/978-3-540-31954-2_5MaRDI QIDQ5703961zbMATH OpenOpenAlexFDO

Authors Salvatore La Torre, Parthasarathy Madhusudan, Rajeev Alur

Publication date 11 November 2005

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

Full work available at URL https://doi.org/10.1007/b106766, https://repository.upenn.edu/cis_papers/182

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• On the distance between timed automata
• Robust model checking of timed automata under clock drifts
• A theory of timed automata
• Decidability and complexity results for timed automata via channel machines
• scientific article; zbMATH DE number 1530301

Cited in

(13)

• Robust safety of timed automata
• The compound interest in relaxing punctuality
• Predictable real-time software synthesis
• Time-Bounded Verification
• Pumping lemmas for timed automata
• Parametric Interrupt Timed Automata
• A menagerie of timed automata
• Timed P Automata
• Model checking weighted integer reset timed automata
• Robust Analysis of Timed Automata Via Channel Machines
• Probabilistic and Topological Semantics for Timed Automata
• Robustness of temporal logic specifications for continuous-time signals
• Timed hyperproperties

This page was built for publication: Perturbed timed automata

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