La motivation scientifique à l'origine de COPRIN est la résolution de systèmes de contraintes à l'aide de l'arithmétique d'intervalles et en combinant les approches de "consistance", émanant du domaine de la programmation par contraintes, avec celle de l'analyse par intervalles, plus proche de l'analyse numérique. Ces deux techniques ont montré individuellement leur efficacité pour certains problèmes mais n'ont jamais été vraiment utilisées de manière conjointe. De plus les possibilités du calcul formel seront très fortement utilisées pour spécialiser les algorithmes de résolution selon la structure du problème afin de les rendre plus efficaces. Enfin, du point de vue informatique des implantations distribuées seront systèmatiquement proposées.

Un deuxième axe de recherche majeur du projet est la robotique, en particulier la conception de nouvelles structures qui doivent satisfaire un cahier des charges précis en prenant en compte les incertitudes qui sont inhérentes aux systèmes robotisés. Les techniques mathématiques du premier axe de recherche du projet sont particulièrement adaptées à une étude approfondie de ce genre de problème.

Notre premier axe de recherche concerne donc les méthodes de résolution hybride soit d'application général, soit pour des systèmes spécifiques. Ces méthodes s'appuieront sur des outils de filtrage, de choix des variables de bissection ainsi que sur des algorithmes de décomposition de système.

Un second axe de recherche est le traitement de cas particuliers de problème optimisation avec des algorithmes qui se dérivent directement des algorithmes de résolution et qui fournissent une approximation de l'extremum global d'une fonctionnelle.

Le troisième axe de recherche est concentré autour de l'évaluation théorique et expérimentale de l'efficacité des méthodes ainsi qu'autour de l'apport du calcul formel à ces méthodes.

L'ensemble de ces travaux seront intégrés dans une plate-forme logicielle générique qui sera interfacée, au moins partiellement, avec un système de calcul formel.

Les domaines d'application visés sont dans un premier temps l'amélioration des logiciels disponibles commercialement pour la résolution de contraintes et dans un second temps le traitement de problèmes issus de la CAO et de la théorie de la commande.

Un axe de recherche priviligié de l'équipe-projet est la théorie des mécanismes (en particulier la robotique) pour laquelle l'équipe-projet poursuit des recherches à la fois théoriques et pratiques, qui vont jusqu'au développement de prototypes de mécanismes et de robots. On s'intéresse plus particulièrement à la synthèse de robots parallèles, c'est-à-dire à la détermination des dimensions du robot de manière à ce que ses performances satisfassent un cahier des charges donné, ceci en dépit des tolérances de fabrication et des erreurs de commande. Nos techniques ont pour but de trouver une bonne approximation de l'ensemble des dimensions possibles puis de proposer des solutions robustes vis-à-vis des tolérances de fabrication et représentatives des divers compromis possibles sur les performances.

Logiciels

• ALIAS

Nos principaux partenaires industriels sont Alcatel, Amadeus et Constructions mécaniques des Vosges.

Du point de vue académique nous avons des relations suivies en France avec l'école des Mines, le LINA et l'Yrccyn de Nantes, le LIRMM de Montpellier, le CERT-DERA de Toulouse, le LIM de Marseille, l'ENSIETA de Brest et le LMIP de Toulouse.

En Europe, nous avons des collaborations avec :

• l'Université d'Innsbruck
• l'EPFL, l'ETHZ
• l'Université de Duisburg-Essen, les TU de Braunschweig et de Chemnitz
• l'Université de Cassino, la Scuola Superiore Santa-Anna de Pise.
• l'UPC de Barcelone, l'Université de Bilbao
• l'Université d'Athènes

Pour ce qui concerne les USA et le Canada nous sommes régulièrement en contact avec les Universités Brown, Rutgers, John Hopkins, Stanford, le MIT, Laval, McGill et Simon Fraser.

Enfin nous travaillons avec le MEL (Japon), l'Université d'Osaka, l'Université de Tsing Hua de Taiwan et le Technion d'Haifa.