On Minimum Realization of Boolean Control Networks

• 成果类型: Article
• 署名作者: Yu, Yongyuan; Wang, Caixia; Feng, Jun-e; Chen, Ge
• 署名单位: Shandong University; Chinese Academy of Sciences; Academy of Mathematics & System Sciences, CAS; Chinese Academy of Sciences; Academy of Mathematics & System Sciences, CAS
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3349152
• 发表日期: 2024
• 页码: 4094-4101
• 关键词: Boolean control network (BCN); INVARIANTS; minimum realization (MR); observability decomposition

摘要

This article investigates the relationship between realization and observability of Boolean control networks (BCNs) and gives some invariants under minimum realization (MR), such as, decoupling, invertibility, etc. It is proved that the MR of a BCN exists uniquely up to coordinate transformations and a BCN is an MR of itself if and only if it is weakly observable. Based on these, the MR of a given BCN can be constructed. Moreover, the observability decomposition of BCNs is discussed and an equivalent condition is obtained to determine the decomposability, which guarantees the existence and uniqueness of the regular MR (RMR) that is a special type of MR. Then, the RMR of the given BCN can be obtained. Finally, an example is given to show the effectiveness of the obtained results.