Programming robotic systems is often a challenging task requiring advanced skills,
especially when the goal is to ensure loosely-coupled coordination in heterogeneous Multi …

Abstract Validation and Verification (V&V) of autonomous robotic system software is
becoming a critical issue. Among the V&V techniques at our disposal, formal approaches …

The complexity of today's robot control systems implies difficulty in developing them
efficiently and reliably. Systems engineering (SE) and frameworks come to help. The …

Robotic systems are complex cyber-physical systems (CPS) commonly equipped with
multiple sensors and effectors. Recent simulation methods enable the Digital Twin (DT) …

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

Robotic System Specification Language (RSSL) stems from the embodied agent approach
to robotic system design. It enables the specification of both the structure and activities of a …

We propose an optimization system for motion planning of robot arms using Petri Nets. The
proposed optimization system consists of four sub-systems consisting of automatic …

Acting is an important decisional function for autonomous robots. Acting relies on skills to
implement and to model the activities it oversees: refinement, local recovery, temporal …

In mobile interactive systems, there exist several components that can move and interact
with each other. The current methods fail to give a comprehensive description of their …

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 …