
Dr. M. (Manuel) Mazo Espinosa
Dr. M. (Manuel) Mazo Espinosa
Profiel
Biografie
Expertise
Expertise
Publicaties
-
2023
Computing the average inter-sample time of event-triggered control using quantitative automata
Gabriel de Albuquerque Gleizer / Manuel Mazo
-
2022
A Simpler Alternative
Minimizing Transition Systems Modulo Alternating Simulation Equivalence
Gabriel De Albuquerque Gleizer / Khushraj Madnani / Manuel Mazo -
2022
Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
Giannis Delimpaltadakis / Manuel Mazo
-
2022
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems
Andrea Peruffo / Manuel Mazo
-
2022
ETCetera
Beyond Event-Triggered Control
Giannis Delimpaltadakis / Gabriel De Albuquerque Gleizer / Ivo Van Straalen / Manuel Mazo -
Onderwijs 2022
Onderwijs 2021
Nevenwerkzaamheden
-
2022-12-01 - 2023-12-29