Online Observability of Boolean Control Networks
Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang
TL;DR
This paper introduces online observability for Boolean control networks, providing conditions to determine initial states without resets, and links it to network identifiability.
Contribution
It proposes a new type of observability called online observability and establishes its role in the identifiability of BCNs.
Findings
Provides a necessary and sufficient condition for online observability.
Designs an algorithm to verify online observability.
Shows that identifiability requires controllability and online observability.
Abstract
Observabililty is an important topic of Boolean control networks (BCNs). In this paper, we propose a new type of observability named online observability to present the sufficient and necessary condition of determining the initial states of BCNs, when their initial states cannot be reset. And we design an algorithm to decide whether a BCN has the online observability. Moreover, we prove that a BCN is identifiable iff it satisfies controllability and the online observability, which reveals the essence of identification problem of BCNs.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGene Regulatory Network Analysis · Receptor Mechanisms and Signaling · Formal Methods in Verification