pith. sign in

arxiv: 2605.01344 · v1 · submitted 2026-05-02 · 🧮 math.OC · cs.SY· eess.SY

Unified Lyapunov Method for ISS of PDEs: A Tutorial on Constructing Generalized Lyapunov Functionals for Parabolic and Hyperbolic Equations

Pith reviewed 2026-05-09 14:57 UTC · model grok-4.3

classification 🧮 math.OC cs.SYeess.SY
keywords input-to-state stabilitygeneralized Lyapunov functionalspartial differential equationsparabolic equationshyperbolic equationsboundary disturbancesLyapunov methodinfinite-dimensional systems
0
0 comments X

The pith

Generalized Lyapunov functionals that depend explicitly on external inputs establish input-to-state stability estimates in L^q spaces for parabolic and hyperbolic PDEs.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This tutorial shows that the generalized Lyapunov method constructs functionals incorporating the input directly to overcome limitations of classical Lyapunov approaches when boundary disturbances are present. It provides explicit step-by-step constructions for an N-dimensional nonlinear parabolic equation with mixed nonlinear boundary disturbances, a first-order nonlinear hyperbolic equation with boundary disturbances, and a second-order linear hyperbolic wave equation with boundary damping and disturbances. Each construction yields ISS estimates valid in any L^q space for q from 2 to infinity. A sympathetic reader cares because distributed-parameter systems in control often involve complex boundary inputs where standard methods become cumbersome or inapplicable. If the constructions work as described, they supply a systematic procedure for stability analysis that extends more readily to controller synthesis than input-independent functionals.

Core claim

The generalized Lyapunov method relies on generalized Lyapunov functionals that depend on the external input to derive explicit input-to-state stability estimates in L^q spaces for the three PDE classes through direct accounting for boundary disturbances, providing greater flexibility than classical input-independent Lyapunov functionals especially for Dirichlet-type conditions.

What carries the argument

Generalized Lyapunov functionals (GLFs), input-dependent functionals that serve as the core tool in the generalized Lyapunov method to establish ISS bounds by incorporating disturbances directly into the functional.

If this is right

  • ISS estimates hold in every L^q space with q in [2, infinity] for each of the three PDE classes once the corresponding GLF is built.
  • The constructions handle mixed nonlinear boundary disturbances and Dirichlet-type inputs more directly than classical Lyapunov theorems.
  • Step-by-step GLF construction applies uniformly across the parabolic, first-order hyperbolic, and second-order hyperbolic cases.
  • The method supports explicit derivation of decay rates and gain functions for the ISS property in these systems.
  • Remaining open problems include extending the constructions to wider PDE families and integrating them into controller design.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same input-dependent construction pattern may simplify boundary controller synthesis for fluid or structural systems governed by these PDEs.
  • Numerical approximation schemes for evaluating the constructed functionals could turn the analytic ISS bounds into practical verification tools.
  • Links to integral input-to-state stability or other robustness notions might emerge by modifying the same GLF forms.
  • The tutorial's approach could reduce reliance on semigroup or operator-theoretic methods when only ISS rather than full asymptotic stability is required.

Load-bearing premise

Suitable generalized Lyapunov functionals can be systematically constructed for the nonlinear parabolic, first-order hyperbolic, and wave equations to produce the stated ISS estimates in L^q spaces.

What would settle it

A concrete PDE instance from one of the three classes for which no input-dependent functional yields a valid ISS estimate, or a simulation showing the system fails to satisfy the derived ISS bound despite the constructed functional.

Figures

Figures reproduced from arXiv: 2605.01344 by Guchuan Zhu, Jun Zheng.

