Boolean networks (BNs) are a well-accepted modelling formalism in computational systems
biology. Nevertheless, modellers often cannot identify only a single BN that matches the …

In this article, the fault detectability problem is addressed for the asynchronous delayed
Boolean control networks (ADBCNs) with sampled-data control (SDC) scheme, which is …

Abstract Partially specified Boolean networks (PSBNs) represent a promising framework for
the qualitative modelling of biological systems in which the logic of interactions is not …

We present a framework called the Reasoning Engine, which implements Satisfiability
Modulo Theories (SMT)-based methods within a unified computational environment to …

Regulatory networks (RNs) are a well-accepted modelling formalism in computational
systems biology. The control of RNs is currently receiving a lot of attention because it …

This paper presents a generator for creating pa-rameterized multi-value logic models. It can
be challenging to precisely capture the behavior of a biological system and translate it into a …

Understanding control mechanisms in biological processes plays a crucial role in the
development of potential applications in the fields of bioengineering and medicine. The …

As a generalization of other notions like cellular automata or Kauffman networks appeared
in the last quarter of the twentieth century, the notion of Boolean networks has undergone a …

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 …

Due to the lack of parametrised models, this thesis presents a tool for their generation. The
first chapter explains essential theory of parametrised Boolean networks, introduces tool …