Webinar Link: https://usc.zoom.us/webinar/register/WN_zyIBh_1gQLmKpMJG0GyLxw 

Abstract: Multi-robot task planning and control under temporal logic specifications has been gaining increasing attention in recent years due to its applicability among others in autonomous systems, manufacturing systems, service robotics and intelligent transportation. Initial approaches considered qualitative logics, such as Linear Temporal Logic, whose automata representation facilitates the direct use of model checking tools for correct-by-design control synthesis. In many real world applications however, there is a need to quantify spatial and temporal constraints, e.g., in order to include deadlines and separation assurance bounds. This led to the use of quantitative logics, such as Metric Interval and Signal Temporal Logic, to impose such spatiotemporal constraints. However, the lack of automata representations for such specifications hinders the direct use of model checking tools. Motivated by this, the use of transient control methodologies that fulfil the aforementioned qualitative constraints becomes evident. In this talk, we review some of our recent results in applying transient control techniques, and in particular Model Predictive Control, Barrier Certificates based design and Prescribed Performance Control, to distributed multi-robot task planning under spatiotemporal specifications. The results are supported by relevant experimental validations.

Biography: Dimos V. Dimarogonas received the Diploma in Electrical and Computer Engineering in 2001 and the Ph.D. in Mechanical Engineering in 2007, both from National Technical University of Athens (NTUA), Greece. Between 2007 and 2010, he held postdoctoral positions at the KTH Royal Institute of Technology, Dept of Automatic Control and MIT, Laboratory for Information and Decision Systems (LIDS). He is currently Professor at the Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, at KTH. His current research interests include multi-agent systems, hybrid systems and control, robot navigation and manipulation, human-robot-interaction and networked control. He serves in the Editorial Board of Automatica and the IEEE Transactions on Control of Network Systems and is a Senior Member of IEEE. He is a recipient of the ERC Starting Grant in 2014, the ERC Consolidator Grant in 2019, and the Knut och Alice Wallenberg Academy Fellowship in 2015.

--- 

Host: Pierluigi Nuzzo

Center for Cyber-Physical Systems and the Internet of Things (CCI) http://cci.usc.edu

Center for Autonomy and AI (AAI) https://aai.usc.edu