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.