Algorithm 1
From: Sampled-data stabilization of delayed Boolean control networks with state inequality constraints

Construction of the solution set for the state inequality constraint (3).
From: Sampled-data stabilization of delayed Boolean control networks with state inequality constraints
Construction of the solution set for the state inequality constraint (3).