Figure 1
Figure 1. Figure 1: Relationship between x, u, hi , V, Vb, and R for I = {1, 2, ..., N}. (ii) Coercivity w.r.t. x. By virtue of condition (12), the functional Vb(x, u) is coercive w.r.t. x in the sense that for any fixed u, ∥x∥X → +∞ ⇒ Vb(x, u) → +∞. (iii) Non-coercivity w.r.t. (x, u). Note that Vb(x, u) is non-coercive w.r.t. (x, u) in the sense that ∥x∥X + ∥u∥U → +∞ ̸⇒ Vb(x, u) → +∞. In the sequel, we always assume that con… view at source ↗
Figure 2
Figure 2. Figure 2: Illustration of a domain in R 2 . We apply the technique of Stampacchia’s truncation to construct a GISS-LF. For any p ∈ (1, ∞), let g(s) := ( s p , s ∈ R≥0, 0, s ∈ R<0, (22a) G(s) := Z s 0 g(τ ) dτ =    1 p + 1 s p+1, s ∈ R≥0, 0, s ∈ R<0. (22b) Note that g and G have the following properties, which will be extensively used in this paper: (G1) G(s) = g(s) = 0 for all s ∈ R≤0; (G2) G(s) = 1 p+1 g(s)s for… view at source ↗
read the original abstract

This tutorial provides an overview of the generalized Lyapunov method (GLM) for analyzing input-to-state stability (ISS) of partial differential equations (PDEs). We begin by revisiting the classical Lyapunov method and the standard ISS-Lyapunov theorem, highlighting their limitations when applied to systems with complex boundary disturbances. In contrast, the GLM, based on the concept of generalized Lyapunov functionals (GLFs) that explicitly depend on the external input, offers greater flexibility and efficiency, particularly for PDEs with Dirichlet-type disturbances. The main objective of this tutorial is to demonstrate how to systematically construct GLFs to establish ISS estimates in $L^q$ spaces with any $q\in[2,\infty]$ for different PDEs. Specifically, we consider three representative classes of PDEs: (i) an $N$-dimensional nonlinear parabolic equation with mixed nonlinear boundary disturbances, (ii) a first order nonlinear hyperbolic equation with boundary disturbances, and (iii) a second order linear hyperbolic equation, i.e., a wave equation, with boundary damping and disturbances. For each case, we provide step-by-step constructions of appropriate GLFs and derive explicit ISS estimates, illustrating the general applicability of the GLM. Finally, we discuss open challenges and future directions, including the systematic construction of GLFs for broader classes of PDEs and their applications in controller design.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The paper is a tutorial on the generalized Lyapunov method (GLM) for input-to-state stability (ISS) of PDEs. It reviews limitations of the classical Lyapunov method and standard ISS-Lyapunov theorem for systems with complex boundary disturbances, then introduces generalized Lyapunov functionals (GLFs) that explicitly depend on external inputs. The main contribution consists of step-by-step constructions of such GLFs for three representative classes—N-dimensional nonlinear parabolic equations with mixed nonlinear boundary disturbances, first-order nonlinear hyperbolic equations with boundary disturbances, and second-order linear hyperbolic (wave) equations with boundary damping and disturbances—yielding explicit ISS estimates in L^q spaces for arbitrary q ∈ [2, ∞]. The manuscript concludes with a discussion of open challenges and future directions.

Significance. If the constructions are rigorous and the estimates tight, the tutorial could provide a useful resource for researchers in infinite-dimensional control theory by offering concrete guidance on handling Dirichlet-type disturbances and obtaining ISS in multiple L^q norms. The explicit, step-by-step format and coverage of both parabolic and hyperbolic cases are strengths that may facilitate applications in controller design. However, the significance is tempered by whether the GLM constitutes a genuine unified framework or primarily a collection of tailored examples.

major comments (2)
  1. Abstract: The central claim that the GLM enables 'systematic construction' of GLFs with 'general applicability' across PDE classes is load-bearing for the title and abstract but rests on three distinct, case-specific constructions rather than a single overarching theorem or algorithm that derives the GLF form directly from the PDE structure and disturbance type. Without such a general procedure, the constructions risk appearing illustrative rather than unified, weakening the assertion of a 'unified' method.
  2. Sections on the three PDE classes (parabolic, first-order hyperbolic, wave equation): The explicit ISS estimates are asserted to hold in L^q for any q ∈ [2, ∞], yet the manuscript supplies no general error bounds, tightness analysis, or cross-validation against standard energy methods. This is load-bearing because the tutorial's value hinges on the estimates being both explicit and verifiable; case-by-case derivations alone do not automatically confirm they are sharper or more flexible than existing approaches.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for the constructive and detailed report on our tutorial manuscript. The comments help clarify how to better present the unified aspects of the generalized Lyapunov method. We respond point by point to the major comments below.

read point-by-point responses
  1. Referee: Abstract: The central claim that the GLM enables 'systematic construction' of GLFs with 'general applicability' across PDE classes is load-bearing for the title and abstract but rests on three distinct, case-specific constructions rather than a single overarching theorem or algorithm that derives the GLF form directly from the PDE structure and disturbance type. Without such a general procedure, the constructions risk appearing illustrative rather than unified, weakening the assertion of a 'unified' method.

    Authors: The GLM is unified at the methodological level by the consistent use of generalized Lyapunov functionals that explicitly incorporate external inputs to overcome limitations of classical Lyapunov functions when handling boundary disturbances. The tutorial illustrates this unified principle through systematic, step-by-step constructions for three representative classes (parabolic, first-order hyperbolic, and wave equations), each following the same core strategy of designing input-dependent functionals suited to the system structure and disturbance type. We do not claim or provide a single algorithmic procedure that automatically generates the GLF for arbitrary PDEs, as the manuscript explicitly lists the development of such a general procedure as an open challenge. To address the concern, we will revise the abstract and introduction to more precisely state that the GLM provides a unified framework demonstrated via systematic constructions for key PDE classes, rather than implying a fully general derivation algorithm. revision: partial

  2. Referee: Sections on the three PDE classes (parabolic, first-order hyperbolic, wave equation): The explicit ISS estimates are asserted to hold in L^q for any q ∈ [2, ∞], yet the manuscript supplies no general error bounds, tightness analysis, or cross-validation against standard energy methods. This is load-bearing because the tutorial's value hinges on the estimates being both explicit and verifiable; case-by-case derivations alone do not automatically confirm they are sharper or more flexible than existing approaches.

    Authors: The explicit ISS estimates in L^q spaces (q ∈ [2, ∞]) are obtained rigorously from the differential inequalities satisfied by the constructed GLFs in each case, and the derivations themselves serve as the verification. The manuscript does not include general error bounds, a dedicated tightness analysis, or systematic cross-validation against classical energy methods, as its primary aim is to demonstrate the construction process and resulting explicit estimates rather than comparative sharpness. We will add a concise discussion in the concluding section outlining how the obtained estimates compare to standard energy approaches for the specific systems considered and note that a comprehensive tightness study lies beyond the tutorial's scope. revision: partial

standing simulated objections not resolved
  • A single overarching theorem or algorithm that derives the precise form of the GLF directly from arbitrary PDE structure and disturbance type, which the manuscript identifies as an open challenge for future work.

Circularity Check

0 steps flagged

No circularity; tutorial presents explicit constructions building on standard ISS-Lyapunov theorem without self-referential reductions.

full rationale

The paper revisits the classical Lyapunov method and standard ISS-Lyapunov theorem as external foundations, then provides step-by-step constructions of input-dependent generalized Lyapunov functionals for three specific PDE classes to derive ISS estimates in L^q spaces. No equations or steps in the abstract or description reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations. The claim of systematic construction is illustrated via case-specific examples rather than derived tautologically from prior results by the same authors. The derivation chain remains self-contained against external benchmarks like the standard ISS theorem, with no evidence of renaming known results or smuggling ansatzes via self-citation.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated. The GLM is presented as an extension of the classical Lyapunov method without detailing new postulates.

pith-pipeline@v0.9.0 · 5551 in / 1145 out tokens · 26682 ms · 2026-05-09T14:57:09.649208+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

70 extracted references · 70 canonical work pages · 1 internal anchor

  1. [1]

    Ahmadi, G

    M. Ahmadi, G. Valmorbida, and A. Papachristodoulou. Dissipation inequalities for the anal- ysis of a class of PDEs. Automatica, 66:163–171, 2016

  2. [2]

    F. B. Argomedo, C. Prieur, E. Witrant, and S. Bremond. A strict control Lyapunov function for a diffusion equation with time-varying distributed coefficients. IEEE Transactions on Automatic Control, 58(2):290–303, 2013

  3. [3]

    F. B. Argomedo, E. Witrant, and C. Prieur. D1-input-to-state stability of a time-varying nonhomogeneous diffusive equation subject to boundary disturbances. In 2012 American Control Conference, pages 2978–2983, Montreal, Que, Oct. 2012

  4. [4]

    Armbruster, D

    D. Armbruster, D. E. Marthaler, C. Ringhofer, K. Kempf, and T. C. Jo. Continuum model for a re-entrant factory. Operations Research, 54(5):933–950, 2006

  5. [5]

    Auriol and F

    J. Auriol and F. Di Meglio. Robust output feedback stabilization for two heterodirectional linear coupled hyperbolic PDEs. Automatica, 115, 2020. Art. no. 108896

  6. [6]

    A. V. Balakrishnan. On superstability of semigroups . in: M. P. Polis, et al. (Eds.), Systems Modelling and Optimization Proceedings of the 18th IFIP Conference, Chapman and Hall, 1999

  7. [7]

    Balakrishnan

    A.V. Balakrishnan. Vibrating systems with singualr mass-inertia matrices. In First Interna- tional Conference on: Nonlinear Problems in Aviation and Aerospace , pages 23–32, Daytona Beach, FL, USA, May 1996

  8. [8]

    Y. Bi, J. Zheng, and G. Zhu. Input-to-state stabilisation of 1-D time-varying parabolic PDEs involving Dirichlet boundary disturbances by static backstepping control. Journal of Control and Decision, 2025. DOI: 10.1080/23307706.2025.2477632

  9. [9]

    Y. Bi, J. Zheng, and G. Zhu. Input-to-state stabilization of 1-D parabolic PDEs un- der output feedback control. IEEE Transactions on Automatic Control , 2025. DOI: 10.1109/TAC.2025.3627268. 26

  10. [10]

    H. Damak. Input-to-state stability and integral input-to-state stability of non-autonomous infinite-dimensional systems. International Journal of Systems Science , 52(10):2100–2113, 2021

  11. [11]

    H. Damak. Input-to-state stability of non-autonomous infinite-dimensional control systems. Mathematical Control and Related Fields , 13(3):1212–1225, 2022

  12. [12]

    Dashkovskiy and A

    S. Dashkovskiy and A. Mironchenko. On the uniform input-to-state stability of reaction diffusion systems. In the 49th IEEE Conference on Decision and Control , pages 6547–6552, Atlanta, Georgia, USA, Dec. 2010

  13. [13]

    Dashkovskiy and A

    S. Dashkovskiy and A. Mironchenko. Input-to-state stability of infinite-dimensional control systems. Mathematics of Control, Signals, and Systems , 25(1):1–35, 2013

  14. [14]

    Dashkovskiy and A

    S. Dashkovskiy and A. Mironchenko. Input-to-state stability of nonlinear impulsive systems. SIAM Journal on Control and Optimization , 51(3):1962–1987, 2013

  15. [15]

    L. C. Evans. Partial Differential Equations . American Mathematical Society, Providence, Rhode Island, 2010

  16. [16]

    Herty, A

    M. Herty, A. Klar, and B. Piccoli. Existence of solutions for supply chain models based onpartial differential equations. SIAM Journal on Mathematical Analysis , 39(1), 2007

  17. [17]

    Jacob, A

    B. Jacob, A. Mironchenko, J. R. Partington, and F. Wirth. Remarks on input-to-state stability and non-coercive Lyapunov functions. In the 57th IEEE Conference on Decision and Control , pages 4803–4808, Miami Beach, USA, Dec. 2018

  18. [18]

    Jacob, A

    B. Jacob, A. Mironchenko, J. R. Partington, and F. Wirth. Non-coercive Lyapunov functions for input-to-state stability of infinite-dimensional systems. SIAM Journal on Control and Optimization, 58(5):2952–2987, 2020

  19. [19]

    Jacob, R

    B. Jacob, R. Nabiullin, J. R. Partington, and F. L. Schwenninger. On input-to-state-stability and integral input-to-state-stability for parabolic boundary control systems. In the 55th IEEE Conference on Decision and Control , pages 2265–226, Las Vegas, USA, Dec. 2016

  20. [20]

    Jacob, R

    B. Jacob, R. Nabiullin, J. R. Partington, and F. L. Schwenninger. Infinite-dimensional input- to-state stability and Orlicz spaces. SIAM Journal on Control and Optimization , 56(2):868– 889, 2018

  21. [21]

    Jacob, F

    B. Jacob, F. L. Schwenninger, and H. Zwart. On continuity of solutions for parabolic control systems and input-to-state stability. Journal of Differential Equations , 266(10):6284–6306, 2018

  22. [22]

    Jayawardhana, H

    B. Jayawardhana, H. Logemann, and E. P. Ryan. Infinite-dimensional feedback systems: The circle criterion and input-to-state stability. Communications in Information and Systems , 8(4):413–444, 2008

  23. [23]

    Karafyllis and Z

    I. Karafyllis and Z. P. Jiang. A vector small-gain theorem for generalnon-linear control systems. IMA Journal of Mathematical Control and Information , 28(3):309–344, 2011

  24. [24]

    Karafyllis and M

    I. Karafyllis and M. Krstic. On the relation of delay equations to first-order hyperbolic partial differential equations. ESAIM: Control, Optimisation and Calculus of Variations , 20(3):894– 923, 2014

  25. [25]

    Karafyllis and M

    I. Karafyllis and M. Krstic. Input-to-state stability with respect to boundary disturbances for the 1-D heat equation. In the 55th IEEE Conference on Decision and Control , pages 2247–2252, Las Vegas, USA, Dec. 2016

  26. [26]

    Karafyllis and M

    I. Karafyllis and M. Krstic. ISS with respect to boundary disturbances for 1-D parabolic PDEs. IEEE Transactions on Automatic Control , 61(12):3712–3724, Dec. 2016. 27

  27. [27]

    Karafyllis and M

    I. Karafyllis and M. Krstic. ISS in different norms for 1-D parabolic PDEs with boundary disturbances. SIAM Journal on Control and Optimization , 55(3):1716–1751, 2017

  28. [28]

    Karafyllis and M

    I. Karafyllis and M. Krstic. Input-to-State Stability for PDEs . Springer-Verlag, London, 2018

  29. [29]

    Karafyllis and M

    I. Karafyllis and M. Krstic. ISS estimates in the spatial sup-norm for nonlinear 1-D parabolic PDEs. ESAIM: Control, Optimisation and Calculus of Variations , 27(57):1–23, 2021

  30. [30]

    Karafyllis and M

    I. Karafyllis and M. Krstic. Damping-robustness of various 1-D wave PDEs under boundary feedback control. IFAC-PapersOnLine, 55(30):31–36, 2022

  31. [31]

    Karafyllis and M

    I. Karafyllis and M. Krstic. ISS-based robustness to various neglected damping mechanisms for the 1-D wave PDE. Mathematics of Control, Signals, and Systems , 35:741–779, 2023

  32. [32]

    Krstic and A

    M. Krstic and A. Smyshlyaev. Boundary Control of PDEs: A Course on Backstepping Designs . Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 2008

  33. [33]

    P. O. Lamare, J. Auriol, F. Di Meglio, and U. F. Aarsnes. Robust output regulation of 2 × 2 hyperbolic systems: Control law and input-to-state stability. In 2018 Annual American Control Conference (ACC), pages 1732–1739, Milwaukee, WI, USA, June 2018

  34. [34]

    Lhachemi, D

    H. Lhachemi, D. Saussi´ e, G. Zhu, and R. Shorten. Input-to-state stability of a clamped-free damped string in the presence of distributed and boundary disturbances. IEEE Transactions on Automatic Control, 65(3):1248–1255, 2020

  35. [35]

    Lhachemi and R

    H. Lhachemi and R. Shorten. ISS property with respect to boundary disturbances for a class of Riesz-spectral boundary control systems. Automatica, 109, 2019. Art. no. 108504

  36. [36]

    Logemann

    H. Logemann. Stabilization of well-posed infinite-dimensional systems by dynamic sampled- data feedback. SIAM Journal on Control and Optimization , 51(2):1203–1231, 2013

  37. [37]

    M. L. Marca, D. Armbruster, M. Herty, and C. Ringhofer. Control of continuum models of production systems. IEEE Transactions on Automatic Control , 55(11):2511–2526, 2010

  38. [38]

    Mazenc and C

    F. Mazenc and C. Prieur. Strict Lyapunov functions for semilinear parabolic partial differential equations. Mathematical Control and Related Fields , 1(2):231–250, 2011

  39. [39]

    Mironchenko

    A. Mironchenko. Local input-to-state stability: characterizations and counterexamples. Sys- tems & Control Letters , 87:23–28, 2016

  40. [40]

    Mironchenko

    A. Mironchenko. Input-to-state stability of distributed parameter systems. 2023. arXiv:2302.00535

  41. [41]

    Mironchenko

    A. Mironchenko. Input-to-state Stability: Theory and Applications . Communications and Control Engineering. Springer, Switzerland, 2023

  42. [42]

    Mironchenko and H

    A. Mironchenko and H. Ito. Construction of Lyapunov functions for interconnected parabolic systems: An iISS approach. SIAM Journal on Control and Optimization , 53(6):3364–3382, 2015

  43. [43]

    Mironchenko and H

    A. Mironchenko and H. Ito. Characterizations of integral input-to-state stability for bilinear systems in infinite dimensions. Mathematical Control and Related Fields , 6(3):447–466, 2016

  44. [44]

    Mironchenko, I

    A. Mironchenko, I. Karafyllis, and M. Krstic. Monotonicity methods for input-to-state stability of nonlinear parabolic PDEs with boundary disturbances. SIAM Journal on Control and Optimization, 57(1):510–532, 2019

  45. [45]

    Mironchenko and C

    A. Mironchenko and C. Prieur. Input-to-state stability of infinite-dimensional systems: Recent results and open questions. SIAM Review, 62(3):529–614, 2020. 28

  46. [46]

    Mironchenko and F

    A. Mironchenko and F. L. Schwenninger. Coercive quadratic converse ISS Lyapunov theorems for linear analytic systems. 2023. arXiv:2303.15093

  47. [47]

    Mironchenko and F

    A. Mironchenko and F. Wirth. Characterizations of input-to-state stability for infinite- dimensional systems. IEEE Transactions on Automatic Control , 63(6):1692 – 1707, 2018

  48. [48]

    Y. Orlov. Nonsmooth Lyapunov Analysis in Finite and Infinite Dimensions . Springer Nature, Switzerland AG, 2020

  49. [49]

    Pisano and Y

    A. Pisano and Y. Orlov. On the ISS properties of a class of parabolic DPS’ with discontinuous control using sampled-in-space sensing and actuation. Automatica, 81:447–454, 2017

  50. [50]

    Prieur and F

    C. Prieur and F. Mazenc. ISS Lyapunov functions for time-varying hyperbolic partial differ- ential equations. In the 50th IEEE Conference on Decision and Control and European Control Conference, pages 4915–4920, Orlando, FL, USA, Dec. 2011

  51. [51]

    Prieur and F

    C. Prieur and F. Mazenc. ISS-Lyapunov functions for time-varying hyperbolic systems of balance laws. Mathematics of Control, Signals, and Systems , 21(1):111–134, 2012

  52. [52]

    Schwenninger

    F. Schwenninger. Input-to-state stability for parabolic boundary control: Linear and semi-linear systems, volume 277 of Kerner J., Laasri H., Mugnolo D. (eds) Control Theory of Infinite- Dimensional Systems. Operator Theory: Advances and Applications. Birkh¨ auser, Cham, 2020

  53. [53]

    E. D. Sontag. Smooth stabilization implies coprime factorization. IEEE Transactions on Automatic Control, 34(4):435–443, 1989

  54. [54]

    E. D. Sontag. Further facts about input to state stabilization. IEEE Transactions on Auto- matic Control, 35(4):473–476, 1990

  55. [55]

    Tanwani, C

    A. Tanwani, C. Prieur, and S. Tarbouriech. Disturbance-to-state stabilization and quantized control for linear hyperbolic systems. 2017. arXiv:1703.00302

  56. [56]

    A. R. Teel. Connections between Razumikhin-type theorems and the ISS nonlinear small-gain theorem. IEEE Transactions on Automatic Control , 43(7):960–964, 1998

  57. [57]

    Zheng, Y

    J. Zheng, Y. Bi, and G. Zhu. Input-to-state stabilization of parabolic PDEs with variable coefficients and Dirichlet boundary disturbances: A tutorial on closed-form backstepping con- troller design and stability analysis. Annual Reviews in Control , 60, 2025. Art. no. 101032

  58. [58]

    Zheng, H

    J. Zheng, H. Lhachemi, G. Zhu, and D. A Saussie. ISS with respect to boundary and in- domain disturbances for a coupled beam-string system. Mathematics of Control, Signals, and Systems, 2018. doi: 10.1007/s00498-018-0228-y

  59. [59]

    Zheng and G

    J. Zheng and G. Zhu. Input-to-state stability with respect to boundary disturbances for a class of semi-linear parabolic equations. Automatica, 97:271–277, 2018

  60. [60]

    Zheng and G

    J. Zheng and G. Zhu. Input-to-state stability with respect to different boundary disturbances for Burgers’ equation. In the 23rd International Symposium on Mathematical Theory of Net- works and Systems , pages 562–569, Hong Kong, China, July 2018

  61. [61]

    Zheng and G

    J. Zheng and G. Zhu. ISS with respect to in-domain and boundary disturbances for a gen- eralized Burgers’ equation. In the 57th IEEE Conference on Decision and Control , pages 3758–3764, Miami Beach, FL, USA, Dec. 2018

  62. [62]

    Zheng and G

    J. Zheng and G. Zhu. A De Giorgi iteration-based approach for the establishment of ISS prop- erties for Burgers’ equation with boundary and in-domain disturbances. IEEE Transactions on Automatic Control, 64(8):3476–3483, 2019

  63. [63]

    Zheng and G

    J. Zheng and G. Zhu. A maximum principle-based approach for input-to-state stability anal- ysis of parabolic equations with boundary disturbances. In the 58th IEEE Conference on Decision and Control, pages 4977–4983, Nice, France, Dec. 2019. 29

  64. [64]

    Zheng and G

    J. Zheng and G. Zhu. Input-to-state stability for a class of 1-D nonlinear parabolic PDEs with nonlinear boundary conditions. SIAM Journal on Control and Optimization, 58(4):2567–2587, 2020

  65. [65]

    Zheng and G

    J. Zheng and G. Zhu. ISS-like estimates for nonlinear parabolic PDEs with variable coefficients on higher dimensional domains. Systems & Control Letters , 146, 2020. Art. no. 104808

  66. [66]

    Zheng and G

    J. Zheng and G. Zhu. Approximations of Lyapunov functionals for ISS analysis of a class of higher dimensional nonlinear parabolic PDEs. Automatica, 125:109414, 2021

  67. [67]

    Zheng and G

    J. Zheng and G. Zhu. Input-to-state stability in different norms for 1-D parabolic PDEs. In the 60th IEEE Conference on Decision and Control , pages 4026–4031, Austin, Texas, Dec. 2021

  68. [68]

    Zheng and G

    J. Zheng and G. Zhu. Global ISS for the viscous Burgers’ equation with Dirichlet boundary disturbances. IEEE Transactions on Automatic Control , 69(10):7174–7181, 2024

  69. [69]

    Zheng and G

    J. Zheng and G. Zhu. Generalized Lyapunov functionals for the input-to-state stability of infinite-dimensional systems. Automatica, 172, 2025. Art. no. 112005

  70. [70]

    Zheng, G

    J. Zheng, G. Zhu, and S. Dashkovskiy. Relative stability in the sup-norm and input-to- state stability in the spatial sup-norm for parabolic PDEs. IEEE Transactions on Automatic Control, 67(10):5361–5375, 2022. Jun Zheng Guchuan Zhu School of Mathematics Department of Electrical Engineering Southwest Jiaotong University Polytechnique Montr´ eal Chengdu, 6...