Robust model checking of timed automata under clock drifts

DOI10.1145/3049797.3049821MaRDI QIDQ5275328zbMATH OpenOpenAlexFDO

Authors Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan

Publication date 11 July 2017

Published in Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3049797.3049821

zbMATH Keywords

omega-regular model checkingrobust model checkingtimed automata

Mathematics Subject Classification ID

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

Recommendations

• Robust model-checking of timed automata via pumping in channel machines
• Robust safety of timed automata
• Symbolic Robustness Analysis of Timed Automata
• Robustness in timed automata
• Robust Model-Checking of Linear-Time Properties in Timed Automata

Cited in

(11)

• Robust safety of timed automata
• Robust model-checking of timed automata via pumping in channel machines
• Dynamical Properties of Timed Automata Revisited
• Symbolic Robustness Analysis of Timed Automata
• Robust Model-Checking of Linear-Time Properties in Timed Automata
• Relating syntactic and semantic perturbations of hybrid automata
• Modelling and Verification of Timed Robotic Controllers
• Timed automata robustness analysis via model checking
• Robustness in timed automata
• Robust Analysis of Timed Automata Via Channel Machines
• Hybrid Systems: Computation and Control

This page was built for publication: Robust model checking of timed automata under clock drifts

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