Timing is everything: Analysis and synthesis of traffic patterns in event-triggered control

Event-triggered control (ETC) and self-triggered control (STC) are sample-and-hold control paradigms in which sensor data is only updated to the controller when necessary, often aperiodically, in contrast to the well-established periodic sampling paradigm. In ETC, a state-dependent event triggers a transmission, while in STC the controller...

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

A fundamental challenge in networked control systems is reducing the amount of communications of each system in the network, so that bandwidth and energy are used efficiently. To address the challenge, the research community has shifted its focus to Event-Triggered Control (ETC), in which communication between the control system's different...

ETCetera: Beyond Event-Triggered 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...

Abstraction of In-Vehicle Event-Triggered Networked Control Systems for Scheduling

The number of electronic control systems applied in vehicles has increased dramatically over<br/>the years. This trend will only continue with the introduction of novel technologies such as<br/>advanced driver assistance systems (ADAS). To save cable weight and costs in-vehicle control<br/>systems often use shared communication networks. With...