Cover Image

Certified Robust Invariant Polytope Training in Neural Controlled ODEs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Harapanahalli, Akash, Coogan, Samuel
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Systems and Control Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

Learning Certified Neural Network Controllers Using Contraction and Interval Analysis
by: Harapanahalli, Akash, et al.
Published: (2026)

Expressivity of Quadratic Neural ODEs
by: Hanson, Joshua, et al.
Published: (2025)

Negative Imaginary Neural ODEs: Learning to Control Mechanical Systems with Stability Guarantees
by: Shi, Kanghong, et al.
Published: (2025)

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

From NeurODEs to AutoencODEs: a mean-field control framework for width-varying Neural Networks
by: Cipriani, Cristina, et al.
Published: (2023)

Quantitative Flow Approximation Properties of Narrow Neural ODEs
by: Elamvazhuthi, Karthik
Published: (2025)

Rademacher Complexity of Neural ODEs via Chen-Fliess Series
by: Hanson, Joshua, et al.
Published: (2024)

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)

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

A minimax optimal control approach for robust neural ODEs
by: Cipriani, Cristina, et al.
Published: (2023)

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

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

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

Control Disturbance Rejection in Neural ODEs
by: Bayram, Erkan, et al.
Published: (2025)

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

Adversarially Robust Multitask Adaptive Control
by: Fallah, Kasra, et al.
Published: (2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025)

Towards an Optimal Control Perspective of ResNet Training
by: Püttschneider, Jens, et al.
Published: (2025)

Robust Neural IDA-PBC: passivity-based stabilization under approximations
by: Sanchez-Escalonilla, Santiago, et al.
Published: (2024)

Lotka-Sharpe Neural Operators for Control of Population PDEs
by: Krstic, Miroslav, et al.
Published: (2026)

Training Neural ODEs Using Fully Discretized Simultaneous Optimization
by: Shapovalova, Mariia, et al.
Published: (2025)

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

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

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

RHYME-XT: A Neural Operator for Spatiotemporal Control Systems
by: Ruiter, Marijn, et al.
Published: (2026)

Stability-Certified Learning of Control Systems with Quadratic Nonlinearities
by: Duff, Igor Pontes, et al.
Published: (2024)

Learning Aligned Stability in Neural ODEs Reconciling Accuracy with Robustness
by: Luo, Chaoyang, et al.
Published: (2025)

Koopman Data-Driven Predictive Control with Robust Stability and Recursive Feasibility Guarantees
by: de Jong, Thomas, et al.
Published: (2024)

Distributionally Robust Regret Optimal Control Under Moment-Based Ambiguity Sets
by: Taha, Feras Al, et al.
Published: (2025)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
by: Long, Kehan, et al.
Published: (2025)

Parameter-Adaptive Approximate MPC: Tuning Neural-Network Controllers without Retraining
by: Hose, Henrik, 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)