Paper Info
Title
An Exact Solver For Geometric Constraints With Inequalities
Abstract
CAD/CAM approaches have been used in the manufacturing industry for a long time, and their use in robotic systems is becoming more popular. One common element in these approaches is the use of geometric constraints to define relative object poses. Hence, approaches for solving these geometric constraints are critical to their performance. In this paper, we present an exact solver for geometric constraints. Our approach is based on mathematical models of constraints and geometric properties of constraint nullspaces. Our constraint solver supports nonlinear constraints with inequalities, and also mixed transformation manifolds, i.e., cases where the rotation and translation components of the constraints are not independent. Through several applications, we show how inequality constraints and mixed transformation manifolds increase the expressive power of constraint-based task definitions. The exact solver provides repeatable solutions with deterministic runtimes and our experiments show that it is also much faster than comparable iterative solvers.
Year
DOI
Venue
2017
10.1109/LRA.2017.2655113
IEEE ROBOTICS AND AUTOMATION LETTERS
Keywords
Field
DocType
Control architectures and programming, optimization and optimal control, robust/adaptive control of robotic systems
CAD,Robotic systems,Mathematical optimization,Control theory,Constraint satisfaction problem,Engineering,Solver,Mathematical model,Expressive power,Manifold
Journal
Volume
Issue
ISSN
2
2
2377-3766
Citations 
PageRank 
References 
0
0.34
9
Authors
3
Name
Order
Citations
PageRank
Nikhil Somani1437.34
Markus Rickert221722.78
Alois Knoll Knoll31700271.32