Patrícia Nascimento Pena

According to our database, Patrícia Nascimento Pena authored at least 19 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms.

Lucas V. R. Alves, Gustavo C. Rafael, Lucas S. Batista, Patrícia N. Pena

Discret. Event Dyn. Syst., December, 2023

2022

Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory.

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

IEEE Trans Autom. Sci. Eng., 2022

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

Patrícia N. Pena, Juliana Nogueira Vilela, Michel R. C. Alves, Gustavo C. Rafael

IEEE Trans. Autom. Control., 2022

Discrete-event systems subject to unknown sensor attacks.

Michel R. C. Alves, Patrícia N. Pena, Karen Rudie

Discret. Event Dyn. Syst., 2022

2021

Enforcing State-Based Opacity using Synchronizing Automata.

Jaime A. Dulce-Galindo, Lucas V. R. Alves, Guilherme V. Raffo, Patrícia N. Pena

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

On the Reduction and Localization of Synchronizing Supervisors.

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

Proceedings of the 2021 American Control Conference, 2021

2019

Planning on Discrete Event Systems Using Parallelism Maximization.

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

CoRR, 2019

Autonomous Navigation of Multiple Robots using Supervisory Control Theory.

Jaime A. Dulce-Galindo, Marcelo Alves dos Santos, Guilherme V. Raffo, Patrícia N. Pena

Proceedings of the 17th European Control Conference, 2019

2016

Control of Flexible Manufacturing Systems under model uncertainty using Supervisory Control Theory and evolutionary computation schedule synthesis.

Patrícia N. Pena, Tatiana A. Costa, Regiane S. Silva, Ricardo H. C. Takahashi

Inf. Sci., 2016

Supervisor abstraction to deal with planning problems in manufacturing systems.

Juliana Nogueira Vilela, Patrícia N. Pena

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Planning on Discrete Events Systems: A logical approach.

Lucas V. R. Alves, Hugo J. Bravo, Patrícia Nascimento Pena, Ricardo H. C. Takahashi

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2014

Verification of the Observer Property in Discrete Event Systems.

Patrícia N. Pena, Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Robi Malik, Stéphane Lafortune, José E. R. Cury

IEEE Trans. Autom. Control., 2014

Generalised Search for the Observer Property in Discrete Event Systems.

Hugo J. Bravo, Patrícia Nascimento Pena, Antonio Eduardo Carrilho da Cunha, Robi Malik, José E. R. Cury

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Clonal selection algorithms for task scheduling in a flexible manufacturing cell with supervisory control.

Ana C. Oliveira, Tatiana A. Costa, Patrícia N. Pena, Ricardo H. C. Takahashi

Proceedings of the IEEE Congress on Evolutionary Computation, 2013

2012

Generalised verification of the observer property in discrete event systems.

Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Patrícia Nascimento Pena, Robi Malik, José E. R. Cury

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

2010

Efficient computation of observer projections using OP-verifiers.

Patrícia N. Pena, José E. R. Cury, Robi Malik, Stéphane Lafortune

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009

Verification of Nonconflict of Supervisors Using Abstractions.

Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune

IEEE Trans. Autom. Control., 2009

2008

Polynomial-time verification of the observer property in abstractions.

Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune

Proceedings of the American Control Conference, 2008

2006

New Results on Testing Modularity of Local Supervisors using Abstractions.

Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006