AIAA Guidance, Navigation, and Control (GNC) Conference 2013
DOI: 10.2514/6.2013-4636
|View full text |Cite
|
Sign up to set email alerts
|

Interfacing Behavior Trees with the World Using Description Logic

Abstract: In order to rigorously analyze mission plans, they have to be translated into a tractable formalism. This paper proposes to use the description logic Attributive Language with Complements and concrete Domains ALC(D) as the input formalism for a mission plan based on behavior trees. The interface is described using the safety circuit of an exemplary unmanned aerial vehicle. The system is executed using a three-degree-of-freedom simulation model. Results indicate that the system can be used as a first step towar… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
29
0

Year Published

2014
2014
2023
2023

Publication Types

Select...
3
3
3

Relationship

2
7

Authors

Journals

citations
Cited by 35 publications
(29 citation statements)
references
References 10 publications
0
29
0
Order By: Relevance
“…The modularity and structure of BTs were used to address the formal verification of mission plans in [13] and the execution times of stochastic BTs were analyzed in [14]. BTs have also been studied in machine learning applications [7], [8] and details regarding efficient parameter passing was investigated in [9].…”
Section: Introductionmentioning
confidence: 99%
“…The modularity and structure of BTs were used to address the formal verification of mission plans in [13] and the execution times of stochastic BTs were analyzed in [14]. BTs have also been studied in machine learning applications [7], [8] and details regarding efficient parameter passing was investigated in [9].…”
Section: Introductionmentioning
confidence: 99%
“…surgical robot [4] and robotic assistants [5]. Scientists touched many aspects of BT, such as a generalization of other CA [6], mathematical model formulation [7], automated BT construction [8], and others. The compherensive introduction to synchronous BT in robotics could be found in [9].…”
Section: Introductionmentioning
confidence: 99%
“…The necessary notion of transient tasks is complemented in that paper with an introduction to the processing of basic behavior trees and further discussion of advantages as well as prospects of behavior trees for UAS mission management. A first step towards logical verification and validation of behavior trees is also covered by previous research [9]. Here, the formalism is refined for continuous system simulation.…”
Section: Behavior Treesmentioning
confidence: 99%