Mathematical modeling of biological processes provides deep insights into complex cellular
systems. While quantitative and continuous models such as differential equations have been …

Using semi-tensor product of matrices, a matrix expression for multivalued logic is proposed,
where a logical variable is expressed as a vector, and a logical function is expressed as a …

A new matrix product, called semi-tensor product of matrices, is reviewed. Using it, a matrix
expression of logic is proposed, where a logical variable is expressed as a vector, a logical …

This technical note presents analytical investigations of reachability and controllability of
Boolean control networks (BCNs) with pinning controllers. Based on semi-tensor product …

This paper is devoted to studying the trajectory and state controllability of Boolean control
networks (BCNs) with time delay. In contrast to BCNs without time delay, the dynamics of …

Disturbance decoupling problem (DDP) of Boolean control networks is considered. Using
semi-tensor product of matrices and the matrix expression of logical functions, a working …

This paper considers the infinite horizon optimal control of logical control networks, including
Boolean control networks as a special case. Using the framework of game theory, the …

Given the complexity and interactive nature of biological systems, constructing informative
and coherent network models of these systems and subsequently developing efficient …

Prior work on the dynamics of Boolean networks, including analysis of the state space
attractors and the basin of attraction of each attractor, has mainly focused on synchronous …

This paper investigates the controllability of Boolean networks with time-invariant delays in
states. After a brief introduction on converting the logic dynamics to discrete time delay …