| Verification of nonconflict of supervisors using abstractions PN Pena, JER Cury, S Lafortune IEEE Transactions on Automatic Control 54 (12), 2803-2815, 2009 | 64 | 2009 |
| 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 | 46 | 2016 |
| 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 | 42 | 2006 |
| 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 | 30 | 2017 |
| 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 | 24 | 2008 |
| 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 | 18 | 2019 |
| Optimal task scheduling in a flexible manufacturing system using model checking R Malik, PN Pena IFAC-PapersOnLine 51 (7), 230-235, 2018 | 18 | 2018 |
| 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 | 18 | 2014 |
| 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 | 16 | 2020 |
| 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 | 16 | 2016 |
| Conflicts and projections R Malik, H Flordal, PN Pena IFAC Proceedings Volumes 40 (6), 205-210, 2007 | 15 | 2007 |
| Discrete-event systems subject to unknown sensor attacks MRC Alves, PN Pena, K Rudie Discrete Event Dynamic Systems 32 (1), 143-158, 2022 | 13 | 2022 |
| 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 | 13 | 2016 |
| 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 | 13 | 2008 |
| 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 | 13 | 2006 |
| Efficient Computation of Observer Projections using OP-Verifiers1 PN Pena, JER Cury, R Malik, S Lafortune IFAC Proceedings Volumes 43 (12), 406-411, 2010 | 12 | 2010 |
| 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 | 11 | 2013 |
| Planning on discrete event systems using parallelism maximization LVR Alves, PN Pena, RHC Takahashi Control Engineering Practice 112, 104813, 2021 | 9 | 2021 |
| 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 | 8 | 2021 |
Jose E. R. CuryUniversidade Federal de Santa CatarinaVerified email at ufsc.br
