Inner and Outer Approximations of Existentially Quantified Equality Constraints

  • Alexandre Goldsztejn
  • Luc Jaulin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4204)

Abstract

We propose a branch and prune algorithm that is able to compute inner and outer approximations of the solution set of an existentially quantified constraint where existential parameters are shared between several equations. While other techniques that handle such constraints need some preliminary formal simplification of the problem or only work on simpler special cases, our algorithm is the first pure numerical algorithm that can approximate the solution set of such constraints in the general case. Hence this new algorithm allows computing inner approximations that were out of reach until today.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Collins, G.: Quantifier elimination by cylindrical algebraic decomposition–twenty years of progress. In: Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 8–23 (1998)Google Scholar
  2. 2.
    Ratschan, S.: Uncertainty propagation in heterogeneous algebras for approximate quantified constraint solving. Journal of Universal Computer Science 6(9), 861–880 (2000)MATHMathSciNetGoogle Scholar
  3. 3.
    Shary, S.: A new technique in systems analysis under interval uncertainty and ambiguity. Reliable computing 8, 321–418 (2002)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Goldsztejn, A.: A Right-Preconditioning Process for the Formal-Algebraic Approach to Inner and Outer Estimation of AE-solution Sets. Reliable Computing 11(6), 443–478 (2005)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Herrero, P., Jaulin, L., Vehi, J., Sainz, M.: Inner and outer approximation of the polar diagram of a sailboat. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709. Springer, Heidelberg (2005)Google Scholar
  6. 6.
    Goldsztejn, A.: A branch and prune algorithm for the approximation of non-linear ae-solution sets. In: Proceedings of the 21st ACM Symposium on Applied Computing track Reliable Computations and their Applications (SAC 2006), Dijon, France (April 2006)Google Scholar
  7. 7.
    Khalil, H.: Nonlinear Systems, 3rd edn. Prentice Hall, Englewood Cliffs (2002)MATHGoogle Scholar
  8. 8.
    Reboulet, C.: Modélisation des robots parallèles. In: Boissonat, J.D., Faverjon, B., Merlet, J.P. (eds.) Techniques de la robotique, architecture et commande. Hermès, Paris, France, pp. 257–284 (1988)Google Scholar
  9. 9.
    Moore, R.: Interval analysis. Prentice-Hall, Englewood Cliffs (1966)MATHGoogle Scholar
  10. 10.
    Benhamou, F., Older, W.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming 32(1), 1–24 (1997)MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Haug, E., Luh, C., Adkins, F., Wang, J.: Numerical algorithms for mapping boundaries of manipulator workspaces. ASME Journal of Mechanical Design 118, 228–234 (1996)CrossRefGoogle Scholar
  12. 12.
    Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis with Examples in Parameter and State Estimation. In: Robust Control and Robotics. Springer, Heidelberg (2001)Google Scholar
  13. 13.
    Lebbah, Y., Michel, C., Rueher, M., Daney, D., Merlet, J.: Efficient and Safe Global Constraints for handling Numerical Constraint Systems. SIAM Journal on Numerical Analysis 42(5), 2076–2097 (2005)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Neumaier, A.: Interval Methods for Systems of Equations. Cambridge Univ. Press, Cambridge (1990)MATHGoogle Scholar
  15. 15.
    Goldsztejn, A., Jaulin, L.: Inner Approximation of the Range of Vector-Valued Functions to Reliable Computing (submitted)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Alexandre Goldsztejn
    • 1
  • Luc Jaulin
    • 2
  1. 1.Computer Science DepartmentUniversity of Central ArkansasConway, ArkansasUSA
  2. 2.Luc Jaulin: E3I2ENSIETABrest

Personalised recommendations