| Data-driven fault detection and isolation scheme for a wind turbine benchmark IV de Bessa, RM Palhares, MFSV D'Angelo, JE Chaves Filho Renewable Energy 87, 634-645, 2016 | 87 | 2016 |
| Digital twin applications: A survey of recent advances and challenges R da Silva Mendonça, S de Oliveira Lins, IV de Bessa, ... Processes 10 (4), 744, 2022 | 52 | 2022 |
| Fault tolerant control for linear parameter varying systems: An improved robust virtual actuator and sensor approach MM Quadros, IV de Bessa, VJS Leite, RM Palhares ISA transactions 104, 356-369, 2020 | 49 | 2020 |
| Automated formal synthesis of digital controllers for state-space physical plants A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ... Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 43 | 2017 |
| TS fuzzy reconfiguration blocks for fault tolerant control of nonlinear systems I Bessa, V Puig, RM Palhares Journal of the Franklin Institute 357 (8), 4592-4623, 2020 | 39 | 2020 |
| Dsverifier: A bounded model checking tool for digital systems HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho, JE Chaves Filho Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015 | 38 | 2015 |
| Formal non-fragile stability verification of digital control systems with uncertainty I Bessa, H Ismail, R Palhares, L Cordeiro, JE Chaves Filho IEEE Transactions on Computers 66 (3), 545-552, 2016 | 32 | 2016 |
| Verification of fixed-point digital controllers using direct and delta forms realizations IV Bessa, HI Ismail, LC Cordeiro, JEC Filho Design Automation for Embedded Systems 20, 95-126, 2016 | 32 | 2016 |
| Data-driven prognostics of rolling element bearings using a novel error based evolving Takagi–Sugeno fuzzy model MO Camargos, I Bessa, MFSV D’Angelo, LB Cosme, RM Palhares Applied Soft Computing 96, 106628, 2020 | 27 | 2020 |
| Sound and automated synthesis of digital stabilizing controllers for continuous plants A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ... Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 27 | 2017 |
| Uncertain data modeling based on evolving ellipsoidal fuzzy information granules LAQ Cordovil, PHS Coutinho, IV de Bessa, MFSV D’Angelo, RM Palhares IEEE Transactions on Fuzzy Systems 28 (10), 2427-2436, 2019 | 24 | 2019 |
| Survey on automated symbolic verification and its application for synthesising cyber‐physical systems LC Cordeiro, EB de Lima Filho, IV Bessa IET Cyber‐Physical Systems: Theory & Applications 5 (1), 1-24, 2020 | 23 | 2020 |
| Passivation blocks for fault tolerant control of nonlinear systems I Bessa, V Puig, RM Palhares Automatica 125, 109450, 2021 | 22 | 2021 |
| DSVerifier-aided verification applied to attitude control software in unmanned aerial vehicles L Chaves, IV Bessa, H Ismail, AB dos Santos Frutuoso, L Cordeiro, ... IEEE Transactions on Reliability 67 (4), 1420-1441, 2018 | 22 | 2018 |
| Dynamic event-triggered gain-scheduling control of discrete-time quasi-LPV systems PHS Coutinho, MLC Peixoto, I Bessa, RM Palhares Automatica 141, 110292, 2022 | 20 | 2022 |
| Planning and evaluation of UAV mission planner for intralogistics problems TRF Cavalcante, IV De Bessa, LC Cordeiro 2017 VII Brazilian symposium on computing systems engineering (SBESC), 9-16, 2017 | 19 | 2017 |
| Verification of delta form realization in fixed-point digital controllers using bounded model checking I Bessa, H Ibrahim, L Cordeiro, JE Chaves Filho 2014 Brazilian Symposium on Computing Systems Engineering, 49-54, 2014 | 19* | 2014 |
| Robust decentralized controller for minimizing coupling effect in single inductor multiple output DC-DC converter operating in continuous conduction mode RLP de Medeiros, W Barra Jr, IV de Bessa, JE Chaves Filho, ... ISA transactions 73, 112-129, 2018 | 18* | 2018 |
| Learning event‐triggered control based on evolving data‐driven fuzzy granular models LAQ Cordovil Jr, PHS Coutinho, I Bessa, MLC Peixoto, RM Palhares International Journal of Robust and Nonlinear Control 32 (5), 2805-2827, 2022 | 16 | 2022 |
| SMT-based bounded model checking of fixed-point digital controllers I Bessa, R Abreu, J Edgar Filho, L Cordeiro IECON 2014-40th Annual Conference of the IEEE Industrial Electronics Society …, 2014 | 16 | 2014 |
Lucas C. CordeiroProfessor of Computer Science, University of Manchester在 manchester.ac.uk 的电子邮件经过验证
