Patrícia N. Pena

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