Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rodrigo F. Araujo 0001

Rodrigo Farias Araujo

> Home > Persons

Person information

affiliation: Amazonas State University (UEA), Manaus, Brazil

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tcyb/AraujoTP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcyb/AraujoTP23
Rodrigo Farias Araujo, Leonardo A. B. Torres, Reinaldo Martinez Palhares:
Plug-and-Play Distributed Control of Large-Scale Nonlinear Systems. IEEE Trans. Cybern. 53(4): 2062-2073 (2023)
2022
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ejcon/ReisATP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejcon/ReisATP22
Gabriela L. Reis, Rodrigo F. Araujo, Leonardo A. B. Torres, Reinaldo M. Palhares:
Stabilization of rational nonlinear discrete-time systems by state feedback and static output feedback. Eur. J. Control 67: 100718 (2022)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/ReisATP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/ReisATP22
Gabriela L. Reis, Rodrigo F. Araujo, Leonardo A. B. Torres, Reinaldo M. Palhares:
Improved Gain-Scheduled Control Design for Rational Nonlinear Discrete-Time Systems with Input Saturation. ECC 2022: 560-565
2021
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/AraujoCNP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/AraujoCNP21
Rodrigo F. Araujo, Pedro Henrique Silva Coutinho, Anh-Tu Nguyen, Reinaldo M. Palhares:
Delayed nonquadratic L2-stabilization of continuous-time nonlinear Takagi-Sugeno fuzzy models. Inf. Sci. 563: 59-69 (2021)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/AraujoTP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/AraujoTP21
Rodrigo Farias Araujo, Leonardo A. B. Torres, Reinaldo Martinez Palhares:
Distributed Control of Networked Nonlinear Systems via Interconnected Takagi-Sugeno Fuzzy Systems With Nonlinear Consequent. IEEE Trans. Syst. Man Cybern. Syst. 51(8): 4858-4867 (2021)
2020
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/CoutinhoANP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/CoutinhoANP20
Pedro Henrique Silva Coutinho, Rodrigo F. Araujo, Anh-Tu Nguyen, Reinaldo M. Palhares:
A Multiple-Parameterization Approach for local stabilization of constrained Takagi-Sugeno fuzzy systems with nonlinear consequents. Inf. Sci. 506: 295-307 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AraujoABCF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AraujoABCF18
Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho:
Counterexample guided inductive optimization based on satisfiability modulo theories. Sci. Comput. Program. 165: 3-23 (2018)
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/larc/AraujoRBCF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/larc/AraujoRBCF17
Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho:
Counterexample guided inductive optimization applied to mobile robots path planning. LARS/SBR 2017: 1-6
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AlbuquerqueABCF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AlbuquerqueABCF17
Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
OptCE: A Counterexample-Guided Inductive Optimization Solver. SBMF 2017: 125-141
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AraujoABCF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AraujoABCF17
Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho:
Counterexample Guided Inductive Optimization. CoRR abs/1704.03738 (2017)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-04028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-04028
Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho:
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version). CoRR abs/1708.04028 (2017)
2016
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/AraujoBCF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/AraujoBCF16
Rodrigo F. Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho:
SMT-based Verification Applied to Non-convex Optimization Problems. SBESC 2016: 1-8

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.