DynIbex

MaRDI QIDQ44713swMATHFDO

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

Cited in

(12)

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

This page was built for software: DynIbex