Follow
Iury Bessa
Title
Cited by
Cited by
Year
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
852016
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
482022
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
442020
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
442017
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
382020
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
382015
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
342016
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
322016
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
272020
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
272017
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
242019
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
232020
Passivation blocks for fault tolerant control of nonlinear systems
I Bessa, V Puig, RM Palhares
Automatica 125, 109450, 2021
222021
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
192018
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
192017
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
18*2014
Dynamic event-triggered gain-scheduling control of discrete-time quasi-LPV systems
PHS Coutinho, MLC Peixoto, I Bessa, RM Palhares
Automatica 141, 110292, 2022
172022
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
162022
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
162014
The system can't perform the operation now. Try again later.
Articles 1–20