Finite automata approach to observability of switched Boolean control networks

doi:10.1016/j.nahs.2015.10.002

CSpace

	Finite automata approach to observability of switched Boolean control networks
	Zhang, Kuize 1,2; Zhang, Lijun 1,3; Xie, Lihua 4
	2016-02-01
发表期刊	NONLINEAR ANALYSIS-HYBRID SYSTEMS
ISSN	1751-570X
卷号	19 页码:186-197
摘要	In this paper, the observability of switched Boolean control networks (SBCNs) is determined. First, a new concept of weighted pair graphs for SBCNs is defined. Second, the weighted pair graph is used to transform an SBCN into a deterministic finite automaton (DFA). Lastly, the observability of the SBCN is determined by testing the completeness of the DFA. Based on these results, algorithms for determining the observability and the initial state are designed. The computational complexity of this algorithm is doubly exponential in the number of nodes of SBCNs. Furthermore, more effective sufficient or necessary conditions for the observability of SBCNs are obtained directly from weighted pair graphs. The computational complexity of these conditions is exponential in the number of nodes of SBCNs. (C) 2015 Elsevier Ltd. All rights reserved.
关键词	Switched Boolean control network Observability Weighted pair graph Finite automaton Formal language Semi-tensor product of matrices
DOI	10.1016/j.nahs.2015.10.002
语种	英语
资助项目	Fundamental Research Funds for the Central Universities[HEUCFX41501] ; Key Laboratory of Systems and Control, Chinese Academy of Sciences ; National Natural Science Foundation of China[61573288] ; Program for New Century Excellent Talents in University of Ministry of Education of China ; Basic Research Foundation of Northwestern Polytechnical University[JC201230] ; Singapore-MIT Alliance for Science and Technology ; National Research Foundation of Singapore[NRF2011NRF-CRP001-090] ; National Research Foundation of Singapore[NRF2013EWT-EIRP004-012] ; Natural Science Foundation of China[NSFC 61120106011]
WOS研究方向	Automation & Control Systems ; Mathematics
WOS类目	Automation & Control Systems ; Mathematics, Applied
WOS记录号	WOS:000372209100013
出版者	ELSEVIER SCI LTD
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/22282
专题	中国科学院数学与系统科学研究院
通讯作者	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 4.Nanyang Technol Univ, Sch Elect & Elect Engn, Singapore 639798, Singapore
推荐引用方式 GB/T 7714	Zhang, Kuize,Zhang, Lijun,Xie, Lihua. Finite automata approach to observability of switched Boolean control networks[J]. NONLINEAR ANALYSIS-HYBRID SYSTEMS,2016,19:186-197.
APA	Zhang, Kuize,Zhang, Lijun,&Xie, Lihua.(2016).Finite automata approach to observability of switched Boolean control networks.NONLINEAR ANALYSIS-HYBRID SYSTEMS,19,186-197.
MLA	Zhang, Kuize,et al."Finite automata approach to observability of switched Boolean control networks".NONLINEAR ANALYSIS-HYBRID SYSTEMS 19(2016):186-197.