Robustness in timed automata

DOI10.1007/978-3-642-41036-9_1MaRDI QIDQ5168510zbMATH OpenOpenAlexFDO

Authors Patricia Bouyer, Nicolas Markey, Ocan Sankur

Publication date 7 July 2014

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

Full work available at URL https://doi.org/10.1007/978-3-642-41036-9_1

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Robust safety of timed automata
• Robust model checking of timed automata under clock drifts
• Symbolic Robustness Analysis of Timed Automata
• Symbolic quantitative robustness analysis of timed automata
• Robustness of time Petri nets under guard enlargement

Cited in

(20)

• Robust safety of timed automata
• Symbolic quantitative robustness analysis of timed automata
• Lipschitz robustness of timed I/O systems
• Decidable classes of unbounded Petri nets with time and urgency
• Robust Controller Synthesis in Timed Automata
• Precise robustness analysis of time Petri nets with inhibitor ARCS
• Robustness analysis of networked systems
• Language preservation problems in parametric timed automata
• Robustness of time Petri nets under guard enlargement
• Robust reachability in timed automata: a game-based approach
• Model Checking Real-Time Systems
• Symbolic Robustness Analysis of Timed Automata
• What's decidable about parametric timed automata?
• Parameter synthesis for hierarchical concurrent real-time systems
• Robustness of time Petri nets under guard enlargement
• scientific article; zbMATH DE number 1444348 (Why is no real title available?)
• Timed automata robustness analysis via model checking
• Robust model checking of timed automata under clock drifts
• A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
• Dense integer-complete synthesis for bounded parametric timed automata

This page was built for publication: Robustness in timed automata

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