DesignLab
  • Departamento de Engenharia Mecatrônica
    Escola Politécnica - Universidade de São Paulo

Grupos de Pesquisa

Descubra sua área de pesquisa e junte-se ao nosso time.

AI Planning and Machine Intelligence

       AI Planning and Machine Intelligence group studies classic and of knowledge engineering to support intelligent planning applied to automation. The assumption is that intelligent automation could be based on two different paradigms: knowledge engineering and requirements modeling and analysis, and the synthesis of a planning domain, composed by a planning problem and the model of a plan environment - where the plan is occurring. Specially we work in a comparison between the requirements acquisition using different modeling languages and its further modeling and...

Jose Reinaldo Silva em 03 de Julho de 2024, 22:44
Ler mais

D-Lab: Engenharia de Serviços e Manufatura em Nuvem

D-Lab (ou Design Lab) é um grupo de pesquisa da Escola Politécnica - USP especializado em Métodos Formais para o Design em Engenharia, aplicado à Automação e Sistemas de Serviço.  O D-Lab contribui no esforço do USP-AWS com dois projetos diferentes: o desenvolvimento de um framework para manufatura baseada em serviços (cloud manufacturing service, C-MfgS) e métodos também baseados em serviço para o ensino universitário.   Em ambos os projetos serviços na nuvem são combinados usando métodos formais de modelagem de processos e inteligência artificial para gerar um framework...

Jose Reinaldo Silva em 03 de Julho de 2024, 22:47
Ler mais

Data Space aplicada a Saúde

O grupo de pesquisa estuda o data-driven design aplicado a um dos nichos prioritários: o setor de saúde e seu processo de digitalização, essencial para a agilidade de prestação de serviços no setor. Uma startup de base tecnológica foi criada por integrantes do grupo, em parceria com o INTECH do Hospital Universitário da USP, na pessoa do pesquisador, Dr. Oscar Fugita, com o intuito de desenvolver um modelo de referência para o design customizado de serviços no setor de saúde e para prover integração multimodal de dados.

Jose Reinaldo Silva em 19 de Novembro de 2025, 12:38
Ler mais

Formal verification & Petri Nets

     The Formal Verification & Petri Nets Group is concerned with the use of formal approaches to Engineering Design -, especially to automated systems. The goal is to develop methods for analysis and design associated with Model-Based Engineering using Petri Nets (PN). We use PN-approaches based on the standard ISO/IEC 15.909, which defines classic Place/Transition nets and High-Level Nets, a transfer language - PNML - and several user extensions. The main goal is focused on extensions and its formalization following the standard. 

Extensions are hierarchy, ...

Jose Reinaldo Silva em 26 de Abril de 2025, 14:38
Ler mais

Transformação Digital & Automática

O grupo dedica-se às técnicas de design para apoiar o roteiro estratégico da transformação digital, com base em novas abordagens de design fundamentadas na Engenharia de Sistemas Baseada em Modelos. Os requisitos baseiam-se particularmente na modelagem de domínio e de negócios, bem como na utilização de ontologias para descrever o roteiro, a maturidade e a prontidão. O estudo é ampliado para incluir a interoperabilidade e a prontidão do pessoal envolvido, como um elemento de flexibilidade, visando alcançar os objetivos da Indústria 5.0.

Jose Reinaldo Silva em 19 de Novembro de 2025, 12:25
Ler mais