New Results on Testing Modularity of Local Supervisors using Abstractions. - Patrícia N. Pena; José E. R. Cury; Stéphane Lafortune (ETFA, 2006)

Polynomial-time verification of the observer property in abstractions. - Patrícia N. Pena; José E. R. Cury; Stéphane Lafortune (ACC, 2008)

Verification of Nonconflict of Supervisors Using Abstractions. - Patrícia N. Pena; José E. R. Cury; Stéphane Lafortune (IEEE Trans. Autom. Control., 2009)

Efficient computation of observer projections using OP-verifiers. - Patrícia N. Pena; José E. R. Cury; Robi Malik; Stéphane Lafortune (WODES, 2010)

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 (WODES, 2012)

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 (IEEE Congress on Evolutionary Computation, 2013)

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 (WODES, 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)

Planning on Discrete Events Systems: A logical approach. - Lucas V. R. Alves; Hugo J. Bravo; Patrícia Nascimento Pena; Ricardo H. C. Takahashi (CASE, 2016)

Supervisor abstraction to deal with planning problems in manufacturing systems. - Juliana Nogueira Vilela; Patrícia N. Pena (WODES, 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)

Autonomous Navigation of Multiple Robots using Supervisory Control Theory. - Jaime A. Dulce-Galindo; Marcelo Alves dos Santos; Guilherme V. Raffo; Patrícia N. Pena (ECC, 2019)

Planning on Discrete Event Systems Using Parallelism Maximization. - Lucas V. R. Alves; Patrícia N. Pena; Ricardo H. C. Takahashi (CoRR, 2019)

On the Reduction and Localization of Synchronizing Supervisors. - Lucas V. R. Alves; Patrícia N. Pena (ACC, 2021)

Enforcing State-Based Opacity using Synchronizing Automata. - Jaime A. Dulce-Galindo; Lucas V. R. Alves; Guilherme V. Raffo; Patrícia N. Pena (CDC, 2021)

Discrete-event systems subject to unknown sensor attacks. - Michel R. C. Alves; Patrícia N. Pena; Karen Rudie (Discret. Event Dyn. Syst., 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)

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)

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., 2023)