Iury Valente de 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
612016
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
332015
Verification of fixed-point digital controllers using direct and delta forms realizations
IV Bessa, HI Ismail, LC Cordeiro, EC Joao Filho
Design Automation for Embedded Systems 20 (2), 95-126, 2016
312016
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
302017
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
292016
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
242017
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
142014
Verifying digital systems with MATLAB
L Chaves, I Bessa, L Cordeiro, D Kroening, E Lima
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
122017
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
11*2018
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
102020
DSSynth: an automated digital controller synthesis tool for physical plants
A Abate, I Bessa, D Cattaruzza, L Chaves, L Cordeiro, C David, P Kesseli, ...
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
102017
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
92020
SMT-based verification applied to non-convex optimization problems
R Araújo, I Bessa, LC Cordeiro, JE Chaves Filho
2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 1-8, 2016
92016
Counterexample guided inductive optimization based on satisfiability modulo theories
RF Araujo, HF Albuquerque, IV de Bessa, LC Cordeiro, JE Chaves Filho
Science of Computer Programming 165, 3-23, 2018
8*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
82017
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
82014
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
72018
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
62019
OptCE: A Counterexample-Guided Inductive Optimization Solver
HF Albuquerque, RF Araújo, IV Bessa, LC Cordeiro, EB de Lima Filho
Brazilian Symposium on Formal Methods, 125-141, 2017
52017
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
42020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20