State feedback stabilization for Boolean control networks is investigated in this technical
note. Based on the algebraic representation of logical dynamics in terms of the semi-tensor …

Boolean control networks (BCNs) are recently attracting considerable interest as
computational models for genetic and cellular networks. Addressing control-theoretic …

This paper addresses the problem of finding attractors in synchronous Boolean networks.
The existing Boolean decision diagram-based algorithms have limited capacity due to the …

The study of network structure has uncovered signatures of the organization of complex
systems. However, there is also a need to understand how to control them; for example …

We present an algorithm, called BioLab, for verifying temporal properties of rule-based
models of cellular signalling networks. BioLab models are encoded in the BioNetGen …

In the present paper, we investigate the output-controllability and optimal output control
problems of a state-dependent switched Boolean control network. By using the semi-tensor …

This article provides an overview of how three branches of science, namely Systems
Biology, Synthetic Biology and Control Theory might be interlaced to help solve relevant …

Control of gene regulatory networks is one of the fundamental topics in systems biology. In
the last decade, control theory of Boolean networks (BNs), which is well known as a model …

The Boolean network (BN) is a mathematical model of genetic networks and is based on
Boolean functions. Boolean functions are functions on the Boolean domain that consists of …

Boolean networks are currently receiving considerable attention as a computational scheme
for system level analysis and modeling of biological systems. Studying control-related …