文献类型：期刊文献

英文题名：Reconstructibility analysis and set-observer design for Boolean control networks

作者：Yang, Junqi[1];Long, Hao[1];Chen, Yantao[1];Li, Zhiqiang[2]

第一作者：Yang, Junqi

通讯作者：Yang, JQ[1]

机构：[1]Henan Polytech Univ, Sch Elect Engn & Automation, Henan Key Lab Intelligent Detect & Control Coal Mi, Jiaozuo 454003, Peoples R China;[2]Henan Univ Econ & Law, Sch Math & Informat Sci, Zhengzhou, Peoples R China

第一机构：Henan Polytech Univ, Sch Elect Engn & Automation, Henan Key Lab Intelligent Detect & Control Coal Mi, Jiaozuo 454003, Peoples R China

通讯机构：[1]corresponding author), Henan Polytech Univ, Sch Elect Engn & Automation, Henan Key Lab Intelligent Detect & Control Coal Mi, Jiaozuo 454003, Peoples R China.

年份：0

外文期刊名：ASIAN JOURNAL OF CONTROL

收录：;EI(收录号：20224813173426);Scopus(收录号：2-s2.0-85142652703);WOS:【SCI-EXPANDED(收录号:WOS:000889192000001)】；

基金：Fundamental Research Funds for the Universities of Henan Province, Grant/Award Number: NSFRF180335; National Nature Science Foundation of China, Grant/Award Number: 61973105 and 62273133

语种：英文

外文关键词：Boolean control networks; reconstructibility; set-observer; semi-tensor product of matrices

摘要：This paper deals with the issues of reconstructibility analysis and set-observer design for Boolean control networks (BCNs). A state estimation set is considered to find the state estimation of BCNs, and a reconstructibility judgment matrix (RJM) is obtained by compact vector of state estimation set. Then, a kind of state-reconstructible tree is constructed, and algorithms are also provided to construct it. The state-reconstructible tree can categorize BCNs to be globally reconstructible, locally reconstructible, and unreconstructible. The sufficient and necessary conditions for the reconstructibility of BCNs are given. Meanwhile, the relationship between input-output trajectory and estimated state is derived. Next, with the knowledge of input-output sequence, a set-observer is designed such that the state of BCNs for any global reconstructible BCNs is uniquely determined in a finite time. Some examples are also given to illustrate the effectiveness of the proposed methods.