José Eduardo Ribeiro Cury

Learn 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 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)
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)
— In this paper, a hierarchical and decentralized approach for composite discrete-event systems (DES) that have to fulfill multiple tasks is elaborated. Colored marking generators that can distinguish classes of tasks are used as the system model, and a colored abstraction procedure as well as sufficient conditions for nonblocking and hierarchically(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)