Spontaneous State Constraint Insertions to Operating Symbolic Controllers Combined with Runtime Assurance for Task Allocation in UAV Missions

The computation of symbolic controllers for non-linear plants is typically computationally expensive due to the well-known curse-of-dimensionality. In fact, those controllers must be computed before operating the closed loop. This note presents a method to modify symbolic controllers while they are...

Full description

Saved in:
Bibliographic Details
Published in2024 European Control Conference (ECC) pp. 231 - 238
Main Authors Kreuzer, Marcus, Weber, Alexander, Knoll, Alexander
Format Conference Proceeding
LanguageEnglish
Published EUCA 25.06.2024
Subjects
Autonomous aerial vehicles
Computer architecture
Control systems
Cyber-physical systems
Europe
Robustness
Runtime
Online AccessGet full text

Cover

More Information
Summary:The computation of symbolic controllers for non-linear plants is typically computationally expensive due to the well-known curse-of-dimensionality. In fact, those controllers must be computed before operating the closed loop. This note presents a method to modify symbolic controllers while they are operating the closed loop to avoid spontaneously inserted state obstacles. In addition, we utilize methods of plan recognition in combination with our new algorithm for providing a technique of decentralized runtime assurance for efficient task allocation and mission guidance in a multi-UAV setting. Promising results and the applicability of the found method is demonstrated by simulation and experiments with real physical systems.
DOI:10.23919/ECC64448.2024.10590983