Cover Image

Contributions to Semialgebraic-Set-Based Stability Verification of Dynamical Systems with Neural-Network-Based Controllers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Detailleur, Alvaro, Wahby, Dalim, Ducard, Guillaume, Onder, Christopher
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
by: Detailleur, Alvaro, et al.
Published: (2025)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)

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

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

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

From Points to Sets: Set-Based Safety Verification in the Latent Space
by: Wu, Wenyuan, et al.
Published: (2026)

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

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

Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems
by: Serry, Mohamed, et al.
Published: (2026)

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

Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control
by: Li, Xiao, et al.
Published: (2025)

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

Provably-Stable Neural Network-Based Control of Nonlinear Systems
by: Li, Anran, et al.
Published: (2025)

Input-to-State Stabilizing Neural Controllers for Unknown Switched Nonlinear Systems within Compact Sets
by: Dey, Bhabani Shankar, et al.
Published: (2026)

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

Stability of Information-Based Routing in Dynamic Transportation Networks
by: Garjani, Shaya, et al.
Published: (2026)

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

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

Lyapunov-Based Graph Neural Networks for Adaptive Control of Multi-Agent Systems
by: Fallin, Brandon C., et al.
Published: (2025)

Lyapunov-Based Deep Neural Networks for Adaptive Control of Stochastic Nonlinear Systems
by: Akbari, Saiedeh, et al.
Published: (2024)

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

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2026)

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

Graph-Based Dynamics and Network Control of a Single Articulated Robotic System
by: Lane, Jonathan, et al.
Published: (2025)

Hybrid Metaheuristic Optimization of Distributed Control System Hardware Architecture with Model-Based Verification
by: Zakirzyanov, Ruslan
Published: (2026)

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

Analytical Verification of Performance of Deep Neural Network Based Time-Synchronized Distribution System State Estimation
by: Azimian, Behrouz, et al.
Published: (2023)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
by: Ajeyemi, Damola, et al.
Published: (2025)

Set-Based Adaptive Safety Control
by: Akella, Prithvi, et al.
Published: (2019)

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

Set-Based Reachability for Low-Thrust Spacecraft in Two-Body and Cislunar Dynamical Systems
by: Patel, Jinaykumar, et al.
Published: (2026)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
by: Vaisi, Goli, et al.
Published: (2025)

Physics-Constrained Taylor Neural Networks for Learning and Control of Dynamical Systems
by: Nguyen, Nam T., et al.
Published: (2024)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
by: Badings, Thom, et al.
Published: (2024)

Exponential Stabilization of Linear Systems using Nearest-Action Control with Countable Input Set
by: Almuzakki, Muhammad Zaki, et al.
Published: (2024)

Neural Exponential Stabilization of Control-affine Nonlinear Systems
by: Zakwan, Muhammad, et al.
Published: (2024)

Research on Adaptive Inertial Control in Synchronization Systems: Based on Variational Optimization Methods and Their Applications in the Stability of Complex Networks
by: Zhou, Yiwei, et al.
Published: (2026)

Safety Verification of Stochastic Systems: A Set-Erosion Approach
by: Liu, Zishun, et al.
Published: (2024)