Observability of switched Boolean control networks using algebraic forms

Abstract

<p style='text-indent:20px;'>This paper addresses the observability of a switched Boolean control network (SBCN) using semi-tensor product (STP) of matrices. First, the observability of the SBCN is determined under desirable switching signals and arbitrary 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 the effectiveness of the given results.