Iury Bessa
Cited by
Cited by
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
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
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
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
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
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
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
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
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
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
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
Passivation blocks for fault tolerant control of nonlinear systems
I Bessa, V Puig, RM Palhares
Automatica 125, 109450, 2021
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
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
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
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
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
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
Dynamic event-triggered gain-scheduling control of discrete-time quasi-LPV systems
PHS Coutinho, MLC Peixoto, I Bessa, RM Palhares
Automatica 141, 110292, 2022
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
The system can't perform the operation now. Try again later.
Articles 1–20