Abstract FR:

L'objectif principal de cette these est d'etablir un ensemble d'algorithmes et de methodes de traitement des contraintes temporelles gerant tout probleme de planification. Elle est subdivisee en trois grandes parties qui se completent totalement. En premiere partie, nous traitons un probleme d'emploi du temps, ou nous avons formalise et resolu trois types de contraintes. Les moyens de resolution adoptes conjuguent le formalisme mathematique et quelques techniques d'i. A. Le probleme considere en deuxieme partie est celui de la satisfaction de contraintes (csp). Une telle problematique a ete recemment soulevee en i. A, mais elle trouve egalement ses applications en optimisation combinatoire. Le moyen de traitement mis au point est une simulation d'un jeu-poursuite. La troisieme partie s'attaque a un probleme d'ordonnancement d'un ensemble de processus soumis a des contraintes, entre autres, celles qui portent sur leurs fenetres de temps d'execution. Nous avons mis au point des regles d'inference pour verifier le caractere non antagoniste de ces contraintes. A base de l'ensemble des solutions admissibles obtenu, nous avons defini un ordonnancement favorisant a chaque etape le processus le plus urgent