Skip to main content
SpringerLink
Log in

A Right-Preconditioning Process for the Formal–Algebraic Approach to Inner and Outer Estimation of AE-Solution Sets

  • Published:
Reliable Computing

Abstract

Aright-preconditioning process for linear interval systems has been presented by Neumaier in 1987. It allows the construction of an outer estimate of the united solution set of a square linear interval system in the form of a parallelepiped. The denomination “right-preconditioning” is used to describe the preconditioning processes which involve the matrix product AC in contrast to the (usual) left-preconditioning processes which involve the matrix product AC, where A and C are respectively the interval matrix of the studied linear interval system and the preconditioning matrix.

The present paper presents a new right-preconditioning process similar to the one presented by Neumaier in 1987 but in the more general context of the inner and outer estimations of linear AEsolution sets. Following the spirit of the formal-algebraic approach to AE-solution sets estimation, summarized by Shary in 2002, the new right-preconditioning process is presented in the form of two new auxiliary interval equations. Then, the resolution of these auxiliary interval equations leads to inner and outer estimates of AE-solution sets in the form of parallelepipeds. This right-preconditioning process has two advantages: on one hand, the parallelepipeds estimates are often more precise than the interval vectors estimates computed by Shary. On the other hand, in many situations, it simplifies the formal algebraic approach to inner estimation of AE-solution sets. Therefore, some AE-solution sets which were almost impossible to inner estimate with interval vectors, become simple to inner estimate using parallelepipeds. These benefits are supported by theoretical results and by some experimentations on academic examples of linear interval systems.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Beaumont, O.: Algorithmique pour les Intervalles, Ph.D. Thesis, Université de Rennes 1, 1999.

  2. Beaumont, O.: Solving Interval Linear Systems with Oblique Boxes, Publication interne IRISA, 2000, http://www.irisa.fr/sage/publications/Category/RR.html.

  3. Dimitrova, N. S., Markov, S. M., and Popova, E. D.: Extended Interval Aritrhmetics: New Results and Applications, in: Computer Arithmetics and Enclosure Methods, 1992, pp. 225–232.

  4. Eijgenraam, P.: The Solution of Initial Value Problems Using Interval Arithmetic, Mathematical Centre Tracts 144, Stichting Mathematisch Centrum, Amsterdam, 1981.

  5. Kaucher, E.: Interval Analysis in the Extended Interval Space, Computing, Suppl. 2 (1980), pp. 33–49.

    Google Scholar 

  6. Kaucher, E.: Uber metrische und algebraische Eigenschaften einiger beim numerischen Rechnen auftretender Raume, Ph.D. Thesis, Karlsruhe, 1973.

  7. Lohner, R. J.: Enclosing the Solutions of Ordinary Initial and Boundary Value Problems, in: Computer Arithmetic: Scientific Computation and Programming Languages, Wiley-Teubner Series in Computer Science, Stuttgart, 1987, pp. 255–286.

  8. Markov, S. M., Popova, E. D., and Ullrich, Ch.: On the Solution of Linear Algebraic Equations Involving Interval Coefficients, Iterative Methods in Linear Algebra, IMACS Series on Computational and Applied Mathematics 3 (1996), pp. 216–225.

    Google Scholar 

  9. Mayer, G. and Warnke, I.: On the Fixed Points of the Interval Function ([x]) = [a][x] + [b], Linear Algebra and Its Applications 363 (2003), pp. 201–216.

    Article  Google Scholar 

  10. Neumaier, A.: Interval Methods for Systems of Equations, Cambridge Univ. Press, Cambridge, 1990.

    Google Scholar 

  11. Neumaier, A.: On Shary’s Algebraic Approach for Linear Interval Equations, SIAM J. Matrix Anal. Appl. 21 (2000), pp. 1156–1162.

    Article  Google Scholar 

  12. Neumaier, A.: Overestimation in Linear Interval Equations, SIAM J. Numer. Anal. 24 (1) (1987), pp. 207–214.

    Article  Google Scholar 

  13. Popova, E. D.: Multiplication Distributivity of Proper and Improper Intervals, Reliable Computing 7 (2) (2001), pp. 129–140.

    Article  Google Scholar 

  14. Sainz, M. Á, Gardeñes, E., and Jorba, L.: Formal Solution to Systems of Interval Linear or Non-Linear Equations, Reliable Computing 8 (3) (2002), pp. 189–211.

    Article  Google Scholar 

  15. Sainz, M. Á, Gardeñes, E., and Jorba, L.: Interval Estimations of Solutions Sets to Real-Valued Systems of Linear or Non-Linear Equations, Reliable Computing 8 (4) (2002), pp. 283–305.

    Article  Google Scholar 

  16. Shary, S. P.: A New Technique in Systems Analysis under Interval Uncertainty and Ambiguity, Reliable Computing 8 (5) (2002), pp. 321–418.

    Article  Google Scholar 

  17. Shary, S. P.: Algebraic Approach in the “Outer Problem” for Interval Linear Equations, Reliable Computing 3 (2) (1997), pp. 103–135.

    Article  Google Scholar 

  18. Shary, S. P.: Algebraic Approach to the Interval Linear Static Identification, Tolerance and Control Problems, or One More Application of Kaucher Arithmetic, Reliable Computing 2 (1) (1996), pp. 3–33.

    Google Scholar 

  19. Shary, S. P.: Outer Estimation of Generalized Solution Sets to Interval Linear Systems, Reliable Computing 5 (3) (1999), pp. 323–335.

    Article  Google Scholar 

  20. SIGLA/X group: Modal Intervals, Reliable Computing 7 (2) (2001), pp. 77–111.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Nice-Sophia Antipolis (Projet COPRIN, I3S/CNRS-NRIA), Route des colles, BP 145, 06903, Sophia Antipolis, France

    Alexandre Goldsztejn

  2. Thales Airborne Systems, 2 avenue Gay-Lussac, 78851, Elancourt, France

    Alexandre Goldsztejn

Authors
  1. Alexandre Goldsztejn
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexandre Goldsztejn.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Goldsztejn, A. A Right-Preconditioning Process for the Formal–Algebraic Approach to Inner and Outer Estimation of AE-Solution Sets. Reliable Comput 11, 443–478 (2005). https://doi.org/10.1007/s11155-005-0404-x

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11155-005-0404-x

Keywords

Search

Navigation