| Detection and mitigation of classes of attacks in supervisory control systems LK Carvalho, YC Wu, R Kwong, S Lafortune Automatica 97, 121-133, 2018 | 144 | 2018 |
| Robust diagnosis of discrete event systems against intermittent loss of observations LK Carvalho, JC Basilio, MV Moreira Automatica 48 (9), 2068-2078, 2012 | 129 | 2012 |
| Supervisory control-based navigation architecture: a new framework for autonomous robots in industry 4.0 environments AGC Gonzalez, MVS Alves, GS Viana, LK Carvalho, JC Basilio IEEE Transactions on Industrial Informatics 14 (4), 1732-1743, 2017 | 118 | 2017 |
| Robust diagnosis of discrete-event systems against permanent loss of observations LK Carvalho, MV Moreira, JC Basilio, S Lafortune Automatica 49 (1), 223-231, 2013 | 94 | 2013 |
| Security against network attacks in supervisory control systems PM Lima, MVS Alves, LK Carvalho, MV Moreira IFAC-PapersOnLine 50 (1), 12333-12338, 2017 | 65 | 2017 |
| Detectable and undetectable network attack security of cyber-physical systems PM Lima, LK Carvalho, MV Moreira IFAC-PapersOnLine 51 (7), 179-185, 2018 | 64 | 2018 |
| Security against communication network attacks of cyber-physical systems PM Lima, MVS Alves, LK Carvalho, MV Moreira Journal of Control, Automation and Electrical Systems 30, 125-135, 2019 | 60 | 2019 |
| Detection and prevention of actuator enablement attacks in supervisory control systems LK Carvalho, YC Wu, R Kwong, S Lafortune 2016 13th International workshop on discrete event systems (WODES), 298-305, 2016 | 53 | 2016 |
| Diagnosability of intermittent sensor faults in discrete event systems LK Carvalho, MV Moreira, JC Basilio Automatica 79, 315-325, 2017 | 52 | 2017 |
| Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation CEV Nunes, MV Moreira, MVS Alves, LK Carvalho, JC Basilio Discrete Event Dynamic Systems 28, 215-246, 2018 | 46 | 2018 |
| Generalized robust diagnosability of discrete event systems LK Carvalho, MV Moreira, JC Basilio IFAC Proceedings Volumes 44 (1), 8737-8742, 2011 | 43 | 2011 |
| Robust supervisory control against intermittent loss of observations MVS Alves, JC Basilio, AEC da Cunha, LK Carvalho, MV Moreira IFAC Proceedings Volumes 47 (2), 294-299, 2014 | 42 | 2014 |
| Diagnose de falhas em sistemas a eventos discretos modelados por autômatos finitos JC Basilio, LK Carvalho, MV Moreira Sba: Controle & Automação Sociedade Brasileira de Automatica 21, 510-533, 2010 | 33 | 2010 |
| Robust disjunctive-codiagnosability of discrete-event systems against permanent loss of observations JHA Tomola, FG Cabral, LK Carvalho, MV Moreira IEEE Transactions on Automatic Control 62 (11), 5808-5815, 2016 | 32 | 2016 |
| Supervisory control of timed networked discrete event systems MVS Alves, LK Carvalho, JC Basilio 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 4859-4865, 2017 | 28 | 2017 |
| Robust diagnosability of discrete event systems subject to intermittent sensor failures LK Carvalho, JC Basilio, MV Moreira IFAC Proceedings Volumes 43 (12), 84-89, 2010 | 28 | 2010 |
| Robust supervisory control of discrete event systems against intermittent loss of observations MVS Alves, AEC da Cunha, LK Carvalho, MV Moreira, JC Basilio International Journal of Control 94 (7), 2008-2020, 2021 | 24 | 2021 |
| Security of cyber-physical systems: Design of a security supervisor to thwart attacks PM Lima, MVS Alves, LK Carvalho, MV Moreira IEEE Transactions on Automation Science and Engineering 19 (3), 2030-2041, 2021 | 23 | 2021 |
| Supervisory control of networked discrete event systems with timing structure MVS Alves, LK Carvalho, JC Basilio IEEE Transactions on Automatic Control 66 (5), 2206-2218, 2020 | 22 | 2020 |
| DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems LB Clavijo, JC Basilio, LK Carvalho IFAC Proceedings Volumes 45 (29), 349-355, 2012 | 19 | 2012 |
