About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 146137, 10 pages
http://dx.doi.org/10.1155/2013/146137
Research Article

Exact Asymptotic Stability Analysis and Region-of-Attraction Estimation for Nonlinear Systems

1Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China
2College of Mathematics and Information Science, Wenzhou University, Wenzhou Zhejiang 325035, China

Received 14 November 2012; Revised 11 February 2013; Accepted 20 February 2013

Academic Editor: Fabio M. Camilli

Copyright © 2013 Min Wu 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. A. Polański, “Lyapunov function construction by linear programming,” Transactions on Automatic Control, vol. 42, no. 7, pp. 1013–1016, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  2. T. A. Johansen, “Computation of Lyapunov functions for smooth nonlinear systems using convex optimization,” Automatica, vol. 36, no. 11, pp. 1617–1626, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  3. L. Grüne and F. Wirth, “Computing control Lyapunov functions via a Zubov type algorithm,” in Proceedings of the 39th IEEE Confernce on Decision and Control, vol. 3, pp. 2129–2134, IEEE, December 2000. View at Scopus
  4. R. C. L. F. Oliveira and P. L. D. Peres, “LMI conditions for robust stability analysis based on polynomially parameter-dependent Lyapunov functions,” Systems & Control Letters, vol. 55, no. 1, pp. 52–61, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. G. Chesi, A. Garulli, A. Tesi, and A. Vicino, “LMI-based computation of optimal quadratic Lyapunov functions for odd polynomial systems,” International Journal of Robust and Nonlinear Control, vol. 15, no. 1, pp. 35–49, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  6. J. Liu, N. Zhan, and H. Zhao, “Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems,” Mathematics in Computer Science, vol. 6, no. 4, pp. 395–408, 2012.
  7. T. Nguyen, Y. Mori, T. Mori, and Y. Kuroe, “QE approach to common Lyapunov function problem,” Journal of Japan Society for Symbolic and Algebraic Computation, vol. 10, no. 1, pp. 52–62, 2003.
  8. 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 Decision and Control, vol. 3, pp. 3482–3487, IEEE, December 2002. View at Scopus
  9. 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
  10. B. Grosman and D. R. Lewin, “Lyapunov-based stability analysis automated by genetic programming,” Automatica, vol. 45, no. 1, pp. 252–256, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  11. K. Forsman, “Construction of Lyapunov functions using Grobner bases,” in Proceedings of the 30th IEEE Conference on Decision and Control, pp. 798–799, IEEE, December 1991. View at Scopus
  12. Z. She, B. Xue, and Z. Zheng, “Algebraic analysis on asymptotic stability of continuous dynamical systems,” in Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, pp. 313–320, ACM, 2011.
  13. S. Prajna, P. A. Parrilo, and A. Rantzer, “Nonlinear control synthesis by convex optimization,” Transactions on Automatic Control, vol. 49, no. 2, pp. 310–314, 2004. View at Publisher · View at Google Scholar · View at MathSciNet
  14. B. Xia, “DISCOVERER: a tool for solving semi-algebraic systems,” ACM Communications in Computer Algebra, vol. 41, no. 3, pp. 102–103, 2007.
  15. P. Giesl, “Construction of a local and global Lyapunov function using radial basis functions,” IMA Journal of Applied Mathematics, vol. 73, no. 5, pp. 782–802, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. H.-D. Chiang and J. S. Thorp, “Stability regions of nonlinear dynamical systems: a constructive methodology,” Transactions on Automatic Control, vol. 34, no. 12, pp. 1229–1241, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  17. E. J. Davison and E. M. Kurak, “A computational method for determining quadratic Lyapunov functions for non-linear systems,” vol. 7, no. 5, pp. 627–636, 1971. View at Zentralblatt MATH · View at MathSciNet
  18. E. Cruck, R. Moitie, and N. Seube, “Estimation of basins of attraction for uncertain systems with affine and Lipschitz dynamics,” Dynamics and Control, vol. 11, no. 3, pp. 211–227, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  19. R. Genesio, M. Tartaglia, and A. Vicino, “On the estimation of asymptotic stability regions: state of the art and new proposals,” Transactions on Automatic Control, vol. 30, no. 8, pp. 747–755, 1985. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  20. Z. Jarvis-Wloszek, Lyapunov based analysis and controller synthesis for polynomial systems using sum-of-squares optimization [Ph.D. thesis], University of California, Berkeley, Calif, USA, 2003.
  21. S. Prakash, J. Vanualailai, and T. Soma, “Obtaining approximate region of asymptotic stability by computer algebra: a case study,” The South Pacific Journal of Natural and Applied Sciences, vol. 20, no. 1, pp. 56–61, 2002.
  22. T. Weehong and A. Packard, “Stability region analysis using sum of squares programming,” in Proceedings of the American Control Conference (ACC '06), pp. 2297–2302, IEEE, June 2006. View at Scopus
  23. P. A. Parrilo, “Semidefinite programming relaxations for semialgebraic problems,” Mathematical Programming B, vol. 96, no. 2, pp. 293–320, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  24. S. Prajna, A. Papachristodoulou, and P. Parrilo, 2002, SOSTOOLS: Sum of squares optimization toolbox for MATLAB, http://www.cds.caltech.edu/sostools.
  25. J. Löfberg, “YALMIP: a toolbox for modeling and optimization in MATLAB,” in Proceedings of the 2004 IEEE International Symposium on Computer Aided Control System Design, pp. 284–289, September 2004. View at Scopus
  26. J. F. Sturm, “Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones,” Optimization Methods and Software, vol. 11, no. 1–4, pp. 625–653, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  27. M. Kocvara and M. Stingl, PENBMI User's Guide (version 2. 0), http://www.penopt.com, 2005.
  28. E. Kaltofen, B. Li, Z. Yang, and L. Zhi, “Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars,” in Proceedings of the 21th International Symposium on Symbolic and Algebraic Computation (ISSAC '08), pp. 155–164, ACM, Hagenberg, Austria, July 2008.
  29. E. L. Kaltofen, B. Li, Z. Yang, and L. Zhi, “Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients,” Journal of Symbolic Computation, vol. 47, no. 1, pp. 1–15, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  30. A. Platzer and E. M. Clarke, “The image computation problem in hybrid systems model checking,” in Proceedings of the 10th International Conference on Hybrid Systems: Computation and Control (HSCC '07), vol. 4416, pp. 473–486, Springer, April 2007.
  31. H. Khalil, Nonlinear Systems, Prentice hall, Upper Saddle River, NJ, USA, 3rd edition, 2002.
  32. J. Bochnak, M. Coste, and M. Roy, Real Algebraic Geometry, Springer, Berlin, Germany, 1998.
  33. G. Chesi, “LMI techniques for optimization over polynomials in control: a survey,” Transactions on Automatic Control, vol. 55, no. 11, pp. 2500–2510, 2010. View at Publisher · View at Google Scholar · View at MathSciNet
  34. F. Leibfritz and E. M. E. Mostafa, “An interior point constrained trust region method for a special class of nonlinear semidefinite programming problems,” SIAM Journal on Optimization, vol. 12, no. 4, pp. 1048–1074, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  35. M. Kočvara and M. Stingl, “Pennon: a code for convex nonlinear and semidefinite programming,” Optimization Methods & Software, vol. 18, no. 3, pp. 317–333, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  36. M. Wu and Z. Yang, “Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients,” in Proceedings of the International Workshop on Symbolic-Numeric Computation, pp. 104–111, ACM Press, 2011.
  37. W. Lin, M. Wu, Z. Yang, and Z. Zeng, “Exact safety verification of hybrid systems using sums-of-squares representation,” Science China Information Sciences, 15 pages, 2012.
  38. Z. Yang, M. Wu, and W. Lin, “Exact verification of hybrid systems based on bilinear SOS representation,” 19 pages, 2012, http://arxiv.org/abs/1201.4219.
  39. A. Papachristodoulou and S. Prajna, “A tutorial on sum of squares techniques for systems analysis,” in Proceedings of the American Control Conference (ACC '05), pp. 2686–2700, IEEE, June 2005. View at Scopus
  40. J. Löfberg, “Modeling and solving uncertain optimization problems in YALMIP,” in Proceedings of the 17th World Congress, International Federation of Automatic Control (IFAC '08), pp. 1337–1341, July 2008. View at Publisher · View at Google Scholar · View at Scopus
  41. U. Topcu, A. Packard, and P. Seiler, “Local stability analysis using simulations and sum-of-squares programming,” Automatica, vol. 44, no. 10, pp. 2669–2675, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet