Patrícia Nascimento Pena

Patrícia Nascimento Pena

Universidade Federal de Minas Gerais UFMG - Belo Horizonte / Brazil
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 946130
Federal University of Minas Gerais
person_outline Patrícia Nascimento Pena's MOST POPULAR ARTICLES
1-) Verification of nonconflict of supervisors using abstractionsPN Pena, JER Cury, S LafortuneIEEE Transactions on Automatic Control 54 (12), 2803-2815, 2009562009
2-) Control of flexible manufacturing systems under model uncertainty using supervisory control theory and evolutionary computation schedule synthesisPN Pena, TA Costa, RS Silva, RHC TakahashiInformation Sciences 329, 491-502, 2016432016
3-) Testing modularity of local supervisors: An approach based on abstractionsPN Pena, JER Cury, S Lafortune2006 8th International Workshop on Discrete Event Systems, 107-112, 2006412006
4-) Ultrades-a library for modeling, analysis and control of discrete event systemsLVR Alves, LRR Martins, PN PenaIFAC-PapersOnLine 50 (1), 5831-5836, 2017312017
5-) Generalised verification of the observer property in discrete event systemsHJ Bravo, AEC da Cunha, PN Pena, R Malik, JER Cury11th International Workshop on Discrete Event Systems, 201228*2012