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:
- Networked Control Systems: in particular distributed implementations of event-triggered controllers and their applications in Control over Wireless Sensor/Actuator Networks;
- 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.
I apply my research in the fields of Automotive control, Robotics, and Large-Scale Systems.