DynIBEX: a Differential Constraint Library for Studying Dynamical Systems

Staff - Faculty of Informatics

Start date: 28 October 2016

End date: 29 October 2016

Speaker:	Alexandre Chapoutot
	ENSTA ParisTech, France
Date:	Friday, October 28, 2016
Place:	USI Lugano Campus, room SI-015, Informatics building (Via G. Buffi 13)
Time:	11.30

Abstract:

Interval analysis tools have been used in many techniques and methods to study dynamical systems. Nevertheless, custom homemade libraries are usually developed for these purposes. DynIBEX is a free open-source library combining validated numerical integration methods with a constraint programming library named IBEX. Its purpose is to provide all the basic interval operators which may be used into more complex algorithms for studying dynamical systems.

Biography:

Alexandre Chapoutot is an Associated professor at ENSTA ParisTech since 2010. He received his Ph.D. in Computer Science from Ecole polytechnique in 2008 for his work on static analysis by abstract interpretation of hybrid systems. He received his master degree in Computer Science from University Pierre et Marie Curie (UPMC) in 2005. He worked as a research and teaching assistant at University Pierre et Marie Curie, at LIP6, where he studied the accuracy of floating-point computations in programs. His research activities are mainly focused on the definition and the application of set-based methods, for the analysis and the verification of properties of cyber-physical systems. He is also interested in the analysis and the improvement of floating-point accuracy in programs.

Host:

Prof. Natasha Sharygina