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

doi:10.1109/TAC.2015.2501365

	Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
	Zhang, Kuize 1,2; Zhang, Lijun 1,3
刊名	IEEE TRANSACTIONS ON AUTOMATIC CONTROL
	2016-09-01
卷号	61 期号:9 页码:2733-2738
关键词	Boolean control network finite automaton formal language observability semi-tensor product of matrices weighted pair graph
ISSN号	0018-9286
DOI	10.1109/TAC.2015.2501365
英文摘要	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.
资助项目	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
语种	英语
出版者	IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
WOS记录号	WOS:000382686800049
内容类型	期刊论文
源URL	[http://ir.amss.ac.cn/handle/2S8OKBNM/23611]
专题	中国科学院数学与系统科学研究院
通讯作者	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.