论文部分内容阅读
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 the definitions of reachability and controllability avoiding undesirable states set have practical meaning.Also,the necessary and sufcient 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. undesirable states set are discussed. reachability and controllability discussed here are under certain constraint and the definitions of reachability and controllability of refugee states in which set has practical meaning .Also, the necessary and sufcient conditions for reachability and controllability are given. At last, the control sequence that steers one state to another is constructed.