Iury Bessa

50 papers A* 1A 1C 3Journal 33Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Systematic LMI approaches to design multivariable sliding mode controllers for uncertain systems.
Autom.
Pedro Henrique Silva Coutinho, Iury Bessa, Victor Hugo Pereira Rodrigues, Tiago Roux Oliveira
2025 J jnl
A Novel LMI-Based Design of Rational Control Laws for a Class of Nonlinear Systems Modeled as Differential Algebraic Equations.
IEEE Control. Syst. Lett.
Adrián Portela, Iury Bessa, Raymundo Márquez, Miguel Bernal
2025 J jnl
Data-driven nonquadratic stabilization of Takagi-Sugeno fuzzy systems.
J. Frankl. Inst.
Pedro H. S. Coutinho, Pedro M. Oliveira, Iury Bessa, Márcio J. Lacerda, Reinaldo M. Palhares
2025 J jnl
Fault Hiding of Nonlinear Parameter Varying Systems.
IEEE Control. Syst. Lett.
Iury Bessa, Márcia L. C. Peixoto, Pedro Henrique Silva Coutinho, Vicenç Puig, Reinaldo M. Palhares
2025 J jnl
Fault-tolerant dynamic output feedback control of LPV systems via fault hiding.
Autom.
Márcia L. C. Peixoto, Pedro M. Oliveira, Iury Bessa, Pedro Henrique Silva Coutinho, Paulo S. P. Pessim, Vicenç Puig, Reinaldo Martinez Palhares
2025 — conf
Incremental Learning-Based Rolling Bearing Prognostics with Granular Uncertainty Quantification.
SysTol
Claudio D. Silva Filho, Alexandre Martiniano, Andevaldo da Encarnação Vitório, Florindo Antonio de Carvalho Ayres, Waldir Silva, Celso B. Carvalho, Mario Otani, José N. Medeiros, Rivelino Da Costa Nunes, Allan R. A. da Silva, Jerry Varela, Davidson Moura, Kenny V. dos Santos, Jeferson B. da Costa, Iury Bessa
2025 — conf
Resilient Event-Based Control of DC-DC Converters Subject to Deception Cyberattacks.
SysTol
Andevaldo da Encarnação Vitório, Pedro H. S. Coutinho, Claudio D. Silva Filho, Florindo A. C. Ayres Júnior, Waldir S. S. Júnior, Celso B. Carvalho, Mario Otani, José N. Medeiros, Rivelino Da Costa Nunes, Renan Silva, Jerry A. Varela, Davidson R. C. Moura, Kenny V. dos Santos, Jeferson B. da Costa, Iury Bessa
2025 J jnl
Static output-feedback control design from data.
Eur. J. Control
Pedro M. Oliveira, Pedro H. S. Coutinho, Iury Bessa, Márcio J. Lacerda, Reinaldo M. Palhares
2025 — conf
Unit-Vector Control Design under Saturating Actuators.
CDC
Andevaldo da Encarnação Vitório, Pedro Henrique Silva Coutinho, Iury Bessa, Victor Hugo Pereira Rodrigues, Antonio Estrada, Tiago Roux Oliveira
2025 J jnl
Unit-Vector Control Design under Saturating Actuators.
CoRR
Andevaldo da Encarnação Vitório, Pedro Henrique Silva Coutinho, Iury Bessa, Victor Hugo Pereira Rodrigues, Tiago Roux Oliveira
2024 J jnl
A Systematic LMI Approach to Design Multivariable Sliding Mode Controllers.
CoRR
Pedro Henrique Silva Coutinho, Iury Bessa, Victor Hugo Pereira Rodrigues, Tiago Roux Oliveira
2024 J jnl
A co-design condition for dynamic event-triggered feedback linearization control.
Syst. Control. Lett.
Pedro Henrique Silva Coutinho, Iury Bessa, Márcia L. C. Peixoto, Reinaldo M. Palhares
2024 J jnl
Counterexample Guided Neural Network Quantization Refinement.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2024 C conf
Detection of Cyberattacks in IoT Networks Using Artificial Intelligence: A Comparative Study.
ETFA
Matheus Figueiredo, Dar'c Pabla Sodre, Renan Medeiros, Vicente F. Lucena, Iury Bessa
2023 J jnl
Reconfiguration blocks and fault hiding: Design, applications, and challenges.
Annu. Rev. Control.
Iury Bessa, Vicenç Puig, Reinaldo M. Palhares
2023 J jnl
Towards global neural network abstractions with locally-exact reconstruction.
Neural Networks
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
2022 — conf
A Set-Based Uncertainty Quantification of Evolving Fuzzy Models for Data-Driven Prognostics.
DPS
Khoury Boutrous, Iury Bessa, Fatiha Nejjari, Vicenç Puig
2022 — conf
CEG4N: Counter-Example Guided Neural Network Quantization Refinement.
NSV/FoMLAS@CAV
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2022 J jnl
CEG4N: Counter-Example Guided Neural Network Quantization Refinement.
CoRR
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2022 J jnl
Dual-Rate Control Framework With Safe Watermarking Against Deception Attacks.
IEEE Trans. Syst. Man Cybern. Syst.
Iury Bessa, Carlos Trapiello, Vicenç Puig, Reinaldo Martinez Palhares
2022 J jnl
Dynamic event-triggered gain-scheduling control of discrete-time quasi-LPV systems.
Autom.
Pedro Henrique Silva Coutinho, Márcia L. C. Peixoto, Iury Bessa, Reinaldo Martinez Palhares
2022 C conf
Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering.
ETFA
Jadir Barbosa, Renan Landau Paiva de Medeiros, Florindo Antonio de Carvalho Ayres, João Edgar Chaves Filho, Vicente F. Lucena, Iury Bessa
2022 J jnl
MPC using an on-line TS fuzzy learning approach with application to autonomous driving.
Appl. Soft Comput.
Eugenio Alcalá, Iury Bessa, Vicenç Puig, Olivier Sename, Reinaldo M. Palhares
2022 J jnl
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction.
CoRR
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
2021 — conf
Evolving Fuzzy System Applied to Battery Charge Capacity Prediction for Fault Prognostics.
IFSA/EUSFLAT/AGOP
Murilo C. O. Camargos, Iury Bessa, Luiz A. Q. Cordovil Júnior, Pedro Henrique Silva Coutinho, Daniel Furtado Leite, Reinaldo Martinez Palhares
2021 J jnl
Evolving Fuzzy System Applied to Battery Charge Capacity Prediction for Fault Prognostics.
CoRR
Murilo C. O. Camargos, Iury Bessa, Luiz A. Q. Cordovil Júnior, Pedro Henrique Silva Coutinho, Daniel Furtado Leite, Reinaldo Martinez Palhares
2021 — conf
Incremental Learning and State-Space Evolving Fuzzy Control of Nonlinear Time-Varying Systems with Unknown Model.
IFSA/EUSFLAT/AGOP
Daniel Leite, Pedro Henrique Silva Coutinho, Iury Bessa, Murilo C. O. Camargos, Luiz A. Q. Cordovil Júnior, Reinaldo M. Palhares
2021 J jnl
Incremental Learning and State-Space Evolving Fuzzy Control of Nonlinear Time-Varying Systems with Unknown Model.
CoRR
Daniel F. Leite, Pedro Henrique Silva Coutinho, Iury Bessa, Murilo C. O. Camargos Filho, Luiz A. Q. Cordovil Júnior, Reinaldo M. Palhares
2021 J jnl
Passivation blocks for fault tolerant control of nonlinear systems.
Autom.
Iury Bessa, Vicenç Puig, Reinaldo Martinez Palhares
2021 J jnl
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking.
CoRR
Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro
2021 J jnl
Verifying Quantized Neural Networks using SMT-Based Model Checking.
CoRR
Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro
2020 J jnl
Automated formal synthesis of provably safe digital controllers for continuous plants.
Acta Informatica
Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2020 J jnl
Data-driven prognostics of rolling element bearings using a novel Error Based Evolving Takagi-Sugeno Fuzzy Model.
Appl. Soft Comput.
Murilo C. O. Camargos Filho, Iury Bessa, Marcos Flávio Silveira Vasconcelos D'Angelo, Luciana Balieiro Cosme, Reinaldo Martinez Palhares
2020 J jnl
Incremental Verification of Fixed-Point Implementations of Neural Networks.
CoRR
Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro
2020 J jnl
TS fuzzy reconfiguration blocks for fault tolerant control of nonlinear systems.
J. Frankl. Inst.
Iury Bessa, Vicenç Puig, Reinaldo Martinez Palhares
2018 — conf
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems.
HSCC
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening
2018 J jnl
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles.
IEEE Trans. Reliab.
Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2017 — conf
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
CAV (1)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 J jnl
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
CoRR
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 A* conf
DSSynth: an automated digital controller synthesis tool for physical plants.
ASE
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 J jnl
Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty.
IEEE Trans. Computers
Iury Bessa, Hussama Ismail, Reinaldo M. Palhares, Lucas C. Cordeiro, Joao Edgar Chaves Filho
2017 — conf
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
HSCC
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
2017 J jnl
Verifying Digital Systems with MATLAB.
CoRR
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho
2017 A conf
Verifying digital systems with MATLAB.
ISSTA
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho
2016 J jnl
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration).
CoRR
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro
2016 — conf
SMT-based Verification Applied to Non-convex Optimization Problems.
SBESC
Rodrigo F. Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho
2016 J jnl
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
CoRR
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
2015 — conf
DSVerifier: A Bounded Model Checking Tool for Digital Systems.
SPIN
Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho
2014 J jnl
SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers.
CoRR
Iury Bessa, Renato B. Abreu, Joao Edgar Chaves Filho, Lucas C. Cordeiro
2014 C conf
SMT-based bounded model checking of fixed-point digital controllers.
IECON
Iury Bessa, Renato B. Abreu, João Edgar Chaves Filho, Lucas C. Cordeiro