The increasing significance of operating systems (OSs) in the development of the Internet of
Things (IoT) has emerged in the last decade. An event-driven OS is memory efficient and …

The factory of the future scenario asks for new approaches to cope with the incoming
challenges and complexity of cyber-physical systems. The role of database management …

Synchronization can be a necessary prerequisite to perform coordinated actions or reach
consensus in decentralized multi-agent systems, such as robotic swarms and sensor …

The complexity of cyber-physical systems (CPSs) poses new challenges in their design,
model checking and maintenance. The hardware and software designers are in search …

Swarm robotics investigates groups of relatively simple robots that use decentralized control
to achieve a common goal. While the robots of many swarm systems communicate via …

This paper presents a hardware revision of the Pi-puck extension board that now includes
support for the e-puck2. This Raspberry Pi interface for the e-puck robot provides a feature …

The focus of this study is to design individual control laws that segregate multiple groups of
mobile heterogeneous robots. Our approach is based on the use of abstractions to represent …

The Internet of Things (IoT) is becoming an increasingly common paradigm. As IoT usage
scenarios have increased, many challenges in IoT operating systems' safety and …

Synchronization can be a key requirement to perform coordinated actions or reach
consensus in multi-robot systems. We study the effect of robot speed on the time required to …

Swarm robotics is an emerging field of research which is increasingly attracting attention
thanks to the advances in robotics and its potential applications. However, despite the …