Rodrigo F. Araujo

According to our database, Rodrigo F. Araujo authored at least 12 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Plug-and-Play Distributed Control of Large-Scale Nonlinear Systems.

Rodrigo Farias Araujo, Leonardo A. B. Torres, Reinaldo Martinez Palhares

IEEE Trans. Cybern., April, 2023

2022

Stabilization of rational nonlinear discrete-time systems by state feedback and static output feedback.

Gabriela L. Reis, Rodrigo F. Araujo, Leonardo A. B. Torres, Reinaldo M. Palhares

Eur. J. Control, 2022

Improved Gain-Scheduled Control Design for Rational Nonlinear Discrete-Time Systems with Input Saturation.

Gabriela L. Reis, Rodrigo F. Araujo, Leonardo A. B. Torres, Reinaldo M. Palhares

Proceedings of the European Control Conference, 2022

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

Delayed nonquadratic L2-stabilization of continuous-time nonlinear Takagi-Sugeno fuzzy models.

Rodrigo F. Araujo, Pedro Henrique Silva Coutinho, Anh-Tu Nguyen, Reinaldo M. Palhares

Inf. Sci., 2021

2020

A Multiple-Parameterization Approach for local stabilization of constrained Takagi-Sugeno fuzzy systems with nonlinear consequents.

Pedro Henrique Silva Coutinho, Rodrigo F. Araujo, Anh-Tu Nguyen, Reinaldo M. Palhares

Inf. Sci., 2020

2018

Counterexample guided inductive optimization based on satisfiability modulo theories.

Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho

Sci. Comput. Program., 2018

2017

Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version).

Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho

CoRR, 2017

Counterexample Guided Inductive Optimization.

Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho

CoRR, 2017

OptCE: A Counterexample-Guided Inductive Optimization Solver.

Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Counterexample guided inductive optimization applied to mobile robots path planning.

Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho

Proceedings of the 2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR), 2017

2016

SMT-based Verification Applied to Non-convex Optimization Problems.

Rodrigo F. Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho

Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016