DynIbex
From MaRDI portal
Cited in
(12)- Compositional synthesis of state-dependent switching control
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- ValEncIA-IVP
- IBEX
- ODEIntegrator
- GRKLib
- Acumen
- helperOC
- Lie symmetries applied to interval integration
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Codac
- Actions of the hyperoctahedral group to compute minimal contractors
This page was built for software: DynIbex
