| 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 | 76 | 2016 |
| 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 | 42 | 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 | 38 | 2017 |
| 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 | 36 | 2015 |
| 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 | 33 | 2020 |
| 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 | 33 | 2016 |
| 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 | 31 | 2016 |
| 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 | 26 | 2017 |
| 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 | 24 | 2020 |
| 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 |
| 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 | 22 | 2022 |
| Passivation blocks for fault tolerant control of nonlinear systems I Bessa, V Puig, RM Palhares Automatica 125, 109450, 2021 | 21 | 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 | 17 | 2018 |
| 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 | 17 | 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 | 17* | 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 | 16* | 2018 |
| 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 |
| Sim3tanks: a benchmark model simulator for process control and monitoring AO Farias, GAC Queiroz, IV Bessa, RLP Medeiros, LC Cordeiro, ... IEEE Access 6, 62234-62254, 2018 | 15 | 2018 |
| 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 | 14 | 2020 |
| SMT-based verification applied to non-convex optimization problems R Araújo, I Bessa, LC Cordeiro, JE Chaves Filho 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 1-8, 2016 | 14 | 2016 |
Lucas CordeiroReader, Dept of Computer Science, University of Manchester在 manchester.ac.uk 的电子邮件经过验证
