:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bachmann, Patrick, Ahmed, Saeed
Format:	Preprint
Published:	2022
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2203.08651
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Unified Lyapunov Method for ISS of PDEs: A Tutorial on Constructing Generalized Lyapunov Functionals for Parabolic and Hyperbolic Equations
by: Zheng, Jun, et al.
Published: (2026)

Lyapunov characterization of boundedness of reachability sets for infinite-dimensional systems
by: Bachmann, Patrick, et al.
Published: (2026)

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

A Lyapunov-Based Small-Gain Theorem for Fixed-Time ISS: Theory, Optimization, and Games
by: Tang, Michael, et al.
Published: (2025)

Polynomial Lyapunov Functions and Invariant Sets from a New Hierarchy of Quadratic Lyapunov Functions for LTV Systems
by: Abdelraouf, Hassan, et al.
Published: (2024)

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

Constructive Lyapunov Functions via Topology-Preserving Neural Networks
by: Oh, Jaehong
Published: (2025)

Characterization of input-to-output stability for infinite-dimensional systems
by: Bachmann, Patrick, et al.
Published: (2024)

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

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

Progressive Barrier Lyapunov Functions for Nonlinear Constrained Control Systems
by: Nohooji, Hamed Rahimi, et al.
Published: (2024)

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

Cycles in Impulsive Goodwin's Oscillators of Arbitrary Order
by: Proskurnikov, Anton V., et al.
Published: (2023)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
by: Huang, Junyue, et al.
Published: (2026)

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

Output Corridor Impulsive Control of First-order Continuous System with Non-local Attractivity Analysis
by: Medvedev, Alexander, et al.
Published: (2026)

Finite Abstractions of Network of Impulsive Systems Using Dissipativity Approach
by: Swikir, Abdalla
Published: (2024)

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

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

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

Unified Predefined-time Stability Conditions of Nonlinear Systems with Lyapunov Analysis
by: Xiao, Bing, et al.
Published: (2024)

On the Existence of Quadratic Control Lyapunov Functions for Koopman-Operator based Bilinear Systems
by: Hanna, Sami Leon Noel Aziz, et al.
Published: (2026)

Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions
by: Huang, Yanliang, et al.
Published: (2026)

Lyapunov-Krasovskii Functionals of Robust Type for the Stability Analysis in Time-Delay Systems
by: Scholl, Tessina H.
Published: (2023)

Time-varying optimal control under measurement errors
by: Schmidt, Patrick, et al.
Published: (2026)

Mixed Regular and Impulsive Sampled-data LQR
by: Daafouz, Jamal, et al.
Published: (2024)

Regular Pairings for Non-quadratic Lyapunov Functions and Contraction Analysis
by: Proskurnikov, Anton V., et al.
Published: (2024)

Distributed Lyapunov Functions for Nonlinear Networks
by: Wang, Yiming, et al.
Published: (2025)

Adaptive Meshing for CPA Lyapunov Function Synthesis
by: Strong, Amy K., et al.
Published: (2025)

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

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

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
by: Basu, Ahan, et al.
Published: (2025)

A Generalized Lyapunov--ISS Framework for Phase-Stable, Self-Evolving AI Systems
by: Kim, Tae-Hun
Published: (2025)

Robust Suboptimal Local Basis Function Algorithms for Identification of Nonstationary FIR Systems in Impulsive Noise Environments
by: Niedźwiecki, Maciej, et al.
Published: (2025)

Efficient Input-Constrained Impulsive Optimal Control of Linear Systems with Application to Spacecraft Relative Motion
by: Foss, Ethan, et al.
Published: (2025)

Design of the Impulsive Goodwin's Oscillator: A Case Study
by: Medvedev, Alexander, et al.
Published: (2023)

Stability Properties of the Impulsive Goodwin's Oscillator in 1-cycle
by: Proskurnikov, Anton V., et al.
Published: (2024)

Cooperative $\mathcal{H}_\infty$ Fault-Tolerant Tracking with ISS Guarantees for Networked Systems with Sensor Faults
by: Wafi, Moh Kamalul, et al.
Published: (2026)

Region of Attraction Estimate Learning and Verification for Nonlinear Systems using Neural-Network-based Lyapunov Functions
by: Bechihi, Adel, et al.
Published: (2025)