:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Detailleur, Alvaro, Wahby, Dalim, Ducard, Guillaume, Onder, Christopher
Format:	Preprint
Publié:	2025
Sujets:	Systems and Control
Accès en ligne:	https://arxiv.org/abs/2510.24391
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum
par: Detailleur, Alvaro, et autres
Publié: (2025)

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
par: Detailleur, Alvaro, et autres
Publié: (2025)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
par: Kranzlmüller, Miriam, et autres
Publié: (2026)

Dynamic System Stability Verification Using Numerical Simulator
par: Kim, Jongrae
Publié: (2023)

Optimization of the Energy-Comfort Trade-Off of HVAC Systems in Electric City Buses Based on a Steady-State Model
par: Widmer, Fabio, et autres
Publié: (2024)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
par: Zhou, Yuhao, et autres
Publié: (2023)

Verification of Neural Network Control Systems in Continuous Time
par: ArjomandBigdeli, Ali, et autres
Publié: (2024)

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

Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems
par: Serry, Mohamed, et autres
Publié: (2026)

Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
par: Basu, Ahan, et autres
Publié: (2025)

Model-Free Power System Stability Enhancement with Dissipativity-Based Neural Control
par: Wang, Yifei, et autres
Publié: (2025)

Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control
par: Li, Xiao, et autres
Publié: (2025)

Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties
par: Zhang, Yuhao, et autres
Publié: (2023)

Provably-Stable Neural Network-Based Control of Nonlinear Systems
par: Li, Anran, et autres
Publié: (2025)

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

Input-to-State Stabilizing Neural Controllers for Unknown Switched Nonlinear Systems within Compact Sets
par: Dey, Bhabani Shankar, et autres
Publié: (2026)

Distributed Control of Network Systems in the Space of Stabilizing Graph Neural Network Policies
par: Cao, John, et autres
Publié: (2025)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
par: Meng, Yiming, et autres
Publié: (2024)

Towards Learning-Based Formula 1 Race Strategies
par: Fieni, Giona, et autres
Publié: (2025)

Stability Margins of Neural Network Controllers
par: Junnarkar, Neelay, et autres
Publié: (2024)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
par: Serry, Mohamed, et autres
Publié: (2026)

Stability of Information-Based Routing in Dynamic Transportation Networks
par: Garjani, Shaya, et autres
Publié: (2026)

Lyapunov-Based Graph Neural Networks for Adaptive Control of Multi-Agent Systems
par: Fallin, Brandon C., et autres
Publié: (2025)

Lyapunov-Based Deep Neural Networks for Adaptive Control of Stochastic Nonlinear Systems
par: Akbari, Saiedeh, et autres
Publié: (2024)

Physics-Informed Neural Network-Based Control for Grid-Forming Converter's Stability Under Overload Conditions
par: Kumar, Abhay, et autres
Publié: (2025)

Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification
par: Zenati, Abdelhafid, et autres
Publié: (2022)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
par: Ajeyemi, Damola, et autres
Publié: (2025)

Analytical Verification of Performance of Deep Neural Network Based Time-Synchronized Distribution System State Estimation
par: Azimian, Behrouz, et autres
Publié: (2023)

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

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

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
par: Vaisi, Goli, et autres
Publié: (2025)

Graph-Based Dynamics and Network Control of a Single Articulated Robotic System
par: Lane, Jonathan, et autres
Publié: (2025)

Set-Based Adaptive Safety Control
par: Akella, Prithvi, et autres
Publié: (2019)

Set-Based Reachability for Low-Thrust Spacecraft in Two-Body and Cislunar Dynamical Systems
par: Patel, Jinaykumar, et autres
Publié: (2026)

Exponential Stabilization of Linear Systems using Nearest-Action Control with Countable Input Set
par: Almuzakki, Muhammad Zaki, et autres
Publié: (2024)

Physics-Constrained Taylor Neural Networks for Learning and Control of Dynamical Systems
par: Nguyen, Nam T., et autres
Publié: (2024)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
par: Badings, Thom, et autres
Publié: (2024)

Safety Verification of Stochastic Systems: A Set-Erosion Approach
par: Liu, Zishun, et autres
Publié: (2024)

Stabilizing Optimal Control for Nonlinear Stochastic Systems: A Parametric Gradient-Based Approach
par: Ito, Yuji, et autres
Publié: (2025)

Neural Exponential Stabilization of Control-affine Nonlinear Systems
par: Zakwan, Muhammad, et autres
Publié: (2024)