Asynchronous Behavior Trees with Memory aimed at Aerial Vehicles with Redundancy in Flight Controller

@article{Safronov2019AsynchronousBT,
  title={Asynchronous Behavior Trees with Memory aimed at Aerial Vehicles with Redundancy in Flight Controller},
  author={Evgenii Safronov and Michael Vilzmann and Dzmitry Tsetserukou and Konstantin Kondak},
  journal={2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
  year={2019},
  pages={3113-3118}
}
Complex aircraft systems are becoming a target for automation. For successful operation, they require both efficient and readable mission execution system (MES). Flight control computer (FCC) units, as well as all important subsystems, are often duplicated. Discrete nature of MES does not allow small differences in data flow among redundant FCCs which are acceptable for continuous control algorithms. Therefore, mission state consistency has to be specifically maintained. We present a novel MES… 
Architecture Design of Distributed Redundant Flight Control Computer Based on Time-Triggered Buses for UAVs
TLDR
The verification results show that, compared with the centralized FCC architecture based on the event-triggered mechanism, the proposed UAV FCC architecture has better task schedulability and system scalability, and has a higher task reliability under the same redundancy configuration, which means that it can provide a distributed, synchronous fault-tolerant and redundant reconfigurable technology platform for future Uav FCCs.
A Survey of Behavior Trees in Robotics and AI
TLDR
A comprehensive survey of the topic of BTs in Artificial Intelligence and Robotic applications is presented and the existing literature is described and categorized based on methods, application areas and contributions.
Handling Concurrency in Behavior Trees
TLDR
This paper defines two new BT nodes to tackle the concurrency problems in BTs and shows how to exploit them to create predictable behaviors and introduces measures to assess execution performance and show how different design choices affect them.
On the Implementation of Behavior Trees in Robotics
TLDR
Practical aspects in the adoption of BTs are outlined, the solutions proposed in open-source libraries used in robotics are overviewed, and how BTs fit in a robotic software architecture is shown.
Task Planning with Belief Behavior Trees
TLDR
This paper proposes Belief Behavior Trees, an extension to Behavior Trees that allows to automatically create a policy that controls a robot in partially observable environments and provides experimental validation of the approach in a real robotic scenario and in a simulated one.
Node Templates to improve Reusability and Modularity of Behavior Trees
TLDR
This work suggests to generalise the idea of subtree reuse to "node templates" concept, which allows to represent an arbitrary nodes collection and previously hardcoded behaviors such as Node* and many Decorator nodes could be implemented in a memory-based BT by node templates.
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies
TLDR
This paper considers a message-passing model that accommodates both synchronous and asynchronous composition of parallel components, in which BTs and other components execute and interact according to the communication patterns commonly adopted in robotic software architectures.

References

SHOWING 1-10 OF 17 REFERENCES
Behavior Trees for UAV Mission Management
  • A. Klöckner
  • Computer Science, Engineering
    GI-Jahrestagung
  • 2013
TLDR
Advantages of behavior trees for use in mission management and newly developed transient tasks are introduced to behavior trees, which allow for finite-state-machine-like initialization and interruption of tasks.
The Modelica BehaviorTrees Library: Mission Planning in Continuous-Time for Unmanned Aircraft
The paper introduces a continuous-time architecture and a Modelica library for mission planning based on behavior trees. It allows to study the long-time behavior of complex aircraft models in
Behavior Trees with Stateful Tasks
TLDR
Two approaches are presented in order to provide tasks with states inside behavior trees: the first allows to embed regular state machines in a specialized behavior tree task and the second provides new memory and reset tasks inorder to store information directly in the tree.
Interfacing Behavior Trees with the World Using Description Logic
TLDR
The description logic Attributive Language with Complements and concrete Domains ALC(D) is proposed as the input formalism for a mission plan based on behavior trees that can be used as a first step towards verification of mission plans with formal methods.
Increasing Modularity of UAV Control Systems using Computer Game Behavior Trees
In this paper, we argue that the modularity, reusability and complexity of Unmanned Aerial Vehicle (UAV) guidance and control systems might be improved by using a Behavior Tree (BT) architecture. BTs
Towards a unified behavior trees framework for robot control
TLDR
This paper describes the unified BT framework along with equivalence notions between BTs and Controlled Hybrid Dynamical Systems (CHDSs) in a more accurate and compact way, while providing insight about their actual representation capabilities.
A framework for end-user instruction of a robot assistant for manufacturing
TLDR
The goal is to create a system designed for small manufacturers that contains a set of capabilities useful for a wide range of tasks, is both powerful and easy to use, allows for perceptually grounded actions, and is able to accumulate, abstract, and reuse plans that have been taught.
Maximally satisfying LTL action planning
TLDR
This work interfaces the high-level plan with the robot's low-level controller through a reactive middle-layer formalism called Behavior Trees (BTs) and demonstrates the proposed framework using a NAO robot capable of walking, ball grasping and ball dropping actions.
How Behavior Trees Modularize Hybrid Control Systems and Generalize Sequential Behavior Compositions, the Subsumption Architecture, and Decision Trees
TLDR
This paper analyzes how the BT representation increases the modularity of an HDS and how key system properties are preserved over compositions of such systems, in terms of combining two BTs into a larger one.
Parameterizing Behavior Trees
TLDR
This paper introduces and motivates the application of parameterization to behavior trees, and introduces a tool called Topiary, which enables the graphically-oriented authoring of behavior trees with this functionality as part of a broader testbed for agent simulation.
...
1
2
...