DynIbex

swMATH33002MaRDI QIDQ44713FDOQ44713

Official website https://perso.ensta-paris.fr/~chapoutot/dynibex/

Cited in

(12)

• Actions of the hyperoctahedral group to compute minimal contractors
• An improved algorithm for the control synthesis of nonlinear sampled switched systems
• Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
• Codac
• Compositional synthesis of state-dependent switching control
• ValEncIA-IVP
• IBEX
• ODEIntegrator
• GRKLib
• Acumen
• helperOC
• Lie symmetries applied to interval integration

This page was built for software: DynIbex