Personal information

Emails & domains

Verified email domains

Websites & social links

Mendeley

Other IDs

Scopus Author ID: 57193722726

Countries

Brazil

Activities

Collapse all

Employment (1)

Universidade do Estado do Amazonas: Manaus, AM, BR

2020-03 to present | Assistant Professor (Control e Automation)
Employment
Source: Self-asserted source
Rodrigo Araújo

Education and qualifications (1)

Universidade Federal de Minas Gerais: Belo Horizonte, Minas Gerais, BR

2017-08-02 to 2019-11-28 | Ph.D. (Electrical Engineering)
Education
Source: Self-asserted source
Rodrigo Araújo

Works (11)

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

IEEE Transactions on Cybernetics
2023-04 | Journal article
DOI: 10.1109/TCYB.2021.3113518
Contributors: Rodrigo Farias Araújo; Leonardo A. B. Torres; Reinaldo Martínez Palhares
Source: check_circle
Crossref

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

Information Sciences
2021-01 | Journal article
DOI: https://doi.org/10.1016/j.ins.2021.01.007
Part of ISSN: 0020-0255
Source: Self-asserted source
Rodrigo Araújo

Gain‐scheduled control design for discrete‐time nonlinear systems using difference‐algebraic representations

International Journal of Robust and Nonlinear Control
2020-12-27 | Journal article
DOI: 10.1002/rnc.5362
Part of ISSN: 1049-8923
Part of ISSN: 1099-1239
Source: Self-asserted source
Rodrigo Araújo
grade
Preferred source (of 2)‎

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

Information Sciences
2020-01 | Journal article
DOI: 10.1016/j.ins.2019.08.008
EID:

2-s2.0-85070208576
Source: Self-asserted source
Rodrigo Araújo
grade
Preferred source (of 3)‎

Controle Descentralizado de Sistemas Interconectados por Não-Linearidades Setoriais Sujeitos a Saturação nos Atuadores

Anais do 14º Simpósio Brasileiro de Automação Inteligente
2019 | Conference paper
DOI: 10.17648/sbai-2019-111249
Source: Self-asserted source
Rodrigo Araújo

Distributed Control of Networked Nonlinear Systems via Interconnected Takagi-Sugeno Fuzzy Systems With Nonlinear Consequent

IEEE Transactions on Systems, Man, and Cybernetics: Systems
2019-10-18 | Journal article
DOI: 10.1109/tsmc.2019.2945500
Part of ISSN: 2168-2216
Part of ISSN: 2168-2232
Source: Self-asserted source
Rodrigo Araújo
grade
Preferred source (of 2)‎

Counterexample guided inductive optimization based on satisfiability modulo theories

Science of Computer Programming
2018 | Journal article
DOI: 10.1016/j.scico.2017.10.004
EID:

2-s2.0-85032305671
Contributors: Araújo, R.F.; Albuquerque, H.F.; de Bessa, I.V.; Cordeiro, L.C.; Chaves Filho, J.E.
Source: Self-asserted source
Rodrigo Araújo via Scopus - Elsevier
grade
Preferred source (of 3)‎

Modelagem e Controle por Escalonamento de Ganhos Descentralizado para um Sistema de Três Tanques Acoplados

Proceedings XXII Congresso Brasileiro de Automática
2018-12 | Conference paper
DOI: 10.20906/cps/cba2018-0579
Source: Self-asserted source
Rodrigo Araújo

Counterexample guided inductive optimization applied to mobile robots path planning

Proceedings - 2017 LARS 14th Latin American Robotics Symposium and 2017 5th SBR Brazilian Symposium on Robotics, LARS-SBR 2017 - Part of the Robotics Conference 2017
2017 | Conference paper
DOI: 10.1109/SBR-LARS-R.2017.8215336
EID:

2-s2.0-85048550071
Contributors: Araujo, R.F.; Ribeiro, A.; Bessa, I.V.; Cordeiro, L.C.; Filho, J.E.C.
Source: Self-asserted source
Rodrigo Araújo via Scopus - Elsevier
grade
Preferred source (of 2)‎

OptCE: A counterexample-guided inductive optimization solver

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
DOI: 10.1007/978-3-319-70848-5_9
EID:

2-s2.0-85035085119
Contributors: Albuquerque, H.F.; Araújo, R.F.; Bessa, I.V.; Cordeiro, L.C.; De Lima Filho, E.B.
Source: Self-asserted source
Rodrigo Araújo via Scopus - Elsevier
grade
Preferred source (of 2)‎

SMT-based verification applied to non-convex optimization problems

Brazilian Symposium on Computing System Engineering, SBESC
2017 | Conference paper
DOI: 10.1109/SBESC.2016.010
EID:

2-s2.0-85016110339
Contributors: Araujo, R.; Bessa, I.; Cordeiro, L.C.; Filho, J.E.C.
Source: Self-asserted source
Rodrigo Araújo via Scopus - Elsevier

Peer review (15 reviews for 5 publications/grants)

Review activity for Evolving systems. (2)
Review activity for Fuzzy sets and systems. (7)
Review activity for Information sciences. (1)
Review activity for Journal of the Franklin Institute. (4)
Review activity for Nonlinear dynamics. (1)
How many people are using ORCID?