Dr. M. (Manuel) Mazo Espinosa
Dr. M. (Manuel) Mazo Espinosa
Expertise
Publicaties
-
2022
A Simpler Alternative
Minimizing Transition Systems Modulo Alternating Simulation Equivalence
Gabriel De Albuquerque Gleizer / Khushraj Madnani / Manuel Mazo -
2022
ETCetera
Beyond Event-Triggered Control
Giannis Delimpaltadakis / Gabriel De Albuquerque Gleizer / Ivo Van Straalen / Manuel Mazo -
2022
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Cees Ferdinand Verdier / Niklas Kochdumper / Matthias Althoff / Manuel Mazo
-
2022-3-7
Mean Field Behavior of Collaborative Multiagent Foragers
Daniel Jarne Ornia / Pedro J. Zufiria / Manuel Mazo
-
2022
The Wireless Control Bus
Enabling Efficient Multi-Hop Event-Triggered Control with Concurrent Transmissions
Matteo Trobinger / Gabriel De Albuquerque Gleizer / Timofei Istomin / Manuel Mazo / Amy L. Murphy / Gian Pietro Picco -