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.