Demonstrating Passivity and Dissipativity using Computational Methods

Passivity and dissipativity are energy based properties of dynamical systems that may be used for the analysis and synthesis of linear and nonlinear systems. The two properties provide valuable stability results as well as compositional result sf or the analysis of interconnected systems. Using both the stability and compositionality results, large scale systems can be determined to be stable by analyzing the components in terms of energy dissipation and then sequentially analyzing the system interconnections. One o ft he drawbacks of this approach is that demonstrating that a system is passive or dissipative typically requires finding an energy storage function, which is analogous to a Lyapunov function .A s with Lyapunov stability, the search for a storage function to show dissipativity is in general an open-ended search. This paper surveys computational methods for finding energy storage functions. This includes linear matrix inequality (LMI) methods for linear systems and sum of squares (SOS) methods for polynomial nonlinear systems. When these methods are applicable, the search for storage functions can be automated to greatly simplify analysis and synthesis of linear and nonlinear systems. New material is provided on the application of these methods to find passivity indices for dynamical systems. Additional material is provided on using SOS methods to demonstrate dissipativity for switched systems. Examples are provided to illustrate how these methods may be used in practice.

[1]  Han Yu,et al.  Cyber-Physical Systems design using dissipativity , 2012, Proceedings of the 31st Chinese Control Conference.

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

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

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

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

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

[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]  David J. Hill,et al.  Decomposable Dissipativity and Related Stability for Discrete-Time Switched Systems , 2011, IEEE Transactions on Automatic Control.

[11]  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).

[12]  Help on Sos , 2022 .

[13]  Michael J. McCourt,et al.  Dissipativity theory for hybrid systems with applications to networked control systems , 2013 .

[14]  Frank Allgöwer,et al.  Dissipation inequalities in systems theory: An introduction and recent results , 2009 .

[15]  Max Donath,et al.  American Control Conference , 1993 .

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

[17]  A. Papachristodoulou,et al.  A tutorial on sum of squares techniques for systems analysis , 2005, Proceedings of the 2005, American Control Conference, 2005..

[18]  M. Branicky.  Stability of switched and hybrid systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[19]  W. Haddad,et al.  Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach , 2008 .

[20]  Panos J. Antsaklis,et al.  Connection Between the Passivity Index and Conic Systems , 2009 .

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

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

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

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

[25]  M. Safonov,et al.  Synthesis of positive real multivariable feedback systems , 1987 .

[26]  Arkadi Nemirovski,et al.  The projective method for solving linear matrix inequalities , 1997, Math. Program..

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

[28]  Brian D. O. Anderson,et al.  Network Analysis and Synthesis: A Modern Systems Theory Approach , 2006 .

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

[30]  Panos J. Antsaklis,et al.  Linear Systems , 1997 .

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

[32]  G. Zames.  On the input-output stability of time-varying nonlinear feedback systems Part one: Conditions derived using concepts of loop gain, conicity, and positivity , 1966 .

[33]  John T. Wen,et al.  Robustness Analysis based on Passivity , 1988, 1988 American Control Conference.

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

[35]  R. Kalman.  On the Stability of Time-Varying Linear Systems , 1962 .

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

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

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

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

[40]  F. Allgower,et al.  Passivity-based nonlinear dynamic output feedback design: a semidefinite programming approach , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[41]  Frank Allgöwer,et al.  Passivity-based Feedback Design for Polynomial Control Systems (Passivitätsbasierter Reglerentwurf für polynomiale Systeme) , 2005, Autom..

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

[43]  李幼升,et al.  Ph , 1989 .

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

[45]  X. Liao,et al.  Absolute Stability of Nonlinear Control Systems , 2008 .

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

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

[48]  H. W. Bode,et al.  Network analysis and feedback amplifier design , 1945 .