ETCetera：超越事件触发控制
ETCetera: beyond Event-Triggered Control
AI总结：
ETCetera是一个用于分析和合成事件触发控制系统采样行为的Python库，提供抽象模型和调度器合成功能。
摘要：
我们介绍了ETCetera，一个用于分析和合成事件触发控制（ETC）系统采样行为的Python库。特别是，该工具以 timed automata（TA）或有限状态转移系统（FSTSs）的形式构建给定ETC系统的采样行为抽象。当抽象为FSTS时，ETCetera提供多种操作工具，用于分析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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
