Cover Image

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX

Fuente: arXiv

Saved in:

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

Similar Items

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)

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

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

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

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

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

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

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

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

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

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

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

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

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)

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

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2025)

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

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

Neural Approximators for Low-Thrust Trajectory Transfer Cost and Reachability
by: Zhang, Zhong, et al.
Published: (2025)

Convex Hulls of Reachable Sets
by: Lew, Thomas, et al.
Published: (2023)

Symplectic Inductive Bias for Data-Driven Target Reachability in Hamiltonian Systems
by: Ouyang, Zhuo, et al.
Published: (2026)

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
by: Prajapat, Manish, et al.
Published: (2025)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

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

Data-driven Reachable Set Estimation with Tunable Adversarial and Wasserstein Distributional Guarantees
by: Pantazis, Georgios, et al.
Published: (2026)

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

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
by: Omidi, Saber, et al.
Published: (2025)

Differentiable Model Predictive Control on the GPU
by: Adabag, Emre, et al.
Published: (2025)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)

Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency
by: Sayed, Abdelrahman Sayed, et al.
Published: (2025)

Differentiable Discrete Event Simulation for Queuing Network Control
by: Che, Ethan, et al.
Published: (2024)

Non-Euclidean Monotone Operator Theory and Applications
by: Davydov, Alexander, et al.
Published: (2023)

Identifiability of Differential-Algebraic Systems
by: Montanari, Arthur N., et al.
Published: (2024)

Non-Parametric Learning of Stochastic Differential Equations with Non-asymptotic Fast Rates of Convergence
by: Bonalli, Riccardo, et al.
Published: (2023)

Reachability Analysis for Design Optimization
by: Nguyen, Steven, et al.
Published: (2026)

Polynomial and Parallelizable Preconditioning for Block Tridiagonal Positive Definite Matrices
by: Yang, Shaohui, et al.
Published: (2025)

A Concise Lyapunov Analysis of Nesterov's Accelerated Gradient Method
by: Liu, Jun
Published: (2025)

A Short and Unified Convergence Analysis of the SAG, SAGA, and IAG Algorithms
by: Zhu, Feng, et al.
Published: (2026)

A Simple Finite-Time Analysis of TD Learning with Linear Function Approximation
by: Mitra, Aritra
Published: (2024)