ETCetera: beyond Event-Triggered Control

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Delimpaltadakis, Giannis, Gleizer, Gabriel de A., van Straalen, Ivo, Mazo Jr, Manuel
Formato: Preprint
Publicado: 2022
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866914333256056832
author Delimpaltadakis, Giannis
Gleizer, Gabriel de A.
van Straalen, Ivo
Mazo Jr, Manuel
author_facet Delimpaltadakis, Giannis
Gleizer, Gabriel de A.
van Straalen, Ivo
Mazo Jr, Manuel
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2203_01623
institution arXiv
publishDate 2022
record_format arxiv
spellingShingle ETCetera: beyond Event-Triggered Control
Delimpaltadakis, Giannis
Gleizer, Gabriel de A.
van Straalen, Ivo
Mazo Jr, Manuel
Systems and Control
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.
title ETCetera: beyond Event-Triggered Control
topic Systems and Control
url https://arxiv.org/abs/2203.01623