Stabilizability analysis and switching signals design of switched Boolean networks. (November 2018)