Iury Valente de Bessa
Citado por
Citado por
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20