Solving Polynomial Systems Using a Branch and Prune Approach
SIAM Journal on Numerical Analysis
Revising hull and box consistency
Proceedings of the 1999 international conference on Logic programming
Algorithm 447: efficient algorithms for graph manipulation
Communications of the ACM
Parallel Robots
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques
ACM Transactions on Mathematical Software (TOMS)
A branch and prune algorithm for the approximation of non-linear AE-solution sets
Proceedings of the 2006 ACM symposium on Applied computing
Type Synthesis of Parallel Mechanisms
Type Synthesis of Parallel Mechanisms
Consistency techniques for numeric CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Box consistency through adaptive shaving
Proceedings of the 2010 ACM Symposium on Applied Computing
A Formal-Numerical Approach for Robust In-Workspace Singularity Detection
IEEE Transactions on Robotics
Hi-index | 0.00 |
Parallel robots enjoy enhanced mechanical characteristics that have to be contrasted with a more complicated design. In particular, they often have parallel singularities at some poses, and the robot may become uncontrollable, and could even be damaged, in such configurations. The computation of singularity free sets of reachable poses, called generalized aspects, is therefore a key issue in their design. A new methodology based on numerical constraint programming is proposed to compute a certified enclosure of such generalized aspects which fully automatically applies to arbitrary robot kinematic model.