Follow
Patrícia Nascimento  Pena
Patrícia Nascimento Pena
Department of Electronics Engineering, Universidade Federal de Minas Gerais
Verified email at ufmg.br - Homepage
Title
Cited by
Cited by
Year
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
482016
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
312017
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
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
212020
Discrete-event systems subject to unknown sensor attacks
MRC Alves, PN Pena, K Rudie
Discrete Event Dynamic Systems 32 (1), 143-158, 2022
202022
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
202019
Optimal task scheduling in a flexible manufacturing system using model checking
R Malik, PN Pena
IFAC-PapersOnLine 51 (7), 230-235, 2018
202018
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
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
Planning on discrete event systems using parallelism maximization
LVR Alves, PN Pena, RHC Takahashi
Control Engineering Practice 112, 104813, 2021
122021
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
122021
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
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
Sco-concat: a solution to a planning problem in flexible manufacturing systems using supervisory control theory and optimization techniques
TA Costa, PN Pena, RHC Takahashi
Journal of Control, Automation and Electrical Systems 29, 500-511, 2018
102018
The system can't perform the operation now. Try again later.
Articles 1–20