Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 9 Décembre 2008 à 11h00

Le cadre CNT : modélisation et résolution

par Gérard Verfaillie (ONERA, Toulouse)

Le cadre CNT (Constraint Network on Timelines) est une extension du cadre CSP (Constraint Satisfaction Problems) permettant de modéliser de façon unifiée des problèmes de planification et d'ordonnancement et, plus généralement, n'importe quel système dynamique à événements discrets (automates, automates temporisés, réseaux de Petri, ...) ainsi que les propriétés que l'on connaît ou que l'on veut imposer ou vérifier sur lui.

Au cours de cet exposé, le cadre CNT et un premier algorithme de résolution seront présentés par l'exemple.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr