We prove a robust converse barrier function theorem via the converse Lyapunov theory. While the use of a Lyapunov function as a barrier function is straightforward, the existence of a converse ...

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 networks ...