Abstract:Industrial contexts, typically characterized by highly unstructured environments, where task sequences are difficult to hard-code and unforeseen events occur daily (e.g., oil and gas, energy generation, aeronautics) cannot completely rely upon automation to substitute the human dexterity and judgment skills. Robots operating in these conditions have the common requirement of being able to deploy appropriate behaviours in highly dynamic and unpredictable environments, while aiming to achieve a more natural human-robot interaction and a broad range of acceptability in providing useful and efficient services. The goal of this paper is to introduce a deliberative framework able to acquire, reuse and instantiate a collection of behaviours that promote an extension of the autonomy periods of mobile robotic platforms, with a focus on maintenance, repairing and overhaul applications. Behavior trees are employed to design the robotic system's high-level deliberative intelligence, which integrates: social behaviors, aiming to capture the human's emotional state and intention; the ability to either perform or support various process tasks; seamless planning and execution of human-robot shared work plans. In particular, the modularity, reactiveness and deliberation capacity that characterize the behaviour tree formalism are leveraged to interpret the human's health and cognitive load for supporting her/him, and to complete a shared mission by collaboration or complete take-over. By enabling mobile robotic platforms to take-over risky jobs which the human cannot, should not or do not want to perform the proposed framework bears high potential to significantly improve the safety, productivity and efficiency in harsh working environments.

Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies

Formalizing Stateful Behavior Trees

Automatically ‘verifying’ Discrete-Time Complex Systems Through Learning, Abstraction and Refinement

Analysis and Exploitation of Synchronized Parallel Executions in Behavior Trees

Verification of Behavior Trees with Contingency Monitors

A Toolchain to Design, Execute, and Monitor Robots Behaviors

A Resourceful Reframing of Behavior Trees

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees

On the programming effort required to generate Behavior Trees and Finite State Machines for robotic applications

On the Implementation of Behavior Trees in Robotics

Generalized Behavior Framework for Mobile Robots Teaming With Humans in Harsh Environments

Model-based Runtime Verification Framework

Execution Semantics of Behavior Trees in Robotic Applications

Reconfigurable Behavior Trees: Towards an Executive Framework Meeting High-level Decision Making and Control Layer Features

Integrating Intent Understanding and Optimal Behavior Planning for Behavior Tree Generation from Human Instructions

Runtime Verification for Trustworthy Computing

An Algebraic Framework for Runtime Verification

Handling Concurrency in Behavior Trees

A Framework for Learning Behavior Trees in Collaborative Robotic Applications

Runtime Verification Through Forward Chaining