An algorithm for checking regularity of interval matrices

SIAM Journal on Matrix Analysis and Applications

Volumn 20, Issue 3, 1999, Pages 756-776

  Jansson, Christian ^a   Rohn, Jiri ^b,c  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^b CHARLES UNIVERSITY   (Czech Republic)

^c INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

Algorithm; Branch and bound; Interval matrix; Linear interval equations; Linear programming; Regularity; Singularity

Indexed keywords

EID: 0033239809     PISSN: 08954798     EISSN: None     Source Type: Journal    
DOI: 10.1137/S0895479896313978     Document Type: Article

References (25)

1. B. R. BARMISH, New tools for robustness analysis, in Proceedings of the 27th Conference on Decision and Control, Austin, TX, 1988, pp. 1-6.
2. I. BAR-ON, B. CODENOTTI, AND M. LEONCINI, Checking robust nonsingularity of tridiagonal matrices in linear time, BIT, 36 (1996), pp. 206-220.
3. H. BEECK, Zur Problematik der Hüllenbestimmung von Intervallgleichungssystemen, in Interval Mathematics, K. Nickel, ed., Lecture Notes in Comput. Sci. 29, Springer-Verlag, Berlin, 1975, pp. 150-159.
4. M. R. GAREY AND D. S. JOHNSON, Computers and Intractability: A Guide to the Theory of NP-Completeness, Freeman, San Francisco, 1979.
5. R. T. GREGORY AND D. L. KARNEY, Collection of Matrices for Testing Computational Algorithms, John Wiley & Sons, New York, 1969.
6. C. JANSSON, On self-validating methods for optimization problems, in Topics in Validated Computations, J. Herzberger, ed., North-Holland, Amsterdam, 1994, pp. 381-438.
7. C. JANSSON, Calculation of exact bounds for the solution set of linear interval systems, Linear Algebra Appl., 251 (1997), pp. 321-340.
8. V. KREINOVICH, A. LAKEYEV, J. ROHN, AND P. KAHL, Computational Complexity and Feasibility of Data Processing and Interval Computations, Kluwer, Dordrecht, The Netherlands, 1997.
9. J. LUNZE, Robust Multivariable Feedback Control, Prentice-Hall, Englewood Cliffs, NJ, 1989.
10. M. MANSOUR, Robust stability of interval matrices, in Proceedings of the 28th Conference on Decision and Control, Tampa, FL, 1989, pp. 46-51.
11. K. G. MURTY, Linear Complementarity, Linear and Nonlinear Programming, Heldermann, Berlin, 1988.
12. J. NEDOMA, Positively regular vague matrices, Linear Algebra Appl., to appear.
13. A. NEMIROVSKII, Several NP-hard problems arising in robust stability analysis, Math. Control Signals Systems, 6 (1993), pp. 99-105.
14. W. OETTLI AND W. PRAGER, Compatibility of approximate solution of linear equations with given error bounds for coefficients and right-hand sides, Numer. Math., 6 (1964), pp. 405-409.
15. S. POLJAK AND J. ROHN, Radius of Nonsingularity, Research report, KAM Series 88-117, Faculty of Mathematics and Physics, Charles University, Prague, Czechoslovakia, December 1988.
16. S. POLJAK AND J. ROHN, Checking robust nonsingularity is NP-hard, Math. Control Signals Systems, 6 (1993), pp. 1-9.
17. J. ROHN, Systems of linear interval equations, Linear Algebra Appl., 126 (1989), pp. 39-78.
18. J. ROHN, An algorithm for finding a singular matrix in an interval matrix, J. Numer. Linear Algebra Appl., 1 (1992), pp. 43-47.
19. J. ROHN, Positive definiteness and stability of interval matrices, SIAM J. Matrix Anal. Appl., 15 (1994), pp. 175-184.
20. J. ROHN AND G. REX, Interval P-matrices, SIAM J. Matrix Anal. Appl., 17 (1996), pp. 1020-1024.
21. S. M. RUMP, Validated solution of large linear systems, in Computing Supplementum 9, R. Albrecht, G. Alefeld, and H. J. Stetter, eds., Springer-Verlag, Wien, 1993, pp. 191-212.
22. S. M. RUMP, Verification methods for dense and sparse systems of equations, in Topics in Validated Computations, J. Herzberger, ed., North-Holland, Amsterdam, 1994, pp. 63-135.
23. S. M. RUMP, Bounds for the componentwise distance to the nearest singular matrix, SIAM J. Matrix Anal. Appl., 18 (1997), pp. 83-103.
24. S. M. RUMP, Almost sharp bounds for the componentwise distance to the nearest singular matrix, Linear and Multilinear Algebra, 42 (1998), pp. 93-108.
25. H. RUTISHAUSER, Lectures on Numerical Analysis, Birkhäuser, Basel, Switzerland, 1990.