BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Date iCal//NONSGML kigkonsult.se iCalcreator 2.20.2//
METHOD:PUBLISH
X-WR-CALNAME;VALUE=TEXT:Eventi DIAG
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:STANDARD
DTSTART:20221030T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20230326T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:calendar.24951.field_data.0@www.diag.uniroma1.it
DTSTAMP:20260410T095708Z
CREATED:20221209T095208Z
DESCRIPTION:Multi-robot task planning and control under temporal logic spec
 ifications has been gaining increasing attention in recent years due to it
 s applicability among others in autonomous systems\, manufacturing systems
 \, service robotics and intelligent transportation. Initial approaches con
 sidered qualitative logics\, such as Linear Temporal Logic\, whose automat
 a representation facilitates the direct use of model checking tools for co
 rrect-by-design control synthesis. In many real world applications however
 \, there is a need to quantify spatial and temporal constraints\, e.g.\, i
 n order to include deadlines and separation assurance bounds. This led to 
 the use of quantitative logics\, such as Metric Interval and Signal Tempor
 al Logic\, to impose such spatiotemporal constraints. However\, the lack o
 f 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 becom
 es evident. In this talk\, we review some of our recent results in applyin
 g transient control techniques\, and in particular Model Predictive Contro
 l\, Barrier Certificates based design and Prescribed Performance Control\,
  to distributed multi-robot task planning under spatiotemporal specificati
 ons. The results are supported by relevant experimental validations.
DTSTART;TZID=Europe/Paris:20221222T120000
DTEND;TZID=Europe/Paris:20221222T120000
LAST-MODIFIED:20221209T100209Z
LOCATION:Aula magna
SUMMARY:Multi-robot task planning and control under spatiotemporal specific
 ations - Dimos Dimarogonas
URL;TYPE=URI:https://www.diag.uniroma1.it/node/24951
END:VEVENT
END:VCALENDAR