Simple Algorithm for Simple Timed Games

Abstract : We propose a subclass of timed game automata (TGA), called Task TGA, representing networks of communicating tasks where the system can choose when to start the task and the environment can choose the duration of the task. We search to solve finite-horizon reachability games on Task TGA by building strategies in the form of Simple Temporal Networks with Uncertainty (STNU). Such strategies have the advantage of being very succinct due to the partial order reduction of independent tasks. We show that the existence of such strategies is an NP-complete problem. A practical consequence of this result is a fully forward algorithm for building STNU strategies. Potential applications of this work are planning and scheduling under temporal uncertainty.
Type de document :
Pré-publication, Document de travail
version 1.1. 2008
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00374700
Contributeur : Mihaela Sighireanu <>
Soumis le : lundi 13 avril 2009 - 00:55:49
Dernière modification le : jeudi 15 novembre 2018 - 20:26:56
Document(s) archivé(s) le : samedi 26 novembre 2016 - 07:18:13

Fichier

main_lncs.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00374700, version 2

Citation

Yasmina Abdeddaim, Eugene Asarin, Mihaela Sighireanu. Simple Algorithm for Simple Timed Games. version 1.1. 2008. 〈hal-00374700v2〉

Partager

Métriques

Consultations de la notice

387

Téléchargements de fichiers

70