Patrícia Nascimento Pena

Learn More
The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the(More)
This paper proposes a procedure to compute abstractions of Discrete Event System (DES) models with the observer property (OP). The procedure, named OP-Search, is based on the OP-Verifier algorithm which verifies if a given natural projection has the observer property. In case OP fails for a projection in Σr of an automatonM , OP-Search modifiesM by(More)
This paper presents a variation of the methodology, established in a previous paper, to test a modular system for nonconflict using abstractions of its supervisors. In this work, information about the model and control structure of the system are used to derive a solution where some of the conditions established before are not required. The local modular(More)
The observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This paper presents a new algorithm that tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure, called OP-Verifier, can be applied to (potentially nondeterministic) automata, with no(More)
A new approach for the problem of optimal task scheduling in a manufacturing cell is proposed in this work, as a combination of a clonal algorithm with the supervisory control of discrete-event dynamical systems. Two methodologies are proposed. In the first one, the clonal selection algorithm (CSA) performs the search for the optimal solution, using(More)
This paper deals with the planning problem in manufacturing systems, by proposing a method to find a sequence of events in a supervisor that maximizes the parallelism among equipment. The supervisor is obtained using the Supervisory Control Theory and it implements the supremal controllable sublanguage contained in the desired behavior of the system. The(More)
  • 1