Toward Stabilizable Large-Scale Boolean Networks by Controlling the Minimal Set of Nodes

• Published in: IEEE Transactions on Automatic Control Vol. 69; no. 1; pp. 174 - 188
• Main Authors: Zhu, Shiyong, Cao, Jinde, Lin, Lin, Lam, James, Azuma, Shun-ichi
• Format: Journal Article
• Language: English; Japanese
• Published: New York IEEE 01.01.2024; Institute of Electrical and Electronics Engineers (IEEE); The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Boolean; Boolean functions; Boolean networks (BNs); Computational efficiency; Controllability; Controllers; distributed pinning control; minimal node control; Neurons; Nodes; Observability; Pinning; Stabilization; structural control; Systems biology; Vertex sets
• ISSN: 0018-9286; 2334-3303; 1558-2523
• DOI: 10.1109/TAC.2023.3269321

This article studies structural controllers and distributed pinning controllers for the global stabilization of Boolean networks (BNs) by integrating the information on their network structures. The main contribution is that several computationally efficient procedures are presented to reduce the number of controlled nodes and to determine a minimal set of controlled nodes without using the brute-force searches. The primary objective is to identify a minimal set of nodes that need to be controlled in the structural controllers for the strong structural stabilization of BNs when network structures is available yet nodal dynamics are unknown. To this end, a theorem shows this minimum controlled node problem can be addressed by seeking the minimum feedback vertex set of network structure. The subsequent part concentrates on designing distributed pinning controllers that merely rely on the node-to-node information exchanges for the global stabilization of BNs with the full knowledge of the nodal dynamics. Several sufficient conditions are provided by utilizing the irreducibility and activation-inhibition network structures to reduce the conservatism. Notably, we claim that, for regulatory BNs without positive cycles, the minimal set of pinned nodes can be determined with a linear amount of time subject to the total number of logical operators in the nodal dynamics. Finally, the effectiveness of these results are validated by three case studies.