Real-Time Control with Parametric Timed Reachability Games

Abstract : 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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [9 references]  Display  Hide  Download
Contributor : Didier Lime <>
Submitted on : Monday, November 19, 2012 - 3:14:04 PM
Last modification on : Wednesday, December 19, 2018 - 3:02:04 PM
Document(s) archivé(s) le : Saturday, December 17, 2016 - 12:31:57 PM


Files produced by the author(s)


  • HAL Id : hal-00753689, version 1



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⟩



Record views


Files downloads