Reachability analysis is the core building block of feasibility: if the target state is not in the reachable set, the decision is infeasible. ARIAA runs reachability analysis via Monte Carlo, adaptive mesh refinement, or GPU-accelerated kernels depending on state-space dimensionality.
Related
- Viability Kernel — The set of states from which a viable trajectory exists — i.e. from which the system can be kept inside a constraint envelope forever.
- Monte Carlo Reachability — Sampling-based reachability analysis for high-dimensional state spaces where grid-based methods are intractable.