Interval Analysis and Mixed Monotone Reachability in JAX

immrax is a tool for interval analysis and mixed monotone reachability analysis in JAX.

Inclusion function transformations are composable with existing JAX transformations, allowing the use of Automatic Differentiation to learn relationships between inputs and outputs, as well as parallelization and GPU capabilities for quick, accurate reachable set estimation.

Contents:

• Getting Started
  • Dependencies
  • Installation
  • Citation
• Examples
  • Efficient Reachability on a Neural Network Controlled Vehicle Using GPU Parallelization
  • Robust Optimal Control on a Pendulum Using Automatic Differentiation
• API
  • immrax.control
  • immrax.embedding
  • immrax.inclusion
  • immrax.neural
  • immrax.parametric
  • immrax.refinement
  • immrax.system
  • immrax.utils

Indices and tables

• Index

• Module Index

• Search Page