A game approach to the parametric control of real-time systems
From MaRDI portal
Publication:5231423
DOI10.1080/00207179.2018.1426883zbMath1421.93017MaRDI QIDQ5231423
Olivier H. Roux, Didier Lime, Aleksandra Ž. Jovanović
Publication date: 27 August 2019
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207179.2018.1426883
91A80: Applications of game theory
68Q45: Formal languages and automata
93B50: Synthesis problems
93B03: Attainable sets, reachability
Uses Software
Cites Work
- The algorithmic analysis of hybrid systems
- Formal verification of real-time systems with preemptive scheduling
- Reachability problems and abstract state spaces for time Petri nets with stopwatches
- Decision problems for lower/upper bound parametric timed automata
- A theory of timed automata
- Symbolic model checking for real-time systems
- HyTech: A model checker for hybrid systems
- Linear parametric model checking of timed automata
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
- On the synthesis of discrete controllers for timed systems
- Model-checking for real-time systems
- Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games
- Parametric real-time reasoning
- Real-Time Model-Checking: Parameters everywhere
- FM 2005: Formal Methods
- CONCUR 2005 – Concurrency Theory
- Unnamed Item