Robust synthesis for real-time systems

DOI10.1016/J.TCS.2013.08.015MaRDI QIDQ386617zbMATH OpenOpenAlexFDO

Authors Axel Legay, Louis-Marie Traonouez, Andrzej Wąsowski, Kim G. Larsen

Publication date 10 December 2013

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2013.08.015

zbMATH Keywords

robustnessspecification theorystepwise refinementtimed gamestimed I/O automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of game theory (91A80)

Recommendations

• Robust specification of real time components
• A specification theory of real-time processes
• Synthesizing robust systems
• Predictable real-time software synthesis
• Rigorous implementation of real-time systems -- from theory to application

Cites work

• A theory of timed automata
• Almost ASAP semantics: from timed models to timed implementations
• CONCUR 2005 – Concurrency Theory
• Efficient on-the-fly algorithm for checking alternating timed simulation
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 2017345 (Why is no real title available?)
• scientific article; zbMATH DE number 1746449 (Why is no real title available?)
• Linear parametric model checking of timed automata
• On the synthesis of discrete controllers for timed systems
• Parametric real-time reasoning
• Quantitative robustness analysis of flat timed automata
• Robust model-checking of timed automata via pumping in channel machines
• Robust safety of timed automata
• Robust specification of real time components
• Shrinking timed automata
• Statistical Model Checking for Networks of Priced Timed Automata
• Symbolic model checking for real-time systems
• Timed Automata Can Always Be Made Implementable
• Timed I/O automata: a complete specification theory for real-time systems
• Timed Parity Games: Complexity and Robustness

Cited in

(9)

• Compositionality for quantitative specifications
• Synthesizing robust systems
• Predictable real-time software synthesis
• Robust specification of real time components
• Parameter synthesis for hierarchical concurrent real-time systems
• scientific article; zbMATH DE number 1418467 (Why is no real title available?)
• Progress-preserving refinements of CTA
• Specification Theories for Probabilistic and Real-Time Systems
• Specifiable robustness in reactive synthesis

Describes a project that uses

Uses Software

• PPL
• PyEcdar
• UPPAAL TIGA
• SPIN
• ECDAR

This page was built for publication: Robust synthesis for real-time systems

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