A game approach to the parametric control of real-time systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Control Année : 2018

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

Résumé

We consider parametric reachability control problems for real-time systems. We model the plant as an extension of parametric timed automata, i.e., a finite automaton equipped with real-valued clocks constraining its behavior, in which the timing constraints on these clocks can make use of parameters. This extension, which we call parametric game automata (PGA), allows for partitioning the actions in the model between two antagonistic entities: the controller and the environment. The most general problem we study then consists in synthesizing both a controller and values for the parameters such that some control location of the automaton is reachable. It is however well-known that most non-tivial problems on parametric timed au-tomata are undecidable and the classical techniques for the verification (and a for-tiori for the control) of timed systems do not terminate in that setting. We therefore provide a subclass of PGA called L/U game automata for which it is decidable. We then consider a backward fixed-point semi-algorithm for solving timed games with reachability objective allowing to compute the most permissive winning strategy. We argue the relevance of this approach and demonstrate its practical usability with a small case-study.
Fichier principal
Vignette du fichier
jovanovic-IJC-18.pdf (344.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02010912 , version 1 (07-02-2019)

Identifiants

  • HAL Id : hal-02010912 , version 1

Citer

Aleksandra Jovanović, Didier Lime, Olivier Henri Roux. A game approach to the parametric control of real-time systems. International Journal of Control, 2018, pp.1-12. ⟨hal-02010912⟩
47 Consultations
182 Téléchargements

Partager

Gmail Facebook X LinkedIn More