Output controllability and observability of mix-valued logic control networks

This paper focuses on output controllability and observability of mix-valued logic control networks (MLCNs), of which the updating of outputs is determined by both inputs and states via logical rules. First, as for output controllability, the number of different control sequences are derived to steer a MLCN from a given initial state to a destination output in a given number of time steps via semi-tensor product method. By construsting the output controllability matrix, criteria for the output controllability are obtained. Second, to solve the problem of observability, we construct an augmented MLCN with the same transition matrix, and use the set controllability approach to determine the observability of MLCNs. Finally, a hydrogeological example is presented to verify the obtained results.