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 Control Systems: in particular distributed implementations of event-triggered 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 the notion of approximate simulation relations, with a focus on their application to Correct-by-design synthesis of embedded control software. See also the Pessoa Toolbox (Software).

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

More details can be found in my Publications. http://www.cyphylab.ee.ucla.edu/pessoahttp://www.mmazojr.net/Manuel_Mazo_Jr/Software.htmlhttp://www.mmazojr.net/Manuel_Mazo_Jr/Publications.htmlshapeimage_4_link_0shapeimage_4_link_1shapeimage_4_link_2
I am currently involved in three research initiatives:

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

And the following research projects:

• CADUSY (STW-OTP)
IAVTRM (STW-OTP)
Innovations on testsite RWS RIJSWIJK (RVB) (in Dutch)
AMBI (FP7-Marie Curie)http://davi.connekt.nl/https://www.thegreenvillage.org/http://www.tudelft.nl/en/current/latest-news/article/detail/cyber-zoo-nieuw-lab-tu-delft-met-vliegende-en-kruipende-robots/http://www.stw.nl/nl/content/cadusy-control-and-data-driven-modelling-using-symbolic-methodshttp://www.stw.nl/nl/content/individual-automated-vehicles-cooperative-traffic-management-predicting-benefits-automatedhttp://www.kantoorvolenergie.nl/wp-content/uploads/downloads/2016/03/Innovaties-in-Testomgeving-RWS-Rijswijk_tcm21-73483.pdfhttp://cordis.europa.eu/project/rcn/106312_en.htmlshapeimage_6_link_0shapeimage_6_link_1shapeimage_6_link_2shapeimage_6_link_3shapeimage_6_link_4shapeimage_6_link_5shapeimage_6_link_6