2024/12/24 by Tiantian Mu, Mu, Tiantian, Jun‐e Feng +3
Biochemistry, Genetics and Molecular Biology · Computer Science · #Computational Drug Discovery Methods #FOS: Mathematics #Gene Regulatory Network Analysis #Optimization and Control (math.OC) #Receptor Mechanisms and Signaling
paper · pdf · doi:10.48550/arxiv.2412.18137
openalex publication_date 2024/12/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper exploits bisimulation relations, generated by extracting the concept of morphisms between algebraic structures, to analyze set stabilization of Boolean control networks with lower complexity. First, for two kinds of bisimulation relations, called as weak bisimulation and strong bisimulation relations, a novel verification method is provided by constructing the bisimulation matrices. Then the comparison for set stabilization of BCNs via two kinds of bisimulation methods is presented, which involves the dimensionality of quotient systems and dependency of the control laws on the original system. Moreover, the proposed method is also applied to the analysis of probabilistic Boolean control networks to establish the unified analysis framework of bisimulations. Finally, the validity of the obtained results is verified by the practical example.