Real-Time Control with Parametric Timed Reachability Games - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

Real-Time Control with Parametric Timed Reachability Games

Résumé

Timed game automata are used for solving control problems on real-time systems. A timed reachability game consists in finding a strategy for the controller for the system, modeled as a timed automaton. Such a controller says when and which of some "controllable" actions should be taken in order to reach "goal" states. We deal with a parametric version of timed game automata. We define parametric timed reachability games and introduce their subclass for which the existence of a parameter valuation, such that there is a strategy for the controller to reach the "goal" state, is decidable. We also propose a semi-algorithm to symbolically compute the corresponding set of parameter valuations.
Fichier principal
Vignette du fichier
jovanovic-WODES-12.pdf (381.05 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00753689 , version 1 (19-11-2012)

Identifiants

  • HAL Id : hal-00753689 , version 1

Citer

Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier Henri Roux. Real-Time Control with Parametric Timed Reachability Games. 11th International Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.323-330. ⟨hal-00753689⟩
313 Consultations
283 Téléchargements

Partager

More