Behavior trees in action: a study of robotics applications
Autonomous robots combine a variety of skills to form increasingly complex behaviors called
missions. While the skills are often programmed at a relatively low level of abstraction, their …
missions. While the skills are often programmed at a relatively low level of abstraction, their …
Behavior trees and state machines in robotics applications
Autonomous robots combine skills to form increasingly complex behaviors, called missions.
While skills are often programmed at a relatively low abstraction level, their coordination is …
While skills are often programmed at a relatively low abstraction level, their coordination is …
[HTML][HTML] Specification, stochastic modeling and analysis of interactive service robotic applications
Assistive robotic systems are quickly becoming a core technology for the service sector as
they are understood capable of supporting people in need of assistance in a wide variety of …
they are understood capable of supporting people in need of assistance in a wide variety of …
Mission specification patterns for mobile robots: Providing support for quantitative properties
With many applications across domains as diverse as logistics, healthcare, and agriculture,
service robots are in increasingly high demand. Nevertheless, the designers of these robots …
service robots are in increasingly high demand. Nevertheless, the designers of these robots …
Languages for specifying missions of robotic applications
Robot application development is gaining increasing attention both from the research and
industry communities. Robots are complex cyber-physical and safety-critical systems with …
industry communities. Robots are complex cyber-physical and safety-critical systems with …
[HTML][HTML] Mission specification and decomposition for multi-robot systems
Abstract Service robots are increasingly being used to perform missions comprising
dangerous or tedious tasks previously executed by humans. However, their users—who …
dangerous or tedious tasks previously executed by humans. However, their users—who …
Unified Meaning Representation Format (UMRF)-A Task Description and Execution Formalism for HRI
To facilitate continuous development of novel HRI systems, it is beneficial to have tools that
enable quick adjustments, flexibility, or re-invention of the human interfaces when system …
enable quick adjustments, flexibility, or re-invention of the human interfaces when system …
Adaptive heterogeneous multi-robot collaboration from formal task specifications
Efficiently coordinating different types of robots is an important enabler for many commercial
and industrial automation tasks. Here, we present a distributed framework that enables a …
and industrial automation tasks. Here, we present a distributed framework that enables a …
Scheduling of missions with constrained tasks for heterogeneous robot systems
We present a formal tasK AllocatioN and scheduling apprOAch for multi-robot missions
(KANOA). KANOA supports two important types of task constraints: task ordering, which …
(KANOA). KANOA supports two important types of task constraints: task ordering, which …
A survey on the design space of end-user-oriented languages for specifying robotic missions
Mobile robots are becoming increasingly important in society. Fulfilling complex missions in
different contexts and environments, robots are promising instruments to support our …
different contexts and environments, robots are promising instruments to support our …