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 …

This study presents a detailed survey on recent development of logical networks and its
applications, including the background of logical networks, the theory of a new matrix …

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 …

This paper presents some results on stability and l 1 gain analysis of Boolean networks with
Markovian jump parameters. A necessary and sufficient condition for global stability of the …

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 paper, the block decoupling of Boolean control networks is investigated via solving
logical matrix equations. First, the definition of block decoupling of Boolean control networks …

Controllability and observability of Boolean control networks (BCNs) are two fundamental
properties. But verification of the latter is much harder than the former. This paper considers …

In this paper, the set reachability and observability of probabilistic Boolean networks (PBNs)
are investigated. Using a parallel extension technique, we proved that the observability …

In this paper, the design of all possible switching signal-dependent state feedback and
output feedback stabilizers for switched Boolean control networks (SBCNs) under arbitrary …

From the new perspective of logical matrix equations, observability of Boolean networks
(BNs) is investigated in this paper. First, it is shown that one BN is locally observable on the …