Output Trackability of Boolean Control Networks via Ledley Antecedence Solution

The Ledley solution method is applied to analysis and control design of output trackability of Boolean control networks (BCNs) in this brief. By constructing the maximal control invariant set with respect to a defined state set, the output tracking problem is converted into a set stabilization problem and a corresponding condition for verifying solvability is obtained. Then an effective algorithm is provided to design the optimal state feedback controllers. Finally, we give an illustrated example.