Survey on applications of algebraic state space theory of logical systems to finite state machines

Y Yan, D Cheng, JE Feng, H Li, J Yue - Science China Information …, 2023 - Springer
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 …

Control principles of complex systems

YY Liu, AL Barabási - Reviews of Modern Physics, 2016 - APS
A reflection of our ultimate understanding of a complex system is our ability to control its
behavior. Typically, control has multiple prerequisites: it requires an accurate map of the …

Image encryption algorithm for synchronously updating Boolean networks based on matrix semi-tensor product theory

X Wang, S Gao - Information sciences, 2020 - Elsevier
This paper studies chaotic image encryption technology and an application of matrix semi-
tensor product theory, and a Boolean network encryption algorithm for a synchronous …

Strong structural controllability of Boolean networks: Polynomial-time criteria, minimal node control, and distributed pinning strategies

S Zhu, J Lu, S Azuma, WX Zheng - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
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 …

Toward stabilizable large-scale Boolean networks by controlling the minimal set of nodes

S Zhu, J Cao, L Lin, J Lam… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
This article studies structural controllers and distributed pinning controllers for the global
stabilization of Boolean networks (BNs) by integrating the information on their network …

Logical dynamic games: Models, equilibria, and potentials

C Li, A Li, Y Wu, L Wang - IEEE Transactions on Automatic …, 2024 - ieeexplore.ieee.org
Logical dynamic games (LDGs) are a class of dynamic games that incorporate logical
dynamics to describe the evolution of external states. Such games can be found in a wide …

Survey on semi‐tensor product method with its applications in logical networks and other finite‐valued systems

J Lu, H Li, Y Liu, F Li - IET Control Theory & Applications, 2017 - Wiley Online Library
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 …

Modeling, analysis and control of networked evolutionary games

D Cheng, F He, H Qi, T Xu - IEEE Transactions on Automatic …, 2015 - ieeexplore.ieee.org
Consider a networked evolutionary game (NEG). According to its strategy updating rule, a
fundamental evolutionary equation (FEE) for each node is proposed, which is based on …

A linear representation of dynamics of Boolean networks

D Cheng, H Qi - IEEE Transactions on Automatic Control, 2010 - ieeexplore.ieee.org
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 …

Set stability and set stabilization of Boolean control networks based on invariant subsets

Y Guo, P Wang, W Gui, C Yang - Automatica, 2015 - Elsevier
This study addresses the set stability of Boolean networks (BNs) and set stabilization of
Boolean control networks (BCNs). Set stability determines whether a BN converges to a …