Symbolic Robustness Analysis of Timed Automata

DOI10.1007/11867340_11MaRDI QIDQ3511231zbMATH OpenOpenAlexFDO

Authors Conrado Daws, Piotr Kordy

Publication date 8 July 2008

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

Full work available at URL https://doi.org/10.1007/11867340_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Symbolic quantitative robustness analysis of timed automata
• Robust model checking of timed automata under clock drifts
• Robustness in timed automata
• Robust safety of timed automata
• Robust model-checking of timed automata via pumping in channel machines

Cited in

(13)

• Robust safety of timed automata
• Symbolic verification and analysis of discrete timed systems
• Symbolic quantitative robustness analysis of timed automata
• Shrinking timed automata
• Dynamical Properties of Timed Automata Revisited
• Symbolic Unfoldings for Networks of Timed Automata
• A survey of timed automata for the development of real-time systems
• Robust reachability in timed automata and games: a game-based approach
• scientific article; zbMATH DE number 1444348 (Why is no real title available?)
• Robustness in timed automata
• Robust model checking of timed automata under clock drifts
• Robust Analysis of Timed Automata Via Channel Machines
• Robust controller synthesis in timed Büchi automata: a symbolic approach

This page was built for publication: Symbolic Robustness Analysis of Timed Automata

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