Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata

doi:10.1109/TAC.2015.2501365

CSpace

	Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
	Zhang, Kuize 1,2; Zhang, Lijun 1,3
	2016-09-01
发表期刊	IEEE TRANSACTIONS ON AUTOMATIC CONTROL
ISSN	0018-9286
卷号	61 期号:9 页码:2733-2738
摘要	The problem on how to determine the observability of Boolean control networks (BCNs) has been open for five years already. In this technical note, we propose a unified approach to determine all the four types of observability of BCNs in the literature. We define the concept of weighted pair graphs for BCNs. In the sense of each observability, we use the so-called weighted pair graph to transform a BCN to a finite automaton, and then we use the automaton to determine observability. In particular, the two types of observability that rely on initial states and inputs in the literature are determined. Finally, we show that no pairs of the four types of observability are equivalent, which reveals the essence of nonlinearity of BCNs.
关键词	Boolean control network finite automaton formal language observability semi-tensor product of matrices weighted pair graph
DOI	10.1109/TAC.2015.2501365
语种	英语
资助项目	National Natural Science Foundation of China[61573288] ; Program for New Century Excellent Talents in University of Ministry of Education of China
WOS研究方向	Automation & Control Systems ; Engineering
WOS类目	Automation & Control Systems ; Engineering, Electrical & Electronic
WOS记录号	WOS:000382686800049
出版者	IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/23612
专题	中国科学院数学与系统科学研究院
通讯作者	Zhang, Kuize
作者单位	1.Harbin Engn Univ, Coll Automat, Harbin 150001, Peoples R China 2.Chinese Acad Sci, Inst Syst Sci, Beijing 100190, Peoples R China 3.Northwestern Polytech Univ, Sch Marine Sci & Technol, Xian 710072, Peoples R China
推荐引用方式 GB/T 7714	Zhang, Kuize,Zhang, Lijun. Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL,2016,61(9):2733-2738.
APA	Zhang, Kuize,&Zhang, Lijun.(2016).Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata.IEEE TRANSACTIONS ON AUTOMATIC CONTROL,61(9),2733-2738.
MLA	Zhang, Kuize,et al."Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata".IEEE TRANSACTIONS ON AUTOMATIC CONTROL 61.9(2016):2733-2738.