• Aprendizado de máquina para monitoramento de ciclo de vida em componentes de sistemas de refrigeração 

  Thaler, Gabriel (2025)
• Advancing opacity and utility in discrete event systems: novel definitions and verification methods 

  Vicente, Patrícia Mônica Campos Mayer (2025)
• Avaliação de redes privativas 5G para sistemas de automação de subestações elétricas em conformidade com a Norma IEC 61850 

  Souza, Ivan Michel Lehmkuhl de (2025)
• Transformers or not: um estudo comparativo na inspeção de defeitos em placas de circuito impresso 

  Benedetti, Pedro Luiz Henriques (2025)
• A branch-and-price algorithm for task scheduling of nanosatellite constellations 

  Antunes, Pedro Marcolin (2025)
• Formal verification toolchain using ESBMC, FRET, and R2U2 for improving the reliability of two critical embedded system 

  Silva, Guilherme Prudente da (2025)
• Physics-informed neural networks for water flow prediction and flood mitigation control in a hydrographic basin 

  Nazari, Luis Fernando (2025)
• Operational sustainable urban mobility index 

  Franco, Thays da Cruz (2025)
• Design and analysis of time-delay compensators for linear stochastic networked control systems 

  Wagner, Matheus (2025)
• Robust UAV trajectory tracking formation control 

  Costa, Thamiris Lima (2024)
• Simultaneous tracking and mapping of dynamic instances in industrial environments: a multiple-robot perception system for navigation in dynamic scenarios 

  Schneider, Danilo Giacomin (2024)
• Economic predictive control and optimization in offshore oil and gas production platforms 

  Ribeiro, João Bernardo Aranha (2024)
• Comparative study of control strategies for a grid connected two-stage single-phase inverter with battery integration 

  Yamaguti, Nelson Nayoshi Nakamoto (2024)
• Model-based prediction, fault estimation and optimal control: application on wine fermentation and time-delay systems 

  Lima, Bruno Martins (2024)
• Controle supervisório hierárquico de processos industriais modelados por abstrações sucessivas de sistemas a eventos discretos 

  Oliveira, Rafael Garlet de (2024)
• Controle preditivo de cômputo rápido aplicado a inversores trifásicos de dois níveis 

  Brunoni, João Pedro (2024)
• Deep-learning-based primal heuristics for MILP: supervised solution-prediction models 

  Pacheco, Bruno Machado (2024)
• A modular synthesis approach for the coordination of systems with multiple agents2 

  Rosa, Marcelo (2023)
• Control design for constrained LTI and LPV systems via polyhedral set invariance 

  Ernesto, Jackson Gonçalves (2024)
• Control optimization of drinking water distribution networks: MINLP formulation and MILP approximation 

  Luguesi, Carlos Augusto (2024)

Más