分散式离散事件系统的监督控制与仿真等价性
摘要：分散系统中由于通信、未建模的动态和系统抽象而导致分支行为自然而然地出现，在这些情况下，传统的基于顺序的语言等价关系无法充分捕捉到这些行为。作为比语言等价关系更精细的行为等价关系，双模拟不仅允许完整的分支行为，而且还明确指定了基于时态逻辑（如CTL*和mu-演算）的属性。基于这一观察，本文考虑了分散事件系统（DESs）中的双模拟等价的分散控制问题，其中植物和规范被视为非确定性的，而监督者被视为确定性的。我们提出了一个基于自动机的控制框架，并在此基础上开发了三种不同决策融合规则的分散双模拟控制结构，分别称为合取架构、析取架构和一般架构。在这三种架构下，分别导出了存在分散双模拟监督者的必要和充分条件，将监督控制的传统结果从语言等价关系扩展到双模拟等价关系。这些条件可以用指数复杂度验证。此外，当存在条件满足时，还给出了双模拟监督者的综合方法。
作者：Yajuan Sun and Hai Lin and Ben. M. Chen
论文ID：1112.3555
分类：Systems and Control
分类简称：cs.SY
提交时间：2011-12-19