Temporal logics for control of dynamical systems have the potential to automatically synthesize controllers under complex goals expressed by temporal logic formulas. In this paper, we are interested in the situation, where a controller system that implements high and low level controllers is connected to a plant over a communication network. In such control architecture, it is known that the limited nature of computation and communication resources should be explicitly taken into account. In view of this, we jointly provide control and communication strategies, such that the resulting state trajectories satisfy the desired temporal logic formula, while at the same time the average communication rate is below a certain threshold. The proposed strategies are illustrated through numerical simulation examples.

中文翻译：

---

时序逻辑规范下的资源感知网络控制系统

用于控制动态系统的时序逻辑具有在时序逻辑公式表示的复杂目标下自动合成控制器的潜力。在本文中，我们对实现高层和低层控制器的控制器系统通过通信网络连接到工厂的情况感兴趣。在这样的控制架构中，众所周知，应该明确考虑计算和通信资源的有限性质。有鉴于此，我们联合提供控制和通信策略，使得产生的状态轨迹满足所需的时间逻辑公式，同时平均通信速率低于某个阈值。通过数值模拟示例说明了所提出的策略。