Abstract: We propose Lyapunov functions for the set stability of Boolean networks (BNs) and control Lyapunov functions for the feedback set stabilization and the synchronization of Boolean control ...