Buchumschlag

Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Huang, Yanliang, Xie, Peng, Zhang, Zhen, Wu, Wenyuan, Zeng, Zhuoqi, Alanwar, Amr
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

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
von: Huang, Yanliang, et al.
Veröffentlicht: (2026)

Conformalized Data-Driven Reachability Analysis with PAC Guarantees
von: Huang, Yanliang, et al.
Veröffentlicht: (2026)

From Points to Sets: Set-Based Safety Verification in the Latent Space
von: Wu, Wenyuan, et al.
Veröffentlicht: (2026)

Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)

Data-Driven Reachability Analysis for Piecewise Affine Systems
von: Xie, Peng, et al.
Veröffentlicht: (2025)

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
von: Xie, Peng, et al.
Veröffentlicht: (2025)

Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
von: Xie, Peng, et al.
Veröffentlicht: (2026)

Bridging Data-Driven Reachability Analysis and Statistical Estimation via Constrained Matrix Convex Generators
von: Xie, Peng, et al.
Veröffentlicht: (2026)

Invariant Set Estimation for Piecewise Affine Dynamical Systems Using Piecewise Affine Barrier Function
von: Samanipour, Pouya, et al.
Veröffentlicht: (2024)

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
von: Xie, Peng, et al.
Veröffentlicht: (2025)

Data-Driven Reachability Analysis Using Matrix Perturbation Theory
von: Xie, Peng, et al.
Veröffentlicht: (2026)

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)

Data-Driven Reachability Analysis with Optimal Input Design
von: Xie, Peng, et al.
Veröffentlicht: (2026)

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
von: Akhormeh, Alireza Naderi, et al.
Veröffentlicht: (2025)

Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
von: Akhormeh, Alireza Naderi, et al.
Veröffentlicht: (2026)

Inclusion conditions for the Constrained Polynomial Zonotopic case
von: Gheorghe, Bogdan, et al.
Veröffentlicht: (2026)

Secure Set-based State Estimation for Safety-Critical Applications under Adversarial Attacks on Sensors
von: Niazi, M. Umar B., et al.
Veröffentlicht: (2023)

Controlling the Ćuk Converter using Piecewise Linear Lyapunov Functions
von: Lekić, Aleksandra, et al.
Veröffentlicht: (2026)

Estimation of Regions of Attraction for Nonlinear Systems via Coordinate-Transformed TS Models and Piecewise Quadratic Lyapunov Functions
von: Sel, Artun, et al.
Veröffentlicht: (2025)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
von: Hafez, Ahmad, et al.
Veröffentlicht: (2025)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
von: Alanwar, Amr, et al.
Veröffentlicht: (2023)

Template-Based Piecewise Affine Regression
von: Berger, Guillaume O., et al.
Veröffentlicht: (2023)

Estimation of Constraint Admissible Invariant Set with Neural Lyapunov Function
von: Kim, Dabin, et al.
Veröffentlicht: (2024)

Distributed Model Predictive Control for Piecewise Affine Systems Based on Switching ADMM
von: Mallick, Samuel, et al.
Veröffentlicht: (2024)

Error Bounds for Compositions of Piecewise Affine Approximations
von: Glunt, Jonah J., et al.
Veröffentlicht: (2024)

Control Lyapunov-Barrier Function Based Model Predictive Control for Stochastic Nonlinear Affine Systems
von: Zheng, Weijiang, et al.
Veröffentlicht: (2022)

Data-Driven Nonconvex Reachability Analysis using Exact Multiplication
von: Zhang, Zhen, et al.
Veröffentlicht: (2025)

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)

Probabilistic Safety under Arbitrary Disturbance Distributions using Piecewise-Affine Control Barrier Functions
von: Teuwen, Matisse, et al.
Veröffentlicht: (2025)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
von: Huang, Junyue, et al.
Veröffentlicht: (2026)

Learning-Based Model Predictive Control for Piecewise Affine Systems with Feasibility Guarantees
von: Mallick, Samuel, et al.
Veröffentlicht: (2024)

Approximate Dynamic Programming for Constrained Piecewise Affine Systems with Stability and Safety Guarantees
von: He, Kanghui, et al.
Veröffentlicht: (2023)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
von: Wang, Chengxiao, et al.
Veröffentlicht: (2026)

Sensitivity Analysis for Piecewise-Affine Approximations of Nonlinear Programs with Polytopic Constraints
von: Gharavi, Leila, et al.
Veröffentlicht: (2024)

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

Data-Driven Tube-Based Zonotopic Predictive Control With Nonconvex Layered Terminal Sets
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
von: Shi, Zhouxing, et al.
Veröffentlicht: (2024)

Piecewise Control Barrier Functions for Stochastic Systems
von: Mazouz, Rayan, et al.
Veröffentlicht: (2025)

Converse Barrier Functions via Lyapunov Functions
von: Liu, Jun
Veröffentlicht: (2020)