Dissipation inequalities for the analysis of a class of PDEs

In this paper, we develop dissipation inequalities for a class of well-posed systems described by partial differential equations (PDEs). We study passivity, reachability, induced input-output norm boundedness, and input-to-state stability (ISS). We consider both cases of in-domain and boundary inputs and outputs. We study the interconnection of PDE-PDE systems and formulate small gain conditions for stability. For PDEs polynomial in dependent and independent variables, we demonstrate that sum-of-squares (SOS) programming can be used to compute certificates for each property. Therefore, the solution to the proposed dissipation inequalities can be obtained via semi-definite programming. The results are illustrated with examples.

[1]  Frédéric Mazenc,et al.  ISS-Lyapunov functions for time-varying hyperbolic systems of balance laws , 2012, Mathematics of Control, Signals, and Systems.

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

[3]  Christophe Prieur,et al.  A Strict Control Lyapunov Function for a Diffusion Equation With Time-Varying Distributed Coefficients , 2013, IEEE Transactions on Automatic Control.

[4]  Marius Tucsnak,et al.  How to get a conservative well-posed linear system out of thin air. Part I. Well-posedness and energy balance , 2003 .

[5]  Luca Zaccarian,et al.  Global Stability and Finite L2m-Gain of Saturated Uncertain Systems via Piecewise Polynomial Lyapunov Functions , 2013, IEEE Transactions on Automatic Control.

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

[7]  A. Papachristodoulou,et al.  On the Analysis of Systems Described by Classes of Partial Differential Equations , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[8]  M. Krstić,et al.  Stability enhancement by boundary control in the Kuramoto-Sivashinsky equation , 2001 .

[9]  Mohamadreza Ahmadi,et al.  Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming , 2016, IEEE Transactions on Automatic Control.

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

[11]  Brian Straughan,et al.  The Energy Method, Stability, and Nonlinear Convection , 1991 .

[12]  Marius Tucsnak,et al.  Well-posed linear systems a survey with emphasis on conservative systems , 2001 .

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

[14]  O. Staffans.  Well-Posed Linear Systems , 2005 .

[15]  Eduardo Sontag,et al.  On characterizations of the input-to-state stability property , 1995 .

[16]  Miroslav Krstic,et al.  Nonlinear Stabilization of Shock-Like Unstable Equilibria in the Viscous Burgers PDE , 2008, IEEE Transactions on Automatic Control.

[17]  Mohamadreza Ahmadi,et al.  Input-output analysis of distributed parameter systems using convex optimization , 2014, 53rd IEEE Conference on Decision and Control.

[18]  Mohamadreza Ahmadi,et al.  Barrier functionals for output functional estimation of PDEs , 2015, 2015 American Control Conference (ACC).

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

[20]  A. Schaft.  L2-Gain and Passivity Techniques in Nonlinear Control. Lecture Notes in Control and Information Sciences 218 , 1996 .

[21]  J. Willems,et al.  Every storage function is a state function , 1997 .

[22]  R. Triggiani,et al.  Control Theory for Partial Differential Equations: Optimal Quadratic Cost Problem Over a Preassigned Finite Time Interval: Differential Riccati Equation , 2000 .

[23]  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.

[24]  F. Mazenc,et al.  Strict Lyapunov functions for semilinear parabolic partial differential equations , 2011 .

[25]  Eduardo Sontag.  Smooth stabilization implies coprime factorization , 1989, IEEE Transactions on Automatic Control.

[26]  K. Gu.  Stability and Stabilization of Infinite Dimensional Systems with Applications , 1999 .

[27]  Sergey Dashkovskiy,et al.  Input-to-state stability of infinite-dimensional control systems , 2012, Mathematics of Control, Signals, and Systems.