This paper provides an overview of some well-known formal approaches for the synthesis
and implementation of logic controllers. Most of these approaches are based on the use and …

In conventional supervisory control theory, a plant and supervisor are supposed to work
synchronously such that enabling an event by the supervisor, execution of it in the plant, and …

This paper proposes a software architecture based on LabVIEW for controlling discrete
event systems. The proposed architecture is an adaptation of the producer–consumer …

Developing and implementing control logic for automated manufacturing systems is not a
trivial task. Industrial production lines should be able to produce many types of products that …

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

Abstract Finite State Machines (FSMs) are the foundation to design Discrete Event Systems
(DESs). A FSM that designs a DES model can be further processed using Supervisory …

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 …

This work presents a methodology for implementing the Local Modular Control Structure in
Function Blocks of the IEC 61499 standard, in which the OPC-UA protocol is used in the …

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 …

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 …