分布式加权离散事件系统的协同可测性
来源：信息与控制杂志2023年第4期北京时间：
作者：郑恒, 刘富春, 蒋艳荣
摘要：针对状态转移会携带对应定量信息的分布式系统的可测性问题以加权自动机为模型，研究其协同可测性。首先对分布式加权离散事件系统的强协同可测性和弱协同可测性进行形式化；随后提出基于各分站点观察器构造协同观察器的算法，并得到分布式加权离散事件系统强协同可测性和弱协同可测性的充要条件；最后，给出协同可测性在无线传感器网络系统的一个应用实例。
关键词：离散事件系统, 加权自动机, 分布式系统, 协同可测性
