ETCetera: Beyond Event-Triggered Control

Giannis Delimpaltadakis; Gabriel De Albuquerque Gleizer; Ivo Van Straalen; Manuel Mazo

doi:10.1145/3501710.3519523

ETCetera: Beyond Event-Triggered Control

Giannis Delimpaltadakis, Gabriel De Albuquerque Gleizer, Ivo Van Straalen, Manuel Mazo

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

4 Citations (Scopus)

29 Downloads (Pure)

Abstract

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.

Original language	English
Title of host publication	Proceedings of the 25th ACM International Conference on Hybrid Systems (HSCC 2022)
Subtitle of host publication	Computation and Control, Part of CPS-IoT Week 2022
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery (ACM)
Number of pages	11
ISBN (Electronic)	978-1-4503-9196-2
DOIs	https://doi.org/10.1145/3501710.3519523
Publication status	Published - 2022
Event	25th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2022, held as part of the 15th Cyber Physical Systems and Internet-of-Things Week, CPS-IoT Week 2022 - Virtual, Online, Italy Duration: 4 May 2022 → 6 May 2022

Conference

Conference	25th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2022, held as part of the 15th Cyber Physical Systems and Internet-of-Things Week, CPS-IoT Week 2022
Country/Territory	Italy
City	Virtual, Online
Period	4/05/22 → 6/05/22

Keywords

abstraction
event-triggered control
networked control systems
scheduling

Access to Document

10.1145/3501710.3519523

3501710.3519523Final published version, 1.01 MBLicence: CC BY

Cite this

@inproceedings{cb37f83664e54afe8520377296808028,

title = "ETCetera: Beyond Event-Triggered Control",

abstract = "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. ",

keywords = "abstraction, event-triggered control, networked control systems, scheduling",

author = "Giannis Delimpaltadakis and {De Albuquerque Gleizer}, Gabriel and {Van Straalen}, Ivo and Manuel Mazo",

year = "2022",

doi = "10.1145/3501710.3519523",

language = "English",

booktitle = "Proceedings of the 25th ACM International Conference on Hybrid Systems (HSCC 2022)",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

note = "25th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2022, held as part of the 15th Cyber Physical Systems and Internet-of-Things Week, CPS-IoT Week 2022 ; Conference date: 04-05-2022 Through 06-05-2022",

}

Delimpaltadakis, G, De Albuquerque Gleizer, G, Van Straalen, I & Mazo, M 2022, ETCetera: Beyond Event-Triggered Control. in Proceedings of the 25th ACM International Conference on Hybrid Systems (HSCC 2022): Computation and Control, Part of CPS-IoT Week 2022., 20, Association for Computing Machinery (ACM), New York, NY, USA, 25th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2022, held as part of the 15th Cyber Physical Systems and Internet-of-Things Week, CPS-IoT Week 2022, Virtual, Online, Italy, 4/05/22. https://doi.org/10.1145/3501710.3519523

ETCetera: Beyond Event-Triggered Control. / Delimpaltadakis, Giannis; De Albuquerque Gleizer, Gabriel; Van Straalen, Ivo et al.
Proceedings of the 25th ACM International Conference on Hybrid Systems (HSCC 2022): Computation and Control, Part of CPS-IoT Week 2022. New York, NY, USA: Association for Computing Machinery (ACM), 2022. 20.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - ETCetera

T2 - 25th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2022, held as part of the 15th Cyber Physical Systems and Internet-of-Things Week, CPS-IoT Week 2022

AU - Delimpaltadakis, Giannis

AU - De Albuquerque Gleizer, Gabriel

AU - Van Straalen, Ivo

AU - Mazo, Manuel

PY - 2022

Y1 - 2022

N2 - 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.

AB - 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.

KW - abstraction

KW - event-triggered control

KW - networked control systems

KW - scheduling

UR - http://www.scopus.com/inward/record.url?scp=85127041537&partnerID=8YFLogxK

U2 - 10.1145/3501710.3519523

DO - 10.1145/3501710.3519523

M3 - Conference contribution

AN - SCOPUS:85127041537

BT - Proceedings of the 25th ACM International Conference on Hybrid Systems (HSCC 2022)

PB - Association for Computing Machinery (ACM)

CY - New York, NY, USA

Y2 - 4 May 2022 through 6 May 2022

ER -

ETCetera: Beyond Event-Triggered Control

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Grasping the Sampling Behaviour of Event-Triggered Control: Self-Triggered Control, Abstractions and Formal Analysis

Cite this