Assured Mission Adaptation of UAVs

07/21/2021
by   Sebastián Zudaire, et al.
0

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 taken from the robotic literature for different real and simulated UAVs.

READ FULL TEXT
research
04/03/2018

mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization

Self-adaptive software systems are often structured into an adaptation e...
research
04/23/2020

Hybrid Control from Scratch: A Design Methodology for Assured Robotic Missions

Robotic research over the last decades have lead us to different archite...
research
05/25/2023

Automatic Extraction of Time-windowed ROS Computation Graphs from ROS Bag Files

Robotic systems react to different environmental stimuli, potentially re...
research
06/13/2023

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts

Effectively specifying and implementing robotic missions pose a set of c...
research
04/15/2019

Synthesis of Admissible Shields

Shield synthesis is an approach to enforce a set of safety-critical prop...
research
02/22/2018

ArduSoar: an Open-Source Thermalling Controller for Resource-Constrained Autopilots

Autonomous soaring capability has the potential to significantly increas...
research
07/12/2022

SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable Digital Dependable Identities

The use of Unmanned Arial Vehicles (UAVs) offers many advantages across ...

Please sign up or login with your details

Forgot password? Click here to reset