Thiago Alves Lima
Atualmente é professor do magistério superior do Instituto Tecnológico de Aeronaútica (ITA), Fortaleza, na área de Controle de Sistemas Dinâmicos. Foi Professor Associado (Maître de Conférences) na CentraleSupélec, Laboratoire des Signaux et Systèmes, 91190, Gif-sur-Yvette, França, entre setembro de 2023 e agosto de 2025, e bolsista do programa Conhecimento Brasil (repatriação de pesquisadores) entre setembro de 2025 e março de 2026. Realizou pós-doutorados na Université de Lorraine, CRAN-CNRS, em Nancy, França (entre outubro de 2022 e agosto de 2023), e na Université Catholique de Louvain, ICTEAM, Bélgica (entre novembro de 2021 e setembro de 2022). Obteve o título de Doutor em Engenharia Elétrica (2021) pela Universidade Federal do Ceará, com foco na área de controle e automação. Também possui mestrado (2018) e graduação (2016) pela mesma instituição. Durante o doutorado, foi visitante do grupo MAC (Methods and Algorithms for Control) no Laboratory for Analysis and Architecture of Systems (LAAS), em Toulouse, França, por 15 meses, sendo 12 deles financiados pela agência brasileira CAPES e 3 meses pelo Centre National de la Recherche Scientifique (CNRS). Durante a graduação, foi bolsista do programa Ciência sem Fronteiras, também financiado pela CAPES, na University of Colorado Denver (EUA), período em que realizou estágio no Laboratório de Pesquisas Aeroespaciais da Capitol Technology University (EUA), em projetos de engenharia em parceria com a NASA/GSFC (Goddard Space Flight Center). Atualmente realiza pesquisa na área de Controle de Sistemas Dinâmicos, com foco em controle de sistemas híbridos com comutação e não lineares, utilizando teoria de Lyapunov e métodos formais. Como professor, ministra cursos relacionados ao controle de sistemas dinâmicos, otimização e modelagem matemática de sistemas.
Informações coletadas do Lattes em 07/05/2026
Acadêmico
Formação acadêmica
Doutorado em Engenharia Elétrica
2018 - 2021
Universidade Federal do Ceará
Título: Contributions to the control of input-saturated systems: time delay and allocation function cases
Orientador: Prof. Dr. Fabrício Gonzalez Nogueira
com , Ano de obtenção: 2021. Coorientador: Prof. Dr. Bismark Claure Torrico. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Mestrado em Engenharia Elétrica
2017 - 2018
Universidade Federal do Ceará
Título: Contributions nn The Stability Analysis of The Simplified Dead-Time Compensator with Saturating Actuators, Ano de Obtenção: 2018
Prof. Dr. Fabrício Gonzalez Nogueira.Coorientador: Prof. Dr. Bismark Claure Torrico. Bolsista do(a): Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico, FUNCAP, Brasil. Palavras-chave: Simplified Dead-time Compensator; Filtered Smith Predictor; Actuator Saturation; Stability; Anti-Windup; LMIs. Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos / Especialidade: Controle de Processos Eletrônicos, Retroalimentação.
Graduação em Engenharia Elétrica
2012 - 2016
Universidade Federal do Ceará
Título: APLICAÇÃO DO FRAMEWORK DE ROBÓTICA ROBOT OPERATING SYSTEM (ROS) NO CONTROLE DE SEGUIMENTO DE TRAJETÓRIA DE UM ROBÔ MÓVEL USANDO SENSOR LIDAR PARA ESTIMAR POSIÇÃO E ORIENTAÇÃO
Orientador: Prof. Dr. Fabrício Gonzalez Nogueira
Pós-doutorado
2022 - 2023
Pós-Doutorado. , Centre de Recherche en Automatique de Nancy, CRAN, França. , Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos.
2021 - 2022
Pós-Doutorado. , Université Catholique de Louvain, UCL, Bélgica. , Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos.
Formação complementar
2019 - 2020
PDSE - Doutorado Sanduíche. , Laboratoire d'Analyse et d'Architecture des Systemes, LAAS, França.
2014 - 2015
GS/CSF - GRADUAÇÃO SANDUÍCHE - PROGRAMA CIÊNCIA SEM FRONTEIRAS. , University of Colorado, UC, Estados Unidos.
2012 - 2013
Inglês. (Carga horária: 420h). , Casa de Cultura Britânica, CCB, Brasil.
2010 - 2012
Inglês. (Carga horária: 300h). , Instituto Municipal de Pesquisas, Administração e Recursos Humanos, IMPARH, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Controle de Processos Eletrônicos, Retroalimentação.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Medidas Elétricas, Magnéticas e Eletrônicas; Instrumentação/Especialidade: Sistemas Eletrônicos de Medida e de Controle.
Grande área: Outros / Área: Robótica, Mecatrônica e Automação.
Organização de eventos
ALVES LIMA, T. . International Program Committee member of the 9th IFAC Symposium on Systems Structure and Control. 2025. (Congresso).
ALVES LIMA, THIAGO . Membro do Comitê Técnico de Controle do XVI Simpósio Brasileiro de Automação Inteligente (SBAI). 2023. (Congresso).
ALVES LIMA, THIAGO . Membro do Comitê Técnico de XXIV Congresso Brasileiro de Automática (CBA). 2022. (Congresso).
Participação em eventos
2024 IEEE 63rd Conference on Decision and Control (CDC). Feedback Stabilization of Discrete-Time Switched Systems Under Büchi-Constrained Signals. 2024. (Congresso).
Edp, commande et observation des systèmes. 2024. (Simpósio).
IEEE Conference on Decision Control. QSR-Dissipativity-Based Stabilization of Non-Passive Nonlinear Discrete-Time Systems by Linear Static Output Feedback. 2024. (Congresso).
Methods and Algorithms for the Control of Complex Systems. 2024. (Oficina).
2023 European Control Conference (ECC). A convex approach for the robust static output feedback stabilization of LTI systems based on dissipativity theory. 2023. (Congresso).
2022 American Control Conference (ACC). Global Stabilization of Polynomial Systems Using Equilibrium-Independent Dissipativity. 2022. (Congresso).
2022 American Control Conference (ACC). Optimal Abstraction-based Control with Local Affine Controllers. 2022. (Congresso).
2022 American Control Conference (ACC). Dissipativity-based L2 gain-scheduled static output feedback design for rational LPV systems. 2022. (Congresso).
2022 IEEE 61st Conference on Decision and Control (CDC). Systems with both constant and time-varying delays: a switched systems approach and application to observer-controller co-design. 2022. (Congresso).
European Control Conference (ECC). First-order Dead-time Compensation with Feedforward Action. 2019. (Congresso).
XXII Congresso Brasileiro de Automática. Path Planning of Mobile Robot with Growing Neural Gas and Ant Colony Optimization. 2018. (Congresso).
All About Energy 2013. 2013. (Congresso).
Participação em bancas
OLIVEIRA, R. C. L. F.; MORAIS, C. F.; TEIXEIRA, M. C. M.;ALVES LIMA, THIAGO; SOUZA, M.. Projeto de regras de chaveamento e controladores para sistemas lineares chaveados utilizando algoritmos baseados em LMIs. 2025. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.
PALHARES, R. M.; BESSA, I. V.; COUTINHO, P. H. S.; ISHIHARA, J. Y.; GALVAO, R. K. H.;ALVES LIMA, THIAGO. Data-driven Static Output-feedback Control: Noisy And Noise-free Case. 2025. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais.
NOGUEIRA, F. G.; TORRICO, B. C.; MADEIRA, D. S.;LIMA, T. A.. CONTROLE ROBUSTO VIA LMI APLICADO AO AMORTECIMENTO ATIVO DE VIBRAÇÃO EM UM MODELO DE ESTRUTURA COM DOIS ANDARES. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal do Ceará.
NOGUEIRA, F. G.; TORRICO, B. C.; COSTA, M. V.;LIMA, T. A.. Projeto e Desenvolvimento de Central de Controle de Motores CC para Portas Industriais Automáticas. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal do Ceará.
Orientou
Formal methods for the control of switching systems; Início: 2025; Tese (Doutorado em Controle e Automação) - CentraleSupélec - Siège; (Orientador);
Graph-based control for Power System Stabilizers; Início: 2022; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Ceará; (Coorientador);
Início: 2024; CentraleSupélec - Siège;
Desenvolvimento de uma plataforma de controle em rede com perdas de pacote baseada em sistemas comutados; Início: 2026; Iniciação científica (Graduando em Engenharia de Energias Renováveis) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);
Aplicação de técnicas de controle para sistemas comutados no controle em rede; Início: 2026; Iniciação científica (Graduando em Engenharia Elétrica) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);
Optimal stabilizing rates for switching systems; 2024; Dissertação (Mestrado em Mestrado em controle e automação) - CentraleSupélec - Siège, ; Orientador: Thiago Alves Lima;
Consultation et déploiement des équipements industriels pour les systèmes de transport urbain; 2024; Trabalho de Conclusão de Curso; (Graduação em Controle e Automação) - CentraleSupélec - Siège; Orientador: Thiago Alves Lima;
; Étude de planification de trajectoire centralisée; 2024; Trabalho de Conclusão de Curso; (Graduação em Controle e Automação) - CentraleSupélec - Siège; Orientador: Thiago Alves Lima;
Simulation of Non-smooth dynamical systems with LCPs; 2024; Iniciação Científica; (Graduando em Controle e Automação) - CentraleSupélec - Siège; Orientador: Thiago Alves Lima;
Produções bibliográficas
-
PONTE PARENTE, DELEON ; ALVES LIMA, THIAGO ; GONZALEZ NOGUEIRA, FABRÍCIO . Graph-based ℓp stabilization of switched systems. Nonlinear Analysis-Hybrid Systems , v. 61, p. 101709, 2026.
-
DELLA ROSSA, M. ; ALVES LIMA, T. ; GIRARD, A. . Feedback Stabilization of Discrete-Time Switched Systems Under Büchi-Constrained Signals. Ieee Control Systems Letters , v. 8, p. 418-423, 2024.
-
DELLA ROSSA, MATTEO ; ALVES LIMA, THIAGO ; JUNGERS, MARC ; JUNGERS, RAPHAËL M. . Graph-based conditions for feedback stabilization of switched and LPV systems. AUTOMATICA , v. 160, p. 111427, 2024.
-
ALVES LIMA, T. ; MADEIRA, D. DE S. ; JUNGERS, M. . QSR-Dissipativity-Based Stabilization of Non-Passive Nonlinear Discrete-Time Systems by Linear Static Output Feedback. Ieee Control Systems Letters , v. 8, p. 1036-1041, 2024.
-
ALVES LIMA, THIAGO ; DE SOUSA MADEIRA, DIEGO ; JUNGERS, MARC . Dissipativity-based conditions for the feedback stabilization of systems with time-varying input delays. EUROPEAN JOURNAL OF CONTROL , v. 1, p. 100855, 2023.
-
PEREIRA, RENÉ D.O. ; TORRICO, BISMARK C. ; DO NASCIMENTO, JOSÉ N. ; ALVES LIMA, THIAGO ; DE ALMEIDA FILHO, MAGNO P. ; NOGUEIRA, FABRÍCIO G. . Smith predictor-based feedforward controller for measurable disturbances. CONTROL ENGINEERING PRACTICE , v. 133, p. 105439, 2023.
-
ALVES LIMA, THIAGO ; VIANA, VALESSA V. ; TORRICO, BISMARK C. ; NOGUEIRA, FABRÍCIO G. ; MADEIRA, DIEGO DE S. . Newton-series-based observer-predictor control for disturbed input-delayed discrete-time systems. AUTOMATICA , v. 146, p. 110624, 2022.
-
LIMA, THIAGO ALVES ; MADEIRA, DIEGO DE S. ; VIANA, VALESSA V. ; OLIVEIRA, RICARDO C.L.F. . Static output feedback stabilization of uncertain rational nonlinear systems with input saturation. SYSTEMS & CONTROL LETTERS , v. 168, p. 105359, 2022.
-
ALVES LIMA, THIAGO ; TARBOURIECH, SOPHIE ; GOUAISBAUT, FRÉDÉRIC ; PRUDÊNCIO DE ALMEIDA FILHO, MAGNO ; GARCÍA, PEDRO ; CLAURE TORRICO, BISMARK ; GONZALEZ NOGUEIRA, FABRÍCIO . Analysis and experimental application of a dead-time compensator for input saturated processes with output time-varying delays. IET Control Theory and Applications , v. 15, p. 580-593, 2021.
-
LIMA, THIAGO ALVES ; TARBOURIECH, SOPHIE ; NOGUEIRA, FABRICIO GONZALEZ ; TORRICO, BISMARK CLAURE . Co-Design of Dynamic Allocation Functions and Anti-Windup. Ieee Control Systems Letters , v. 5, p. 2198-2203, 2021.
-
LIMA, THIAGO A. ; DE ALMEIDA FILHO, MAGNO P. ; TORRICO, BISMARK C. ; NOGUEIRA, FABRÍCIO G. ; CORREIA, WILKLEY B. . A practical solution for the control of time-delayed and delay-free systems with saturating actuators. EUROPEAN JOURNAL OF CONTROL , v. 1, p. 1, 2019.
-
TORRICO, BISMARK C. ; DE ALMEIDA FILHO, MAGNO P. ; LIMA, THIAGO A. ; SANTOS, TITO L.M. ; NOGUEIRA, FABRÍCIO G. . New simple approach for enhanced rejection of unknown disturbances in LTI systems with input delay. ISA TRANSACTIONS , v. 94, p. 316-325, 2019.
-
TORRICO, BISMARK C. ; DE ALMEIDA FILHO, MAGNO P. ; LIMA, THIAGO A. ; DO N. FORTE, MARCUS D. ; SÁ, REJANE C. ; NOGUEIRA, FABRÍCIO G. . Tuning of a dead-time compensator focusing on industrial processes. ISA TRANSACTIONS , v. 83, p. 189-198, 2018.
-
ALVES LIMA, THIAGO ; TARBOURIECH, SOPHIE . Dynamic Allocation Function Design in the Presence of Magnitude Saturating Inputs. In: Megan Breit-Goodwin; Mee Seong Im; Kelly Jabbusch; Kuei-Nuan Lin. (Org.). Association for Women in Mathematics Series. 00ed.: Springer Nature Switzerland, 2025, v. , p. 257-277.
-
LIMA, THIAGO ALVES ; JUNGERS, MARC . Conditions for QSR-dissipativity of the interconnection of hybrid systems with the sum of storage functions. In: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2024, Milan. 2024 IEEE 63rd Conference on Decision and Control (CDC), 2024. p. 7073-7078.
-
MADEIRA, D. S. ; CORREIA, W. B. ; ALVES LIMA, THIAGO . Output Feedback Stabilization of Linear Discrete-Time Systems: New Necessary and Sufficient Conditions Using a Dissipation Inequality. In: XXV Congresso Brasileiro de Automática, 2024, Rio de Janeiro. Anais do XXV Congresso Brasileiro de Automática, 2024.
-
VIANA, VALESSA VALENTIM ; DE SOUSA MADEIRA, DIEGO ; LIMA, THIAGO ALVES . A convex approach for the robust static output feedback stabilization of LTI systems based on dissipativity theory. In: 2023 European Control Conference (ECC), 2023, Bucharest. 2023 European Control Conference (ECC), 2023. p. 1-6.
-
VIANA, VALESSA V. ; MADEIRA, DIEGO DE S. ; LIMA, THIAGO ALVES . Dissipativity-based ¿ 2 gain-scheduled static output feedback design for rational LPV systems. In: 2022 American Control Conference (ACC), 2022, Atlanta. 2022 American Control Conference (ACC), 2022. p. 5199-5204.
-
EGIDIO, LUCAS N. ; LIMA, THIAGO ALVES ; JUNGERS, RAPHAEL . Optimal Abstraction-based Control with Local Affine Controllers. In: 2022 American Control Conference (ACC), 2022, Atlanta. 2022 American Control Conference (ACC), 2022. p. 3354.
-
MADEIRA, DIEGO DE S. ; ALVES LIMA, THIAGO . Global Stabilization of Polynomial Systems Using Equilibrium-Independent Dissipativity. In: 2022 American Control Conference (ACC), 2022, Atlanta. 2022 American Control Conference (ACC), 2022. p. 120.
-
ALVES LIMA, T. ; DELLA ROSSA, M. ; GOUAISBAUT, F. ; JUNGERS, R. ; TARBOURIECH, S. . Systems with both constant and time-varying delays: a switched systems approach and application to observer-controller co-design. In: 2022 IEEE 61st Conference on Decision and Control (CDC), 2022, Cancun. 2022 IEEE 61st Conference on Decision and Control (CDC), 2022. p. 6889.
-
EGIDIO, LUCAS N. ; LIMA, THIAGO ALVES ; JUNGERS, RAPHAEL M. . State-feedback Abstractions for Optimal Control of Piecewise-affine Systems. In: 2022 IEEE 61st Conference on Decision and Control (CDC), 2022, Cancun. 2022 IEEE 61st Conference on Decision and Control (CDC), 2022. p. 7455.
-
LIMA, T. ALVES ; TARBOURIECH, S. ; NOGUEIRA, F. G. ; TORRICO, B. C. . Energy-based design of dynamic allocation in the presence of saturating actuators. In: 24th International Symposium on Mathematical Theory of Networks and Systems MTNS 2020, 2021, Cambridge. IFAC-PapersOnLine, 2020. v. 54. p. 304-309.
-
SOMBRA, ANDRESA K. R. ; PEREIRA, RENE D.O. ; DE ALMEIDA FILHO, MAGNO P. ; LIMA, THIAGO A. ; TORRICO, BISMARK C. ; NOGUEIRA, FABRICIO G. . A Dead-Time Compensator With Dead-Beat Disturbance Rejection Response. In: 2019 18th European Control Conference (ECC), 2019, Naples. 2019 18th European Control Conference (ECC), 2019. p. 3613.
-
LIMA, THIAGO A. ; TORRICO, BISMARK C. ; DE ALMEIDA FILHO, MAGNO P. ; FORTE, MARCUS D. N. ; PEREIRA, RENE D. O. ; NOGUEIRA, FABRICIO G. . First-order Dead-time Compensation with Feedforward Action. In: 2019 18th European Control Conference (ECC), 2019, Naples. 2019 18th European Control Conference (ECC), 2019. p. 3638.
-
AZEVEDO, T. ; CESAR, C. ; GOMES, A. C. ; FORTE, M. D. N. ; LIMA, T. A. ; FERREIRA, V. R. A. ; CORREIA, W. B. ; BRAGA, A. P. S. . Path Planning of Mobile Robot with Growing Neural Gas and Ant Colony Optimization. In: Congresso Brasileiro de Automática, 2018, João Pessoa. Anais do Congresso Brasileiro de Automática, 2018.
-
LOBO, T. D. ; FORTE, M. D. N. ; NOGUEIRA, F. G. ; TORRICO, B. C. ; LIMA, T. A. ; ARAUJO, J. P. . CONTROLE ADAPTATIVO AUTO-AJUSTÁVEL PARA CONTROLE DE SEGUIMENTO DE TRAJETÓRIAS DE UM ROBÔ MÓVEL. In: Congresso Brasileiro de Automática, 2018, João Pessoa. Anais do Congresso Brasileiro de Automática, 2018.
-
TORRICO, B. C. ; LIMA, T. A. ; NOGUEIRA, F. G. ; ALMEIDA FILHO, M. P. ; RIOS, C. S. N. ; PEREIRA, R. D. O. . Anti-windup dead-time compensation for stable and integrative first-order dead-time processes. In: Congresso Brasileiro de Automática, 2018, João Pessoa. Anais do Congresso Brasileiro de Automática, 2018.
-
ROCHA, K. D. ; LIMA, T. A. ; FORTE, M. D. N. ; COMBERIATE, M. ; NOGUEIRA, F. G. ; TORRICO, B. C. ; CORREIA, W. B. . Trajectory Tracking Control of a Tracked Mobile Robot. In: XIII Simpósio Brasileiro de Automação Inteligente - XIII SBAI, 2017, 2017, Porto Alegre. Anais do XIII Simpósio Brasileiro de Automação Inteligente - XIII SBAI, 2017.. Porto Alegre: XIII SBAI, 2017.
-
LIMA, THIAGO ALVES ; DAVI DO NASCIMENTO FORTE, MARCUS ; NOGUEIRA, FABRICIO GONZALEZ ; TORRICO, BISMARK CLAURE ; DE PAULA, ADRIANO RODRIGUES . Trajectory tracking control of a mobile robot using lidar sensor for position and orientation estimation. In: 2016 12th IEEE International Conference on Industry Applications (INDUSCON), 2016, Curitiba. 2016 12th IEEE International Conference on Industry Applications (INDUSCON), 2016. p. 1.
-
ALMEIDA FILHO, M. P. ; LIMA, T. A. ; TORRICO, B. C. ; NOGUEIRA, F. G. . Observer Based Approach for the Economic Predictive Control of a TISO System. In: 6th IFAC Conference on Nonlinear Model Predictive Control, 2018, Madison, WI. NMPC 2018 Technical Program - Poster Session, 2018.
-
VIANA, VALESSA V. ; MADEIRA, D. S. ; LIMA, THIAGO ALVES . A convex approach for the robust static output feedback stabilization of LTI systems based on dissipativity theory. 2023. (Apresentação de Trabalho/Congresso).
-
LIMA, THIAGO ALVES ; MADEIRA, D. S. ; JUNGERS, MARC . Dissipativity-based conditions for the feedback stabilization of systems with time-varying input delays. 2023. (Apresentação de Trabalho/Conferência ou palestra).
-
VIANA, VALESSA V. ; MADEIRA, D. S. ; LIMA, THIAGO ALVES . Dissipativity-based L2 gain-scheduled static output feedback design for rational LPV systems. 2022. (Apresentação de Trabalho/Congresso).
-
MADEIRA, D. S. ; LIMA, THIAGO ALVES . Global Stabilization of Polynomial Systems Using Equilibrium-Independent Dissipativity. 2022. (Apresentação de Trabalho/Conferência ou palestra).
-
EGIDIO, LUCAS N. ; ALVES LIMA, T. ; JUNGERS, RAPHAEL . Optimal Abstraction-based Control with Local Affine Controllers. 2022. (Apresentação de Trabalho/Congresso).
-
ALVES LIMA, THIAGO ; TORRICO, BISMARK C. ; PRUDÊNCIO DE ALMEIDA FILHO, MAGNO ; DO N. FORTE, MARCUS D. ; PEREIRA, R. D. O. ; GONZALEZ NOGUEIRA, FABRÍCIO . First-order Dead-time Compensation with Feedforward Action. 2019. (Apresentação de Trabalho/Congresso).
-
AZEVEDO, T. ; CESAR, C. ; GOMES, A. C. ; FORTE, M. D. N. ; LIMA, T. A. ; FERREIRA, V. R. A. ; CORREIA, W. B. ; BRAGA, A. P. S. . Path Planning of Mobile Robot with Growing Neural Gas and Ant Colony Optimization. 2018. (Apresentação de Trabalho/Congresso).
Projetos de pesquisa
-
2025 - Atual
Controle de Sistemas Híbridos - Técnicas Baseadas em Grafos, Métodos Formais e Otimização Convexa, Descrição: [Chamada CNPq/MCTI/FNDCT N 21/2024 - Programa Conhecimento Brasil - Atração e Fixação de Talentos] Os sistemas de engenharia modernos estão se tornando cada vez mais difíceis de controlar devido à crescente complexidade das interações entre processos físicos e computacionais, somada às exigências críticas de cibersegurança, eficiência de recursos e descentralização. Essas demandas resultaram no surgimento dos "sistemas híbridos", que combinam uma parte contínua, modelada por equações diferenciais (como corrente elétrica ou velocidade de motores), e uma parte discreta regida por equações de diferenças (como a lógica de transmissão de dados). A interação entre essas partes traz novos desafios de controle e otimização essenciais para o progresso tecnológico. Controlar sistemas híbridos é um desafio significativo, pois os métodos tradicionais frequentemente falham ao lidar com essa complexidade. Diante disso, é crucial desenvolver novas abordagens que possibilitem um controle mais eficiente. Este projeto propõe o desenvolvimento de técnicas inovadoras para o controle de sistemas híbridos, utilizando ferramentas como teoria dos grafos, métodos formais e otimização convexa. Essas abordagens visam superar as limitações computacionais e teóricas dos métodos convencionais. Uma das estratégias é a modelagem de sistemas complexos em representações simplificadas, como autômatos de estados finitos, que já demonstraram viabilidade no controle de sistemas comutados, um caso particular dos sistemas híbridos. Além disso, o uso de técnicas de dissipatividade e de Lyapunov combinadas com a teoria dos grafos oferece um caráter inovador ao projeto, fortalecendo o rigor teórico das abordagens propostas. A estratégia metodológica consiste em transformar essas interações complexas em modelos manipuláveis, utilizando técnicas matemáticas e computacionais avançadas. O objetivo é viabilizar a aplicação dessas soluções em sistemas híbridos, garantindo que as soluções desenvolvidas possam ser aplicadas de forma eficaz tanto em cenários acadêmicos quanto industriais.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (2) . , Integrantes: Thiago Alves Lima - Coordenador / Fabrício Gonzalez Nogueira - Integrante / Bismark Claure Torrico - Integrante / Flavio PICCHIOTTI - Integrante / Deleon Ponte Parente - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2025 - Atual
Formal methods for the control of switching systems with optimal stabilization rates, Descrição: [H-CODE, Agence Nationale de la recherche, Université PARIS Saclay, ANR-11-IDEX-0003] Switching systems represent a type of hybrid/cyber-physical dynamical system where the system behavior depends on a finite set of subsystems and on a switching function selecting which subsystem is active at any given moment. Problems related to the stability and stabilizability of discrete-time switching systems under different scenarios on the switching signal have been an active field of research due to their important applications in modern engineering (Liberzon, 2003). One example is network control systems, where network faults and protocols can be modeled by switching systems. When studying switched systems, one common assumption is to consider the case of arbitrary switching signals. The stability of the system under no external inputs is related to the notion of joint spectral radius (JSR). Recently, the stabilization of discrete-time switched systems under arbitrary switching signals usingpiecewise linear control laws and graph-based Lyapunov functions was studied (Della Rossa et al., 2024). Additionally, optimal stabilizing decay rates under this class of switching signals were explored (Hu et al., 2024). Considering arbitrary switching rules can, however, be conservative, since requiring that all solutions be driven to the equilibrium for all possible switching sequences is a demanding (and often unfeasible) task. Moreover, in several real-life situations, the considered systems present some sort of constraints on the admissible switching events. For this reason, it is common, both for stability and stabilizability purposes, toconsider subclasses of switching signals. Many questions regarding these subclasses of switching signals remain open, mainly due to their inherently more complicated nature. In this context, the framework of language and automata theory (Beta et al., 2024) naturally arises as a valuable tool, providing graph-theoretic methods to encode constraints on the switching signals. In this project, to use language theory to represent intricate behaviors of switching signals, such as, for example, the situation where some subsequence of modes may be repeated infinitely many times without any a priori specific frequency. These intricate behaviors can be modeled with the help of formal methods from computer science and thus offer a powerful framework for the control of discrete-time switched systems. We aim to expand recent tools based on #969;-regular for this matter, while also exploring notions related to the optimal stabilization rates of switching systems.References Liberzon, D. (2003). Switching in Systems and Control. Birkhäuser. Della Rossa, M., Alves Lima, T., Jungers, M., Jungers, R. M. (2024). Graph-based conditions for feedback stabilization of switched and LPV systems. Automatica, 160, 111427. Hu, J., Shen, J., Lee, D. (2024). Optimal stabilizing rates of switched linear control systems under arbitrary known switchings. Automatica, 159, 111331. Della Rossa, M., Alves Lima, T., Girard, A. (2024). Feedback stabilization of discrete-time switched systems under Büchi-constrained signals. IEEE-LCSS, 2024. Belta, C., Yordanov, B., Gol, E. A. (2017). Formal Methods for Discrete-Time Dynamical Systems. Springer. Aazan, G., Girard, A., Greco, L., Mason, P. (2024). An Automata Theoretic Approach to Observer Design for Switched Linear Systems. Automatica, Volume 165, 2024.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Thiago Alves Lima - Coordenador / Antoine Girard - Integrante / Flavio PICCHIOTTI - Integrante / Matteo Della Rossa - Integrante / Marc Jungers - Integrante., Financiador(es): Agence Nationale de la Recherche - Auxílio financeiro.
-
2024 - 2025
Dissipativity and control of nonlinear hybrid systems, Descrição: [Welcome Research Package (WRP), ANR PIA funding: ANR-20-IDEES-0002] The concept of dissipativity provides a general framework for studying inputstateoutput systems, extending Lyapunov theory from closed (autonomous) systems to open systems with inputs. Recently, dissipativity theory has emerged as a valuable tool for addressing a wide range of problems, including the well-posedness of Lure-type systems with set-valued mappings, the performance analysis of optimization algorithms, and the development of data-driven certificates.Another important research direction concerns the analysis and control of hybrid dynamical systems. These are complex mathematical models that combine continuous and discrete dynamics, offering a more accurate description of the ever-evolving cyberphysical world. In this project, dissipativity theory is used to analyze and stabilize hybrid and nonlinear systems subject to actuation, communication, and state constraints. The connections between local stabilizability and dissipativity properties of individual hybrid subsystems will be studied. Building on these insights, the ultimate objective is to deliver stability and performance certificates for meaningful interconnections of constrained hybrid systems (for example, power grids) using dissipativity theory.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Thiago Alves Lima - Coordenador.
-
2024 - 2024
Optimal stabilizing rate of switched systems, Descrição: [PCG-PIA, Graduate School Université Paris Saclay, Financing code CS0 -2024-05] Switching systems are a class of hybrid or cyber-physical dynamical systems where the system behavior depends on a finite set of subsystems and on a switching function selecting which subsystem is active at any given time. Problems concerning the stabilizability of discrete-time switching systems under different assumptions on the switching signal are of central importance due to their broad applications in modern engineering. This project focuses on the notion of optimal stabilizing decay rates for discrete-time switched linear control systems under arbitrary switching signals. The work will begin with a detailed review of recent developments in this area. The first research question concerns the computation of upper and lower bounds on the optimal exponential decay rate achievable by a general control law. The second part of the project will address the identification of control law structures sufficient to achieve such optimal rates. In particular, it will investigate whether memoryless state feedback, and more specifically piecewise-linear state feedback controls, are sufficient. Finally, the project will focus on the design of such control laws using numerically tractable approaches, such as linear matrix inequalities (LMIs).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Thiago Alves Lima - Coordenador.
-
2024 - Atual
Internacionalização do Programa de Pós-Graduação em Engenharia Elétrica: Impulsionando Inovações em Energia Renovável, Robótica Industrial, Indústria 4.0, Mobilidade Elétrica e Hidrogênio Verde, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Thiago Alves Lima - Integrante / Fabrício Gonzalez Nogueira - Integrante / Bismark Claure Torrico - Coordenador.
-
2023 - Atual
Controle Não-Linear Baseado na Teoria da Dissipatividade Aplicado a Processos Industriais, Descrição: Chamada CNPq/MCTI N 10/2023 - UNIVERSAL. PROCESSO 4027312023-9. Como alternativa às técnicas baseadas em modelo, o problema de projeto de controladores estabilizantes diretamente a partir de dados coletados em experimentos se tornou, ao longo dos anos, um tópico de pesquisa bastante atrativo. A principal vantagem desta abordagem de Controle Baseado em Dados é que ela não envolve a usual etapa de identificação de um modelo para a planta. A estabilização em torno de um ponto de equilíbrio, a análise de dissipatividade, e o tratamento de medições ruidosas, no domínio do tempo contínuo ou do tempo discreto, por exemplo, tem sido objeto de numerosas publicações no mundo todo. Mais recentemente, o controle baseado em dados se mostrou uma ferramenta adequada à síntese de controladores no âmbito da teoria da dissipatividade, um problema que também propomos tratar.Este projeto de pesquisa propõe a adequação e a aplicação das referidas estratégias de controle existentes para a classe dos sistemas motrizes do LAMOTRIZ-UFC, envolvendo, simultaneamente, o desenvolvimento de novas estratégias de controle baseadas em dissipatividade, ou seja, novos métodos iterativos para estabilização e estimação de domínios de atração, bem como o tratamento do problema do controle baseado em dados. Estudos comparativos entre as diversas técnicas empregadas fazem parte do escopo do projeto.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Thiago Alves Lima - Integrante / CLAUSON SALES DO NASCIMENTO RIOS - Integrante / Diego de Souza Madeira - Coordenador / CORREIA, WILKLEY B. - Integrante / Domenico Sgro - Integrante / Hyago de Araújo Martins - Integrante.
-
2018 - 2020
Desenvolvimento de uma Nova Solução para Monitoramento de Estoque de Carvão no Pátio da Ute Pécem Baseado em um Sistema Automático de Aquisição Aérea de Dados, Descrição: O objetivo geral do projeto é o desenvolvimento e implantação de um sistema de monitoramento automático para levantamento do volume de carvão mineral estocado no pátio da PPTM Pecém. Tal sistema permitirá o monitoramento diário, sem necessidade de paradas na operação das máquinas empilhadeira-retomadora do pátio de carvão. A aquisição de dados nas pilhas de carvão será realizada de forma automática por um VANT industrial equipado com sensor LIDAR e estratégias de controle avançadas para planejamento e seguimento de trajetórias. Os dados coletados serão enviados para um computador onde será realizado de forma automática o cálculo de volume das pilhas do pátio de carvão. O referido sistema e metodologias desenvolvidas visam contribuir para a redução dos erros na estimativa de estoque de carvão, permitindo o aumento da produtividade das equipes de campo e a melhoria da gestão e controle do pátio de carvão da PPTM no CTE do Pecém.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (3) . , Integrantes: Thiago Alves Lima - Integrante / Marcus Davi do Nascimento Forte - Integrante / Fabrício Gonzalez Nogueira - Coordenador / Bismark Claure Torrico - Integrante / Adriano Rodrigues de Paula - Integrante / WILKLEY BEZERRA CORREIA - Integrante / Magno Prudêncio de Almeida Filho - Integrante / Nadson Renan Tomé de Souza - Integrante / Judá Teixeira Santos - Integrante.
Prêmios
2008
Menção Honrosa - 4ª Olimpíada Brasileira de Matemática das Escolas Públicas, IMPA/ SOCIEDADE BRASILEIRA DE MATEMÁTICA/ MEC/ MINISTÉRIO DA CIÊNCIA E TECNOLOGIA.
2002
Aluno Padrão do Maranhão, Governo do Estado do Maranhão.
Histórico profissional
Endereço profissional
-
Instituto Tecnológico de Aeronáutica. , Avenida Borges de Melo - de 101 a 1021 - lado ímpar, Aeroporto, 60415513 - Fortaleza, CE - Brasil, Telefone: (85) 32163013
Experiência profissional
2023 - 2025
CentraleSupélec - Siège, CentraleSupélecVínculo: Servidor público, Enquadramento Funcional: Professor Associado, Regime: Dedicação exclusiva.
Atividades
-
09/2023
Ensino, Controle e Automação, Nível: GraduaçãoDisciplinas ministradas, Controle de sistemas dinâmicos (2CC1000), Introdução ao controle e automação (BoGE-ACE211), Projeto de pesquisa em controle (BoGE-PRO221), Modelagem matemática de sistemas dinâmicos (1CC3000), Otimização (2CC3000), Controle de Veículos Autônomos (3GS1060), Projetos de robótica (3GS1060), Robô de radiologia vascular (1SC2192)
2016 - 2017
Companhia Energética do CearáVínculo: Scholarship, Enquadramento Funcional: Estagiário de Engenharia Elétrica, Carga horária: 30
Outras informações:
Estagiário na área técnica (Operação em Tempo Real) atuando na análise das intervenções programadas no Sistema Elétrico COELCE; responsável por planejar e elaborar manobras de transferência de carga para execução de intervenções na rede de média tensão da COELCE buscando o menor custo de execução, segurança para o sistema e proteção para os executantes. Também fazem parte dos compromissos a atualização de documentos operativos como diagramas unifilares de subestações, linhas de alta tensão e instruções de operação; Acompanhamento das revisões dos Acordos Operativos da Coelce com Grandes Clientes e clientes de Minigeração; Controle de indicadores das certificações ISO.
2025 - 2026
Universidade Federal do CearáVínculo: Bolsista, Enquadramento Funcional: Pesquisador Conhecimento Brasil - CNPq, Carga horária: 40
2016 - 2017
Universidade Federal do CearáVínculo: Scholarship, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 16
Outras informações:
Bolsista PIBIC da Pesquisa "Desenvolvimento e Testes de Técnicas de Identificação e controle LPV em um Robô Móvel".
2015 - 2016
Universidade Federal do CearáVínculo: Scholarship, Enquadramento Funcional: Pesquisador Voluntário, Carga horária: 16
Outras informações:
Desenvolvimento de sistemas de controle para o robô móvel Nanook.
2012 - 2013
Universidade Federal do CearáVínculo: Scholarship, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 16
Outras informações:
Programa Jovens Talentos Para a Ciência.
2023 - Atual
International Federation of Automatic ControlVínculo: Membro, Enquadramento Funcional: Comitê técnico TC 2.1 - Control Design
2023 - Atual
International Federation of Automatic ControlVínculo: Membro, Enquadramento Funcional: Comitê técnico TC 1.5 - Networked Systems
2026 - Atual
Instituto Tecnológico de AeronáuticaVínculo: Servidor público, Enquadramento Funcional: Professor do Magistério Superior, Carga horária: 40, Regime: Dedicação exclusiva.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Thiago Alves Lima e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?