Image de couverture de livre

Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Huang, Yanliang, Xie, Peng, Zhang, Zhen, Wu, Wenyuan, Zeng, Zhuoqi, Alanwar, Amr
Format:	Preprint
Publié:	2026
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
par: Huang, Yanliang, et autres
Publié: (2026)

Conformalized Data-Driven Reachability Analysis with PAC Guarantees
par: Huang, Yanliang, et autres
Publié: (2026)

From Points to Sets: Set-Based Safety Verification in the Latent Space
par: Wu, Wenyuan, et autres
Publié: (2026)

Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees
par: Zhang, Zhen, et autres
Publié: (2026)

Data-Driven Reachability Analysis for Piecewise Affine Systems
par: Xie, Peng, et autres
Publié: (2025)

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
par: Zhang, Zhen, et autres
Publié: (2026)

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
par: Xie, Peng, et autres
Publié: (2025)

Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
par: Xie, Peng, et autres
Publié: (2026)

Bridging Data-Driven Reachability Analysis and Statistical Estimation via Constrained Matrix Convex Generators
par: Xie, Peng, et autres
Publié: (2026)

Invariant Set Estimation for Piecewise Affine Dynamical Systems Using Piecewise Affine Barrier Function
par: Samanipour, Pouya, et autres
Publié: (2024)

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
par: Xie, Peng, et autres
Publié: (2025)

Data-Driven Reachability Analysis Using Matrix Perturbation Theory
par: Xie, Peng, et autres
Publié: (2026)

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
par: Zhang, Zhen, et autres
Publié: (2026)

Data-Driven Reachability Analysis with Optimal Input Design
par: Xie, Peng, et autres
Publié: (2026)

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
par: Akhormeh, Alireza Naderi, et autres
Publié: (2025)

Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
par: Akhormeh, Alireza Naderi, et autres
Publié: (2026)

Inclusion conditions for the Constrained Polynomial Zonotopic case
par: Gheorghe, Bogdan, et autres
Publié: (2026)

Secure Set-based State Estimation for Safety-Critical Applications under Adversarial Attacks on Sensors
par: Niazi, M. Umar B., et autres
Publié: (2023)

Controlling the Ćuk Converter using Piecewise Linear Lyapunov Functions
par: Lekić, Aleksandra, et autres
Publié: (2026)

Estimation of Regions of Attraction for Nonlinear Systems via Coordinate-Transformed TS Models and Piecewise Quadratic Lyapunov Functions
par: Sel, Artun, et autres
Publié: (2025)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
par: Hafez, Ahmad, et autres
Publié: (2025)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
par: Alanwar, Amr, et autres
Publié: (2023)

Template-Based Piecewise Affine Regression
par: Berger, Guillaume O., et autres
Publié: (2023)

Estimation of Constraint Admissible Invariant Set with Neural Lyapunov Function
par: Kim, Dabin, et autres
Publié: (2024)

Distributed Model Predictive Control for Piecewise Affine Systems Based on Switching ADMM
par: Mallick, Samuel, et autres
Publié: (2024)

Error Bounds for Compositions of Piecewise Affine Approximations
par: Glunt, Jonah J., et autres
Publié: (2024)

Control Lyapunov-Barrier Function Based Model Predictive Control for Stochastic Nonlinear Affine Systems
par: Zheng, Weijiang, et autres
Publié: (2022)

Data-Driven Nonconvex Reachability Analysis using Exact Multiplication
par: Zhang, Zhen, et autres
Publié: (2025)

Polynomial Lyapunov Functions and Invariant Sets from a New Hierarchy of Quadratic Lyapunov Functions for LTV Systems
par: Abdelraouf, Hassan, et autres
Publié: (2024)

Probabilistic Safety under Arbitrary Disturbance Distributions using Piecewise-Affine Control Barrier Functions
par: Teuwen, Matisse, et autres
Publié: (2025)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
par: Huang, Junyue, et autres
Publié: (2026)

Learning-Based Model Predictive Control for Piecewise Affine Systems with Feasibility Guarantees
par: Mallick, Samuel, et autres
Publié: (2024)

Approximate Dynamic Programming for Constrained Piecewise Affine Systems with Stability and Safety Guarantees
par: He, Kanghui, et autres
Publié: (2023)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
par: Wang, Chengxiao, et autres
Publié: (2026)

Sensitivity Analysis for Piecewise-Affine Approximations of Nonlinear Programs with Polytopic Constraints
par: Gharavi, Leila, et autres
Publié: (2024)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
par: Long, Kehan, et autres
Publié: (2025)

Data-Driven Tube-Based Zonotopic Predictive Control With Nonconvex Layered Terminal Sets
par: Zhang, Zhen, et autres
Publié: (2026)

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
par: Shi, Zhouxing, et autres
Publié: (2024)

Piecewise Control Barrier Functions for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2025)

Converse Barrier Functions via Lyapunov Functions
par: Liu, Jun
Publié: (2020)