Student: Samuel Pastva
Supervisor: Luboš Brim
Big Picture: Systems Biology
Discrete Bifurcation Analysis using Behaviour Patterns
Custom hybrid temporal logic HUCTL
Parameter Synthesis Problem
How parameters effect the presence of patterns?
Given a HUCTL pattern P (specification) and a parametrised model M, find parameter values for which P is present in M (M satisfies P)
Algorithm
Architecture
Implementation
Pithya: Parameter Investigation Tool
Kotlin on JVM, R Shiny server, Gradle, ANTLR, Z3, Reactive Streams on backend and frontend, Test coverage 80%+
Case study
Model: Two dimensional repressilator (discretization of an ODE model)
Behaviour: One vs. Two terminal strongly connected components
Conclusions
By Samuel Pastva