Iury Bessa

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 34

Top Topics

Computationally Costly

Convex Optimization

Top Venues

Appl. Soft Comput.

Publications

Pedro Henrique Silva Coutinho, Iury Bessa, Márcia L. C. Peixoto, Reinaldo M. Palhares
A co-design condition for dynamic event-triggered feedback linearization control. Syst. Control. Lett. 183 (2024)
João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
Counterexample Guided Neural Network Quantization Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (4) (2024)
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
Towards global neural network abstractions with locally-exact reconstruction. Neural Networks 165 (2023)
Iury Bessa, Vicenç Puig, Reinaldo M. Palhares
Reconfiguration blocks and fault hiding: Design, applications, and challenges. Annu. Rev. Control. 56 (2023)
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction. CoRR (2022)
Jadir Barbosa, Renan Landau P. Medeiros, Florindo A. C. Ayres, João Edgar Chaves Filho, Vicente F. Lucena, Iury Bessa
Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering. ETFA (2022)
Iury Bessa, Carlos Trapiello, Vicenç Puig, Reinaldo Martinez Palhares
Dual-Rate Control Framework With Safe Watermarking Against Deception Attacks. IEEE Trans. Syst. Man Cybern. Syst. 52 (12) (2022)
Khoury Boutrous, Iury Bessa, Fatiha Nejjari, Vicenç Puig
A Set-Based Uncertainty Quantification of Evolving Fuzzy Models for Data-Driven Prognostics. DPS (2022)
Eugenio Alcalá, Iury Bessa, Vicenç Puig, Olivier Sename, Reinaldo M. Palhares
MPC using an on-line TS fuzzy learning approach with application to autonomous driving. Appl. Soft Comput. 130 (2022)
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. NSV/FoMLAS@CAV (2022)
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. CoRR (2022)
Pedro Henrique Silva Coutinho, Márcia L. C. Peixoto, Iury Bessa, Reinaldo Martinez Palhares
Dynamic event-triggered gain-scheduling control of discrete-time quasi-LPV systems. Autom. 141 (2022)
Iury Bessa, Vicenç Puig, Reinaldo Martinez Palhares
Passivation blocks for fault tolerant control of nonlinear systems. Autom. 125 (2021)
Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Lujan, Lucas C. Cordeiro
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. CoRR (2021)
Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro
Verifying Quantized Neural Networks using SMT-Based Model Checking. CoRR (2021)
Daniel F. Leite, Pedro Henrique Silva Coutinho, Iury Bessa, Murilo C. O. Camargos Filho, Luiz Cordovil Junior, Reinaldo M. Palhares
Incremental Learning and State-Space Evolving Fuzzy Control of Nonlinear Time-Varying Systems with Unknown Model. CoRR (2021)
Murilo C. O. Camargos, Iury Bessa, Luiz A. Q. Cordovil Junior, Pedro Henrique Silva Coutinho, Daniel Furtado Leite, Reinaldo Martinez Palhares
Evolving Fuzzy System Applied to Battery Charge Capacity Prediction for Fault Prognostics. CoRR (2021)
Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro
Incremental Verification of Fixed-Point Implementations of Neural Networks. CoRR (2020)
Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated formal synthesis of provably safe digital controllers for continuous plants. Acta Informatica 57 (1-2) (2020)
Murilo C. O. Camargos Filho, Iury Bessa, Marcos Flávio Silveira Vasconcelos D'Angelo, Luciana Balieiro Cosme, Reinaldo Martinez Palhares
Data-driven prognostics of rolling element bearings using a novel Error Based Evolving Takagi-Sugeno Fuzzy Model. Appl. Soft Comput. 96 (2020)
Iury Bessa, Vicenç Puig, Reinaldo Martinez Palhares
TS fuzzy reconfiguration blocks for fault tolerant control of nonlinear systems. J. Frankl. Inst. 357 (8) (2020)
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. HSCC (2018)
Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE Trans. Reliab. 67 (4) (2018)
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho
Verifying Digital Systems with MATLAB. CoRR (2017)
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho
Verifying digital systems with MATLAB. ISSTA (2017)
Iury Bessa, Hussama Ismail, Reinaldo M. Palhares, Lucas C. Cordeiro, Joao Edgar Chaves Filho
Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty. IEEE Trans. Computers 66 (3) (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CoRR (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
DSSynth: an automated digital controller synthesis tool for physical plants. ASE (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. HSCC (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CAV (1) (2017)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. CoRR (2016)
Rodrigo F. Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho
SMT-based Verification Applied to Non-convex Optimization Problems. SBESC (2016)
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration). CoRR (2016)
Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho
DSVerifier: A Bounded Model Checking Tool for Digital Systems. SPIN (2015)
Iury Bessa, Renato B. Abreu, Joao Edgar Chaves Filho, Lucas C. Cordeiro
SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers. CoRR (2014)
Iury Bessa, Renato B. Abreu, João Edgar Chaves Filho, Lucas C. Cordeiro
SMT-based bounded model checking of fixed-point digital controllers. IECON (2014)