2019/03/18 by Guisen Wu, Wu, Guisen, Liyun Dai +7
Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · #Applied mathematics #Artificial intelligence #Business #Computer science #Control (management) #Controllability #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Identification (biology) #Mathematics #Observability #Receptor Mechanisms and Signaling #Reset (finance) #Systems and Control (eess.SY) #Theoretical computer science #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.1903.07462
openalex publication_date 2019/03/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/05
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.