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 条
[21]   Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata [J].
Zhang, Kuize ;
Zhang, Lijun .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (09) :2733-2738
[22]   Finite automata approach to observability of switched Boolean control networks [J].
Zhang, Kuize ;
Zhang, Lijun ;
Xie, Lihua .
NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2016, 19 :186-197
[23]   Controllability and observability of switched Boolean control networks [J].
Zhang, L. ;
Feng, J. ;
Yao, J. .
IET CONTROL THEORY AND APPLICATIONS, 2012, 6 (16) :2477-2484
[24]   Controllability and Observability of Boolean Control Networks With Time-Variant Delays in States [J].
Zhang, Lijun ;
Zhang, Kuize .
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2013, 24 (09) :1478-1484
[25]  
Zhao J, 2015, CHIN CONTR CONF, P183, DOI 10.1109/ChiCC.2015.7259635
[26]   Input-state incidence matrix of Boolean control networks and its applications [J].
Zhao, Yin ;
Qi, Hongsheng ;
Cheng, Daizhan .
SYSTEMS & CONTROL LETTERS, 2010, 59 (12) :767-774
[27]   Observability of Boolean control networks [J].
Zhu, Qunxi ;
Liu, Yang ;
Lu, Jianquan ;
Cao, Jinde .
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 61 (09)