论文标题
可扩展的流量模型，用于安排线性周期性事件触发控制器
Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers
论文作者
论文摘要
本文解决了建模和安排由多个事件触发的控件（ETC）循环共享网络产生的传输的问题。我们提出了一种构建符号流量模型（PETC）的方法，该模型通过构造提供了对此类流量的精确模拟。该模型的制作方式是避免在许多应用程序中典型的符号模型的组合爆炸。调度程序可以使用这些动作来减轻通信冲突，从而增强了它。然后将完整的网络控制系统建模为定时游戏自动机的网络，现有工具可以生成避免通信冲突的策略，同时将较早的触发器保持在最低限度。通过构造，我们提出的符号模型是PETC的商模型。它的构建相对较快，并且很少产生或没有虚假的过渡。我们最终为数值示例演示了建模和调度。
This paper addresses the problem of modeling and scheduling the transmissions generated by multiple event-triggered control (ETC) loops sharing a network. We present a method to build a symbolic traffic model of periodic ETC (PETC), which by construction provides an exact simulation of such traffic. The model is made in such a way as to avoid the combinatorial explosion that is typical of symbolic models in many applications. It is augmented with early triggering actions that can be used by a scheduler to mitigate communication conflicts. The complete networked control system is then modeled as a network of timed game automata, for which existing tools can generate a strategy that avoids communication conflicts, while keeping early triggers to a minimum. By construction, our proposed symbolic model is a quotient model of the PETC. It is relatively fast to build, and it generates few to no spurious transitions. We finally demonstrate modeling and scheduling for a numerical example.
