Algorithms for set stabilisation of Boolean control networks

Abstract

This study addresses two algorithms for set stabilisation of Boolean control networks (BCNs). Based on the semi-tensor product tool, the dynamics of BCNs can be characterised by its labelled digraph, which derived an graphical expression for the set stabilisation of BCNs. Then, two tree-search algorithms, namely, generalised breadth-first search and generalised depth-first search, are proposed for the first time to decide the controllers for the set stabilisation of BCNs. In addition, some properties concerning the tree search algorithm are proposed. Finally, an example is employed to show the application of the presented algorithms.