Patrícia Nascimento  Pena
Patrícia Nascimento Pena
Department of Electronics Engineering, Universidade Federal de Minas Gerais
Correu electrònic verificat a ufmg.br - Pàgina d'inici
Títol
Citada per
Citada per
Any
Verification of nonconflict of supervisors using abstractions
PN Pena, JER Cury, S Lafortune
IEEE Transactions on Automatic Control 54 (12), 2803-2815, 2009
552009
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
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
322016
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
24*2012
Polynomial-time verification of the observer property in abstractions
PN Pena, JER Cury, S Lafortune
2008 American Control Conference, 465-470, 2008
232008
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
152016
Verification of the observer property in discrete event systems
PN Pena, HJ Bravo, AEC da Cunha, R Malik, S Lafortune, JER Cury
IEEE Transactions on Automatic Control 59 (8), 2176-2181, 2014
152014
Conflicts and projections
R Malik, H Flordal, PN Pena
IFAC Proceedings Volumes 40 (6), 205-210, 2007
142007
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
122008
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
122006
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
112016
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
Efficient Computation of Observer Projections using OP-Verifiers1
PN Pena, JER Cury, R Malik, S Lafortune
IFAC Proceedings Volumes 43 (12), 406-411, 2010
112010
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
82017
Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos
PN Pena, AEC Cunha, JER Cury, S Lafortune
Sba: Controle & Automação Sociedade Brasileira de Automatica 21 (1), 58-68, 2010
62010
Optimal task scheduling in a flexible manufacturing system using model checking
R Malik, PN Pena
IFAC-PapersOnLine 51 (7), 230-235, 2018
52018
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
42019
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 (4), 500-511, 2018
42018
Algoritmo clonal para job shop scheduling com controle supervisório
RS Silva, AC Oliveira, PN Pena, RHC Takahashi
X Simpósio Brasileiro de Automação Inteligente, 1376-1381, 2011
42011
Using an abstraction of the supervisor to solve a planning problem in manufacturing systems
GC Rafael, PN PENA
Anais da Sociedade Brasileira de Automática 1 (1), 2019
32019
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20