|Time:||November 21, 2023|
|Download as iCal:||
Prof. Manuel Mazo
Delft Center for Systems and Control
Delft University of Technology
Tuesday 2023-11-21 4 p.m.
IST Seminar Room 2.255 - Pfaffenwaldring 9 - Campus Stuttgart-Vaihingen
Event-Based Control has gathered a lot of research attention in the last decade as an approach to reduce the communication and computation demands of control systems. The cost of these reductions is the aperiodic, often erratic, behaviour of the inter-sample times in these systems. In this talk I’ll walk through the research we have been carrying to construct models for the prediction of inter-sample behaviour. I’ll describe how these, so called, traffic models can be applied to enable scheduling of event-based systems, and the design of more efficient sampling patterns. The construction of the traffic models relies on techniques from the construction of formal finite abstractions of control systems, which are often computationally very costly. I’ll argue that this computational cost can be addressed employing alternatively data-driven approaches, at the cost of obtaining Probably Approximately Correct (PAC) models. The talk will finalize describing our latest results and insights on the construction of finite abstractions with PAC guarantees for a class of systems (not limited to traffic models).
Manuel Mazo Jr. is an associate professor at the Delft Center for Systems and Control, Delft University of Technology (The Netherlands). He received the Ph.D. and M.Sc. degrees in Electrical Engineering from the University of California, Los Angeles, in 2010 and 2007 respectively. He also holds a Telecommunications Engineering "Ingeniero" degree from the Polytechnic University of Madrid (Spain), and a "Civilingenjör" degree in Electrical Engineering from the Royal Institute of Technology (Sweden), both awarded in 2003. Between 2010 and 2012 he held a joint post-doctoral position at the University of Groningen and the innovation centre INCAS3 (The Netherlands). His main research interest is the formal study of problems emerging in modern control system implementations, and in particular the study of networked control systems and the application of formal verification and synthesis techniques to control. He has been the recipient of a University of Newcastle Research Fellowship (2005), the Spanish Ministry of Education/UCLA Fellowship (2005-2009), the Henry Samueli Scholarship from the UCLA School of Engineering and Applied Sciences (2007/2008) and an ERC Starting Grant (2017).