Bifurcation analysis is a central task of the analysis of parameterised high-dimensional
dynamical systems that undergo transitions as parameters are changed. The classical …

We propose a novel scalable parallel algorithm for synthesis of interdependent parameters
from CTL specifications for non-linear dynamical systems. The method employs a symbolic …

Complex behaviour arising in biological systems is typically characterised by various kinds
of attractors. An important problem in this area is to determine these attractors. Biological …

In our previous work, we designed and implemented a synthetic metabolic pathway for 1, 2,
3-trichloropropane (TCP) biodegradation in Escherichia coli. Significant effects of metabolic …

We present a novel tool for parameter synthesis of piecewise multi-affine dynamical systems
from specifications expressed in a hybrid branching-time temporal logic. The tool is based …

Parametrised models of dynamical systems arise in various areas of science. In this work,
we focus on models described as parametrised Kripke structures with properties formulated …

Formal verification techniques together with other computer science formal methods have
been recently tailored for applications to biological and biomedical systems. In contrast to …

Using a probabilistic reachability-based approach, we present a multi-parameter bifurcation
analysis of electrical alternans in the two-current Mitchell–Schaeffer (MS) cardiac-cell model …

Signalling pathways provide a complex cellular information processing machinery that
evaluates particular input stimuli and transfers them into the genome by means of regulation …

We present a bifurcation analysis of electrical alternans in the two-current Mitchell-Schaeffer
(MS) cardiac-cell model using the theory of δ-decidability over the reals. Electrical alternans …