AEON: attractor bifurcation analysis of parametrised Boolean networks
Boolean networks (BNs) provide an effective modelling tool for various phenomena from
science and engineering. Any long-term behaviour of a BN eventually converges to a so …
science and engineering. Any long-term behaviour of a BN eventually converges to a so …
Formal analysis of qualitative long-term behaviour in parametrised boolean networks
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 …
positive and negative feedback. The long-term behaviour of a Boolean network is …
Approximate Constrained Lumping of Polynomial Differential Equations
A Leguizamon-Robayo, A Jiménez-Pastor… - … Methods in Systems …, 2023 - Springer
In life sciences, deriving insights from dynamic models can be challenging due to the large
number of state variables involved. To address this, model reduction techniques can be …
number of state variables involved. To address this, model reduction techniques can be …
Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway
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 …
3-trichloropropane (TCP) biodegradation in Escherichia coli. Significant effects of metabolic …
BDD-based algorithm for SCC decomposition of edge-coloured graphs
Edge-coloured directed graphs provide an essential structure for modelling and analysis of
complex systems arising in many scientific disciplines (eg feature-oriented systems, gene …
complex systems arising in many scientific disciplines (eg feature-oriented systems, gene …
Symbolic coloured SCC decomposition
Problems arising in many scientific disciplines are often modelled using edge-coloured
directed graphs. These can be enormous in the number of both vertices and colours. Given …
directed graphs. These can be enormous in the number of both vertices and colours. Given …
Fully automated attractor analysis of cyanobacteria models
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 …
attractors. To that end, the task of determining attractors becomes important in modern …
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT
Formal analysis of non-linear continuous and hybrid systems is a hot topic. A common
approach builds on computing a suitable finite discrete abstraction of the continuous system …
approach builds on computing a suitable finite discrete abstraction of the continuous system …
Digital Bifurcation Analysis of Internet Congestion Control Protocols
Digital bifurcation analysis is a new algorithmic method for exploring how the behavior of a
parameter-dependent discrete system varies with a change in its parameters and, in …
parameter-dependent discrete system varies with a change in its parameters and, in …
Digital bifurcation analysis of TCP dynamics
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 …
parameter-dependent computer system varies with a change in its parameters and, in …