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

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

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 03 de Julho de 2024, 22:49