immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX

[pdf] To Appear in The 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2024

Akash Harapanahalli, Saber Jafarpour, Samuel Coogan, "`immrax`: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX." To Appear in The 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2024.