论文标题
信号时间逻辑任务的事件触发的反馈控制
Event-triggered Feedback Control for Signal Temporal Logic Tasks
论文作者
论文摘要
提出了信号时间逻辑（STL）任务下的事件触发控制合成的框架。在我们以前的工作中，使用规定的性能控制技术设计了连续的时间反馈控制法，以满足STL任务。我们用事件触发的控制器替换了这种连续的反馈控制法。事件触发机制基于最大触发间隔，并且基于在最后一个触发实例上的当前状态值与状态值之间的差异。多代理系统的模拟对使用事件触发的控制器来减少通信和计算工作的功效表明了功效。
A framework for the event-triggered control synthesis under signal temporal logic (STL) tasks is proposed. In our previous work, a continuous-time feedback control law was designed, using the prescribed performance control technique, to satisfy STL tasks. We replace this continuous-time feedback control law by an event-triggered controller. The event-triggering mechanism is based on a maximum triggering interval and on a norm bound on the difference between the value of the current state and the value of the state at the last triggering instance. Simulations of a multi-agent system quantitatively show the efficacy of using an event-triggered controller to reduce communication and computation efforts.
