论文标题
ETCETERA：超越事件触发的控制
ETCetera: beyond Event-Triggered Control
论文作者
论文摘要
我们提出了ETCETERA，这是一个用于分析和合成事件触发控制（ETC）系统的采样行为的Python库。特别是，该工具以定时自动机（TA）或有限状态过渡系统（FSTSS）的形式构建给定ETC系统的采样行为的抽象。当抽象是FST时，ETCETETA提供了多种操纵工具，可用于分析ETC的采样性能，综合通信流量调度程序（当考虑通过多个ETC循环共享网络时）以及对采样策略的优化。此外，TA模型可以导出到Uppaal以进行调度程序的分析和合成。提供了该工具用于分析和合成问题的几个示例，并提供了不同类型的动态和事件触发的实现。
We present ETCetera, a Python library developed for the analysis and synthesis of the sampling behaviour of event triggered control (ETC) systems. In particular, the tool constructs abstractions of the sampling behaviour of given ETC systems, in the form of timed automata (TA) or finite-state transition systems (FSTSs). When the abstraction is an FSTS, ETCetera provides diverse manipulation tools for analysis of ETC's sampling performance, synthesis of communication traffic schedulers (when networks shared by multiple ETC loops are considered), and optimization of sampling strategies. Additionally, the TA models may be exported to UPPAAL for analysis and synthesis of schedulers. Several examples of the tool's application for analysis and synthesis problems with different types of dynamics and event-triggered implementations are provided.
