Witness computation for solving geometric constraint systems

Arnaud Kubicki, Dominique Michelucci, Sebti Foufou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In geometric constraint solving, the constraints are represented with an equation system F(U, X) = 0, where X denotes the unknowns and U denotes a set of parameters. The target solution for X is noted XT. A witness is a couple (UW, XW) such that F(UW, XW) = 0. The witness is not the target solution, but they share the same combinatorial features, even when the witness and the target lie on two distinct connected components of the solution set of F(U, X) = 0. Thus a witness enables the qualitative study of the system: the detection of over- and under-constrained systems, the decomposition into irreducible subsystems, the computation of subsystems boundaries. This paper investigates the witness computation in various configurations. The witness computation will be studied under several numerical methods: Newton iterations from random seeds either in R and C, the Broyden-Fletcher-Goldfarb-Shanno method, the Nelder-Mead simplex method. The robustness and performances of these methods will be analyzed and compared. The paper also presents the numerical probabilistic method from which the witness method was originated, and shows how the witness can be used for detecting dependent parameters within systems of geometric constraints.

Original languageEnglish (US)
Title of host publicationProceedings of 2014 Science and Information Conference, SAI 2014
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages759-770
Number of pages12
ISBN (Electronic)9780989319317
DOIs
StatePublished - Jan 1 2014
Event2014 Science and Information Conference, SAI 2014 - London, United Kingdom
Duration: Aug 27 2014Aug 29 2014

Other

Other2014 Science and Information Conference, SAI 2014
CountryUnited Kingdom
CityLondon
Period8/27/148/29/14

Fingerprint

Seed
Numerical methods
Decomposition

Keywords

  • Geometric constraint solving
  • Numerical algorithms
  • Witness computation

ASJC Scopus subject areas

  • Information Systems

Cite this

Kubicki, A., Michelucci, D., & Foufou, S. (2014). Witness computation for solving geometric constraint systems. In Proceedings of 2014 Science and Information Conference, SAI 2014 (pp. 759-770). [6918272] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SAI.2014.6918272

Witness computation for solving geometric constraint systems. / Kubicki, Arnaud; Michelucci, Dominique; Foufou, Sebti.

Proceedings of 2014 Science and Information Conference, SAI 2014. Institute of Electrical and Electronics Engineers Inc., 2014. p. 759-770 6918272.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Kubicki, A, Michelucci, D & Foufou, S 2014, Witness computation for solving geometric constraint systems. in Proceedings of 2014 Science and Information Conference, SAI 2014., 6918272, Institute of Electrical and Electronics Engineers Inc., pp. 759-770, 2014 Science and Information Conference, SAI 2014, London, United Kingdom, 8/27/14. https://doi.org/10.1109/SAI.2014.6918272
Kubicki A, Michelucci D, Foufou S. Witness computation for solving geometric constraint systems. In Proceedings of 2014 Science and Information Conference, SAI 2014. Institute of Electrical and Electronics Engineers Inc. 2014. p. 759-770. 6918272 https://doi.org/10.1109/SAI.2014.6918272
Kubicki, Arnaud ; Michelucci, Dominique ; Foufou, Sebti. / Witness computation for solving geometric constraint systems. Proceedings of 2014 Science and Information Conference, SAI 2014. Institute of Electrical and Electronics Engineers Inc., 2014. pp. 759-770
@inproceedings{47b33c4cd79d4046bdc44c2a75819ba3,
title = "Witness computation for solving geometric constraint systems",
abstract = "In geometric constraint solving, the constraints are represented with an equation system F(U, X) = 0, where X denotes the unknowns and U denotes a set of parameters. The target solution for X is noted XT. A witness is a couple (UW, XW) such that F(UW, XW) = 0. The witness is not the target solution, but they share the same combinatorial features, even when the witness and the target lie on two distinct connected components of the solution set of F(U, X) = 0. Thus a witness enables the qualitative study of the system: the detection of over- and under-constrained systems, the decomposition into irreducible subsystems, the computation of subsystems boundaries. This paper investigates the witness computation in various configurations. The witness computation will be studied under several numerical methods: Newton iterations from random seeds either in R and C, the Broyden-Fletcher-Goldfarb-Shanno method, the Nelder-Mead simplex method. The robustness and performances of these methods will be analyzed and compared. The paper also presents the numerical probabilistic method from which the witness method was originated, and shows how the witness can be used for detecting dependent parameters within systems of geometric constraints.",
keywords = "Geometric constraint solving, Numerical algorithms, Witness computation",
author = "Arnaud Kubicki and Dominique Michelucci and Sebti Foufou",
year = "2014",
month = "1",
day = "1",
doi = "10.1109/SAI.2014.6918272",
language = "English (US)",
pages = "759--770",
booktitle = "Proceedings of 2014 Science and Information Conference, SAI 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Witness computation for solving geometric constraint systems

AU - Kubicki, Arnaud

AU - Michelucci, Dominique

AU - Foufou, Sebti

PY - 2014/1/1

Y1 - 2014/1/1

N2 - In geometric constraint solving, the constraints are represented with an equation system F(U, X) = 0, where X denotes the unknowns and U denotes a set of parameters. The target solution for X is noted XT. A witness is a couple (UW, XW) such that F(UW, XW) = 0. The witness is not the target solution, but they share the same combinatorial features, even when the witness and the target lie on two distinct connected components of the solution set of F(U, X) = 0. Thus a witness enables the qualitative study of the system: the detection of over- and under-constrained systems, the decomposition into irreducible subsystems, the computation of subsystems boundaries. This paper investigates the witness computation in various configurations. The witness computation will be studied under several numerical methods: Newton iterations from random seeds either in R and C, the Broyden-Fletcher-Goldfarb-Shanno method, the Nelder-Mead simplex method. The robustness and performances of these methods will be analyzed and compared. The paper also presents the numerical probabilistic method from which the witness method was originated, and shows how the witness can be used for detecting dependent parameters within systems of geometric constraints.

AB - In geometric constraint solving, the constraints are represented with an equation system F(U, X) = 0, where X denotes the unknowns and U denotes a set of parameters. The target solution for X is noted XT. A witness is a couple (UW, XW) such that F(UW, XW) = 0. The witness is not the target solution, but they share the same combinatorial features, even when the witness and the target lie on two distinct connected components of the solution set of F(U, X) = 0. Thus a witness enables the qualitative study of the system: the detection of over- and under-constrained systems, the decomposition into irreducible subsystems, the computation of subsystems boundaries. This paper investigates the witness computation in various configurations. The witness computation will be studied under several numerical methods: Newton iterations from random seeds either in R and C, the Broyden-Fletcher-Goldfarb-Shanno method, the Nelder-Mead simplex method. The robustness and performances of these methods will be analyzed and compared. The paper also presents the numerical probabilistic method from which the witness method was originated, and shows how the witness can be used for detecting dependent parameters within systems of geometric constraints.

KW - Geometric constraint solving

KW - Numerical algorithms

KW - Witness computation

UR - http://www.scopus.com/inward/record.url?scp=84909606204&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84909606204&partnerID=8YFLogxK

U2 - 10.1109/SAI.2014.6918272

DO - 10.1109/SAI.2014.6918272

M3 - Conference contribution

SP - 759

EP - 770

BT - Proceedings of 2014 Science and Information Conference, SAI 2014

PB - Institute of Electrical and Electronics Engineers Inc.

ER -