Observability of Boolean networks via matrix equations. (January 2020)

• Record Type: Journal Article
• Authors: Yu, Yongyuan; Meng, Min; Feng, Jun-e
• Is Part Of: Automatica. Volume 111(2020)
• Publication Date: 2020-01
• Subjects: Boolean network -- Matrix equation -- Observability -- Semi-tensor product of matrices; Automatic control -- Periodicals; Automation -- Periodicals; 629.805
• DOI: 10.1016/j.automatica.2019.108621
• Languages: English
• ISSNs: 0005-1098

Abstract

Abstract: From the new perspective of logical matrix equations, observability of Boolean networks (BNs) is investigated in this paper. First, it is shown that one BN is locally observable on the set of reachable states if and only if the constructed matrix equations have a unique canonical solution. Then, combining with an equivalence relation, a novel condition is established to verify global observability. Finally, an example is worked out to illustrate the obtained results.