Yuri Kaszubowski Lopes — accepted AI-conference papers

2020

Supervisory Control of Robot Swarms Using Public Events

Yuri Kaszubowski Lopes, Stefan M. Trenkwalder, André B. Leal, Tony J. Dodd, Roderich Groß

ICRA 2020poster

Supervisory Control Theory (SCT) provides a formal framework for controlling discrete event systems. It has recently been used to generate correct-by-construction controllers for swarm robotics systems. Current SCT frameworks are limited, as they support only (private) events that are observable wit…

Cited by 4 Source ↗Scholar ↗

2016

OpenSwarm: An event-driven embedded operating system for miniature robots

Stefan M. Trenkwalder, Yuri Kaszubowski Lopes, Andreas Kolling, Anders Lyhne Christensen, Radu Prodan, Roderich Groß

IROS 2016poster

This paper presents OpenSwarm, a lightweight easy-to-use open-source operating system. To our knowledge, it is the first operating system designed for and deployed on miniature robots. OpenSwarm operates directly on a robot's microcontroller. It has a memory footprint of 1 kB RAM and 12 kB ROM. Open…

Cited by 13 Source ↗Scholar ↗