Lossless State Compression of Boolean Control Networks

• 成果类型: Article
• 署名作者: Li, Bowen; Lu, Jianquan; Xu, Wenying; Zhong, Jie
• 署名单位: Nanjing University of Posts & Telecommunications; Southeast University - China; Zhejiang Normal University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3351573
• 发表日期: 2024
• 页码: 4166-4173
• 关键词: Protocols; Propagation losses; Biological information theory; Automata; trajectory; telecommunications; encoding; Boolean control networks (BCNs); lossless state compression; semitensor product (STP) of matrices

摘要

In this article, the problem of lossless state compression of Boolean control networks is first investigated. Two compression protocols are introduced, based on which an inequality relation between the smallest compressed state walk and a source state walk is established to search all the eligible compressed state walks. Then, by defining indistinguishable trajectories and utilizing the semitensor product approach, some matrix-based conditions for the solvability of lossless state compression are derived. In order to reduce constraints, the finite-state automaton method is proposed to obtain more applicable solvability conditions. Furthermore, in order to improve the compression ratio, one algorithm is given to construct the minimal recoverable compressed state walk. Finally, some examples are given to illustrate the efficiency of the derived results, in which the compression ratio can reach 33.3%.