Dynamic modeling of biological systems is essential for understanding all properties of a
given organism as it allows us to look not only at the static picture of an organism but also at …

Boolean networks offer an elegant way to model the behaviour of complex systems with
positive and negative feedback. The long-term behaviour of a Boolean network is …

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 …

Complex dynamics arising in biological systems can be characterised by various kinds of
attractors. To that end, the task of determining attractors becomes important in modern …

Digital bifurcation analysis is a new algorithmic method for exploring how the behaviour of a
parameter-dependent computer system varies with a change in its parameters and, in …

Bifurcation analysis is a central task of the analysis of parameterised highdimensional
dynamical systems that undergo transitions as parameters are changed. To characterise …

In this thesis we introduce a complete framework for modelling and verification of biological
systems in uncertain contexts based on the bond-calculus process algebra and the LBUC …

An attractive challenge for many scientific fields is finding ways to influence systems, so they
behave as desired. In reality, this can be very difficult as there might be many different ways …

We consider the parameter synthesis problem for multi-affine hybrid systems and properties
specified using a hybrid extension of CTL (HCTL). The goal is to determine the sets of …

We propose a novel approach to parameter synthesis for parametrised Kripke structures and
CTL specifications. In our method, we suppose the parametrisations form a semi-algebraic …