DynIbex

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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. 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)
  2. Le Coënt, Adrien; Fribourg, Laurent; Markey, Nicolas; De Vuyst, Florian; Chamoin, Ludovic: Compositional synthesis of state-dependent switching control (2018)