Learn More
The Supervisory Control Theory is applied to a manufacturing cell commanded by a programmable logic controller (PLC). By means of local modular approach a methodology that exploits modularity of the plant and of the behavioral specifications models optimal supervisors are obtained without state-space explosion. For the purpose of simplifying the ladder(More)
This paper presents an approach for reducing computational efforts in the synthesis of modular supervisors for discrete event systems. Most of large scale systems are represented by the composition of several smaller subsystems. To avoid the design on a single, often large plant, modular supervisors are synthesized on local models, which are constructed(More)
This paper presents an approach for functionally dealing with multiple tasks in the supervisory control of discrete-event systems (DES). The colored marking generator (CMG), a special type of Moore automaton, is introduced as a model that distinguishes classes of tasks in DES. The main results of supervisory control theory are extended to this model,(More)
This paper deals with the implementation of supervisory control of discrete events systems in programmable logic controllers. A modular approach of the supervisory control theory is applied for performing the formal synthesis of supervisors. Some problems that arise in the implementation of supervisory control are reviewed from the literature. The main(More)
Methodology and Computational Tool for Testing Nonconflict On Modular Control of Discrete Event Systems This paper presents contributions on the use of abstractions in modular control of discrete event systems. First, the W • T-strategy is presented for the construction of abstractions for the nonconflict test of local modular supervisors. Second, an(More)