liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems
2009 (English)In: Autonomous Agents and Multi-Agent Systems, ISSN 1387-2532, E-ISSN 1573-7454, Vol. 19, no 3, 332-377Article in journal (Refereed) Published
Abstract [en]

Research with autonomous unmanned aircraft systems is reaching a new degree of sophistication where targeted missions require complex types of deliberative capability integrated in a practical manner in such systems. Due to these pragmatic constraints, integration is just as important as theoretical and applied work in developing the actual deliberative functionalities. In this article, we present a temporal logic-based task planning and execution monitoring framework and its integration into a fully deployed rotor-based unmanned aircraft system developed in our laboratory. We use a very challenging emergency services application involving body identification and supply delivery as a vehicle for showing the potential use of such a framework in real-world applications. TALplanner, a temporal logic-based task planner, is used to generate mission plans. Building further on the use of TAL (Temporal Action Logic), we show how knowledge gathered from the appropriate sensors during plan execution can be used to create state structures, incrementally building a partial logical model representing the actual development of the system and its environment over time. We then show how formulas in the same logic can be used to specify the desired behavior of the system and its environment and how violations of such formulas can be detected in a timely manner in an execution monitor subsystem. The pervasive use of logic throughout the higher level deliberative layers of the system architecture provides a solid shared declarative semantics that facilitates the transfer of knowledge between different modules.

Keyword [en]
Execution monitoring - Planning - Temporal action logic - Reasoning about action and change - Intelligent autonomous systems - Unmanned aircraft systems
National Category
Engineering and Technology
URN: urn:nbn:se:liu:diva-28260DOI: 10.1007/s10458-009-9079-8OAI: diva2:249047
Available from2009-10-09 Created:2009-10-09 Last updated:2013-08-29

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Doherty, PatrickKvarnström, JonasHeintz, Fredrik
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
In the same journal
Autonomous Agents and Multi-Agent Systems
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 52 hits
ReferencesLink to record
Permanent link

Direct link