The paper presents a model-based approach to developing robotic system controllers.
Central to this approach is a parameterised meta-model that describes the generic robotic …

The paper presents a methodology of creating a Hierarchical Petri Net modelling the
activities of a multi-agent robotic system. The methodology follows the separation of …

In modern industrial production, robotic assembly systems play a crucial role. As robots take
on more tasks, the need for formal methods arises to define, control, and execute these …

This article proposes a formal method of designing robotic systems focusing on
communication between components, as well as standardization of the messages between …

The paper presents the Embodied Agent-based Robot control system modelling Language
(EARL). EARL follows a Model-Driven Software Development approach (MDSD), which …

The paper presents a holistic robotic system specification methodology taking into account
both the system structure and its activities. It is based on the concept of an embodied agent …

The goal of the research reported here was to investigate whether the design methodology
utilising embodied agents can be applied to produce a multi-modal human–computer …

This article investigates the analysis of robotic system models using the Robotic System
Hierarchic Petri Net (RSHPN) meta-model, proposing streamlined methods by focusing on …

The formal design and development of multi-agent systems has attracted a considerable
attention over the past decades because of their extensive use in safety-critical applications …

The changes taking place in industry, and in particular the implementation of the Industry 4.0
philosophy has significantly influenced the way of modelling of manufacturing processes …