A Generated Property Specification Language for Resilient Multirobot Missions

@inproceedings{Dragule2017AGP,
  title={A Generated Property Specification Language for Resilient Multirobot Missions},
  author={Swaib Dragule and Bart Meyers and Patrizio Pelliccione},
  booktitle={SERENE},
  year={2017}
}
The use of robots is gaining considerable traction in several domains, since they are capable of assisting and replacing humans for everyday tasks. To harvest the full potential of robots, it must be possible to define missions for robots that are domain-specific, resilient, and collaborative. Currently, robot vendors provide low-level APIs to program such missions, making mission definition a task-specific and error-prone activity. There is a need for quick definition of new missions, by users… 

High-level mission specification for multiple robots

TLDR
PROMISE is a novel language that enables domain experts to specify missions on a high level of abstraction for teams of autonomous robots in a user-friendly way, while having well-defined semantics.

Languages for Specifying Missions of Robotic Applications

TLDR
This chapter presents domain-specific languages (DSLs) for robot mission specification, among others, profiling them as internal or external and also giving an overview of their tooling support.

A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems

  • Daneil Steen LosvikAdrian Rutle
  • Computer Science
    2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
  • 2019
TLDR
This paper proposes a framework where simple actions are used as building blocks to define larger tasks that require multiple robots with different capabilities to achieve, and shows how task distribution can be performed and how the robot operating system can be utilized.

Model-Driven Simulation-Based Analysis for Multi-Robot Systems

TLDR
This work introduces ATLAS, a novel model-driven approach supporting the systematic robustness analysis of multi-robot systems in sim-illation, and evaluates its effectiveness on two oceanic exploration missions performed by a team of unmanned underwater vehicles developed using the MOOS-IvP robotic simulator.

CommonLang: A DSL for Defining Robot Tasks

TLDR
This paper presents a robot modelling framework and evaluates its flexibility by extending it with wireless communication functionalities and says it can work on a higher abstraction level making the task of programming complex heterogeneous robots more efficient.

EUD-MARS: End-user development of model-driven adaptive robotics software systems

References

SHOWING 1-10 OF 25 REFERENCES

Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems

TLDR
A family of domain-specific modeling languages for the specification of civilian missions of mobile multi-robot systems are proposed, thus opening up the use of robots to even non-technical operators and showing the applicability of the proposed family of languages in two real-world application domains.

A Family of Domain-Specific Languages for Specifying Civilian Missions of Multi-Robot Systems

TLDR
A family of domain-specific languages for specifying missions of multi-robot systems by means of models that are independent from the technologies, ready to be analysed, simulated, and executed, and closer to the problem domain are proposed, thus democratizing the use of robots to non-technical operators.

FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters

TLDR
This paper describes a tool that enables end-users with no technical expertise, e.g., firefighters and rescue workers, to specify missions for a team of multicopters and the detailed flight plan that each multicopter must perform to accomplish the specified mission is automatically generated.

Automatic generation of detailed flight plans from high-level mission descriptions

TLDR
This paper considers mission specifications expressed through a domain-specific modeling language which can be effectively used by end-users with no technical expertise, e.g., firefighters and rescue workers, and generates the lower level logic that each drone must perform to accomplish the specified mission.

Integrated Mission Specification and Task Allocation for Robot Teams - Design and Implementation

TLDR
This work loosens the assumption that the robots available for the mission are of the same type (i.e., homogeneous) through the integration of contract-net protocol based task allocation coupled with a CBR-based mission specification wizard.

A Role-Based Language for Collaborative Robot Applications

TLDR
This work introduces NaoText, a role-based domain-specific language for specifying collaborative robot applications that contributes dedicated abstractions to conveniently structure and implement collaborative behavior and thus, addresses the complexity challenge.

Runtime models for automatic reorganization of multi-robot systems

TLDR
A reusable framework for developing adaptive multi-robotic systems for heterogeneous robot teams using an organization-based approach based on the Organizational Model for Adaptive Computational Systems (OMACS) and the Goal Model for Dynamic Systems (GMoDS).

Leveraging Collective Run-Time Adaptation for UAV-Based Systems

TLDR
A novel approach for managing the run-time adaptation of UAV-based systems is described, based on a generic collective adaptation engine that addresses collective adaptation problems in a decentralized fashion, operates at run- time, and enables the addition of new entities at any time.

ProMoBox: A Framework for Generating Domain-Specific Property Languages

TLDR
The ProMoBox framework consists of generic languages for modelling properties and representing verification results, a fully automated method to specialize and integrate these generic languages to a given DSM language, and a verification backbone based model checking directly plug-able to DSM environments.

An Adaptive Goal-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV

Abstract We propose an adaptive task-based model that allows cyber-physical systems (CPS) to update their environmental model and helps them analyse reachability to their goal from current state