Les hypertubes et les opérateurs de réduction
La thèse de M. Christie (co-encadrée avec F. Benhamou) soutenue en 2003 sera l’occasion d’un approfondissement théorique sur les techniques d’intervalles.
Le quantificateur universel est ainsi intégré dans la boite à outil développée par l’équipe contrainte du laboratoire. Ce solveur de contrainte, correct (prouvé) et efficace, travaille à l’aide d’opérateurs de contraction. Cette façon de résoudre le système est bien plus rapide.
La notion d’hypertubes
La notion d’hypertubes est introduite dans la modélisation des mouvements de caméra et dans la résolution. Il s’agit de connecter les mouvements élémentaires les uns aux autres en introduisant des contraintes de liaison, sur la position, la vitesse, les angles, etc.
Le langage de spécification est lui aussi étendu, les repères attachés sont ajoutés. Ce concept autorise une restriction des recherches de solution en spécifiant un repère de recherche correspondant à un objet en mouvement.
Pour des résultats récents voir la page de Marc Christie