Seguir
Patrícia Nascimento  Pena
Patrícia Nascimento Pena
Department of Electronics Engineering, Universidade Federal de Minas Gerais
Dirección de correo verificada de ufmg.br - Página principal
Título
Citado por
Citado por
Año
Verification of nonconflict of supervisors using abstractions
PN Pena, JER Cury, S Lafortune
IEEE Transactions on Automatic Control 54 (12), 2803-2815, 2009
622009
Control of flexible manufacturing systems under model uncertainty using supervisory control theory and evolutionary computation schedule synthesis
PN Pena, TA Costa, RS Silva, RHC Takahashi
Information Sciences 329, 491-502, 2016
462016
Testing modularity of local supervisors: An approach based on abstractions
PN Pena, JER Cury, S Lafortune
2006 8th International Workshop on Discrete Event Systems, 107-112, 2006
422006
Ultrades-a library for modeling, analysis and control of discrete event systems
LVR Alves, LRR Martins, PN Pena
IFAC-PapersOnLine 50 (1), 5831-5836, 2017
292017
Generalised verification of the observer property in discrete event systems
HJ Bravo, AEC da Cunha, PN Pena, R Malik, JER Cury
11th International Workshop on Discrete Event Systems, 2012
28*2012
Polynomial-time verification of the observer property in abstractions
PN Pena, JER Cury, S Lafortune
2008 American Control Conference, 465-470, 2008
242008
Optimal task scheduling in a flexible manufacturing system using model checking
R Malik, PN Pena
IFAC-PapersOnLine 51 (7), 230-235, 2018
192018
Autonomous navigation of multiple robots using supervisory control theory
JA Dulce-Galindo, MA Santos, GV Raffo, PN Pena
2019 18th European Control Conference (ECC), 3198-3203, 2019
182019
Secure recovery procedure for manufacturing systems using synchronizing automata and supervisory control theory
LVR Alves, PN Pena
IEEE Transactions on Automation Science and Engineering 19 (1), 486-496, 2020
172020
Supervisor abstraction to deal with planning problems in manufacturing systems
JN Vilela, PN Pena
2016 13th International Workshop on Discrete Event Systems (WODES), 117-122, 2016
162016
Conflicts and projections
R Malik, H Flordal, PN Pena
IFAC Proceedings Volumes 40 (6), 205-210, 2007
152007
Planning on discrete events systems: A logical approach
LVR Alves, HJ Bravo, PN Pena, RHC Takahashi
2016 IEEE International Conference on Automation Science and Engineering …, 2016
142016
New results on testing modularity of local supervisors using abstractions
PN Pena, JER Cury, S Lafortune
2006 IEEE Conference on Emerging Technologies and Factory Automation, 950-956, 2006
142006
Discrete-event systems subject to unknown sensor attacks
MRC Alves, PN Pena, K Rudie
Discrete Event Dynamic Systems 32 (1), 143-158, 2022
132022
New results on the nonconflict test of modular supervisors
PN Pena, AEC da Cunha, JER Cury, S Lafortune
2008 9th International Workshop on Discrete Event Systems, 468-473, 2008
132008
Efficient Computation of Observer Projections using OP-Verifiers1
PN Pena, JER Cury, R Malik, S Lafortune
IFAC Proceedings Volumes 43 (12), 406-411, 2010
122010
Planning on discrete event systems using parallelism maximization
LVR Alves, PN Pena, RHC Takahashi
Control Engineering Practice 112, 104813, 2021
112021
Clonal selection algorithms for task scheduling in a flexible manufacturing cell with supervisory control
AC Oliveira, TA Costa, PN Pena, RHC Takahashi
2013 IEEE Congress on Evolutionary Computation, 982-988, 2013
112013
Abstraction of the supervisory control solution to deal with planning problems in manufacturing systems
PN Pena, JN Vilela, MRC Alves, GC Rafael
IEEE Transactions on Automatic Control 67 (1), 344-350, 2021
92021
Distributed supervisory control for multiple robot autonomous navigation performing single-robot tasks
JA Dulce-Galindo, MA Santos, GV Raffo, PN Pena
Mechatronics 86, 102848, 2022
72022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20