A game approach to the parametric control of real-time systems

DOI10.1080/00207179.2018.1426883zbMath1421.93017OpenAlexW2784305947MaRDI 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

zbMATH Keywords

controlgame theorytimed automataparameters, synthesis

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Synthesis problems (93B50) Attainable sets, reachability (93B03)

Uses Software

• HyTech
• UPPAAL TIGA

Cites Work

• Unnamed Item
• 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

This page was built for publication: A game approach to the parametric control of real-time systems