CAPA: Validated simulation based on Runge-Kutta, constraint programming and application on chaotic systems
- Plats: Ångströmlaboratoriet 64119
- Föreläsare: Julien Alexandre dit Sandretto (ENSTA - ParisTech)
- Kontaktperson: Alejandro Luque
Abstract: In this talk, Julien Alexandre dit Sandretto will present the validated simulation approach based on Runge-Kutta schemes. Validated simulation, used to compute reachable sets or tubes, is the core of the constraint solver DynIbex, which is able to handle differential constraints (and a kind of temporal logic). In the second part of his talk, the formalism of differential constraint satisfaction problem is extended with the use of inclusion tests for sets. This adding leads to improve its soundness and its usability. He will apply it to an example considering constraints on a chaotic system and the synthesis of its initial conditions with respect to a logic formula.