High-Level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems Using Delegation
Authors:
- 20 June 2013
- journal article
- research article
- Published by World Scientific Pub Co Pte Ltd in Unmanned Systems
- Vol. 01 (01) , 75-119
Abstract
Automated specification, generation and execution of high level missions involving one or more heterogeneous unmanned aircraft systems is in its infancy. Much previous effort has been focused on the development of air vehicle platforms themselves together with the avionics and sensor subsystems that implement basic navigational skills. In order to increase the degree of autonomy in such systems so they can successfully participate in more complex mission scenarios such as those considered in emergency rescue that also include ongoing interactions with human operators, new architectural components and functionalities will be required to aid not only human operators in mission planning, but also the unmanned aircraft systems themselves in the automatic generation, execution and partial verification of mission plans to achieve mission goals. This article proposes a formal framework and architecture based on the unifying concept of delegation that can be used for the automated specification, generation and execution of high-level collaborative missions involving one or more air vehicles platforms and human operators. We describe an agent-based software architecture, a temporal logic-based mission specification language, a distributed temporal planner and a task specification language that when integrated provide a basis for the generation, instantiation and execution of complex collaborative missions on heterogeneous air vehicle systems. A prototype of the framework is operational in a number of autonomous unmanned aircraft systems developed in our research lab.Keywords
This publication has 40 references indexed in Scilit:
- Considering inter-task resource constraints in task allocationAutonomous Agents and Multi-Agent Systems, 2012
- Auctions and biddingACM Computing Surveys, 2011
- Relay Positioning for Unmanned Aerial Vehicle Surveillance*The International Journal of Robotics Research, 2010
- Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced InformationEURASIP Journal on Advances in Signal Processing, 2009
- The Design of the Zinc Modelling LanguageConstraints, 2008
- The human in the loop of a delegated agent: the theory of adjustable social autonomyIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2001
- Towards a theory of delegation for agent-based systemsRobotics and Autonomous Systems, 1998
- ALLIANCE: an architecture for fault tolerant multirobot cooperationIEEE Transactions on Robotics and Automation, 1998
- GOLOG: A logic programming language for dynamic domainsThe Journal of Logic Programming, 1997
- Representing action and change by logic programsThe Journal of Logic Programming, 1993