Currently, the control software of swarm robotics systems is created by ad hoc development.
This makes it hard to deploy these systems in real-world scenarios. In particular, it is difficult …

At present, most of the source code controlling swarm robotic systems is developed in an ad-
hoc manner. This can make it difficult to maintain these systems and to guarantee that they …

This article presents a software tool for the synthesis of supervisory control based on
untimed finite state automata. The tool has a friendly graphical interface for the creation of …

Swarm robotics studies large groups of robots that work together to accomplish common
tasks. Much of the used source code is developed in an ad-hoc manner, meaning that the …

In recent years, the growth of renewable energy production has encouraged the
development of new technologies, such as High-Voltage Direct Current (HVDC) networks …

The main objective of this work is to develop a program capable of automating the
application of discrete event systems to embedded systems. It uses the implementation of …

This paper details the implementation of a supervisory controller executing within the
microcontroller of an embedded system. The plant, a dual-axis solar tracking system, is …

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 …

The Supervisory Control Theory (SCT) of Discrete Event Systems (DES) provides systematic
approaches for designing control command sequences for plants that can be modeled as …

Supervisory Control Theory (SCT) is a powerful framework to design a controller for a
Discrete Event System (DES). However, several issues appear because of the different …