Buchumschlag

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Huang, Junyue, Li, Shaoyuan, Yin, Xiang
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras
von: Li, Yuda, et al.
Veröffentlicht: (2026)

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
von: Chen, Yu, et al.
Veröffentlicht: (2025)

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

A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
von: Lv, Peng, et al.
Veröffentlicht: (2024)

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
von: Wang, Siqi, et al.
Veröffentlicht: (2023)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
von: Liu, Jun
Veröffentlicht: (2025)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
von: Chen, Yu, et al.
Veröffentlicht: (2025)

Lyapunov Characterization for ISS of Impulsive Switched Systems
von: Ahmed, Saeed, et al.
Veröffentlicht: (2024)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
von: Liu, Jun, et al.
Veröffentlicht: (2024)

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
von: Cui, Bohan, et al.
Veröffentlicht: (2024)

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
von: Chen, Yu, et al.
Veröffentlicht: (2022)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
von: Chen, Yu, et al.
Veröffentlicht: (2025)

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

Converse Lyapunov Results for Switched Systems with Lower and Upper Bounds on Switching Intervals
von: Della Rossa, Matteo
Veröffentlicht: (2024)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
von: Liu, Jun, et al.
Veröffentlicht: (2023)

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
von: Chen, Yu, et al.
Veröffentlicht: (2024)

Safe Stabilization using Nonsmooth Control Lyapunov Barrier Function
von: Lan, Jianglin, et al.
Veröffentlicht: (2024)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
von: Ye, Bowen, et al.
Veröffentlicht: (2024)

On Fixed-Time Stability for a Class of Singularly Perturbed Systems using Composite Lyapunov Functions
von: Tang, Michael, et al.
Veröffentlicht: (2024)

Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions
von: Huang, Yanliang, et al.
Veröffentlicht: (2026)

Parameter-Dependent Control Lyapunov Functions for Stabilizing Nonlinear Parameter-Varying Systems
von: Zhao, Pan
Veröffentlicht: (2025)

Efficient Stabilization of Hybrid Coulomb Spacecraft Formations using Control Lyapunov Functions
von: Tahir, Adam M
Veröffentlicht: (2025)

SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions
von: Wang, Shuqi, et al.
Veröffentlicht: (2024)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
von: Ye, Bowen, et al.
Veröffentlicht: (2025)

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification
von: Wayment, Jesse, et al.
Veröffentlicht: (2026)

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

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
von: Ye, Bowen, et al.
Veröffentlicht: (2026)

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
von: Dai, Hongkai, et al.
Veröffentlicht: (2024)

VH-Diffuser: Variable Horizon Diffusion Planner for Time-Aware Goal-Conditioned Trajectory Planning
von: Liu, Ruijia, et al.
Veröffentlicht: (2025)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
von: Long, Kehan, et al.
Veröffentlicht: (2025)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
von: Liu, Jun, et al.
Veröffentlicht: (2023)

Hybrid Lyapunov and Barrier Function-Based Control with Stabilization Guarantees
von: Matias, Hugo, et al.
Veröffentlicht: (2025)

Fixed-Time Input-to-State Stability for Singularly Perturbed Systems via Composite Lyapunov Functions
von: Tang, Michael, et al.
Veröffentlicht: (2024)

On an Abstraction of Lyapunov and Lagrange Stability
von: Bin, Michelangelo, et al.
Veröffentlicht: (2025)

Stability of Control Lyapunov Function Guided Reinforcement Learning
von: Olkin, Zachary, et al.
Veröffentlicht: (2026)

Distributed Model Predictive Control for Asynchronous Multi-agent Systems with Self-Triggered Coordinator
von: Chen, Qianqian, et al.
Veröffentlicht: (2024)

Accelerated Stabilization of Switched Linear MIMO Systems using Generalized Homogeneity
von: Labbadi, Moussa, et al.
Veröffentlicht: (2026)

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

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

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
von: Meijer, T. J., et al.
Veröffentlicht: (2023)