Inner and outer approximations of existentially quantified equality constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4204 LNCS, Issue , 2006, Pages 198-212

  Goldsztejn, Alexandre ^a   Jaulin, Luc ^b  

^a UNIVERSITY OF CENTRAL ARKANSAS   (United States)

^b ENSIETA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; CONSTRAINT THEORY; PARAMETER ESTIMATION;

INNER APPROXIMATIONS; NUMERICAL ALGORITHMS;

APPROXIMATION THEORY;

EID: 33750314792     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11889205_16     Document Type: Conference Paper

References (15)

1. Collins, G.: Quantifier elimination by cylindrical algebraic decomposition-twenty years of progress. In Quantifier Elimination and Cylindrical Algebraic Decomposition (1998) 8-23
2. Ratschan, S.: Uncertainty propagation in heterogeneous algebras for approximate quantified constraint solving. Journal of Universal Computer Science 6(9) (2000) 861-880
3. Shary, S.: A new technique in systems analysis under interval uncertainty and ambiguity. Reliable computing 8 (2002) 321-418
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) (2005) 443-478
5. Herrero, P., Jaulin, L., Vehi, J., Sainz, M.: Inner and outer approximation of the polar diagram of a sailboat. Interval analysis, constraint propagation, applications, Held in conjunction with the Eleventh International Conference on Principles and Practice of Constraint Programming (CP 2005), Sitges, Spain (2005)
6. Goldsztejn, A.: A branch and prune algorithm for the approximation of nonlinear ae-solution sets. In: Proceedings of the 21st ACM Symposium on Applied Computing track Reliable Computations and their Applications, Dijon, France, April 2006 (SAC 2006). (2006)
7. Khalil, H.: Nonlinear Systems, Third Edition. Prentice Hall (2002)
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. Herms, Paris, France (1988) 257-284
9. Moore, R.: Interval analysis. Prentice-Hall (1966)
10. Benhamou, F., Older, W.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming 32(1) (1997) 1-24
11. Haug, E., Luh, C., Adkins, F., Wang, J.: Numerical algorithms for mapping boundaries of manipulator workspaces. ASME Journal of Mechanical Design 118 (1996) 228-234
12. Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis with Examples in Parameter and State Estimation, Robust Control and Robotics. Springer-Verlag (2001)
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) (2005) 2076-2097
14. Neumaier, A.: Interval Methods for Systems of Equations. Cambridge Univ. Press, Cambridge (1990)
15. Goldsztejn, A., Jaulin, L.: Inner Approximation of the Range of Vector-Valued Functions. (Submitted to Reliable Computing)