swMATH33002MaRDI QIDQ44713FDOQ44713
Author name not available (Why is that?)
Official website: https://perso.ensta-paris.fr/~chapoutot/dynibex/
Cited In (12)
- Compositional synthesis of state-dependent switching control
- Codac
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- ValEncIA-IVP
- IBEX
- ODEIntegrator
- GRKLib
- Lie symmetries applied to interval integration
- Acumen
- helperOC
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Actions of the hyperoctahedral group to compute minimal contractors
This page was built for software: DynIbex
