Monotonicity Methods for Input-to-State Stability of Nonlinear Parabolic PDEs with Boundary Disturbances

We introduce a monotonicity-based method for studying input-to-state stability (ISS) of nonlinear parabolic equations with boundary inputs. We first show that a monotone control system is ISS if and only if it is ISS w.r.t. constant inputs. Then we show by means of classical maximum principles that nonlinear parabolic equations with boundary disturbances are monotone control systems. With these two facts, we establish that ISS of the original nonlinear parabolic PDE with constant \textit{boundary disturbances} is equivalent to ISS of a closely related nonlinear parabolic PDE with constant \textit{distributed disturbances} and zero boundary condition. The last problem is conceptually much simpler and can be handled by means of various recently developed techniques. As an application of our results, we show that the PDE backstepping controller which stabilizes linear reaction-diffusion equations from the boundary is robust with respect to additive actuator disturbances.

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

[2]  Yuan Wang,et al.  Stabilization in spite of matched unmodeled dynamics and an equivalent definition of input-to-state stability , 1996, Math. Control. Signals Syst..

[3]  Fabian R. Wirth,et al.  An ISS small gain theorem for general networks , 2007, Math. Control. Signals Syst..

[4]  Chun Chor Litwin 鄭振初 Cheng,et al.  An extension of the results of hirsch on systems of differential equations which are competitive or cooperative , 1996 .

[5]  Sophie Tarbouriech,et al.  Disturbance-to-State Stabilization and Quantized Control for Linear Hyperbolic Systems , 2017, ArXiv.

[6]  Yury Orlov,et al.  On the ISS properties of a class of parabolic DPS' with discontinuous control using sampled-in-space sensing and actuation , 2017, Autom..

[7]  Petar V. Kokotovic,et al.  Nonlinear observers: a circle criterion design and robustness analysis , 2001, Autom..

[8]  R. Freeman,et al.  Robust Nonlinear Control Design: State-Space and Lyapunov Techniques , 1996 .

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

[10]  Felix L. Schwenninger,et al.  On continuity of solutions for parabolic control systems and input-to-state stability , 2017, Journal of Differential Equations.

[11]  Zhong-Ping Jiang,et al.  Small-gain theorem for ISS systems and applications , 1994, Math. Control. Signals Syst..

[12]  Miroslav Krstic,et al.  Lyapunov tools for predictor feedbacks for delay systems: Inverse optimality and robustness to delay mismatch , 2008, 2008 American Control Conference.

[13]  Peter Kuster,et al.  Nonlinear And Adaptive Control Design , 2016 .

[14]  Leo F. Boron,et al.  Positive solutions of operator equations , 1964 .

[15]  Sophie Tarbouriech,et al.  Input-to-state stabilization in H1-norm for boundary controlled linear hyperbolic PDEs with application to quantized control , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[16]  A. Haraux,et al.  An Introduction to Semilinear Evolution Equations , 1999 .

[17]  M. Hirsch Systems of di erential equations which are competitive or cooperative I: limit sets , 1982 .

[18]  David Abend,et al.  Maximum Principles In Differential Equations , 2016 .

[19]  Iasson Karafyllis,et al.  ISS In Different Norms For 1-D Parabolic Pdes With Boundary Disturbances , 2016, SIAM J. Control. Optim..

[20]  Andrey Smyshlyaev,et al.  Adaptive Control of Parabolic PDEs , 2010 .

[21]  G. M.,et al.  Partial Differential Equations I , 2023, Applied Mathematical Sciences.

[22]  J. Tsinias,et al.  Notions of exponential robust stochastic stability, ISS and their Lyapunov characterizations , 2003 .

[23]  Sergey Dashkovskiy,et al.  On the uniform input-to-state stability of reaction-diffusion systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[24]  Eduardo Sontag Input to State Stability: Basic Concepts and Results , 2008 .

[25]  Iasson Karafyllis,et al.  ISS with Respect to Boundary Disturbances for 1-D Parabolic PDEs , 2015, IEEE Transactions on Automatic Control.

[26]  O. Ladyženskaja Linear and Quasilinear Equations of Parabolic Type , 1968 .

[27]  M. Krstić,et al.  Input-to-State Stability of Nonlinear Parabolic PDEs with Dirichlet Boundary Disturbances , 2018, 1808.06944.

[28]  Fabian R. Wirth,et al.  Characterizations of Input-to-State Stability for Infinite-Dimensional Systems , 2017, IEEE Transactions on Automatic Control.

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

[30]  R. Triggiani On the stabilizability problem in Banach space , 1975 .

[31]  J. Lei Monotone Dynamical Systems , 2013 .

[32]  Volker Mehrmann,et al.  Differential-Algebraic Equations: Analysis and Numerical Solution , 2006 .

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

[34]  Iasson Karafyllis,et al.  Decay Estimates for 1-D Parabolic PDEs with Boundary Disturbances , 2017, ESAIM: Control, Optimisation and Calculus of Variations.

[35]  Jun Zheng,et al.  Input-to-state stability with respect to boundary disturbances for a class of semi-linear parabolic equations , 2017, Autom..

[36]  Antoine Chaillet,et al.  Robust stabilization of delayed neural fields with partial measurement and actuation , 2017, Autom..

[37]  Jonathan R. Partington,et al.  Infinite-Dimensional Input-to-State Stability and Orlicz Spaces , 2016, SIAM J. Control. Optim..

[38]  Andrii Mironchenko Local input-to-state stability: Characterizations and counterexamples , 2016, Syst. Control. Lett..

[39]  Hiroshi Ito,et al.  Construction of Lyapunov Functions for Interconnected Parabolic Systems: An iISS Approach , 2014, SIAM J. Control. Optim..

[40]  Christophe Prieur,et al.  D1-Input-to-state stability of a time-varying nonhomogeneous diffusive equation subject to boundary disturbances , 2012, 2012 American Control Conference (ACC).

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

[42]  H. Logemann,et al.  The Circle Criterion and Input-to-State Stability , 2011, IEEE Control Systems.

[43]  A. Teel Connections between Razumikhin-type theorems and the ISS nonlinear small gain theorem , 1998, IEEE Trans. Autom. Control..

[44]  A. Friedman Partial Differential Equations of Parabolic Type , 1983 .

[45]  David Angeli,et al.  Monotone control systems , 2003, IEEE Trans. Autom. Control..

[46]  P. Pepe,et al.  A Lyapunov-Krasovskii methodology for ISS and iISS of time-delay systems , 2006, Syst. Control. Lett..

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

[48]  Zhong-Ping Jiang,et al.  On the Liapunov-Krasovskii methodology for the ISS of systems described by coupled delay differential and difference equations , 2008, Autom..

[49]  David J. Hill,et al.  Interval exponential input-to-state stability for switching impulsive systems with application to hybrid control for micro-grids , 2015, 2015 IEEE Conference on Control Applications (CCA).

[50]  Ferdinand Küsters,et al.  Controllability of switched differential-algebraic equations , 2015, Syst. Control. Lett..

[51]  SERGEY DASHKOVSKIY,et al.  Input-to-State Stability of Nonlinear Impulsive Systems , 2012, SIAM J. Control. Optim..

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