Takip et
Iury Bessa
Iury Bessa
Assistant Professor at Federal University of Amazonas
ufam.edu.br üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
932016
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
782022
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
592020
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
442020
Automated formal synthesis of digital controllers for state-space physical plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
International Conference on Computer Aided Verification, 462-482, 2017
442017
Dsverifier: A bounded model checking tool for digital systems
HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho, JE Chaves Filho
International SPIN Workshop on Model Checking of Software, 126-131, 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
282020
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
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
252019
Dynamic event-triggered gain-scheduling control of discrete-time quasi-LPV systems
PHS Coutinho, MLC Peixoto, I Bessa, RM Palhares
Automatica 141, 110292, 2022
242022
Passivation blocks for fault tolerant control of nonlinear systems
I Bessa, V Puig, RM Palhares
Automatica 125, 109450, 2021
242021
Dual-rate control framework with safe watermarking against deception attacks
I Bessa, C Trapiello, V Puig, RM Palhares
IEEE Transactions on Systems, Man, and Cybernetics: Systems 52 (12), 7494-7506, 2022
232022
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
232018
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
202022
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
20*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
202017
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20