On the Approximation of Linear AE-Solution Sets

• Published in: 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006) p. 18
• Main Authors: Goldsztejn, A., Chabert, G.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01-09-2006
• Subjects: Equations; Gaussian approximation; Linear approximation; Switches; Uncertainty
• DOI: 10.1109/SCAN.2006.33

When considering systems of equations, it often happens that parameters are known with some uncertainties. This leads to continua of solutions that are usually approximated using the interval theory. A wider set of useful situations can be modeled if one allows furthermore different quantifications of the parameters in their domains. In particular, quantified solution sets where universal quantifiers are constrained to precede existential quantifiers are called AE-solution sets. A state of the art on the approximation of linear AE- solution sets in the framework of generalized intervals (intervals whose bounds are not constrained to be ordered increasingly) is presented in a new and unifying way. Then two new generalized interval operators dedicated to the approximation of quantified linear interval systems are proposed and investigated.