Imagen de Portada

Learning Certified Neural Network Controllers Using Contraction and Interval Analysis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Harapanahalli, Akash, Coogan, Samuel, Davydov, Alexander
Formato:	Preprint
Publicado:	2026
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Certified Robust Invariant Polytope Training in Neural Controlled ODEs
por: Harapanahalli, Akash, et al.
Publicado: (2024)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
por: Harapanahalli, Akash, et al.
Publicado: (2023)

A Linear Differential Inclusion for Contraction Analysis to Known Trajectories
por: Harapanahalli, Akash, et al.
Publicado: (2024)

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
por: Jafarpour, Saber, et al.
Publicado: (2023)

Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals
por: Harapanahalli, Akash, et al.
Publicado: (2024)

A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds
por: Harapanahalli, Akash, et al.
Publicado: (2024)

Forward Invariance in Neural Network Controlled Systems
por: Harapanahalli, Akash, et al.
Publicado: (2023)

Parametric Reachable Sets Via Controlled Dynamical Embeddings
por: Harapanahalli, Akash, et al.
Publicado: (2025)

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
por: Harapanahalli, Akash, et al.
Publicado: (2024)

Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
por: Gould, Brendan, et al.
Publicado: (2025)

Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
por: Harapanahalli, Akash, et al.
Publicado: (2025)

linrax: A JAX Compatible, Simplex Method Linear Program Solver
por: Gould, Brendan, et al.
Publicado: (2025)

Differentiable Invariant Sets for Hybrid Limit Cycles with Application to Legged Robots
por: Madabushi, Varun, et al.
Publicado: (2026)

Perspectives on Contractivity in Control, Optimization, and Learning
por: Davydov, Alexander, et al.
Publicado: (2024)

Non-Euclidean Contraction Analysis of Continuous-Time Neural Networks
por: Davydov, Alexander, et al.
Publicado: (2021)

Verifying Closed-Loop Contractivity of Learning-Based Controllers via Partitioning
por: Davydov, Alexander
Publicado: (2025)

Monotonicity and Contraction on Polyhedral Cones
por: Jafarpour, Saber, et al.
Publicado: (2022)

Exponential Stability of Parametric Optimization-Based Controllers via Lur'e Contractivity
por: Davydov, Alexander, et al.
Publicado: (2024)

Learning Tube-Certified Control using Robust Contraction Metrics
por: Sharma, Vivek, et al.
Publicado: (2023)

Incremental Input-to-State Stability and Equilibrium Tracking for Stochastic Contracting Dynamics
por: Kawano, Yu, et al.
Publicado: (2026)

Fast and Certified Bounding of Security-Constrained DCOPF via Interval Bound Propagation
por: Tekeler, Eren, et al.
Publicado: (2025)

Learning Neural Network Controllers with Certified Robust Performance via Adversarial Training
por: Junnarkar, Neelay, et al.
Publicado: (2026)

ContractionPPO: Certified Reinforcement Learning via Differentiable Contraction Layers
por: Zinage, Vrushabh, et al.
Publicado: (2026)

The Yakubovich S-Lemma Revisited: Stability and Contractivity in Non-Euclidean Norms
por: Proskurnikov, Anton V., et al.
Publicado: (2022)

On Weakly Contracting Dynamics for Convex Optimization
por: Centorrino, Veronica, et al.
Publicado: (2024)

Time-Varying Convex Optimization: A Contraction and Equilibrium Tracking Approach
por: Davydov, Alexander, et al.
Publicado: (2023)

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

Contracting Neural Networks: Sharp LMI Conditions with Applications to Integral Control and Deep Learning
por: Gokhale, Anand, et al.
Publicado: (2026)

Newton-Raphson Flow for Aggressive Quadrotor Tracking Control
por: Morales-Cuadrado, Evanns, et al.
Publicado: (2024)

Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method
por: Morales-Cuadrado, Evanns, et al.
Publicado: (2025)

A Nonlinear Separation Principle via Contraction Theory: Applications to Neural Networks, Control, and Learning
por: Gokhale, Anand, et al.
Publicado: (2026)

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

RobustNeuralNetworks.jl: a Package for Machine Learning and Data-Driven Control with Certified Robustness
por: Barbara, Nicholas H., et al.
Publicado: (2023)

Comparative Analysis of Control Strategies for Position Regulation in DC Servo Motors
por: Akash, Raihan Khan
Publicado: (2025)

Neural Robust Control on Lie Groups Using Contraction Methods (Extended Version)
por: Lo, Yi Lok, et al.
Publicado: (2026)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
por: Shen, Keyi, et al.
Publicado: (2026)

Positive Competitive Networks for Sparse Reconstruction
por: Centorrino, Veronica, et al.
Publicado: (2023)

Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
por: Gould, Brendan, et al.
Publicado: (2026)

Proximal Gradient Dynamics: Monotonicity, Exponential Convergence, and Applications
por: Gokhale, Anand, et al.
Publicado: (2024)

Timescale Limits of Linear-Threshold Networks
por: Retnaraj, William, et al.
Publicado: (2026)