Litcius/Paper detail

Redefined Reconstructibility and State Estimation for Boolean Networks

Junqi Yang, Wei Qian, Zhiqiang Li

2020IEEE Transactions on Control of Network Systems23 citationsDOI

Abstract

This article deals with the issues of reconstructibility analysis and state estimation for Boolean networks (BNs). At first, the reconstructibility of BNs is redefined where the concepts of globally reconstructible, locally reconstructible, and unreconstructible are proposed, which determines whether the state observer exists for a given BN or not. After that, for a reconstructible BN, a state observer is proposed to uniquely estimate the system state online in finite time steps. Then, an algorithm is provided to summarize the design process of the observer. Based on the proposed state estimation method, a kind of special algorithm is presented to determine the reconstructiblity of BNs, which can be implemented offline and guarantee the existence of state observers. Finally, examples are given to illustrate the effectiveness of the proposed methods.

Topics & Concepts

State (computer science)Observer (physics)Computer scienceProcess (computing)Boolean functionFinite-state machineAlgorithmMathematicsTheoretical computer scienceQuantum mechanicsOperating systemPhysicsGene Regulatory Network AnalysisReceptor Mechanisms and SignalingFormal Methods in Verification
Redefined Reconstructibility and State Estimation for Boolean Networks | Litcius