Skip to main content
SpringerLink
Log in
Book cover

Bio-Inspired Computing - Theories and Applications

BIC-TA 2015: Bio-Inspired Computing -- Theories and Applications pp 342–349Cite as

A Verified Algorithm for the Centrosymmetric Solution of Sylvester Matrix Equations

  • Conference paper
  • First Online:

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 562))

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Datta, B.: Numerical Methods for Linear Control Systems. Elsevier Academic Press, Amsterdam (2004)

    Google Scholar 

  2. Antoulas, A.: Approximation of Large-Scale Dynamical Systems, Advances in Design and Control. SIAM, Philadelphia (2005)

    Book  MATH  Google Scholar 

  3. Sorensen, D.C., Antoulas, A.C.: The Sylvester equation and approximate balanced reduction. Linear Algebra Appl. 351, 671–700 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  4. Rump, S.M.: Verification methods: rigorous results using floating-point arithmetic. Acta Numerica 19, 287–449 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  5. Rump, S.M.: Kleine Fehlerschranken bei Matrixproblemen. Universitat Karlsruhe, Karlsruhe (1980)

    MATH  Google Scholar 

  6. Tucker, W.: The Lorenz attractor exists. C. R. de l’Acadmie des Sci. Ser. I Math. 328(12), 1197–1202 (1999)

    MathSciNet  MATH  Google Scholar 

  7. Tawarmalani, M., Sahinidis, N.V.: A polyhedral branch-and-cut approach to global optimization. Math. Program. 103(2), 225–249 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  8. Frommer, A., Hashemi, B.: Verified error bounds for solutions of Sylvester matrix equations. Linear Algebra Appl. 436(2), 405–420 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  9. 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)

    MATH  Google Scholar 

  10. Horn, R.A., Johnson, C.R.: Topics in Matrix Analysis. Cambridge University Press, Cambridge (1994)

    MATH  Google Scholar 

  11. Rump, S.M.: INTLABinterval Laboratory Developments in Reliable Computing, pp. 77–104. Kluwer Academic Publishers, Dordrecht (1999)

    Book  Google Scholar 

  12. 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)

    Google Scholar 

  13. Rump, S.M.: Verification methods: rigorous results using floating-point arithmetic. Acta Numerica 19, 287–449 (2010)

    Article  MathSciNet  MATH  Google Scholar 

Download references

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

  1. College of Mathematics and Statistics, Beihua University, Jilin, 132013, China

    Haifeng Sang, Ying Cui & Qingchun Li

  2. College of Economics and Management, Shanghai Maritime University, Shanghai, 201306, China

    Ziyu Li

Authors
  1. Haifeng Sang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ziyu Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ying Cui
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Qingchun Li
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Qingchun Li .

Editor information

Editors and Affiliations

  1. Xidian University, Xi'an, China

    Maoguo Gong

  2. Huazhong Univ. of Science and Technology, Wuhan, China

    Pan Linqiang

  3. University of Petroleum, Qingdao, China

    Song Tao

  4. University of Science and Technology of China, Hefei, China

    Ke Tang

  5. Anhui University, Hefei, China

    Xingyi Zhang

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation