SOS methods for demonstrating dissipativity for switched systems

Dissipativity is a valuable tool for analysis and synthesis of dynamical systems, however, the search for an appropriate storage function to show the property is often not straightforward. This paper uses sum of squares (SOS) optimization methods to determine whether a nonlinear or switched system is dissipative. This is especially useful for switched systems where notions of dissipativity involve finding multiple storage functions. Examples and relevant software code are provided to illustrate these methods.

[1]  Thomas E Marlin,et al.  Process Control , 1995 .

[2]  N Kottenstette,et al.  Relationships between positive real, passive dissipative, & positive systems , 2010, Proceedings of the 2010 American Control Conference.

[3]  B. Reznick,et al.  Sums of squares of real polynomials , 1995 .

[4]  Panos J. Antsaklis,et al.  Stability of networked passive switched systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[5]  R. Kálmán.  LYAPUNOV FUNCTIONS FOR THE PROBLEM OF LUR'E IN AUTOMATIC CONTROL. , 1963, Proceedings of the National Academy of Sciences of the United States of America.

[6]  J. Willems.  Dissipative dynamical systems part I: General theory , 1972 .

[7]  Alberto Bemporad,et al.  Passivity Analysis and Passification of Discrete-Time Hybrid Systems , 2008, IEEE Transactions on Automatic Control.

[8]  Antonis Papachristodoulou,et al.  Analysis of Polynomial Systems With Time Delays via the Sum of Squares Decomposition , 2009, IEEE Transactions on Automatic Control.

[9]  Panos J. Antsaklis,et al.  Model-Based Dissipative Control of Nonlinear Discrete-Time Systems over Networks , 2012 .

[10]  Peter J Seiler,et al.  Help on SOS [Ask the Experts] , 2010 .

[11]  David J. Hill,et al.  Stability results for nonlinear feedback systems , 1977, Autom..

[12]  Jun Zhao,et al.  Dissipativity Theory for Switched Systems , 2005, CDC 2005.

[13]  David J. Hill,et al.  Decomposable Dissipativity and Related Stability for Discrete-Time Switched Systems , 2011, IEEE Transactions on Automatic Control.

[14]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[15]  P. Parrilo.  Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .

[16]  Panos J Antsaklis,et al.  Control design for switched systems using passivity indices , 2010, Proceedings of the 2010 American Control Conference.

[17]  Panos J. Antsaklis,et al.  Demonstrating Passivity and Dissipativity using Computational Methods , 2013 .

[18]  Help on Sos , 2022 .

[19]  Yue Wang,et al.  Control of cyberphysical systems using passivity and dissipativity based methods , 2013, Eur. J. Control.

[20]  M. Zefran,et al.  A notion of passivity for hybrid systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[21]  F. Allgower,et al.  Minimum-phase property of nonlinear systems in terms of a dissipation inequality , 2004, Proceedings of the 2004 American Control Conference.

[22]  J. Doyle,et al.  Optimization-based methods for nonlinear and hybrid systems verification , 2005 .

[23]  Frank Allgöwer,et al.  A Dissipation Inequality for the Minimum Phase Property , 2008, IEEE Transactions on Automatic Control.

[24]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[25]  P. Moylan,et al.  The stability of nonlinear dissipative systems , 1976 .

[26]  Panos J. Antsaklis,et al.  Stability of interconnected switched systems using QSR dissipativity with multiple supply rates , 2012, 2012 American Control Conference (ACC).

[27]  Frank Allgöwer,et al.  Analysis and design of polynomial control systems using dissipation inequalities and sum of squares , 2006, Comput. Chem. Eng..

[28]  E. Yaz.  Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[29]  J. Willems.  Dissipative dynamical systems Part II: Linear systems with quadratic supply rates , 1972 .

[30]  A. Papachristodoulou.  Scalable analysis of nonlinear systems using convex optimization , 2005 .