mixed-monotonicity

Star

Here are 2 public repositories matching this topic...

ab-sayed / Mixed-Monotonicity-Reachability-Analysis-of-neural-ODE

Star

Code for paper "Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency"

reachability-analysis neural-ordinary-differential-equations mixed-monotonicity interval-reachability-analysis

Updated Oct 27, 2025
MATLAB

evannsmc / rtd-rax

Star

RTD-RAX: fast, safe trajectory planning for systems under unknown disturbances. Uses mixed-monotone reachability to certify and repair planned trajectories online, extending Reachability-based Trajectory Design with runtime safety assurance that handles real-world uncertainty.

research autonomous-driving nonlinear-dynamics optimal-control rtd real-time-systems georgia-tech trajectory-planning disturbance reachability-analysis jax safe-planning disturbances mixed-monotonicity evannsmc immrax uncertain-dynamics

Updated May 30, 2026
Python

Add this topic to your repo

To associate your repository with the mixed-monotonicity topic, visit your repo's landing page and select "manage topics."

Learn more