Lab Home | Phone | Search
Center for Nonlinear Studies  Center for Nonlinear Studies
 Home 
 People 
 Current 
 Affiliates 
 Visitors 
 Students 
 Research 
 ICAM-LANL 
 Publications 
 Conferences 
 Workshops 
 Sponsorship 
 Talks 
 Colloquia 
 Colloquia Archive 
 Seminars 
 Postdoc Seminars Archive 
 Quantum Lunch 
 Quantum Lunch Archive 
 CMS Colloquia 
 Q-Mat Seminars 
 Q-Mat Seminars Archive 
 P/T Colloquia 
 Archive 
 Kac Lectures 
 Kac Fellows 
 Dist. Quant. Lecture 
 Ulam Scholar 
 Colloquia 
 
 Jobs 
 Postdocs 
 CNLS Fellowship Application 
 Students 
 Student Program 
 Visitors 
 Description 
 Past Visitors 
 Services 
 General 
 
 History of CNLS 
 
 Maps, Directions 
 CNLS Office 
 T-Division 
 LANL 
 
Wednesday, March 30, 2011
3:00 PM - 4:00 PM
CNLS Conference Room (TA-3, Bldg 1690)

Seminar

Nonlinear Systems Analysis tools using Sum of Squares

Antonis Papchristodoulou
Department of Engineering Science University of Oxford, UK

The use of Linear Matrix Inequality and Semidefinite Programming techniques is very common in modern control systems analysis and design. At the same time, positive polynomials can help formulate a large number of problems in robust control, non-linear control and non-convex optimization – consider, for example, the use of Lyapunov functions for stability analysis of equilibria of nonlinear dynamical systems. The fact that polynomial positivity conditions can be formulated efficiently in terms of Linear Matrix Inequalities opens up new directions in nonlinear systems analysis and design. In this talk I will first present how ideas from dynamical systems, positive polynomials and convex optimization can be used to analyze the stability, robust stability, performance and robust performance of systems described by nonlinear ODEs. I will also discuss briefly how hybrid/switched systems and time-delay systems can be analyzed before describing how other, more interesting analysis questions can be answered using these tools. This approach for systems analysis, although entirely algorithmic, is currently not scalable to large system instances. To address this, I will first consider the analysis of large-scale networked systems and discuss how the system structure (both the dynamics at the nodes and the topology of the underlying network) can help generate robust functionality conditions that scale with the system size. I will finally talk about some of the most recent work on how to analyze “medium-sized” dynamical systems, combining ideas from graph partitioning and the theory of interconnected systems.

Host: Marian Anghel, CCS-3, 7-9470