In this paper, we propose an approach to design state observer for Boolean control networks (BCNs) by applying the semi-tensor product (STP). At first, the relationship between observability and reconstructibility is studied. Then explicit and recursive methods are proposed to check reconstructibility. After that for reconstructible BCN an approach for observer design is given. The Luenberger-like observer is introduced to facilitate an online implementation, which converges within the minimal reconstructibility index. Finally, illustrative examples are given to show the proposed approaches.
['Zhihua Zhang', 'Thomas Leifeld', 'Ping Zhang']
Observer design for Boolean control networks