Image de couverture de livre

Sample-Free Safety Assessment of Neural Network Controllers via Taylor Methods

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Evans, Adam, Armellin, Roberto
Format:	Preprint
Publié:	2026
Sujets:	Systems and Control Machine Learning Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Learning-Based Stable Optimal Guidance for Spacecraft Close-Proximity Operations
par: Wang, Kun, et autres
Publié: (2025)

Reinforcement Learning-based Control via Y-wise Affine Neural Networks (YANNs)
par: Braniff, Austin, et autres
Publié: (2025)

Universal Approximation Power of Deep Residual Neural Networks via Nonlinear Control Theory
par: Tabuada, Paulo, et autres
Publié: (2020)

Forward Invariance in Neural Network Controlled Systems
par: Harapanahalli, Akash, et autres
Publié: (2023)

Sampling-Horizon Neural Operator Predictors for Nonlinear Control under Delayed Inputs
par: Bhan, Luke, et autres
Publié: (2026)

System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models
par: Li, Xiao, et autres
Publié: (2023)

A Nonlinear Separation Principle via Contraction Theory: Applications to Neural Networks, Control, and Learning
par: Gokhale, Anand, et autres
Publié: (2026)

Model-Free Output Feedback Stabilization via Policy Gradient Methods
par: Zhang, Ankang, 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)

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

Optimal Parameter Adaptation for Safety-Critical Control via Safe Barrier Bayesian Optimization
par: Wang, Shengbo, et autres
Publié: (2025)

Reinforcement Learning-based Control via Y-wise Affine Neural Networks: Comparative Case Studies for Chemical Processes
par: Braniff, Austin, et autres
Publié: (2026)

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

Tiny Recursive Models for Solving the J2-Perturbed Lambert Problem
par: Wijayatunga, Minduli, et autres
Publié: (2026)

Parameter-Adaptive Approximate MPC: Tuning Neural-Network Controllers without Retraining
par: Hose, Henrik, et autres
Publié: (2024)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
par: Harapanahalli, Akash, et autres
Publié: (2023)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
par: Kishida, Masako
Publié: (2025)

Discrete-time Contraction-based Control of Nonlinear Systems with Parametric Uncertainties using Neural Networks
par: Wei, Lai, et autres
Publié: (2021)

Drift Control of High-Dimensional RBM: A Computational Method Based on Neural Networks
par: Ata, Baris, et autres
Publié: (2023)

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
par: Prajapat, Manish, et autres
Publié: (2025)

Identification and Adaptive Control of Markov Jump Systems: Sample Complexity and Regret Bounds
par: Sattar, Yahya, et autres
Publié: (2021)

Lotka-Sharpe Neural Operators for Control of Population PDEs
par: Krstic, Miroslav, et autres
Publié: (2026)

RHYME-XT: A Neural Operator for Spatiotemporal Control Systems
par: Ruiter, Marijn, et autres
Publié: (2026)

Certified Robust Invariant Polytope Training in Neural Controlled ODEs
par: Harapanahalli, Akash, et autres
Publié: (2024)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
par: Liu, Jun, et autres
Publié: (2024)

Improved Scalable Lipschitz Bounds for Deep Neural Networks
par: Syed, Usman, et autres
Publié: (2025)

Predictor-Based Output-Feedback Control of Linear Systems with Time-Varying Input and Measurement Delays via Neural-Approximated Prediction Horizons
par: Bhan, Luke, et autres
Publié: (2026)

ReLU Networks for Model Predictive Control: Network Complexity and Performance Guarantees
par: Li, Xingchen, et autres
Publié: (2026)

Optimal Control Operator Perspective and a Neural Adaptive Spectral Method
par: Feng, Mingquan, et autres
Publié: (2024)

Differentiable Discrete Event Simulation for Queuing Network Control
par: Che, Ethan, et autres
Publié: (2024)

The Silence that Speaks: Neural Estimation via Communication Gaps
par: Aggarwal, Shubham, et autres
Publié: (2025)

Negative Imaginary Neural ODEs: Learning to Control Mechanical Systems with Stability Guarantees
par: Shi, Kanghong, et autres
Publié: (2025)

Physics-Informed Graph Neural Network for Dynamic Reconfiguration of Power Systems
par: Authier, Jules, et autres
Publié: (2023)

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
par: Jafarpour, Saber, et autres
Publié: (2023)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
par: Zhang, Yuhao, et autres
Publié: (2025)

Incremental Correction in Dynamic Systems Modelled with Neural Networks for Constraint Satisfaction
par: Cho, Namhoon, et autres
Publié: (2022)

Rademacher Complexity of Neural ODEs via Chen-Fliess Series
par: Hanson, Joshua, et autres
Publié: (2024)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
par: Liu, Jun, et autres
Publié: (2023)

Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks
par: Noori, Sahel Vahedi, et autres
Publié: (2024)

Fast and Reliable $N-k$ Contingency Screening with Input-Convex Neural Networks
par: Christianson, Nicolas, et autres
Publié: (2024)