Reachability and controllability of mix-valued control networks

In this paper, the reachability and controllability of mix-valued logical control systems are discussed. Using semitensor product and the vector form of multi-valued logical variables, the mix-valued logical control system is expressed as a bilinear discrete time system with respect to the state and control variables. The definitions of reachability and controllability for a mix-valued logical control network are introduced. Also, the necessary and sufficient conditions are obtained for testing the reachability and controllability.