Modern control applications are often linked to constrained environments. Consequently, it is necessary to guarantee tasks with increasing complexity, going beyond stabilising the origin or tracking a reference trajectory. In particular, the reach-avoid paradigm is, nowadays, one of such key tasks. Indeed, we still want the system to reach its target but we also want it to act safely with respect to its environment. Depending on the considered application, reaching the unsafe zone may correspond to exceeding the system’s operation limits, or, quite simply, hitting obstacles. In infinite-dimensional phenomena, safety may depict scenarios of solids not melting, liquids not spilling, or spatio-temporal risks remaining away from sensitive areas.
In this event, qualitative and control-oriented tools are explored, which tackle this topic from the three following angles:
• Non-linear methods, using Lyapunov/barrier functions, temporal funnels, or projecting a stabilising control on a safe region.
• Optimisation methods under state constraints.
• Formal methods, where finite systems (abstraction/refinement) are constructed, on which, the reach-avoid problem is studied.
The objective of this thematic school is to take stock of the aforementioned basics, as well as recent developments in the field, show the links with modern applications, and identify new areas of research.
Confirmed lecturers:
- Piernicola BETTIOL (Univ. Bretagne Occidentale, France)
- Philipp BRAUN (Australian National University, Australia)
- Antoine GIRARD (L2S, CNRS, Univ. of ParisSaclay, France)
- Miroslav KRSTIC (UC. San Diego, USA)
- Gabor OROSZ (Univ. Michigan, USA)
- Necmyie OZAY (Univ. Michigan, USA)
- Dimitra PANAGOU (Univ. Michigan, USA)