elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Mission Planning and Verification for Autonomous Unmanned Aerial Vehicles

Vilzmann, Michael (2016) Mission Planning and Verification for Autonomous Unmanned Aerial Vehicles. Master's. DLR-Interner Bericht. DLR-IB-RM-OP-2016-377, 69 S.

[img] PDF - Registered users only
738kB

Abstract

Autonomous robotic systems that work alongside humans or interact with valuable goods impose high demands on safety and fault tolerance. In this work, a robotic architecture is proposed that employs common model checking techniques to ensure the compliance of complex robotic missions with formally specified safety properties. Two formalisms are discussed to describe such mission plans: Hierarchical Finite State Machines and Behaviour Trees. Employing the explicit-state model checker DIVINE and the mission execution framework RAFCON, a tool chain has been developed that facilitates verification of LTL formulae on mission plans specified with either of those methodologies. The proposed system design tries to deal with hardware failures by calculating affected mission building blocks and removing them from the active plan.

Item URL in elib:https://elib.dlr.de/115188/
Document Type:Monograph (DLR-Interner Bericht, Master's)
Title:Mission Planning and Verification for Autonomous Unmanned Aerial Vehicles
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Vilzmann, MichaelMichael.Vilzmann (at) dlr.deUNSPECIFIED
Date:30 April 2016
Refereed publication:No
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Number of Pages:69
Status:Published
Keywords:mission planning, verification, model checking, rafcon, behavior trees, state machines
Institution:Clausthal University of Technology
Department:Department of Informatics
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Vorhaben on Orbit Servicing
Location: Oberpfaffenhofen
Institutes and Institutions:Institute of Robotics and Mechatronics (since 2013) > Autonomy and Teleoperation
Deposited By: Vilzmann, Michael
Deposited On:20 Nov 2017 19:00
Last Modified:15 Dec 2017 12:23

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.