分布式加权离散事件系统的协同可测性

Co-detectability for Decentralized Weighted Discrete Event Systems

针对状态转移会携带对应定量信息的分布式系统的可测性问题以加权自动机为模型,研究其协同可测性。首先对分布式加权离散事件系统的强协同可测性和弱协同可测性进行形式化;随后提出基于各分站点观察器构造协同观察器的算法,并得到分布式加权离散事件系统强协同可测性和弱协同可测性的充要条件;最后,给出协同可测性在无线传感器网络系统的一个应用实例。

To carry the corresponding quantitative information of the system,weighted automata are used as the models for studying the co-detectability of weighted discrete event systems.First,the notions of strong and weak co-detectability of decentralized weighted discrete event systems are formalized.Then,the algorithms based on each sub-station site observer for constructing a co-observer are proposed,and necessary and sufficient conditions for strong and weak co-detectability of decentralized weighted discrete event systems are obtained.Finally,an application example for a wireless sensor network system is provided.