Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zheng, Jun, Zhu, Guchuan
Format:	Preprint
Published:	2026
Subjects:	Optimization and Control Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A De Giorgi Iteration-based Approach for the Establishment of ISS Properties of a Class of Semi-linear Parabolic PDEs with Boundary and In-domain Disturbances
by: Zheng, Jun, et al.
Published: (2017)

Lyapunov Characterization for ISS of Impulsive Switched Systems
by: Ahmed, Saeed, et al.
Published: (2024)

A superposition approach for the ISS Lyapunov-Krasovskii theorem with pointwise dissipation
by: Mironchenko, Andrii, et al.
Published: (2026)

Robust synchronization for multi-agent systems governed by PDEs with observable and unobservable disturbances
by: Bi, Yongchun, et al.
Published: (2026)

Converse Barrier Functions via Lyapunov Functions
by: Liu, Jun
Published: (2020)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
by: Liu, Jun, et al.
Published: (2023)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
by: Liu, Jun, et al.
Published: (2025)

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
by: Gong, Zheng, et al.
Published: (2024)

Input-to-State Stabilization of 1-D Parabolic PDEs under Output Feedback Control
by: Bi, Yongchun, et al.
Published: (2024)

Inverse Optimal Cardano-Lyapunov Feedback for PDEs with Convection
by: Belhadjoudja, Mohamed Camil, et al.
Published: (2024)

Finite-time input-to-state stability for infinite-dimensional systems
by: Sun, Xiaorong, et al.
Published: (2024)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
by: Liu, Jun
Published: (2025)

A Decomposition Method for Finite-Time Stabilization of Bilinear Systems with Applications to Parabolic and Hyperbolic Equations
by: Fenza, Kamal, et al.
Published: (2025)

A Concise Lyapunov Analysis of Nesterov's Accelerated Gradient Method
by: Liu, Jun
Published: (2025)

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
by: Liu, Jun, et al.
Published: (2025)

Concave Comparison Functions for Accelerating Constrained Lyapunov Decay
by: Fan, Shuyuan, et al.
Published: (2025)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
by: Liu, Jun, et al.
Published: (2024)

A Converse Control Lyapunov Theorem for Joint Safety and Stability
by: Quartz, Thanin, et al.
Published: (2025)

Local integral input-to-state stability for non-autonomous infinite-dimensional systems
by: Bi, Yongchun, et al.
Published: (2025)

On an Abstraction of Lyapunov and Lagrange Stability
by: Bin, Michelangelo, et al.
Published: (2025)

Power Tracking Control of Heterogeneous Populations of TCLs with Partially Measured States
by: Zhang, Zhenhe, et al.
Published: (2023)

Well-posedness of boundary control systems and application to ISS for coupled heat equations with boundary disturbances and delays
by: Gantouh, Yassine El, et al.
Published: (2026)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

Control Lyapunov Function Design via Configuration-Constrained Polyhedral Computing
by: Houska, Boris, et al.
Published: (2025)

Moving-Horizon Estimators for Hyperbolic and Parabolic PDEs in 1-D
by: Bhan, Luke, et al.
Published: (2024)

(Un)supervised Learning of Maximal Lyapunov Functions
by: Barreau, Matthieu, et al.
Published: (2024)

Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations
by: Liu, Jun
Published: (2026)

Lyapunov Functions can Exactly Quantify Rate Performance of Nonlinear Differential Equations
by: Jagt, Declan S., et al.
Published: (2026)

Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
by: Gong, Zheng, et al.
Published: (2024)

A Spectral-based ISS small-gain theorem for boundary control systems with infinite couplings
by: Gantouh, Yassine El, et al.
Published: (2026)

Hierarchical Stability and Lyapunov Conditions for Linear PDEs
by: Peet, Matthew M.
Published: (2026)

Parameter-Dependent Control Lyapunov Functions for Stabilizing Nonlinear Parameter-Varying Systems
by: Zhao, Pan
Published: (2025)

Efficient Stabilization of Hybrid Coulomb Spacecraft Formations using Control Lyapunov Functions
by: Tahir, Adam M
Published: (2025)

Construction of time-varying ISS-Lyapunov Functions for Impulsive Systems
by: Bachmann, Patrick, et al.
Published: (2022)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
by: Liu, Jun, et al.
Published: (2023)

Neural-NPV Control: Learning Parameter-Dependent Controllers and Lyapunov Functions with Neural Networks
by: Niloy, MD Abul Kashem, et al.
Published: (2026)

Koopman-based Estimation of Lyapunov Functions: Theory on a Reproducing Kernel Hilbert Space
by: Tang, Wentao, et al.
Published: (2026)

Some remarks on stochastic converse Lyapunov theorems
by: Osinenko, Pavel, et al.
Published: (2025)

Optimal Control with Lyapunov Stability Guarantees for Space Applications
by: Abhijeet, et al.
Published: (2025)

A Control Lyapunov Function Approach to Event-Triggered Parameterized Control for Discrete-Time Linear Systems
by: Rajan, Anusree, et al.
Published: (2024)