A Way to Facilitate Decision Making in a Mixed Group of Manned and Unmanned Aerial Vehicles

TL;DR

This paper proposes a decision-making method for mixed manned and unmanned aerial vehicle groups using a lattice-based task structure and linear logic operations to facilitate system reconfiguration and improve pilot control during complex tasks.

Contribution

It introduces a novel approach applying lattice theory and linear logic to aid decision making in mixed UAV groups, enhancing system reconfiguration processes.

Findings

The method simplifies decision making for pilots in complex UAV group tasks.

Application to forest fire suppression demonstrates practical utility.

System reconfiguration is effectively guided by lattice and linear logic operations.

Abstract

A mixed group of manned and unmanned aerial vehicles is considered as a distributed system. A lattice of tasks which may be fulfilled by the system matches to it. An external multiplication operation is defined at the lattice, which defines correspondingly linear logic operations. Linear implication and tensor product are used to choose a system reconfiguration variant, i.e., to determine a new task executor choice. The task lattice structure (i.e., the system purpose) and the operation definitions largely define the choice. Thus, the choice is mainly the system purpose consequence. Such a method of the behavior variant choice facilitates the decision making by the pilot controlling the group. The suggested approach is illustrated using an example of a mixed group control at forest fire compression.