Robust specification of real time components
From MaRDI portal
(Redirected from Publication:3172848)
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
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
- On the synthesis of discrete controllers for timed systems
- Quantitative robustness analysis of flat timed automata
- Robust Analysis of Timed Automata Via Channel Machines
- Robust Model-Checking of Linear-Time Properties in Timed Automata
- Robust safety of timed automata
- Timed I/O automata: a complete specification theory for real-time systems
- Timed Parity Games: Complexity and Robustness
Cited in
(11)- A survey of timed automata for the development of real-time systems
- SOFSEM 2005: Theory and Practice of Computer Science
- Timed I/O automata: a complete specification theory for real-time systems
- Revisiting timed specification theories: a linear-time perspective
- Methodologies for specification of real-time systems using timed I/O automata
- Modeling and specification of real-time interfaces with UTP
- Robust reachability in timed automata and games: a game-based approach
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
- New results on timed specifications
- Compositionality for quantitative specifications
- Robust synthesis for real-time systems
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)
