Motivation The problem of model inference is of fundamental importance to systems biology.
Logical models (eg Boolean networks; BNs) represent a computationally attractive approach …

The modelling of discrete regulatory networks combines a graph specifying the pairwise
influences between the variables of the system, and a parametrisation from which can be …

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 …

Abstract Analysis of equilibria, their stability and instability, is an unavoidable ingredient of
model analysis in systems biology. In particular, bifurcation analysis which focuses on …

When modelling a complex biological system, the bottleneck of the process is the
determination of parameter values that lead to model dynamics that are compatible with …

Complex behaviour arising in biological systems is described by highly parameterised
dynamical models. Most of the parameters are mutually dependent and therefore it is hard …