OBSERVABILITY OF SWITCHED BOOLEAN CONTROL NETWORKS USING ALGEBRAIC FORMS

摘要

This paper addresses the observability of a switched Boolean con-trol network (SBCN) using semi-tensor product (STP) of matrices. First, theobservability of the SBCN is determined under desirable switching signals andarbitrary switching signals by encoding the switching signal as a boolean input.Then an algorithm is designed for determining the observability. Furthermore,feedback control laws are obtained to guarantee the observability of SBCNs.Examples and corresponding state trajectory graphs are given to illustrate theeectiveness of the given results.