Stabilization and controllability of first-order integro-differential hyperbolic equations

In the present article we study the stabilization of first-order linear integro-differential hyperbolic equations. For such equations we prove that the stabilization in finite time is equivalent to the exact controllability property. The proof relies on a Fredholm transformation that maps the original system into a finite-time stable target system. The controllability assumption is used to prove the invertibility of such a transformation. Finally, using the method of moments, we show in a particular case that the controllability is reduced to the criterion of Fattorini.

[1]  Weijiu Liu,et al.  Boundary Feedback Stabilization of an Unstable Heat Equation , 2003, SIAM J. Control. Optim..

[2]  Ta-Tsien Li,et al.  Exact Boundary Controllability for Quasi-Linear Hyperbolic Systems , 2002, SIAM J. Control. Optim..

[3]  Miroslav Krstic,et al.  Backstepping boundary control for first order hyperbolic PDEs and application to systems with actuator and sensor delays , 2007, 2007 46th IEEE Conference on Decision and Control.

[4]  Miroslav Krstic,et al.  Backstepping-Forwarding Control and Observation for Hyperbolic PDEs With Fredholm Integrals , 2015, IEEE Transactions on Automatic Control.

[5]  G. Weiss,et al.  Observation and Control for Operator Semigroups , 2009 .

[6]  Shin-ichi Nakagiri.  Deformation formulas and boundary control problems of first-order Volterra integro-differential equations with nonlocal boundary conditions , 2013, IMA J. Math. Control. Inf..

[7]  Mehdi Badra,et al.  On the Fattorini criterion for approximate controllability and stabilizability of parabolic systems , 2014, 1401.7636.

[8]  Jean-Michel Coron,et al.  Local rapid stabilization for a Korteweg–de Vries equation with a Neumann boundary control on the right , 2013, 1311.4031.

[9]  J. Coron.  Control and Nonlinearity , 2007 .

[10]  R. Young,et al.  An introduction to nonharmonic Fourier series , 1980 .

[11]  Birgit Jacob,et al.  Exact Controllability of C0-groups with One-Dimensional Input Operators , 2001 .

[12]  Michel Mehrenberger.  Observability of coupled systems , 2004 .

[13]  V. Hutson.  Integral Equations , 1967, Nature.

[14]  Bao-Zhu Guo,et al.  Riesz basis and exact controllability of C0-groups with one-dimensional input operators , 2003, 2003 European Control Conference (ECC).

[15]  乔花玲,et al.  关于Semigroups of Linear Operators and Applications to Partial Differential Equations的两个注解 , 2003 .

[16]  Miroslav Krstic,et al.  Backstepping in Infinite Dimension for a Class of Parabolic Distributed Parameter Systems , 2003, Math. Control. Signals Syst..

[17]  Miroslav Krstic,et al.  Backstepping boundary control for first order hyperbolic PDEs and application to systems with actuator and sensor delays , 2007, CDC.

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

[19]  M. Krstić,et al.  Boundary Control of PDEs , 2008 .

[20]  Jean-Michel Coron,et al.  Fredholm Transform and Local Rapid Stabilization for a Kuramoto-Sivashinsky Equation , 2015, 1501.02042.

[21]  H. Zwart,et al.  Equivalent Conditions for Stabilizability of Infinite-Dimensional Systems with Admissible Control Operators , 1999 .

[22]  H. Fattorini.  Some Remarks on Complete Controllability , 1966 .

[23]  H. Freud.  Mathematical Control Theory , 2016 .

[24]  Jerzy Zabczyk,et al.  Mathematical control theory - an introduction , 1992, Systems & Control: Foundations & Applications.

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

[26]  M.L.J. Hautus,et al.  Controllability and observability conditions of linear autonomous systems , 1969 .