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 …

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

Recent years have seen a rapid development of the Internet of Things (IoT) and the growth
of autonomous robotic applications which are using network communications. Accordingly …

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 …

Software development for robotics applications is still a major challenge that becomes even
more complex when considering multi-robot systems (MRSs). Such distributed software has …

Robots, in contrast to typical computational systems, affect the physical environment directly.
Therefore, other assumptions must be considered for task management procedures in these …

Abstract Nowadays, Multi-Robot Systems are an emerging research field under the umbrella
of Cyber-Physical Systems. They consist of a group of robots that cooperate to accomplish a …

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 …

Software development for robotics applications is still a major challenge that becomes even
more complex when considering a Multi-Robot System (MRS). Such a distributed software …