A Generalized LMI Formulation for Input-Output Analysis of Linear Systems of ODEs Coupled with PDEs

In this paper, we consider input-output properties of linear systems consisting of PDEs on a finite domain coupled with ODEs through the boundary conditions of the PDE. This work generalizes the sufficiency proof of the KYP Lemma for ODEs to coupled ODE-PDE systems using a recently developed concept of fundamental state and the associated boundary-condition-free representation. The conditions of the generalized KYP are tested using a positive matrix parameterization of bounded operators resulting in a finite-dimensional LMI, the feasibility of which implies prima facie provable passivity or L2-gain of the system. No discretization or approximation is involved at any step and there is no conservatism in the theorems. Comparison with other computational methods show that bounds obtained are not conservative in any significant sense and that computational complexity is lower than existing methods involving finite-dimensional projection of PDEs.

[1]  S. Weiland,et al.  Representation and Stability Analysis of PDE-ODE Coupled Systems , 2018, 1812.07186.

[2]  Shuxia Tang,et al.  Stabilization of a coupled PDE-ODE system by boundary control , 2010, 49th IEEE Conference on Decision and Control (CDC).

[3]  Aditya Gahlawat.  Analysis and control of parabolic partial differential equations with application to tokamaks using sum-of-squares polynomials , 2015 .

[4]  Miroslav Krstic,et al.  Stabilization of an ODE-Schrödinger cascade , 2012, 2012 American Control Conference (ACC).

[5]  Shuxia Tang,et al.  State and output feedback boundary control for a coupled PDE-ODE system , 2011, Syst. Control. Lett..

[6]  Matthieu Barreau,et al.  Lyapunov Stability Analysis of a String Equation Coupled With an Ordinary Differential System , 2017, IEEE Trans. Autom. Control..

[7]  Sachin B. Paramane,et al.  Heat and fluid flow across a rotating cylinder dissipating uniform heat flux in 2D laminar flow regime , 2010 .

[8]  Miroslav Krstic,et al.  Stabilization of coupled linear heterodirectional hyperbolic PDE-ODE systems , 2018, Autom..

[9]  Dong‐xia Zhao,et al.  Exponential stability of a coupled Heat-ODE system , 2013, 2013 25th Chinese Control and Decision Conference (CCDC).

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

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

[12]  Hans Zwart,et al.  Exponential Stabilization of Boundary Controlled Port-Hamiltonian Systems With Dynamic Feedback , 2014, IEEE Transactions on Automatic Control.

[13]  Matthew M. Peet,et al.  A New State-Space Representation for Coupled PDEs and Scalable Lyapunov Stability Analysis in the SOS Framework , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[14]  M. A. Abdelghani-Idrissi,et al.  Heat exchanger Kalman filtering with process dynamic acknowledgement , 2004, Comput. Chem. Eng..

[15]  M. Peet,et al.  Computing Input-Output Properties of Coupled PDE systems , 2018, 1812.05081.

[16]  Emilia Fridman,et al.  Sliding mode control of Schrödinger equation-ODE in the presence of unmatched disturbances , 2016, Syst. Control. Lett..

[17]  Benedetto Piccoli,et al.  Moving Bottlenecks in Car Traffic Flow: A PDE-ODE Coupled Model , 2011, SIAM J. Math. Anal..

[18]  Frédéric Gouaisbaut,et al.  Stability analysis of a system coupled to a heat equation , 2017, Autom..

[19]  Matthew M. Peet,et al.  Computing Input-Ouput Properties of Coupled Linear PDE systems , 2019, 2019 American Control Conference (ACC).

[20]  Matthew M. Peet.  Discussion Paper: A New Mathematical Framework for Representation and Analysis of Coupled PDEs , 2018 .

[21]  Mohamadreza Ahmadi,et al.  Dissipation inequalities for the analysis of a class of PDEs , 2016, Autom..

[22]  Aditya Gahlawat,et al.  A Convex Sum-of-Squares Approach to Analysis, State Feedback and Output Feedback Control of Parabolic PDEs , 2015, IEEE Transactions on Automatic Control.

[23]  Beibei Ren,et al.  Sliding mode control to stabilization of cascaded heat PDE-ODE systems subject to boundary control matched disturbance , 2015, Autom..

[24]  Matthew M. Peet.  A Convex Formulation of the H∞-Optimal Controller Synthesis Problem for Multi-Delay Systems , 2018, ArXiv.

[25]  Miguel A. Fernández,et al.  A Coupled System of PDEs and ODEs Arising in Electrocardiograms Modeling , 2010 .