Skip to main content

Dr. Manuel Mazo Jr.

Associate Professor

This summarizes my general feeling about AI (AGI) prophets: lot's of blah, blah, blah, and unsubstantiated plots.
P.S.: GPT-4 is more like a dumb high-schooler with photographic memory.

In response to requests, I'm posting the slides for the HSCC keynote I gave today: This was fun and look forward to continuing the conversations.

Load More

Short Bio

I am affiliated since 2012 with the Delft Center for Systems and Control, where I was promoted to Associate Professor in 2018. I obtained my MSc and PhD in Electrical Engineering from the University of California, Los Angeles (UCLA) in 2007 and 2010 respectively. I also hold a Telecommunications Engineering degree from the Polytechnic University of Madrid (UPM) and an Electrical Engineering degree from the Royal Institute of Technology (KTH) in Stockholm, awarded under a TIME double degree program in 2003. Prior to joining TU Delft, I spent two years as a postdoctoral researcher at INCAS3 and the University of Groningen. For more details on my career my CV can be consulted here.

My main topics of research are Symbolic Methods in Control and Networked Control Systems.


My main area of research is Control Systems. I am particularly interested in the theoretical foundations behind practical issues in modern control implementations. This encompasses the formal study of digital, networked and embedded control systems. My research can be divided mainly in two lines:

  1. Networked and Hierarchical Control Systems: in particular event-based controllers and their applications in Control over Wireless Sensor/Actuator Networks;
  2. Symbolic methods for control: through the application of  techniques from formal verification and data-driven techniques, with a focus on their application to Correct-by-design synthesis of embedded control software.

I apply my research in the fields of Agricultural Systems, Automotive control, Robotics, and Large-Scale Systems.

Running Projects

PlantXR: A new generation of intelligent breeding tools for extra resilient crops
Marie-Curie ITN
REMARO: REliable AI for MArine RObotics

Finished Projects

SENTIENT: Scheduling Event-Triggered Control Tasks
CADUSY: Control and Data-Driven Modelling Using Symbolic Methods
IAVTRM: From Individual Automated Vehicles to Cooperative Traffic Management
AMBI: Advanced Methods in Building Diagnostics and Maintenance

Research Initiatives

DAVI: Dutch Automated Vehicle Initiative
The Green Village
TU Delft CyberZoo