Controllability of Boolean control networks avoiding states set  

作　　者：LI ZhiQiang SONG JinLi 

机构地区：[1]Department of Mathematics and Information Science,Henan University of Economics and Law

出　　处：《Science China(Information Sciences)》2014年第3期258-270,共13页中国科学（信息科学）（英文版）

基　　金：supported by National Natural Science Foundation of China(Grant Nos.61203050,61143002,61104065,61074114);Natural Science Foundation of Educational Commission of Henan Province(Grant Nos.2011B110002,12B110002)

摘　　要：In this paper, using semi-tensor product and the vector form of Boolean logical variables, the Boolean control network （BCN） is expressed as a bilinear discrete time system about state and control variables. Based on the algebraic form, the reachability and controllability avoiding undesirable states set are discussed. The reachability and controllability discussed here are under certain constraint and tile definitions of reachability and controllability avoiding undesirable states set have practical meaning. Also, the necessary and sufficient conditions for reachability and controllability are given. At last, the control sequence that steers one state to another is constructed.In this paper, using semi-tensor product and the vector form of Boolean logical variables, the Boolean control network （BCN） is expressed as a bilinear discrete time system about state and control variables. Based on the algebraic form, the reachability and controllability avoiding undesirable states set are discussed. The reachability and controllability discussed here are under certain constraint and tile definitions of reachability and controllability avoiding undesirable states set have practical meaning. Also, the necessary and sufficient conditions for reachability and controllability are given. At last, the control sequence that steers one state to another is constructed.

关 键 词：REACHABILITY CONTROLLABILITY Boolean control network nonnegative matrices 

分 类 号：TP13[自动化与计算机技术—控制理论与控制工程]