A branch and prune algorithm for the approximation of non-linear AE-solution sets

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2006, Pages 1650-1654

  Goldsztejn, Alexandre ^a  

^a UNIVERSITÉ CÔTE D'AZUR   (France)

Author keywords

AE solution set; Branch and prune; Generalized intervals; Hansen Sengupta

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; NUMERICAL METHODS;

AE-SOLUTION SETS; BRANCH AND PRUNE ALGORITHMS; GENERALIZED INTERVALS;

NONLINEAR SYSTEMS;

EID: 33751055276     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1141277.1141665     Document Type: Conference Paper

References (12)

1. Goldsztejn A. Définition et Applications des Extensions des Fonctions Réelles aux Intervalles Généralisés. PhD thesis, Université de Nice-Sophia Antipolis, 2005.
2. Neumaier A. Interval Methods for Systems of Equations. Cambridge Univ. Press, Cambridge, 1990.
3. Collins G. E. Quantifier elimination by cylindrical algebraic decomposition-twenty years of progress. In Quantifier Elimination and Cylindrical Algebraic Decomposition, pages 8-23, 1998.
4. Kearfott R.B. et al. Standardized notation in interval analysis. 2002.
5. Benhamou F., Goualard F., Languenou E., and M. Christie. Interval constraint solving for camera control and motion planning. ACM Transactions on Computational Logic, 5(4):732-767, 2004.
6. L. Jaulin, Ratschan S., and Hardouin L. Set computation for nonlinear control. Reliable Computing, 10(1):1-26, 2004.
7. Jirstand M. Nonlinear control system design by quantifier elimination. Journal of Symbolic Computation, 24(2):137-152, 1997.
8. Herrero P., M.A. Sainz, Vehí J., and Jaulin L. Quantified set inversion algorithm with applications to control. In Proceedings of Interval Mathematics and Constrained Propagation methods, Novosibirsk, 2004, volume 11(5) of Reliable Computing, 2005.
9. Stefan Ratschan. Approximate quantified constraint solving by cylindrical box decomposition. Reliable Computing, 8(1):21-42, 2002.
10. Ratschan S. et al. Rsolver. http://www.mpi-sb.mpg.de/~ratschan/rsolver, 2004. Software Package.
11. Shary S.P. Interval Gauss-Seidel method for generalized solution sets to interval linear systems. Reliable computing, 7:141-155, 2001.
12. Shary S.P. A new technique in systems analysis under interval uncertainty and ambiguity. Reliable computing, 8:321-418, 2002.