ETCetera: beyond Event-Triggered Control

被引：2

作者：

Delimpaltadakis, Giannis ^{[1
]}

Gleizer, Gabriel de A. ^{[1
]}

van Straalen, Ivo ^{[1
]}

Mazo, Manuel, Jr. ^{[1
]}

机构：

[1] Delft Univ Technol, Delft, Netherlands

来源：

HSCC 2022: PROCEEDINGS OF THE 25TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK 2022) | 2022年

基金：

欧洲研究理事会;

关键词：

event-triggered control; networked control systems; abstraction; scheduling; MODELS;

D O I：

10.1145/3501710.3519523

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页数：11