Output feedback control of inhomogeneous parabolic PDEs with point actuation and point measurement using SOS and semi-separable kernels

In this paper we use Sum-of-Squares (SOS) and Semi-Definite Programming (SDP) to design output feedback controllers for a class of one-dimensional parabolic partial differential equations with point measurements and point actuation. Our approach is based on the use of SOS to search for positive quadratic Lyapunov functions, controllers and observers. These Lyapunov functions, controllers and observers are parameterized by linear operators which are defined by SOS polynomials. The main result of the paper is the development of an improved class of observer-based controllers and evidence which indicates that when the system is controllable and observable, these methods will find a observer-based controller for sufficiently high polynomial degree (similar to well-known results from backstepping).

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

[2]  Aditya Gahlawat,et al.  Designing observer-based controllers for PDE systems: A heat-conducting rod with point observation and boundary control , 2011, IEEE Conference on Decision and Control and European Control Conference.

[3]  Brigitte d'Andréa-Novel,et al.  Stabilization of a rotating body beam without damping , 1998, IEEE Trans. Autom. Control..

[4]  E. Joffrin,et al.  A control-oriented model of the current profile in tokamak plasma , 2007 .

[5]  Georges Bastin,et al.  Dissipative Boundary Conditions for One-Dimensional Nonlinear Hyperbolic Systems , 2008, SIAM J. Control. Optim..

[6]  Pablo A. Parrilo,et al.  Introducing SOSTOOLS: a general purpose sum of squares programming solver , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[7]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[8]  Georges Bastin,et al.  A Strict Lyapunov Function for Boundary Control of Hyperbolic Systems of Conservation Laws , 2007, IEEE Transactions on Automatic Control.

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

[10]  Mohamadreza Ahmadi,et al.  Semi-definite programming and functional inequalities for distributed parameter systems , 2014, 53rd IEEE Conference on Decision and Control.

[11]  Antonis Papachristodoulou,et al.  Using polynomial semi-separable kernels to construct infinite-dimensional Lyapunov functions , 2008, 2008 47th IEEE Conference on Decision and Control.

[12]  Vladimir L. Kharitonov,et al.  Stability of Time-Delay Systems , 2003, Control Engineering.

[13]  N. Rashevsky,et al.  Mathematical biology , 1961, Connecticut medicine.

[14]  Emilia Fridman,et al.  An LMI approach toH∞ boundary control of semilinear parabolic and hyperbolic systems , 2009 .

[15]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[16]  Lenore Blum,et al.  Complexity and Real Computation , 1997, Springer New York.

[17]  Matthew M. Peet.  LMI parametrization of Lyapunov functions for infinite-dimensional systems: A framework , 2014, 2014 American Control Conference.

[18]  Miroslav Krstic,et al.  Stability of partial difference equations governing control gains in infinite-dimensional backstepping , 2004, Syst. Control. Lett..

[19]  M. Krstić.  Boundary Control of PDEs: A Course on Backstepping Designs , 2008 .

[20]  Miroslav Krstic,et al.  Boundary Stabilization of a 1-D Wave Equation with In-Domain Antidamping , 2010, SIAM J. Control. Optim..

[21]  Emilia Fridman,et al.  An LMI approach to Hinfinity boundary control of semilinear parabolic and hyperbolic systems , 2009, Autom..

[22]  Antonis Papachristodoulou,et al.  Positive Forms and Stability of Linear Time-Delay Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[23]  Miroslav Krstic,et al.  Adaptive Boundary Control for Unstable Parabolic PDEs—Part I: Lyapunov Design , 2008, IEEE Transactions on Automatic Control.

[24]  Matthew Peet,et al.  Polynomial optimization with applications to stability analysis and control - Alternatives to sum of squares , 2014, 1408.5119.

[25]  Israel Gohberg,et al.  Time varying linear systems with boundary conditions and integral operators. I. The transfer operator and its properties , 1984 .

[26]  Miroslav Krstic,et al.  Closed-form boundary State feedbacks for a class of 1-D partial integro-differential equations , 2004, IEEE Transactions on Automatic Control.

[27]  E. Kreyszig.  Introductory Functional Analysis With Applications , 1978 .

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

[29]  R. Jackson.  Inequalities , 2007, Algebra for Parents.