426 citations · 651 across the 43 of their papers we have counts for
8 papers · 1 filter
Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
Giannis Delimpaltadakis, Manuel Mazo
Scheduling communication traffic in networks of event-triggered control (ETC) systems is challenging, as their sampling times are unknown, hindering application of ETC in networks.…
Self-Triggered Output-Feedback Control of LTI Systems Subject to Disturbances and Noise
Gabriel de Albuquerque Gleizer, Manuel Mazo
Self-triggered control (STC) and periodic event-triggered control (PETC) are aperiodic sampling techniques aiming at reducing control data communication when compared to periodic s…
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Cees F. Verdier, Niklas Kochdumper, Matthias Althoff +1
We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet STL specifications o…
Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers
Gabriel de A. Gleizer, Manuel Mazo
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 in…
Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems
Giannis Delimpaltadakis, Manuel Mazo
In this work, we derive a region-based self-triggered control (STC) scheme for nonlinear systems with bounded disturbances and model uncertainties. The proposed STC scheme is able…
Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems
Giannis Delimpaltadakis, Manuel Mazo
In previous work, linear time-invariant event-triggered control (ETC) systems were abstracted to finite-state systems that capture the original systems' sampling behaviour. It was…