A network decomposition approach for efficient sum of squares programming based analysis

Proceedings of the 2010 American Control Conference, ACC 2010

Volumn , Issue , 2010, Pages 4492-4497

  Anderson, James ^a   Papachristodoulou, Antonis ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIAL EQUATIONS; LYAPUNOV FUNCTIONS; NONLINEAR ANALYSIS; NONLINEAR EQUATIONS; NONLINEAR SYSTEMS; NUMERICAL METHODS; POLYNOMIAL APPROXIMATION; SYSTEMS ENGINEERING;

ALGORITHMIC CONSTRUCTION; COMPUTATIONAL ANALYSIS; GRAPH DECOMPOSITIONS; NATURAL DECOMPOSITIONS; NETWORK DECOMPOSITION; NONLINEAR DIFFERENTIAL EQUATION; POLYNOMIAL TIME COMPLEXITY; SUM-OF-SQUARES PROGRAMMING;

COMPUTER SYSTEMS PROGRAMMING;

EID: 77957807281     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.2010.5530945     Document Type: Conference Paper

References (23)

1. H. K. Khalil, Nonlinear Systems, 3rd ed. Prentice Hall, Inc., 2001.
2. K. G. Murty and S. N. Kabadi, "Some NP-complete problems in quadratic and nonlinear programming," Mathematical Programming, vol. 39, no. 2, pp. 11-129, 1987.
3. P. A. Parrilo, "Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization," Ph.D. dissertation, Caltech, Pasadena, CA, 2000.
4. A. Papachristodoulou, M. M. Peet, and S. Lall, "Analysis of polynomial systems with time delays via the sum of squares decomposition," IEEE Transactions on Automatic Control, vol. 54, no. 5, pp. 1058- 1064, 2009.
5. H. El Samad, A. Papachristodoulou, S. Prajna, J. C. Doyle, and M. Khammash, "Advanced methods and algorithms for biological networks analysis," Proceedings of the IEEE, vol. 94, no. 4, pp. 832- 853, 2006.
6. A. Papachristodoulou and S. Prajna, "Robust stability analysis of nonlinear hybrid systems," IEEE Transactions in Automatic Control, vol. 54, pp. 1037-1043, 2009.
7. S. Prajna, "Barrier certificates for nonlinear model validation," Automatica, vol. 42, no. 1, pp. 117-126, 2006.
8. J. Anderson and A. Papachristodoulou, "On validation and invalidation of biological models," BMC Bioinformatics, vol. 10, no. 132, 2009.
9. H. Ichihara, "Optimal control for polynomial systems using matrix sum of squares relaxations," IEEE Transactions on Automatic Control, vol. 54, no. 5, pp. 1048-1053, 2009.
10. P. Parrilo, "Exploiting algebraic structure in sum of squares programming," 2005, in Positive Polynomials in Control, Springer-Verlag.
11. J. Löfberg, "Pre- and post-processing sum-of-squares programs in practice," IEEE Transactions on Automatic Control, vol. 54, no. 5, pp. 1007-1011, 2009.
12. S. Prajna, A. Papachristodoulou, and P. A. Parrilo, "SOSTOOLS - Sum of Squares Optimization Toolbox, User's Guide," 2002, available at http://www.cds.caltech.edu/sostools.
13. A. Papachristodoulou and S. Prajna, "A tutorial on sum of squares techniques for systems analysis," in Proc. of the 2007 American Contol Conference, 2005.
14. S. Dashkovskiy, H. Ito, and F. Wirth, "On a small gain theorem for ISS networks in dissipative Lyapunov form," in Proc. European Contr. Conf., 2009, pp. 1077-1082.
15. M. Araki, "Stability of large-scale nonlinear systems - quadraticorder theory of composite-system method using M-matrices," IEEE Transactions on Automatic Control, vol. 23, no. 2, pp. 129-142, 1978.
16. C. Godsil and G. Royle, Algebraic Graph Theory. Springer-Verlag, Inc., 2000.
17. S. E. Karisch, F. Rendl, and J. Clausen, "Solving graph bisection problems with semidefinite programming," INFORMS Journal on Computing, vol. 12, no. 3, pp. 177-191, 2000.
18. G. Karypis and V. Kumar, "A fast and high quality multilevel scheme for partitioning irregular graphs," SIAM J. Sci. Comput., vol. 20, no. 1, pp. 359-392, 1998. (Pubitemid 128689516)
19. J. Bochnak, M. Coste, and M.-F. Roy, Real Algebraic Geometry. Berlin: Springer-Verlag, 1998.
20. M. X. Goemans and D. P. Williamson, "Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming," Journal of the ACM, vol. 42, pp. 1115-1145, 1995.
21. J. C. Willems, "Dissipative dynamical systems. I. General theory," Arch. Rational Mech. Anal., vol. 45, pp. 321-351, 1972.
22. A. Halanay and V. Rǎsvan, Applications of Lyapunov Methods in Stability. Kluwer Academic Press, 1993.
23. R. Srikant, The Mathematics of Internet Congestion Control. Birkhäuser, 2003.