Lian is a next-generation, high-precision program analysis framework designed for multi-language environments. It aims to deliver unified and powerful program analysis capabilities across diverse ...
Abstract: Random Boolean Network (RBN) is a type of regulatory network in which the nodes have Boolean values representing their states. The robustness of RBNs against perturbations is a crucial ...
Abstract: This paper investigates set stabilization and robust set stabilization of periodically time-varying Boolean control networks (PTVBCNs) by combining state-flipping mechanism and state ...