Robust Specification of Real Time Components

DOI10.1007/978-3-642-24310-3_10zbMath1348.68143OpenAlexW24620155MaRDI QIDQ3172848

Louis-Marie Traonouez, Andrzej Wąsowski, Axel Legay, Kim Guldstrand Larsen

Publication date: 7 October 2011

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-24310-3_10

Mathematics Subject Classification ID

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

Related Items (5)

Robust synthesis for real-time systems ⋮ A survey of timed automata for the development of real-time systems ⋮ Controller synthesis for dynamic hierarchical real-time plants using timed automata ⋮ Robust reachability in timed automata and games: a game-based approach ⋮ Compositionality for quantitative specifications

Uses Software

• ECDAR

Cites Work

• Robust safety of timed automata
• A theory of timed automata
• Almost ASAP semantics: from timed models to timed implementations
• Timed I/O automata
• Quantitative Robustness Analysis of Flat Timed Automata
• Robust Model-Checking of Linear-Time Properties in Timed Automata
• Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
• On the synthesis of discrete controllers for timed systems
• Robust Analysis of Timed Automata Via Channel Machines
• CONCUR 2005 – Concurrency Theory
• Timed Parity Games: Complexity and Robustness

This page was built for publication: Robust Specification of Real Time Components