Algebraic state space theory (ASST) of logical systems, developed based on the semi-tensor
product (STP) which is a new matrix analysis tool built in recent ten years, provides an …

Semi-tensor product (STP) of matrices has attracted more and more attention from both
control theory and engineering in the last two decades. This paper presents a …

In this article, we initiate the strong structural controllability of Boolean networks (BNs), in
order to cope with the difficulty of identifying intricate nodal dynamics. The derived …

This article investigates the observability of Markovian jump Boolean networks (MJBNs) via
algebraic state space representation approach. A necessary and sufficient criterion in the …

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

In this paper, we address the optimal control problem for Boolean control networks (BCNs).
We first consider the problem of finding the input sequences that minimize a given cost …

A linear system, called the potential equation (PE), is presented. It is proved that a finite
game is potential if and only if its potential equation has solution. Some properties of the …

In this article, we initiate an important class of vertex-marked directed graphs, referred to as
the strong structurally observable graphs (SSOGs), to be the fundamental structural …

Boolean networks (BNs) are discrete-time dynamical systems with Boolean state-variables
and outputs. BNs are recently attracting considerable interest as computational models for …

In this study, the minimum observability of Boolean networks (BNs) is investigated by using
the semi-tensor product (STP) of matrices. First, a new system based on the considered BN …