Reachability and controllability of time-variant k-valued logical control network and finite memories k-valued logical control network

This paper investigates the reachability and controllability of time-variant k-valued logical control network and finite memories k-valued logical control network. For time-variant k-valued logical control network, the semi-tensor product(STP) is used to represent it. The necessary and sufficient condition for its controllability and the control method are given. For the finite memories k-valued logical control network, we transformed it into time-variant k-valued logical control network and also give the necessary and sufficient condition for its controllability and the control method. Examples are also given to illustrate the efficiency of the method.