Assured Mission Adaptation of UAVs
Sebasti\'an Zudaire, Leandro Nahabedian, Sebasti\'an Uchitel

TL;DR
This paper presents an adaptive architecture for UAVs that enables dynamic mission changes and guarantees correct transitions, integrating planning, control, and runtime synthesis validated through real and simulated flights.
Contribution
It introduces a novel adaptive software architecture for UAVs that supports mission evolution and guarantees correct transitions using controller synthesis.
Findings
Successfully validated on real UAVs and simulations.
Supports mission adaptation without predefined evolution sets.
Integrates architectural concepts with control and planning layers.
Abstract
The design of systems that can change their behaviour to account for scenarios that were not foreseen at design time remains an open challenge. In this paper we propose an approach for adaptation of mobile robot missions that is not constrained to a predefined set of mission evolutions. We propose applying the MORPH adaptive software architecture to UAVs and show how controller synthesis can be used both to guarantee correct transitioning from the old to the new mission goals while architectural reconfiguration to include new software actuators and sensors if necessary. The architecture brings together architectural concepts that are commonplace in robotics such as temporal planning, discrete, hybrid and continuous control layers together with architectural concepts from adaptive systems such as runtime models and runtime synthesis. We validate the architecture flying several missions…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
