Quelques applications de la propagation de contraintes sur les domaines continus en automatique

Luc Jaulin (1, 2, 3) , Marc Christie (4) , Laurent Granvilliers (5)

1 STIC - Département STIC [Brest]
2 Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
3 LISA - Laboratoire d'Ingéniérie des Systèmes Automatisés
4 MIMETIC - Analysis-Synthesis Approach for Virtual Human Simulation
5 LINA - Laboratoire d'Informatique de Nantes Atlantique

De nombreux problèmes d'automatique sont des problèmes de satisfaction de contraintes sur des domaines continus. L'analyse par intervalles combinée à des techniques de propagation de contraintes permet de résoudre efficacement ce type de problèmes en garantissant la complétude. L'approche sera utilisée pour la résolution de problèmes d'estimation ensembliste et de commande robuste.

Mots clés: propagation de contraintes; analyse par intervalles; calcul ensembliste commande robuste; estimation ensembliste; méthodes complètes; propagation de contraintes.

Domaines: Sciences de l'ingénieur [physics]

Luc Jaulin, Marc Christie, Laurent Granvilliers. Quelques applications de la propagation de contraintes sur les domaines continus en automatique. 11e Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC 2002), May 2002, Nice, France. ⟨hal-00845652⟩