Jan 19, 2016: Rom Langerak: Arbitrary precision discretisation of continuous dynamical systems using UPPAAL

January 19, 2016Arbitrary precision discretisation of continuous dynamical systems using UPPAAL
Room: HB 2FRom Langerak
12:30-13:30

Discretising a continuous system is a prerequisite to being able to use model checking, thereby enhancing analysis techniques above mere simulation. This problem is especially interesting for us in the context of developing ANIMO, a tool for modelling and analysing kinase pathways in biological cells.

We show how naive discretisation may lead to spurious behaviour. We discuss an approach from the literature to solve this. We then discuss our solution, based on an adaptation of the standard Euler approach to make it suitable for UPPAAL. This is all work in progress, so the presentation will be rather informal...