Design
Lab
Departamento de Engenharia Mecatrônica
Escola Politécnica - Universidade de São Paulo
en
pt-br
DLAB
Home
Home page
Sobre Nós
Membros
Últimas notícias
Calendário
Grupos de Pesquisa
AI Planning and Machine Intelligence
D-Lab todos os grupos
D-Lab: Engenharia de Serviços e Manufatura em Nuvem
Formal verification & Petri Nets
Todos
Projetos
CREDIT (Cloud Roadmap Environment for Digital Transformation)
D4PlanS - Design for Planning Services
Goal-oriented Design Framework
Todos
Atividades
D-Lab Talks
Reunião do D-Lab
Desenvolvimento de documento de projeto
Projeto integrador do D-Lab
Calendário
Todos
Publicações
Todos
2025
CLOUD MANUFACTURING SERVICES (CMFGS): SISTEMAS PRODUTIVOS DISTRIBUÍDOS ORQUESTRADOS NA NUVEM
2024
Transition Flight of a Concept of Lifting-Wing Quadcopter
Model-Based Agile Design Approach: Toward Innovation in Product-Service Systems
Amazon Forest Digital Twin: design based on Petri Nets and Cloud Computing
Greenhouse gases data measurement and data transmission to Digital Amazon cloud repository using low-cost drone
A Data Space and Service Approach to GHG Emissions Repositories
2023
Towards an agile distributed management system based on Petri Nets
Forest Digital Twin: A Digital Transformation Approach for Monitoring Greenhouse Gas Emissions
Modeling Requirements for Collaborative Robotic Services
FORMAL REQUIREMENTS SPECIFICATION FOR MICROGRID BASED IN ARCHITECTURE IEC61850
Strategic Roadmap for Digital Transformation Based on Measuring Industry 4.0 Maturity and Readiness
Proposta de Procedimento para Gestão e Visualização de Dados no Contexto da Indústria 4.0
Towards an Agile Distributed Management System Based on Petri Nets
Unmanned Aerial Vehicles Cooperation for the monitoring of Greenhouse Gases
2022
FAT-AES: Systematic Methodology of Functional Testing for Automotive Embedded Software
Revisiting Requirement Engineering for Intelligent Manufacturing
A Model-Based and Goal-Oriented Approach for the Conceptual Design of Smart Grid Services
Diseño de Sistemas de Automatización Integrada
A Model-Based and Goal-Oriented Approach for the Conceptual Design of Smart Grid Services
2021
A Multilayer Proposal to a Smart Home Applied to Healthcare
A Formal Approach to Requirements Engineering of Automated Systems
Microgrid System Design Based on Model Based Systems Engineering: the Case Study in the Amazon Region
Proposta de método sistêmico baseado em modelos para Smart Grid
Automação no Pós-pandemia
Goal-Oriented Requirements Analysis Applied to Systems Engineering in Automotive ECU Development
2020
Towards Adaptive Discrete Event Control Based on PRD, PSS and Automatic Planning
Microgrid Systems Design Based on Model-Based Systems Engineering: Case Study on the Amazon Region
Formal Knowledge Engineering for Planniong: Pre and Post-desgn Analysis
Towards I4.0: a comprehensive analysis of evolution from I3.0 Computers & Industrial Engineering
Applying goal-oriented requirement engineering and refence architecture for microgrid systems
Towards a Formal Design to Service-Oriented Cloud Manufacturing
Microgrid System Design Based on Model Based Systems Engineering and Goal-Oriented Requirements Engineering
2019
A new hierarchical approach to requirement analysis of problems in automated planning
SmartLVGrid Platform—Convergence of Legacy Low-Voltage Circuits toward the Smart Grid Paradigm
A New Requirements Engineering Approach for Manufacturing Based on Petri nets
A Load-Balance System Design of Microgrid Cluster Based on Hierarchical Petri Nets
FORMAL REQUIREMENTS FOR MICROGRID USING KAOS AND REFERENCE ARCHITECTURE
2018
Formal Requirements Specification for Mcrogrid Based in Architecture IEC61850
Controller Model to Loa Balance in Urban Microgrids Using a Timed Hierarchical Petri Nets Approach
Perspectives on Manufacturing Automation Under the Digital and Cyber Convergence
Modeling in Petri Nets for micro smart grid operation based on IEC 61850 architecture
New Trends in Residential Automation
Innovative Engineering for Global Challenges
Requirements Engineering at a Glance: Comparing GORE and UML methods in the design of automated systems
The Pheromone of Ant Emulated by Petri Net Inserted inversely in RFID Database for Swarm Robots
A Load-Balance System Design of Microgrid Cluster Based on Hierarchical Petri Nets
The Era of Engineering Grand Challenges
2017
Automation meta-systems applied to smart grid convergene of low voltage distribution legacy grids
Improving the Verification of Real-Time Systems Using Time Petri Nets
CONTROLADOR LOCAL DE BALANCEAMENTO DE CARGA PARA µGRIDS
Licklider's fundamental ideas in ‘Man-computer symbiosis’ reemerge in the concepts of Cognitive Computing: a bibliometric study
Design of Automatic Control System Based on unified timed hybrid Petri Nets
GORE METHODS TO MODEL REAL WORLD PROBLEM DOMAINS IN AUTOMATED PLANNING
2016
Using Hierarchical Models for Requirement Analysis of Real World Problems in Automated Planning
Product-Service Architecture (PSA): towards a Service Engineering perspective in Industry 4.0
Fault diagnosis based on Petri Nets: the case studie of a power hydropower plant
Load Balancing Process Analysis in Low Volatge Grid using Petri Nets
Load Balancing System to Low Voltage Grid using Petri Nets
Using GORE method for Requirement Engineering of Planning & Scheduling
Fault diagnosis based on Petri Nets: the case study of a hydropower plant
2015
Using Goal-oriented Requirements Analysis in the Design of Product-Service Manufacturing
Using RFID technology to enhance quality information to products in agribusiness supply chain
Combining KAOS and GHENeSys in the requirement and analysis of service manufacturing
Manufacturing Service: From e-work and Service-Oriented Approach towards a Product-Service
ScienceDirect
Macro-agente de Previsi{\'{o}}n de Consumo de Energ{\'{i}}a en Smart Grids de Baja Tensi{\'{o}}n
Manufacturing-as-a-service: From e-work and Service-Oriented Architecture to the Cloud Manufacturing Paradigm
Effective use of cloud computing in educational institutions
Gerenciamento de Consumo de Energia em Resid{\^{e}}ncias com Frame GCR
A service-oriented framework to the design of information system service
Special section on Intelligent Manufacturing Systems
2014
A Framework for Modeling and Formal Verification of SIS Control Programs Based on the IEC61511 Standard
Algoritmo GCR para Unidades Consumidoras de Smart Grids de Baja Tensi{\'{o}}n
Intelig{\^{e}}ncia GCR para Smart Grids de Baixa Tens{\~{a}}o
Verification of Automated Systems Using Invariants
2013
Requirement Analysis Method for Real World in Automated Planning Systems
itSIMPLE: Towards an Integrated Design System for Real Planning Applications
Modelo de Gerenciamiento de Consumo de Energ{\'{i}}a El{\'{e}}ctrica Residencial en Smart Grids
Intelig{\^{e}}ncia HCR para Automa{\c{c}}{\~{a}}o de Servi{\c{c}}os em Smart Grids de Baixa Tens{\~{a}}o
2012
Planning Ship Operations on Petroleum Ports and Platforms
Timed Petri Nets
Aproxima{\c{c}}{\~{a}}o Markoviana para modelagem de estados de consumo de energia el{\'{e}}trica em resid{\^{e}}ncias
Modelo de Algoritmo de Gerenciamiento de Smart Grid para Consumo de Energ{\'{i}}a El{\'{e}}ctrica
Arquitetura IGCR para gerenciamento de consumo residencial de energia
ICAPS 2012 - Proceedings of the 22nd International Conference on Automated Planning and Scheduling: Preface
2011
REQUIREMENTS ANALYSIS OF AUTOMATED PROJECTS USING UML / PETRI NETS
Analise Dinamica de Domınios utilizando Redes de Petri Derivadas de Diagramas UML
Sistema inteligente para an{\'{a}}lise de consumo de energia el{\'{e}}trica em smart grid de baixa tens{\~{a}}o
2009
ELICIAÇÃO E COMUNICAÇÃO DE REQUISITOS EM DOMINIOS DISJUNTOS : ESTUDO DE CASO PARA AUTOMAÇÃO NA ÁREA MEDICA
INTRODUCING OBJECT-ORIENTATION IN UNIFIED PETRI NET APPROACH
Estrategia Oceano Azul como forma de dar Suporte à Aplicação de RFID no Rastreamento Bovino
2008
Relatório Final de Pós-doutorado
Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation
2007
Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation
itSIMPLE 2 . 0 : An Integrated Tool for Designing Planning Domains
itSIMPLE 2 . 0 : An Integrated Tool for Designing Planning Domains
Analysis and management of plans provided by automated planning systems
2006
Reading PDDL, Writing an Object-Oriented Model
A PROPOSAL TO MODEL COLLABORATIVE WORK : THE CASE STUDY OF A RESEARCH NETWORK
1999
Orientación a objeto en PLCs para aumentar la seguridad de los sistemas de control distribuido
Error occurred
Couldn't find ActivityEvent with 'id'=25
