The interval Lyapunov matrix equation: Analytical results and an efficient numerical technique for outer estimation of the united solution set

Mathematical and Computer Modelling

Volumn 55, Issue 3-4, 2012, Pages 622-633

  Hashemi, Behnam ^a   Dehghan, Mehdi ^b  

^a SHIRAZ UNIVERSITY OF TECHNOLOGY   (Iran)

^b AMIRKABIR UNIVERSITY OF TECHNOLOGY   (Iran)

Author keywords

AE solution sets; Interval analysis; Lyapunov matrix equation; United solution set

Indexed keywords

AE-SOLUTION SETS; ANALYTICAL RESULTS; INTERVAL ANALYSIS; INTERVAL LINEAR SYSTEMS; LYAPUNOV MATRIX EQUATIONS; MATRIX; NUMERICAL TECHNIQUES; REAL INTERVALS; UNITED SOLUTION SETS;

COMPUTATIONAL COMPLEXITY; ESTIMATION; LINEAR SYSTEMS; NUMERICAL METHODS;

MATRIX ALGEBRA;

EID: 84855189725     PISSN: 08957177     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.mcm.2011.08.036     Document Type: Article

References (35)

1. Antoulas A. Approximation of Large-Scale Dynamical Systems. Advances in Design and Control 2005, SIAM, Philadelphia.
2. Datta B.N. Numerical Methods for Linear Control Systems 2004, Academic Press, San Diego.
3. D. Kressner, V. Mehrmann, T. Penzl, CTDSX-a collection of benchmark examples for state-space realizations of continuous-time dynamical systems, Tech. Report SLICOT Working Note 1998-9, 1998. http://www.slicot.org/REPORTS/SLWN1998-9.ps.gz.
4. Penzl T. A cyclic low-rank Smith method for large sparse Lyapunov equations. SIAM J. Sci. Comput. 2000, 21:1401-1418.
5. Saad Y. Numerical solution of large Lyapunov equations. Proc. of the Internat. Symposium MTNS-89 1990, vol. 3:503-511. Birkhauser, Boston. M.A. Kaashoek, J.H. van Schuppen, A.C. Ran (Eds.).
6. Bartels R.H., Stewart G.W. Algorithm 432: solution of the matrix equation AX+XB=C. Commun. ACM 1972, 15:820-826.
7. CODATA Internationally recommended values of the fundamental physical constants, The Physics Laboratory of the National Institute of Standards. Available online at: http://physics.nist.gov/cuu/Constants.
8. Kearfott R.B., Kreinovich V. Applications of Interval Computations 1996, Kluwer Academic Publishers, Dordrecht, Boston, London.
9. Rump S.M. INTLAB-INTerval LABoratory. Developments in Reliable Computing 1999, 77-105. Kluwer, Dordrecht, Netherlands. T. Csendes (Ed.).
10. J. Rohn, Verification Software in MATLAB/INTLAB. Available online at: http://uivtx.cs.cas.cz/~rohn/matlab.
11. Seif N.P., Hussein S.A., Deif A.S. The interval Sylvester matrix equation. Computing 1994, 52:233-244.
12. Shashikhin V.N. Robust stabilization of linear interval systems. J. Appl. Math. Mech. 2002, 66:393-400.
13. Shashikhin V.N. Robust assignment of poles in large-scale interval systems. Autom. Remote Control 2002, 63:200-208.
14. Rohn J., Kreinovich V. Computing exact componentwise bounds on solutions of linear systems with interval data is NP-hard. SIAM J. Matrix Anal. Appl. 1995, 16:415.
15. Kreinovich V., Lakeyev A., Rohn J., Kahl P. Computational Complexity and Feasiility of Data Processing and Interval Computations 1998, Kluwer, Dordrecht.
16. Rohn J. Enclosing solutions of linear interval equations is NP-hard. Computing 1994, 53:365-368.
17. Kearfott R.B., Nakano M.T., Neumaier A., Rump S.M., Shary S.P., van Hentenryck P. Standardized notation in interval analysis. Reliab. Comput. 2010, 15:7-13.
18. Alefeld G., Herzberger J. Introduction to Interval Computations 1983, Academic Press, New York.
19. Moore R.E., Kearfott R.B., Cloud M.J. Introduction to Interval Analysis 2009, SIAM, Philadelphia.
20. Neumaier A. Interval Methods for Systems of Equations 1990, Cambridge University Press, Cambridge.
21. Shary S.P. A new technique in systems analysis under interval uncertainty and ambiguity. Reliab. Comput. 2002, 8:321-418.
22. Hashemi B., Dehghan M. Results concerning interval linear systems with multiple right-hand sides and the interval matrix equation AX=B. J. Comput. Appl. Math. 2011, 235:2969-2978.
23. Scientific Computing with Automatic Result Verification. Mathematics in Science and Engineering 1993, vol. 189. Academic Press, Boston. E. Adams, U. Kulisch (Eds.).
24. Kearfott R.B. Interval analysis: interval Newton methods. Encyclopedia of Optimization 2001, vol. 3:76-78. Kluwer.
25. Jansson C., Rump S.M. Rigorous solution of linear programming problems with uncertain data. ZOR, Methods Models Oper. Res. 1991, 35:87-111.
26. Rump S.M. Verification methods for dense and sparse systems of equations. Topics in Validated Computations 1994, 63-136. North-Holland, Amsterdam. J. Herzberger (Ed.).
27. Frommer A., Hashemi B. Verified computation of square roots of a matrix. SIAM J. Matrix Anal. Appl. 2009, 31:1279-1302. Preprint available as technical report BUW-SC 09/2, Bergische Universität Wuppertal. www-ai.math.uni-wuppertal.de/SciComp/preprints/SC0902.pdf.
28. Horn R.A., Johnson C.R. Topics in Matrix Analysis 1991, Cambridge University Press.
29. Rump S.M. A note on epsilon-inflation. Reliab. Comput. 1998, 4:371-375.
30. Hodel A.S., Poolla K.P., Tenison B. Numerical solution of the Lyapunov equation by approximate power iteration. Linear Algebra Appl. 1996, 236:205-230.
31. Shary S.P. Solving the interval tolerance problem. Math. Comput. Simul. 1995, 39:53-85.
32. Shary S.P. Algebraic approach to the interval linear static identification, tolerance and control problems, or one more application of Kaucher arithmetic. Reliab. Comput. 1996, 2:3-33.
33. Shary S.P. Controllable solution set to interval static systems. Appl. Math. Comput. 1997, 86:185-196.
34. Popova E. Quality of the solution sets of parameter-dependent interval linear systems. Z. Angew. Math. Mech. 2002, 82:723-727.
35. Popova E., Krämer W. Inner and outer bounds for the solution set of parametric interval linear systems. J. Comput. Appl. Math. 2007, 199:310-316.