Copertina

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Detailleur, Alvaro, Ducard, Guillaume, Onder, Christopher
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Contributions to Semialgebraic-Set-Based Stability Verification of Dynamical Systems with Neural-Network-Based Controllers
di: Detailleur, Alvaro, et al.
Pubblicazione: (2025)

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum
di: Detailleur, Alvaro, et al.
Pubblicazione: (2025)

Sum-of-Squares Data-driven Robustly Stabilizing and Contracting Controller Synthesis for Polynomial Nonlinear Systems
di: El-Kebir, Hamza, et al.
Pubblicazione: (2025)

Synthesizing Control Laws from Data using Sum-of-Squares Optimization
di: Bramburger, Jason J., et al.
Pubblicazione: (2023)

Modified Control Barrier Function for Quadratic Program Based Control Design via Sum-of-Squares Programming
di: Lin, Yankai, et al.
Pubblicazione: (2025)

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming
di: Shakhesi, Erfan, et al.
Pubblicazione: (2025)

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
di: Wang, Han, et al.
Pubblicazione: (2022)

Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control
di: Geyer, Fabian, et al.
Pubblicazione: (2026)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
di: Amorese, Peter, et al.
Pubblicazione: (2025)

Stability Margins of Neural Network Controllers
di: Junnarkar, Neelay, et al.
Pubblicazione: (2024)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
di: Meng, Yiming, et al.
Pubblicazione: (2024)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2025)

Towards Optimal Spatio-Temporal Decomposition of Control-Related Sum-of-Squares Programs
di: Cibulka, Vít, et al.
Pubblicazione: (2024)

Bounding the Settling Time of Finite-Time Stable Systems using Sum of Squares
di: Kisole, Sengiyumva, et al.
Pubblicazione: (2025)

Convex computation of regions of attraction from data using Sums-of-Squares programming
di: Khattabi, Oumayma, et al.
Pubblicazione: (2025)

Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
di: Basu, Ahan, et al.
Pubblicazione: (2025)

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

Verification of Neural Network Control Systems in Continuous Time
di: ArjomandBigdeli, Ali, et al.
Pubblicazione: (2024)

Optimization of the Energy-Comfort Trade-Off of HVAC Systems in Electric City Buses Based on a Steady-State Model
di: Widmer, Fabio, et al.
Pubblicazione: (2024)

Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties
di: Zhang, Yuhao, et al.
Pubblicazione: (2023)

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

Global stability of vehicle-with-driver dynamics via Sum-of-Squares programming
di: Gulisano, Martino, et al.
Pubblicazione: (2025)

Physics-Informed Neural Network-Based Control for Grid-Forming Converter's Stability Under Overload Conditions
di: Kumar, Abhay, et al.
Pubblicazione: (2025)

Multiple Model Reference Adaptive Control with Blending for Non-Square Multivariable Systems
di: Lovi, Alex, et al.
Pubblicazione: (2024)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
di: Zhou, Yuhao, et al.
Pubblicazione: (2023)

Disjunctive Sum of Squares
di: Ahmadi, Amir Ali, et al.
Pubblicazione: (2026)

Dynamic System Stability Verification Using Numerical Simulator
di: Kim, Jongrae
Pubblicazione: (2023)

Distributed Control of Network Systems in the Space of Stabilizing Graph Neural Network Policies
di: Cao, John, et al.
Pubblicazione: (2025)

Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification
di: Zenati, Abdelhafid, et al.
Pubblicazione: (2022)

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
di: Amorese, Peter, et al.
Pubblicazione: (2026)

Efficient Safety Verification of Autonomous Vehicles with Neural Network Operator
di: Fan, Lingxiang, et al.
Pubblicazione: (2025)

Neural Network Verification for Gliding Drone Control: A Case Study
di: Kessler, Colin, et al.
Pubblicazione: (2025)

Towards Learning-Based Formula 1 Race Strategies
di: Fieni, Giona, et al.
Pubblicazione: (2025)

Mean-Square Exponential Stabilization of Mixed-Autonomy Traffic PDE System
di: Zhang, Yihuai, et al.
Pubblicazione: (2023)

Model-Free Power System Stability Enhancement with Dissipativity-Based Neural Control
di: Wang, Yifei, et al.
Pubblicazione: (2025)

DAE-Embedded Neural Control Verification for Shipboard Microgrids under Transient Shocks
di: Feng, Fei, et al.
Pubblicazione: (2026)

Physics-Informed Neural Network for Cross-Domain Predictive Control of Tapered Amplifier Thermal Stabilization
di: Shi, Yanpei, et al.
Pubblicazione: (2025)

Neural Network Certification Informed Power System Transient Stability Preventive Control with Renewable Energy
di: Su, Tong, et al.
Pubblicazione: (2024)

Maximal Load Shedding Verification for Neural Network Models of AC Line Switching
di: Chevalier, Samuel, et al.
Pubblicazione: (2025)

Adaptive Deep Neural Network-Based Control Barrier Functions
di: Sweatland, Hannah M., et al.
Pubblicazione: (2024)