SMT-based Verification Applied to Non-convex Optimization Problems. - Rodrigo F. Araujo 001; Iury Bessa; Lucas Carvalho Cordeiro; Joao Edgar Chaves Filho (SBESC, 2016)

Counterexample guided inductive optimization applied to mobile robots path planning. - Rodrigo F. Araujo 001; Alexandre Ribeiro; Iury Valente de Bessa; Lucas C. Cordeiro; João Edgar Chaves Filho (LARS/SBR, 2017)

OptCE: A Counterexample-Guided Inductive Optimization Solver. - Higo F. Albuquerque; Rodrigo F. Araujo 001; Iury Valente de Bessa; Lucas C. Cordeiro; Eddie Batista de Lima Filho (SBMF, 2017)

Counterexample Guided Inductive Optimization. - Rodrigo F. Araujo 001; Higo F. Albuquerque; Iury Valente de Bessa; Lucas C. Cordeiro; João Edgar Chaves Filho (CoRR, 2017)

Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version). - Rodrigo F. Araujo 001; Alexandre Ribeiro; Iury Valente de Bessa; Lucas C. Cordeiro; João Edgar Chaves Filho (CoRR, 2017)

Counterexample guided inductive optimization based on satisfiability modulo theories. - Rodrigo F. Araujo 001; Higo F. Albuquerque; Iury Valente de Bessa; Lucas C. Cordeiro; João Edgar Chaves Filho (Sci. Comput. Program., 2018)

A Multiple-Parameterization Approach for local stabilization of constrained Takagi-Sugeno fuzzy systems with nonlinear consequents. - Pedro Henrique Silva Coutinho; Rodrigo F. Araujo 001; Anh-Tu Nguyen; Reinaldo M. Palhares (Inf. Sci., 2020)

Delayed nonquadratic L2-stabilization of continuous-time nonlinear Takagi-Sugeno fuzzy models. - Rodrigo F. Araujo 001; Pedro Henrique Silva Coutinho; Anh-Tu Nguyen; Reinaldo M. Palhares (Inf. Sci., 2021)

Distributed Control of Networked Nonlinear Systems via Interconnected Takagi-Sugeno Fuzzy Systems With Nonlinear Consequent. - Rodrigo Farias Araujo; Leonardo A. B. Torres; Reinaldo Martinez Palhares (IEEE Trans. Syst. Man Cybern. Syst., 2021)

Improved Gain-Scheduled Control Design for Rational Nonlinear Discrete-Time Systems with Input Saturation. - Gabriela L. Reis; Rodrigo F. Araujo 001; Leonardo A. B. Torres; Reinaldo M. Palhares (ECC, 2022)

Stabilization of rational nonlinear discrete-time systems by state feedback and static output feedback. - Gabriela L. Reis; Rodrigo F. Araujo 001; Leonardo A. B. Torres; Reinaldo M. Palhares (Eur. J. Control, 2022)

Plug-and-Play Distributed Control of Large-Scale Nonlinear Systems. - Rodrigo Farias Araujo; Leonardo A. B. Torres; Reinaldo Martinez Palhares (IEEE Trans. Cybern., 2023)