Validated solution of ordinary differential equations

Kristjan Liiva

School of Informatics
University of Edinburgh

Monday, 16 November 2015, 16:30 (note the unusual weekday and time)
Cybernetica Bldg (Akadeemia tee 21), room B126

Abstract: Validated integration is an alternative way to solve ordinary differential equations. It has some characteristics that make it more appealing than traditional methods (including guarantees about the true solution and the ability to being able to handle uncertainty in input and system itself). This motivated our interest in looking at validated methods in the setting of applying formal methods to reasoning about biological systems.

In this talk we'll give an overview of validated integration and briefly describe ways of doing it. We will also talk about some of the experiments we have done and speculate why it performs surprisingly poorly in the general setting and possible ways to overcome those difficulties.

Tarmo Uustalu
Last update 15 November 2015