摘要
利用矩阵的半张量积,布尔控制网络被转化为离散时间系统.本文从离散时间系统的结构矩阵出发,讨论了逻辑控制系统的能控能观性条件,得到了一个新的能控性条件.新的条件简化了原有能控性矩阵的计算复杂性,矩阵的最高阶数由原来的2^(m+n)降到了2~n.另外,还得到了检验布尔控制网络能观性的条件.与原有条件相比,新的条件更容易计算检验.最后.给出一个实例,检验给出的能控能观性判断条件的正确性.
Using the semi-tensor product, we convert the Boolean control network to its algebraic form. From the struc- ture matrix of Boolean control network, the controllability and observability of the Boolean control network are discussed. A novel necessary and sufficient condition for controllability, which improves the recent results, is given. The new control- lability condition eliminates the redundant computation of controllability matrix. The highest power of matrix is reduced from 2m+n to 2n. Also, a sufficient condition for observability is obtained, which can be computed easily. A numerical example is presented to show the applicability of our controllability and observability condition.
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
2013年第6期760-764,共5页
Control Theory & Applications
基金
supported by the National Natural Science Fouudation of China(Nos61203050,61143002,61104065)
the Natural Science Foundation of Educational Commission of Henan Province(Nos2011B110002,12B 110002)
关键词
布尔控制网络
能控性
能观性
矩阵半张量积
Boolean control network
controllability
observability
semi-tensor product