Patrícia N. Pena

UltraDES - A Library for Modeling, Analysis and Control of Discrete Event Systems

Lucas V.R. Alves, Lucas R.R. Martins, Patrícia N. Pena, 2017 .

Optimal Task Scheduling in a Flexible Manufacturing System using Model Checking

Patrícia N. Pena, Robi Malik, R. Malik, 2018 .

Conflicts and projections

Patrícia N. Pena, Robi Malik, Hugo Flordal, 2007 .

Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos

Patrícia N. Pena, Stéphane Lafortune, Antonio Eduardo Carrilho da Cunha, 2010 .

Factorization-Based Approach for Computing a Minimum Makespan Controllable Sublanguage

Ricardo H. C. Takahashi, Lucas V.R. Alves, Patrícia N. Pena, 2018 .

Using an Abstraction of the Supervisor to Solve a Planning Problem in Manufacturing Systems

Patrícia N. Pena, Gustavo Caetano Rafael, Gustavo Caetano Rafael, 2018 .

SCO-Concat: a Solution to a Planning Problem in Flexible Manufacturing Systems using Supervisory Control Theory and Optimization Techniques

Ricardo H. C. Takahashi, Patrícia N. Pena, Tatiana A. Costa, 2018, Journal of Control, Automation and Electrical Systems.

Abstraction of the Supervisory Control Solution to Deal With Planning Problems in Manufacturing Systems

Patrícia N. Pena, Juliana N. Vilela, Michel R. C. Alves, 2022, IEEE Transactions on Automatic Control.