DynIbex is a plug-in of Ibex library which is a library for constraint processing over real numbers. DynIbex offers a set of validated numerical integration methods based on Runge-Kutta schemes to solve initial value problem of ordinary differential equations and for DAE in Hessenberg index 1 form.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Le Coënt, Adrien; Alexandre dit Sandretto, Julien; Chapoutot, Alexandre; Fribourg, Laurent: An improved algorithm for the control synthesis of nonlinear sampled switched systems (2018)
- Le Coënt, Adrien; Fribourg, Laurent; Markey, Nicolas; De Vuyst, Florian; Chamoin, Ludovic: Compositional synthesis of state-dependent switching control (2018)