Circular Image

G. de Albuquerque Gleizer

15 records found

Motivated by the physical exchange of energy and its dissipation in electro-mechanical systems, we propose a new fault detection method based on data-driven dissipativity analysis. We first identify a dissipativity inequality using one or multiple shots of data obtained from a li ...
Event-triggered control (ETC) is a major recent development in cyber–physical systems due to its capability of reducing resource utilization in networked devices. However, while most of the ETC literature reports simulations indicating massive reductions in the sampling required ...
Event-triggered control (ETC) is claimed to provide significant reductions in sampling frequency when compared to periodic sampling, but little is formally known about its generated traffic. This work shows that ETC can exhibit very complex, even chaotic traffic, especially when ...

A Simpler Alternative

Minimizing Transition Systems Modulo Alternating Simulation Equivalence

This paper studies the reduction (abstraction) of finite-state transition systems for control synthesis problems. We revisit the notion of alternating simulation equivalence (ASE), a more relaxed condition than alternating bisimulations, to relate systems and their abstractions. ...

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

The Wireless Control Bus

Enabling Efficient Multi-Hop Event-Triggered Control with Concurrent Transmissions

Event-triggered control (ETC) holds the potential to significantly improve the efficiency of wireless networked control systems. Unfortunately, its real-world impact has hitherto been hampered by the lack of a network stack able to transfer its benefits from theory to practice sp ...
Self-triggered control (STC) is a sample-and-hold control method aimed at reducing communications in networked-control systems; however, existing STC mechanisms often maximize how late the next sample is, thus not optimizing sampling performance in the long-term. In this work, we ...
In the context of networked control systems, event-triggered control (ETC) has emerged as a major topic due to its alleged resource usage reduction capabilities. However, this is mainly supported by numerical simulations, and very little is formally known about the traffic genera ...
This paper addresses the problem of modeling and scheduling the transmissions generated by multiple event-triggered control (ETC) loops sharing a network. We present a method to build a finite-state similar model of the traffic generated by periodic ETC (PETC), which by construct ...
We provide a method to construct finite abstractions exactly bisimilar to linear systems under a modified periodic event-triggered control (PETC), when considering as output the inter-event times they generate. Assuming that the initial state lies on a known compact set, these fi ...
Self-triggered control (STC) and periodic event-triggered control (PETC) are aperiodic sampling techniques aiming at reducing control data communication when compared to periodic sampling. In both techniques, the effects of measurement noise in continuous-time systems with output ...
In networked control systems (NCSs), extensive data exchange between plants and controllers leads to an unnecessary usage of communication and computational resources. Aperiodic sample-and-hold methods such as event-triggered control (ETC) can reduce the number of transmissions, ...
In this work we propose a Self-Triggered Control (STC) strategy for linear time-invariant (LTI) systems subject to bounded disturbances, using LTI discrete-time dynamic output-feedback. The STC logic computes worst-case triggering times from available information, based on a Peri ...