Skip to Main content Skip to Navigation
Theses

Résolution de contraintes géométriques par rigidifications récursive et propagation d'intervalles

Abstract : Geometric constraint satisfaction problems (GCSPs) are ubiquitous in applications like CAD, robotics or molecular biology. They consist in searching positions, orientations and dimensions of geometric objects bound by geometric constraints. The goal of the thesis was to find an efficient and complete solving method for GCSPs. In the first part, we compare solving methods and decomposition techniques, and we choose Hoffmann et al's decomposition and interval solving methods. We define a general framework for the study of rigidity in GCSPs, a concept used in all the geometric decomposition methods. In the second part, we analyse Hoffmann et al's method, and the limits inherent to all the structural geometric approaches. We propose the degree of rigidity concept to overcome some of these limits. We introduce a new decomposition method, and its combination with interval solving techniques.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00505433
Contributor : Estelle Nivault <>
Submitted on : Friday, July 23, 2010 - 4:29:54 PM
Last modification on : Wednesday, October 14, 2020 - 4:23:57 AM
Long-term archiving on: : Thursday, December 1, 2016 - 10:38:08 AM

Identifiers

  • HAL Id : tel-00505433, version 1

Collections

Citation

Christophe Jermann. Résolution de contraintes géométriques par rigidifications récursive et propagation d'intervalles. Automatique / Robotique. Université Nice Sophia Antipolis, 2002. Français. ⟨tel-00505433⟩

Share

Metrics

Record views

681

Files downloads

1571