文献类型：会议论文

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

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

第一作者：李志强

机构：[1]Department of Mathematics and Information Science, Henan University of Economics and Law;

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

会议论文集：第25届中国控制与决策会议论文集

会议日期：20130525

会议地点：中国贵州贵阳

主办单位：东北大学;IEEE新加坡工业电子分会;IEEE控制系统协会哈尔滨分会

语种：英文

中文关键词：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.