文献类型：会议论文

英文题名：Necessary and Sufficient Condition for Observability of Boolean Control Networks

作者：Li, Zhiqiang[1];Xiao, Huimin[1]

第一作者：李志强

通讯作者：Li, ZQ[1]

机构：[1]Henan Univ Econ & Law, Dept Math & Informat Sci, Zhengzhou 450002, Peoples R China

第一机构：河南财经政法大学数学与信息科学学院

通讯机构：[1]corresponding author), Henan Univ Econ & Law, Dept Math & Informat Sci, Zhengzhou 450002, Peoples R China.|[1048425]河南财经政法大学数学与信息科学学院;[10484]河南财经政法大学;

会议论文集：25th Chinese Control and Decision Conference (CCDC)

会议日期：MAY 25-27, 2013

会议地点：Guiyang, PEOPLES R CHINA

语种：英文

外文关键词：Boolean Control Network; Observability; Controllability Avoiding States Set

摘要：Using semi-tensor product of matrices, Boolean control network is expressed as a discrete-time linear system. Under this framework, a systematic method of controllability and observability of Boolean control networks (BCN) has been developed by professor Cheng in literature, and the controllability is a necessary condition for testing the observability of BCN. In this paper, using controllability of BCN avoiding states set, we give a new necessary and sufficient condition for testing the observability of BCN, which is a generalization of the known result obtained in literature.