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 direct automata representations for such specifications hinders the use of standard verification tools from computer science, such as model checking. 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 high level robot task planning under spatiotemporal specifications, treating both the case of a single and a multi-agent system. The results are supported by relevant experimental validations.
Biographical Information
Dimos V. Dimarogonas was born in Athens, Greece. He 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 Fellow 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.