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
842016
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
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
432022
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
432017
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
Passivation blocks for fault tolerant control of nonlinear systems
I Bessa, V Puig, RM Palhares
Automatica 125, 109450, 2021
222021
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
212020
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