Contributions à la maîtrise de la robustesse des produits : formalisation par logique formelle, applications à la conception ensembliste et au tolérancement

Ces travaux sont situes sur les domaines de la conception mecanique, l'informatique, et les mathematiques appliques pour proposer une solution globale de gestion des variations pendant le processus de la conception d'un produit afin de rechercher l'ensemble des solutions robustes. Ils visent plus particulierement a repondre a la question : "Comment exprimer et integrer la variabilite admissible des parametres du produit (espace des solutions), et sur le tolerancement de celles-ci : les variations admissibles (tolerances) simultanement pendant la phase de la conception d'un produit mecanique le plutot possible ? Pour repondre a cette question, cette these presente, une formalisation generalisee pour definir, modeliser et exprimer la probleme de la gestion des variations dans le processus de la conception du produit utilisant la philosophie de la conception basee sur les ensembles "Set Based Design" et la logique formelle. Cette formalisation permet la prise en compte simultanee des incertitudes et variations lors de la definition d'un produit. Les travaux aussi developpent et expose les outils pour appliquer la formalisation developpe au recherche des ensembles des solutions robustes des systeme mecanique et l'analyse des tolerances des mecanismes hyperstatiques.