Abstract
We consider systems of linear equations, where the elements of the matrix and of the right-hand side vector are linear functions of interval parameters. We study parametric AE solution sets, which are defined by universally and existentially quantified parameters, and the former precede the latter. Based on a recently obtained explicit description of such solution sets, we present three approaches for obtaining outer estimations of parametric AE solution sets. The first approach intersects inclusions of parametric united solution sets for all combinations of the end-points of the universally quantified parameters. Polynomially computable outer bounds for parametric AE solution sets are obtained by parametric AE generalization of a single-step Bauer–Skeel method. In the special case of parametric tolerable solution sets, we derive an enclosure based on linear programming approach; this enclosure is optimal under some assumption. The application of these approaches to parametric tolerable and controllable solution sets is discussed. Numerical examples accompanied by graphic representations illustrate the solution sets and properties of the methods.





Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Beaumont O, Philippe B (2001) Linear interval tolerance problem and linear programming techniques. Reliab Comput 7(6):433–447
Busłowicz M (2010) Robust stability of positive conti-nuous-time linear systems with delays. Int J Appl Math Comput Sci 20(4):665–670
Elishakoff I, Ohsaki M (2010) Optimization and anti-optimization of structures under uncertainty. Imperial College Press, London, p 424
Fiedler M, Nedoma J, Ramík J, Rohn J, Zimmermann K (2006) Linear optimization problems with inexact data. Springer, New York
Goldsztejn A (2005) A right-preconditioning process for the formal-algebraic approach to inner and outer estimation of AE-solution sets. Reliab Comput 11(6):443–478
Goldsztejn A, Chabert G (2006) On the approximation of linear AE-solution sets. In: Post-proceedings of 12th GAMM–IMACS International Symposion on scientific computing, computer arithmetic and validated numerics, IEEE Computer Society Press, Duisburg
Hladík M (2012) Enclosures for the solution set of parametric interval linear systems. Int J Appl Math Comp Sci 22(3):561–574
Lagoa C, Barmish B (2002) Distributionally robust monte carlo simulation: a tutorial survey. In: Proceedings of the 15th IFAC World Congress, IFAC, pp 1327–1338
Matcovschi M, Pastravanu O (2007) Box-const-rained stabilization for parametric uncertain systems. In: Petre, E et al (eds) Proceedings of SINTES 13, Internat. Symposium on system theory, automation, robotics, computers, informatics, electronics and instrumentation, Craiova, pp 140–145
Pivkina I, Kreinovich V (2006) Finding least expensive tolerance solutions and least expensive tolerance revisions: algorithms and computational complexity. Departmental technical reports (CS) 207, University of Texas at El Paso, http://digitalcommons.utep.edu/cs_techrep/207
Popova ED (2006) Computer-assisted proofs in solving linear parametric problems. In: Post-proceedings of 12th GAMM–IMACS International Symposion on scientific computing, computer arithmetic and validated numerics, IEEE Computer Society Press, Duisburg
Popova ED (2012) Explicit description of AE solution sets for parametric linear systems. SIAM J Matrix Anal Appl 33(4):1172–1189
Popova ED, Krämer W (2007) Inner and outer bounds for the solution set of parametric linear systems. J Comput Appl Math 199(2):310–316
Popova ED, Krämer W (2011) Characterization of AE solution sets to a class of parametric linear systems. Comptes Rendus de L’Académie Bulgare des Sciences 64(3):325–332
Rohn J (1986) Inner solutions of linear interval systems. In: Nickel K (ed) Proceedings of the International Symposium on interval mathematics on Interval mathematics 1985, LNCS, vol 212, Springer, Berlin, pp 157–158
Rohn J (2006) Solvability of systems of interval linear equations and inequalities. In: Fiedler, M et al (ed) Linear optimization problems with inexact data, chapter 2, Springer, New York, pp 35–77
Rohn J (2010) An improvement of the Bauer-Skeel bounds. Technical report V-1065, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, http://uivtx.cs.cas.cz/rohn/publist/bauerskeel.pdf
Sharaya IA, Shary SP (2011) Tolerable solution set for interval linear systems with constraints on coefficients. Reliab Comput 15(4):345–357
Shary SP (1995) Solving the linear interval tolerance problem. Math Comput Simulat 39:53–85
Shary SP (1997) Controllable solution set to interval static systems. Appl Math Comput 86(2–3):185–196
Shary SP (2002) A new technique in systems analysis under interval uncertainty and ambiguity. Reliab Comput 8(5):321–418
Skalna I (2006) A method for outer interval solution of systems of linear equations depending linearly on interval parameters. Reliab Comput 12(2):107–120
Sokolova S, Kuzmina E (2008) Dynamic properties of interval systems. In: SPIIRAS Proceedings, Nauka, 7, pp 215–221 (in Russian)
Stewart GW (1998) Matrix algorithms. Basic decompositions, vol. 1, SIAM, Philadelphia
Wang Y (2008) Interpretable interval constraint solvers in semantic tolerance analysis. Comput-Aided Des Appl 5(5):654–666
Wang S et al (2003) Solution sets of interval-valued fuzzy relational equations. Fuzzy Optimization and Decision Making 2:41–60
Acknowledgments
This work was inspired by the discussions held during the Dagstuhl seminar 11371 in Dagstuhl, Germany, September 2011. E. Popova was partially supported by the Bulgarian National Science Fund under grant No. DO 02-359/2008. M. Hladík was partially supported by the Czech Science Foundation Grant P403/12/1947. The authors thank the anonymous reviewers for the numerous remarks improving readability of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by V. Kreinovich.
Rights and permissions
About this article
Cite this article
Popova, E.D., Hladík, M. Outer enclosures to the parametric AE solution set. Soft Comput 17, 1403–1414 (2013). https://doi.org/10.1007/s00500-013-1011-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-013-1011-0