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 …

This paper presents the implementation of supervisory control theory in microcontrollers. To
ensure a good implementation problems previously discussed in the literature must be …

A teoria de linguagens e autômatos é utilizada para a obtenção da lógica de controle de
coordenação de plantas de manufatura automatizadas. No entanto, há uma carência da …

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 …

Este artigo apresenta a implementação de um controlador para um dispositivo que
automatiza a produção de gelos em cubos em um refrigerador doméstico, conhecido como …

The use of MES (Manufacturing Execution System) is an alternative to link the ERP
(Enterprise Resource Planning) to the activities at the shop floor. Due to the difference …

Swarm robotics systems have the potential to tackle many interesting problems. Their control
software is mostly created by ad-hoc development. This makes it hard to deploy swarm …

A teoria de controle supervisório consiste em uma abordagem formal para a soluçao de
problemas de controle de sistemas a eventos discretos na qual se tem a garantia de uma …