Observability of Boolean networks via matrix equations

被引:63
作者
Yu, Yongyuan [1 ,3 ]
Meng, Min [2 ]
Feng, Jun-e [1 ]
机构
[1] Shandong Univ, Sch Math, Jinan 250100, Shandong, Peoples R China
[2] Nanyang Technol Univ, Sch Elect & Elect Engn, Singapore 639798, Singapore
[3] Chinese Acad Sci, Acad Math & Syst Sci, Inst Syst Sci, Beijing 100190, Peoples R China
基金
中国国家自然科学基金;
关键词
Boolean network; Matrix equation; Observability; Semi-tensor product of matrices; CONTROLLABILITY;
D O I
10.1016/j.automatica.2019.108621
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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. (C) 2019 Elsevier Ltd. All rights reserved.
引用
收藏
页数:5
相关论文
共 27 条
[1]   Control of Boolean networks: Hardness results and algorithms for tree structured networks [J].
Akutsu, Tatsuya ;
Hayashida, Morihiro ;
Ching, Wai-Ki ;
Ng, Michael K. .
JOURNAL OF THEORETICAL BIOLOGY, 2007, 244 (04) :670-679
[2]   The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster [J].
Albert, R ;
Othmer, HG .
JOURNAL OF THEORETICAL BIOLOGY, 2003, 223 (01) :1-18
[3]   Observability of Boolean networks via set controllability approach [J].
Cheng, Daizhan ;
Li, Changxi ;
He, Fenghua .
SYSTEMS & CONTROL LETTERS, 2018, 115 :22-25
[4]   A note on observability of Boolean control networks [J].
Cheng, Daizhan ;
Qi, Hongsheng ;
Liu, Ting ;
Wang, Yuanhua .
SYSTEMS & CONTROL LETTERS, 2016, 87 :76-82
[5]   A Linear Representation of Dynamics of Boolean Networks [J].
Cheng, Daizhan ;
Qi, Hongsheng .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (10) :2251-2258
[6]   Controllability and observability of Boolean control networks [J].
Cheng, Daizhan ;
Qi, Hongsheng .
AUTOMATICA, 2009, 45 (07) :1659-1667
[7]   Scalar equations for synchronous Boolean networks with biological applications [J].
Farrow, C ;
Heidel, J ;
Maloney, J ;
Rogers, J .
IEEE TRANSACTIONS ON NEURAL NETWORKS, 2004, 15 (02) :348-354
[8]   Observability, Reconstructibility and State Observers of Boolean Control Networks [J].
Fornasini, Ettore ;
Valcher, Maria Elena .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (06) :1390-1401
[9]   Observability of Boolean Control Networks Using Parallel Extension and Set Reachability [J].
Guo, Yuqian .
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2018, 29 (12) :6402-6408
[10]   METABOLIC STABILITY AND EPIGENESIS IN RANDOMLY CONSTRUCTED GENETIC NETS [J].
KAUFFMAN, SA .
JOURNAL OF THEORETICAL BIOLOGY, 1969, 22 (03) :437-&