16 citations · 16 across the 2 of their papers we have counts for
3 papers
eess.SY2020
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…
eess.SY2020★ 16 cited
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…
eess.SY2020
Formal controller synthesis for hybrid systems using genetic programming
Cees F. Verdier, Manuel Mazo
This paper proposes a framework for automatic formal controller synthesis for general hybrid systems with a subset of safety and reachability specifications. The framework uses gen…