Robust specification of real time components
From MaRDI portal
Publication:3172848
DOI10.1007/978-3-642-24310-3_10zbMATH Open1348.68143OpenAlexW24620155MaRDI QIDQ3172848FDOQ3172848
Louis-Marie Traonouez, Andrzej Wąsowski, Kim G. Larsen, Axel Legay
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
Recommendations
- Robust synthesis for real-time systems
- Timed I/O automata: a complete specification theory for real-time systems
- A specification theory of real-time processes
- Revisiting timed specification theories: a linear-time perspective
- Rigorous implementation of real-time systems -- from theory to application
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- A theory of timed automata
- On the synthesis of discrete controllers for timed systems
- CONCUR 2005 – Concurrency Theory
- Timed I/O automata
- Robust safety of timed automata
- Almost ASAP semantics: from timed models to timed implementations
- Quantitative Robustness Analysis of Flat Timed Automata
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
- Timed Parity Games: Complexity and Robustness
- Robust Model-Checking of Linear-Time Properties in Timed Automata
- Robust Analysis of Timed Automata Via Channel Machines
Cited In (6)
- A survey of timed automata for the development of real-time systems
- SOFSEM 2005: Theory and Practice of Computer Science
- Robust reachability in timed automata and games: a game-based approach
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
- Compositionality for quantitative specifications
- Robust synthesis for real-time systems
Uses Software
This page was built for publication: Robust specification of real time components
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172848)
