Patrícia N. Pena

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 10

Top Topics

Clonal Selection

Manufacturing Systems

Top Venues

Discret. Event Dyn. Syst.

IEEE Trans. Autom. Control.

IEEE Congress on Evolutionary Computation

Publications

Lucas V. R. Alves, Gustavo C. Rafael, Lucas S. Batista, Patrícia N. Pena
A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms. Discret. Event Dyn. Syst. 33 (4) (2023)
Michel R. C. Alves, Patrícia N. Pena, Karen Rudie
Discrete-event systems subject to unknown sensor attacks. Discret. Event Dyn. Syst. 32 (1) (2022)
Lucas V. R. Alves, Patrícia N. Pena
Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory. IEEE Trans Autom. Sci. Eng. 19 (1) (2022)
Patrícia N. Pena, Juliana Nogueira Vilela, Michel R. C. Alves, Gustavo C. Rafael
Abstraction of the Supervisory Control Solution to Deal With Planning Problems in Manufacturing Systems. IEEE Trans. Autom. Control. 67 (1) (2022)
Lucas V. R. Alves, Patrícia N. Pena
On the Reduction and Localization of Synchronizing Supervisors. ACC (2021)
Jaime A. Dulce-Galindo, Lucas V. R. Alves, Guilherme V. Raffo, Patrícia N. Pena
Enforcing State-Based Opacity using Synchronizing Automata. CDC (2021)
Jaime A. Dulce-Galindo, Marcelo A. Santos, Guilherme V. Raffo, Patrícia N. Pena
Autonomous Navigation of Multiple Robots using Supervisory Control Theory. ECC (2019)
Lucas V. R. Alves, Patrícia N. Pena, Ricardo H. C. Takahashi
Planning on Discrete Event Systems Using Parallelism Maximization. CoRR (2019)
Juliana Nogueira Vilela, Patrícia N. Pena
Supervisor abstraction to deal with planning problems in manufacturing systems. WODES (2016)
Patrícia N. Pena, Tatiana A. Costa, Regiane S. Silva, Ricardo H. C. Takahashi
Control of Flexible Manufacturing Systems under model uncertainty using Supervisory Control Theory and evolutionary computation schedule synthesis. Inf. Sci. 329 (2016)
Patrícia N. Pena, Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Robi Malik, Stéphane Lafortune, José E. R. Cury
Verification of the Observer Property in Discrete Event Systems. IEEE Trans. Autom. Control. 59 (8) (2014)
Ana C. Oliveira, Tatiana A. Costa, Patrícia N. Pena, Ricardo H. C. Takahashi
Clonal selection algorithms for task scheduling in a flexible manufacturing cell with supervisory control. IEEE Congress on Evolutionary Computation (2013)
Patrícia N. Pena, José E. R. Cury, Robi Malik, Stéphane Lafortune
Efficient computation of observer projections using OP-verifiers. WODES (2010)
Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune
Verification of Nonconflict of Supervisors Using Abstractions. IEEE Trans. Autom. Control. 54 (12) (2009)
Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune
Polynomial-time verification of the observer property in abstractions. ACC (2008)
Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune
New Results on Testing Modularity of Local Supervisors using Abstractions. ETFA (2006)