Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
Volume 2013, Article ID 859578, 5 pages
http://dx.doi.org/10.1155/2013/859578
Research Article

Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System

1Laboratory of Computer Reasoning and Trustworthy Computation, School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China
2Laboratory of Automated Reasoning and Cognition, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Science, Chongqing 401120, China
3L.A.S Department of ChengDu College, University of Electronic Science and Technology of China, Chengdu 611731, China

Received 24 July 2013; Accepted 21 November 2013

Academic Editor: Bo-Qing Dong

Copyright © 2013 Zhenyi Ji et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. T. V. Nguyen, T. Mori, and Y. Mori, “Existence conditions of a common quadratic Lyapunov function for a set of second-order systems,” Transactions of the Society of Instrument and Control Engineers, vol. 42, no. 3, pp. 241–246, 2006. View at Google Scholar
  2. T. V. Nguyen, T. Mori, and Y. Mori, “Relations between common Lyapunov functions of quadratic and infinity-norm forms for a set of discrete-time LTI systems,” IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E89-A, no. 6, pp. 1794–1798, 2006. View at Publisher · View at Google Scholar · View at Scopus
  3. Z. She, B. Xia, R. Xiao, and Z. Zheng, “A semi-algebraic approach for asymptotic stability analysis,” Nonlinear Analysis: Hybrid Systems, vol. 3, no. 4, pp. 588–596, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  4. G. E. Collins, “Quantifier elimination for real closed fields by cylindrical algebraic decomposition,” in Automata Theory and Formal Languages, vol. 33 of Lecture Notes in Computer Science, pp. 134–183, Springer, Berlin, Germany, 1975. View at Google Scholar · View at MathSciNet
  5. M. Bakonyi and K. N. Stovall, “Stability of dynamical systems via semidefinite programming,” in Recent Advances in Matrix and Operator Theory, vol. 179 of Operator Theory: Advances and Applications, pp. 25–34, Birkhäuser, Basel, Switzerland, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  6. K. Forsman, “Construction of lyapunov functions using Groëner bases,” in Proceedings of the 30th IEEE Conference on Decision and Control, vol. 1, pp. 798–799, 1991.
  7. A. Papachristodoulou and S. Prajna, “On the construction of Lyapunov functions using the sum of squares decomposition,” in Proceedings of the 41st IEEE Conference on on Decision and Control, vol. 3, pp. 3482–3487, 2002.
  8. M. W. Hirsch and S. Smale, Differential Equations, Dynamical Systems, and Linear Algebra, vol. 60, Academic Press, New York, NY, USA, 1974. View at MathSciNet
  9. T. Y. Li, “Numerical solution of polynomial systems by homotopy continuation methods,” Handbook of Numerical Analysis, vol. 11, pp. 209–304, 2003. View at Google Scholar
  10. A. J. Sommese and C. W. Wampler II, The Numerical Solution of Systems of Polynomials: Arising in Engineering and Science, World Scientific, Singapore, 2005. View at Publisher · View at Google Scholar · View at MathSciNet
  11. A. Seidenberg, “A new decision method for elementary algebra,” Annals of Mathematics, vol. 60, no. 2, pp. 365–374, 1954. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  12. F. Rouillier, M.-F. Roy, and M. Safey El Din, “Finding at least one point in each connected component of a real algebraic set defined by a single equation,” Journal of Complexity, vol. 16, no. 4, pp. 716–750, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  13. P. Aubry, F. Rouillier, and M. Safey El Din, “Real solving for positive dimensional systems,” Journal of Symbolic Computation, vol. 34, no. 6, pp. 543–560, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. J. D. Hauenstein, “Numerically computing real points on algebraic sets,” Acta Applicandae Mathematicae, vol. 125, no. 1, pp. 105–119, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  15. G. M. Besana, S. di Rocco, J. D. Hauenstein, A. J. Sommese, and C. W. Wampler, “Cell decomposition of almost smooth real algebraic surfaces,” Numerical Algorithms, vol. 63, no. 4, pp. 645–678, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. W. Wu and G. Reid, “Finding points on real solution componetns and applications to differential polynomial systems,” in Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, pp. 339–346, 2013.
  17. S. M. Rump and S. Graillat, “Verified error bounds for multiple roots of systems of nonlinear equations,” Numerical Algorithms, vol. 54, no. 3, pp. 359–377, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  18. T. Y. Li, HOM4PS-2.0, 2008, http://www.math.nsysu.edu.tw/~leetsung/works/HOM4PS_soft.htm.
  19. D. Wang and B. Xia, Computer Algebra, Tsinghua University Press, Beijing, China, 2004.
  20. S. H. Strogatz, Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry, and Engineering, Westview Press, 2001.