Docente da linha de pesquisa

Lucas Carvalho Cordeiro

Sistemas de Controle e de Automação Modernos; verificação e validação de sistemas.

Doutor em verificacao formal e software critico de sistemas embarcados.

Contato

lucas-carvalho-cordeiro@homolog.ufam.dev • (92) 90000-0000

Google Scholar Lattes LinkedIn Website

Perfil

Sobre

Doutor em verificacao formal e software critico de sistemas embarcados.

Formação

Formação acadêmica

Doutorado

UFAM

2011 • Engenharia Elétrica

Pesquisa

Linhas e temas

Eletrônica de Potência e Microrredes

Controle e automação aplicados a sistemas de energia.

Sistemas de Controle e de Automação Modernos

Identificação, modelagem, análise, síntese, automação e verificação de sistemas dinâmicos, industriais, robóticos e ciberfísicos.

Projetos

Projetos relacionados

Coordenados

EnnCore: End-to-End Conceptual Guarding of Neural Architectures

Em Andamento

Coordenados

AICodeRepair: Towards Self-Healing AI Code with Large Language Models and Formal Verification

Em Andamento

Participante

Cibersegurança de Sistemas Ciber-Físicos Industriais

Em Andamento

Participante

Analysis and synthesis of control systems based on zonotopic smart abstractions

Em Andamento

Participante

Desenvolvimento de Controladores Inteligentes para Processos Industriais

Em Andamento

Publicações

Produção científica

Formal Verification of Cyber-Physical Systems Using ESBMC: A Case Study in Industrial Control SystemsIury Valente de Bessa, Lucas Carvalho Cordeiro, Eddie Batista de Lima Filho, Renan Landau Paiva de Medeiros2023 • IEEE Transactions on Industrial Informatics28Citações

Machine Learning-Based Intrusion Detection for Industrial Control SystemsIury Valente de Bessa, Eddie Batista de Lima Filho, Lucas Carvalho Cordeiro, Renan Landau Paiva de Medeiros2025 • IEEE Transactions on Dependable and Secure Computing8Citações

Counterexample Guided Neural Network Quantization RefinementA. Matos; Eddie Batista de Lima Filho; Iury Bessa; A. Manino; H. Song; Lucas C. Cordeiro2024 • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Towards global neural network abstractions with locally-exact reconstructionT. C. S. P. Bessa; Lucas C. Cordeiro2024 • Neural Networks

Plataforma Robótica Móvel para Desenvolvimento de Estratégias de Segurança Cibernética2024 • IEEE Access

Orientações

Discentes e egressos (2)

Em Andamento

Matheus Henrique Pereira

gêmeos digitais de plantas industriais

Doutorado

Concluídas

Elisa Pereira Gomes

Controle aplicado: estudo de caso em navegação autônoma com ROS 2

Mestrado • 2023

Ensino

Sistemas Embarcados
Automação Industrial

Distinções

Prêmios e distinções

Destaque de Iniciação Científica

Congresso de Iniciação Científica da UFAM 2023

Atuação institucional

Cargos e funções

Membro do grupo de pesquisa e-Controls

Colaborações

Colaborações documentadas

Participa das atividades de colaboração do e-Controls junto a parceiros nacionais e internacionais.