Abstract
This is the first of two papers which present the Modal Interval Analysis as a framework where the search and interpretation of formal solutions for a set of simultaneous interval linear or non-linear equations is started on, together with the interval estimations for sets of solutions of real-valued systems in which coefficients and right-hand sides belong to certain intervals. The main purpose of this first paper is to show that the modal intervals are a suitable tool to approach problems where logical reference appear. Thus, it is possible to give a logical meaning to general solutions of the system of equations, obtained, in the linear case, by means of an algorithm whose convergence conditions are studied.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, New York, 1983.
Gardeñes, E., Mielgo, H., and Sainz, M. Á.: Presentation of the Research Group SIGLA/X,Report IMA 95–10, Dept. de Informática y Matemática Aplicada, Universidad de Gerona, 1995.
Gardeñes, E., Trepat, A., and Mielgo, H.: Present Perspective of the SIGLA Interval System, Freiburger Intervall-Berichte 82/9, Freiburg, 1982.
Gregory, R. T. and Karney, D. L.: A Collection of Matrices for Testing Computational Algorithms, Wiley Interscience, John Wiley and Sons, New York, 1969.
Kaucher, E.: Interval Analysis in the Extended Interval Space IR, Computing Suplementum 2, Springer, Heidelberg, 1979, pp. 33–49.
Kupriyanova, L.: Finding Inner Estimates of the Solution Sets to Equations with Interval Coefficients, Ph.D. dissertation, Saratov State University, Saratov, 2000 (in Russian).
Kupriyanova, L.: Inner Estimation of the United Solution Set of Interval Algebraic System, Reliable Computing 1(1) (1995), pp. 15–41.
Markov, S., Popova, E., and Ullrich, Ch.: On the Solution of Linear Algebraic Equations Involving Interval Coefficients, in: Iterative Methods in Linear Algebra, IMACS Series on Computational and Applied Mathematics 3 (1996), pp. 216–225.
Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press, Cambridge, 1990.
Sainz, M. Á., Gardeñes, E., and Jorba, L.: Interval Estimations of Solution Sets to Real-Valued Systems of Linear or Non-Linear Equations, Reliable Computing 8 (4) (2002), to appear.
Shary, S. P.: Algebraic Approach in the “Outer Problem” for Interval Linear Equations, Reliable Computing 3(2) (1997), pp. 103–135.
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.
Shary, S. P.: Algebraic Solutions to Interval Linear Equations and Their Applications, in: Alefeld, G. and Herzberger, J. (eds), Numerical Methods and Error Bounds, Akademie Verlag, Berlin, 1996, pp. 224–233.
Shary, S. P.: Interval Gauss-Seidel Method for Generalized Solution Sets to Interval Linear Systems, in: Applications of Interval Analysis to Systems and Control (Proceedings of the Workshop MISC'99), University of Girona, 1999, pp. 67–81.
Shary, S. P.: Outer Estimation of Generalized Solution Sets to Interval Linear Systems, Reliable Computing 5(3) (1999), pp. 323–335.
Shary, S. P.: Solving the Linear Interval Tolerance Problem, Mathematics and Computers in Simulation 39 (1995), pp. 53–85.
SIGLA/Xgroup: Modal Intervals. Basic Tutorial, in: Applications of Interval Analysis to Systems and Control (Proceedings of the Workshop MISC'99), University of Girona, 1999, pp. 157–227.
Walter, E. and Pronzato, L.: Identification of Parametric Models from Experimental Data, Springer, Heidelberg, 1997.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sainz, M.Á., Gardeñes, E. & Jorba, L. Formal Solution to Systems of Interval Linear or Non-Linear Equations. Reliable Computing 8, 189–211 (2002). https://doi.org/10.1023/A:1015561212728
Issue Date:
DOI: https://doi.org/10.1023/A:1015561212728