Litcius/Paper detail

Criteria for Observability and Reconstructibility of Boolean Control Networks via Set Controllability

Xiao Zhang, Min Meng, Yuanhua Wang, Daizhan Cheng

2020IEEE Transactions on Circuits & Systems II Express Briefs23 citationsDOI

Abstract

This brief focuses on observability and recontructibility of Boolean control networks (BCNs) via the semi-tensor product of matrices. To solve the problems, for a given BCN, an augmented BCN is constructed. By partitioning the state-space of the augmented BCN, observability and recontructibility of the given BCN are equivalently converted to set controllability of the augmented BCN. Using the set controllability approach, criteria for observability and recontructibility of BCNs are obtained respectively. Compared with the existing results, the criteria proposed in this brief are easy to check. The effectiveness of the results is verified both theoretically through mathematical derivations and practically by an illustrative example.

Topics & Concepts

ObservabilityControllabilitySet (abstract data type)Product (mathematics)Computer scienceState (computer science)Control (management)State spaceNetwork controllabilitySpace (punctuation)MathematicsAlgorithmApplied mathematicsArtificial intelligenceCombinatoricsBetweenness centralityGeometryOperating systemCentralityProgramming languageStatisticsGene Regulatory Network AnalysisFormal Methods in VerificationReceptor Mechanisms and Signaling