دنبال کردن
Patrícia Nascimento Pena
Patrícia Nascimento Pena
Department of Electronics Engineering, Universidade Federal de Minas Gerais
ایمیل تأیید شده در ufmg.br - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
472016
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‏
412006
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‏
302017
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‏
27*2012
Polynomial-time verification of the observer property in abstractions‏
PN Pena, JER Cury, S Lafortune‏
2008 American Control Conference, 465-470, 2008‏
242008
Discrete-event systems subject to unknown sensor attacks‏
MRC Alves, PN Pena, K Rudie‏
Discrete Event Dynamic Systems 32 (1), 143-158, 2022‏
222022
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
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‏
192018
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
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‏
142021
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 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
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‏
132006
Planning on discrete event systems using parallelism maximization‏
LVR Alves, PN Pena, RHC Takahashi‏
Control Engineering Practice 112, 104813, 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
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‏
92022
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20