Enregistré dans:
| Auteurs principaux: | Detailleur, Alvaro, Wahby, Dalim, Ducard, Guillaume, Onder, Christopher |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| 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)
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)
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)
par: Kranzlmüller, Miriam, et autres
Publié: (2026)
Dynamic System Stability Verification Using Numerical Simulator
par: Kim, Jongrae
Publié: (2023)
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)
par: Widmer, Fabio, et autres
Publié: (2024)
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
par: Zhou, Yuhao, et autres
Publié: (2023)
par: Zhou, Yuhao, et autres
Publié: (2023)
Verification of Neural Network Control Systems in Continuous Time
par: ArjomandBigdeli, Ali, et autres
Publié: (2024)
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)
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)
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)
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)
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)
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)
par: Zhang, Yuhao, et autres
Publié: (2023)
Provably-Stable Neural Network-Based Control of Nonlinear Systems
par: Li, Anran, et autres
Publié: (2025)
par: Li, Anran, et autres
Publié: (2025)
Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
par: Huang, Junyue, et autres
Publié: (2026)
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)
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)
par: Cao, John, et autres
Publié: (2025)
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
par: Meng, Yiming, et autres
Publié: (2024)
par: Meng, Yiming, et autres
Publié: (2024)
Towards Learning-Based Formula 1 Race Strategies
par: Fieni, Giona, et autres
Publié: (2025)
par: Fieni, Giona, et autres
Publié: (2025)
Stability Margins of Neural Network Controllers
par: Junnarkar, Neelay, et autres
Publié: (2024)
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)
par: Serry, Mohamed, et autres
Publié: (2026)
Stability of Information-Based Routing in Dynamic Transportation Networks
par: Garjani, Shaya, et autres
Publié: (2026)
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)
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)
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)
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)
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)
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)
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)
par: Liu, Jun
Publié: (2025)
Hybrid Metaheuristic Optimization of Distributed Control System Hardware Architecture with Model-Based Verification
par: Zakirzyanov, Ruslan
Publié: (2026)
par: Zakirzyanov, Ruslan
Publié: (2026)
Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
par: Vaisi, Goli, et autres
Publié: (2025)
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)
par: Lane, Jonathan, et autres
Publié: (2025)
Set-Based Adaptive Safety Control
par: Akella, Prithvi, et autres
Publié: (2019)
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)
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)
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)
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)
par: Badings, Thom, et autres
Publié: (2024)
Safety Verification of Stochastic Systems: A Set-Erosion Approach
par: Liu, Zishun, et autres
Publié: (2024)
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)
par: Ito, Yuji, et autres
Publié: (2025)
Neural Exponential Stabilization of Control-affine Nonlinear Systems
par: Zakwan, Muhammad, et autres
Publié: (2024)
par: Zakwan, Muhammad, et autres
Publié: (2024)
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)