Finite automata approach to observability of switched Boolean control networks
文献类型：期刊论文
| 作者 | Zhang, Kuize1,2; Zhang, Lijun1,3; Xie, Lihua4 |
| 刊名 | NONLINEAR ANALYSIS-HYBRID SYSTEMS
 |
| 出版日期 | 2016-02-01 |
| 卷号 | 19页码:186-197 |
| 关键词 | Switched Boolean control network Observability Weighted pair graph Finite automaton Formal language Semi-tensor product of matrices |
| ISSN号 | 1751-570X |
| DOI | 10.1016/j.nahs.2015.10.002 |
| 英文摘要 | 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. |
| 资助项目 | 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记录号 | WOS:000372209100013 |
| 出版者 | ELSEVIER SCI LTD |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/22281]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 通讯作者 | 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. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。