Patrícia N. Pena

Statistics

Publications

Citations

244

H-Index

Active since

2006

Affiliations

Universidade Federal de Minas Gerais(Current)

Universidade Federal de Santa Catarina

University of Michigan

University of Waikato

Military Institute of Engineering

Patrícia N. Pena is an author at Universidade Federal de Minas Gerais specializing in engineering, supervisory control theory, and discrete-event modeling.

ORCID

Publications per year

2006–2021

Publications

Verification of Nonconflict of Supervisors Using Abstractions

Patrícia N. Pena, José E.R. Cury, Stéphane Lafortune · IEEE Transactions on Automatic Control · 2009 · 42 citations

Computing, Computer Science, Systems Engineering +10

Testing Modularity of Local Supervisors: An Approach Based on Abstractions

Patrícia N. Pena, José E.R. Cury, Stéphane Lafortune · 2006 · 35 citations

Engineering, Computer Science, Systems Engineering +11

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 et al. · Information Sciences · 2015 · 34 citations · Full text

Engineering, Industrial Engineering, Manufacturing Engineering +16

Discrete-event systems subject to unknown sensor attacks

Michel R. C. Alves, Patrícia N. Pena, Karen Rudie · Discrete Event Dynamic Systems · 2021 · 17 citations · Full text

Computing, Computer Science, Systems Engineering +14

Polynomial-time verification of the observer property in abstractions

Patrícia N. Pena, José E.R. Cury, Stéphane Lafortune · 2008 · 16 citations

Computing, Computer Science, Algorithms +16

1–5 of 13