Stabilization of Delayed Boolean Control Networks via Ledley Antecedence Solution

In this paper, we investigate the stabilization of Boolean control networks (BCNs) with time delay both in states and inputs. A necessary and sufficient condition to detect stabilization of BCNs with time delay is obtained using ledley antecedence solution. Moreover, a simple algorithm to design all valid state feedback controllers via Ledly antecedence solution is also given. In the end, an illustrative example is given to support our new results.