On Connections Between Invariant Subspace and Quotient Approaches for Analysis and Control of Boolean Networks

• 成果类型: Article
• 署名作者: Li, Rui; Zhao, Nan; Zhang, Qi; Chu, Tianguang
• 署名单位: Dalian University of Technology; University of International Business & Economics; Peking University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3301816
• 发表日期: 2024
• 页码: 1944-1951
• 关键词: Boolean network (BN); dual network; invariant subspace; minimal realization; quotient system; stabilization; equivalence relation

摘要

In this article, we prove new connections between two frameworks for analysis and control of Boolean networks: the invariant subspace framework and the quotient framework. Each method, in different ways, produces a smaller model but preserves enough information about the original network. We make precise the connection between models reduced by the two methods. The results show equivalence between invariant subspace and quotient approaches for wide classes of analysis and control problems.