Abstract
We study the verification for a centrosymmetric solution of Sylvester matrix equations by the interval theory. Propose an algorithm which outputs an approximate centrosymmetric solution and its error bounds with the property that the exact solution exists within this verified interval solution.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Datta, B.: Numerical Methods for Linear Control Systems. Elsevier Academic Press, Amsterdam (2004)
Antoulas, A.: Approximation of Large-Scale Dynamical Systems, Advances in Design and Control. SIAM, Philadelphia (2005)
Sorensen, D.C., Antoulas, A.C.: The Sylvester equation and approximate balanced reduction. Linear Algebra Appl. 351, 671–700 (2002)
Rump, S.M.: Verification methods: rigorous results using floating-point arithmetic. Acta Numerica 19, 287–449 (2010)
Rump, S.M.: Kleine Fehlerschranken bei Matrixproblemen. Universitat Karlsruhe, Karlsruhe (1980)
Tucker, W.: The Lorenz attractor exists. C. R. de l’Acadmie des Sci. Ser. I Math. 328(12), 1197–1202 (1999)
Tawarmalani, M., Sahinidis, N.V.: A polyhedral branch-and-cut approach to global optimization. Math. Program. 103(2), 225–249 (2005)
Frommer, A., Hashemi, B.: Verified error bounds for solutions of Sylvester matrix equations. Linear Algebra Appl. 436(2), 405–420 (2002)
Liu, D., Zhou, H., Yuan, D.: An iterative algorithm for the centrosymmetric solutions and optimal approximation of \(AXB+ CXD= F\). J. Yangzhou Univ. (Natural Science Edition) 11(3), 9–13 (2008)
Horn, R.A., Johnson, C.R.: Topics in Matrix Analysis. Cambridge University Press, Cambridge (1994)
Rump, S.M.: INTLABinterval Laboratory Developments in Reliable Computing, pp. 77–104. Kluwer Academic Publishers, Dordrecht (1999)
Sang, H., Li, M., Liu, P., Li, Q.: Verified algorithm for a solution of matrix operator equation. J. Beihua Univ. (Natural Science) 16(4), 411–414 (2015)
Rump, S.M.: Verification methods: rigorous results using floating-point arithmetic. Acta Numerica 19, 287–449 (2010)
Acknowledgments
We thank the reviewers for their valuable comments and suggestions on this paper. This work is supported by Jilin Province Department of Education Science and Technology Research Project under Grants 2014213, 2015131 and 2015156.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sang, H., Li, Z., Cui, Y., Li, Q. (2015). A Verified Algorithm for the Centrosymmetric Solution of Sylvester Matrix Equations. In: Gong, M., Linqiang, P., Tao, S., Tang, K., Zhang, X. (eds) Bio-Inspired Computing -- Theories and Applications. BIC-TA 2015. Communications in Computer and Information Science, vol 562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-49014-3_31
Download citation
DOI: https://doi.org/10.1007/978-3-662-49014-3_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-49013-6
Online ISBN: 978-3-662-49014-3
eBook Packages: Computer ScienceComputer Science (R0)