Seguir
Iury Bessa
Título
Citado por
Citado por
Año
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
762016
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
402017
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
362015
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
352020
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
332016
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
312022
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
312016
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
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
252020
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
202020
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
182018
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
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
172017
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
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
152018
Dynamic event-triggered gain-scheduling control of discrete-time quasi-LPV systems
PHS Coutinho, MLC Peixoto, I Bessa, RM Palhares
Automatica 141, 110292, 2022
142022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20