Abstract FR:

Situee dans le prolongement des approches algebriques et topologiques des problemes de temps, cette these propose une alternative aux methodes de representation et de propagation de contraintes concernant les intervalles d'un espace lineaire. Le point determinant reside dans le choix des intervalles comme unique entite temporelle et de la relation meet comme unique moyen de representation du systeme de contraintes: on obtient ainsi un graphe classique. Nous decrivons une methode de construction d'un tel graphe a partir d'informations de haut niveau. Les proprietes essentielles de la relation meet (z-propriete, 2-absorption) nous permettent de construire un algorithme de deduction, qui consiste a fermer le graphe vis-a-vis de ces deux proprietes. Nous montrons aussi comment et quand identifier les redondances et les incoherences dans un graphe de meet. A ce stade le noyau du modele est stabilise dans ces grandes lignes, il restait a l'evaluer. Nous apportons des elements de reponse sur deux plans: celui de la taille des donnees et de la complexite des traitements, d'une part, celui de la robustesse du modele a travers son adaptation aux intervalles ponctuels, d'autre part