José Reinaldo Silva [lattes]

administração da produção

administração de materiais

ai planning

ai planning and scheduling

algoritmo gcr

algoritmo genético

algoritmos distribuidos

algoritmos seriais

análise de algoritmos

análise de desempenho

analise de invariantes

analise de requisitos

análise de sistemas

análise do erro humano de operação

análise goal-oriented

análise numérica

analysis of domains

aplicações na área médica e ciências da saúde

arquitetura holônica

arquitetura smart grid

artificial intelligence

árvore de cobertura

atingibilidade

automação

automação da manufatura

automacao de design

automação de fábrica

automacao de manufatura discreta

automacao de sistemas

automação industrial

automação predial

automação residencial

automação, robótica e cad/cam

automated learning environments

automated planning

automation by planning

automation systems

axiomatic desig

baixa tensão

balanceamento de carga

balanço de carga

banco de dados

base tecnológica

best matching

biblioteca informada

big data in industry applications

blank soldado

blue occean

boiling systems

building automation

cad inteligente

cad/cam; cap; heurística; usinagem

cad/cam; capp; heurística; usinagem

cadeia de fornecedores

cadeia de suprimentos

cadeias de markov

casa conectada

casos de garantia

casos de teste

certificação por casos de garantia

cidades inteligentes

ciência da computação ou informática

ciência de serviços

cloud manufacturing

clps

cognitive science

cognitive systems

colaborative systems

collaborative e-manufacturing

collaborative manufacturing

coloured petri nets

competitividade

computação aplicada

computação aplicada as ciências exatas

computação de alto desempenho

computadores manufatura e na indústria

computational machine

configuracao de chao de fabrica

conforto térmico das construções

consciência

consciência de máquina

control design

controle de sistemas integrados de manufatura

controle integrado

controle inteligente

contrução civil

convergência digital

cooperative e-space

cooperative environments

cooprative networks

coordenacao em sociedade multi-agente

critical production systems

cyber-physical manufacturing

demanda de vendas

desenvolvimento e certificação de software

design de sistemas discretos

design de sistemas elétricos

design de sistemas integrados

design estruturado

design funcional

digital and cyber convergence

digital factory

digital manufacturing

discrete events systems

distancia sincrona

domínios disjuntos

domotic

dtabase evolution

e-manufacturing

edifícios (automação)

edifícios inteligentes

efeito stark

efeito zeeman

elementos de máquinas

elementos finitos

elevadores

eliciação de requisitos

energy management consumption

engenharia

engenharia de produção

engenharia de requisitos

engenharia de serviços

engenharia de software

engenharia e comunicação

engenharia mecânica

engineering applications

engineering design

engineering grand challenges

engrenagens (fabricação)

ensaios mecânicos

ensino de engenharia

entrepreneur program

entrepreneurship education

escalonamento

escritório de projeto

estrutura de vizinhança

estruturas não lineares

estudos multi-disciplinares

exception state

exoskeleton design

fault diagnosis

feeder balance

fgm

filosofia da mente

fluxo de materiais fabricação de blanks sistemas d

flywheel

formação em automação e controle

formal modeling

formal verification

frame-based systems

framework

fuzzy logic

fuzzy systems

gestão da inovação

gestão da produção

gestão de projetos

gestão de serviço

ghenesys

globalização

goal oriented requirements engineering

goal-oriented reqquirements

goal-oriented requirements

gore

gpu

graduate project

grand challenges

healthcare

helicópteros

hierarchical and structured design

hierarchical automated planning

hierarchical petri nets

hierarquical planning

home automation

human-robot interface

hybrid petri nets

hydropower plant

identificação com radio frequencia

identificação por rádio-frequencia

iec 61511

iec 61850

iinterpretaçã de imagens

industria 4.0

indústria automobilística

industrial internet of things

industry 4.0

information system material flow supervisory syste

information systems

informed production

informed system

instrumentação

integração da manufatura por computador

integrated and flexible control

íntegrons

inteligência artificial

inteligência artificial (computação)

inteligencia de máquina

intelligent control

intelligent agents

intelligent macro-agents

intelligent manufacturing

intelligent planning

intelligent systems

intention requirements

intentions

interaction

interactive learning

interfaces de computadores

internet das coisas

internet of things

iso 61850

kaos

knowledge eginering

knowledge engineering

linguagem de programação

load balancing

logica descritiva

logica linear

logistic

low voltage distribution grid automation

low voltage grid

machine intelligence

machine to machine

man-machine symbiosis

manufacturing automation

manufacturing automation design

manufacturing control

manufacturing design

manufacturing service

manufacturing services

manufatura automatizada

manufatura celular

manufatura digital

manufatura informada

manutenção inteligente

markov chains

material flow tailored blanks virtual enterprise

matrizes (algebra)

mecatrônica

mecatrônica (sistemas)

metodo de fatorizacao

método delphi

métodos ágeis

métodos gore

metrologia

microempresas

microgrid

mobile devices

model checking

modelagem de dados

modelagem de dominio

modelagem de processos

modelagem de processos de negócio

modelagem de sistemas

modelagem de sistemas elétricos automatizados

modelagem de sistemas flexiveis

modelagem dinâmica de algorítmos

modelagem e análise de requisitos

modelagem e design de sistemas automatizados

modelagem e design de software

modelagem e verificação formal

modelagem estruração de sistemas

modelagem estruturada

modelagem formal

modelagem formal de sistemas

modeling and design methods

modeling and design of electric systems

modular design

mooring systems information system

multi-agentes inteligentes

multiscale materials

networked systems

new materials

object-orientation

ontologias

ontologies

oo-design

padrão de frequencia

perturbation theory

petri nets

phase-load balancing

planejamento automático

planejamento estratégico

planejamento inteligente

planejamento probabilistico

planejamento semi-reativo

planning

planning automation

planning design

planning domain

planning domain analysis

planning systems

pós-venda

post-design

post-design analysis

potenciais modelo esfericos

potencial modelo radial

precision agriculture

prevention and mitigation sis

processamento de imagens

processos de fabricação

processos de manufatura (controle)

product-service architecture

programação da produção

programação de plcs iec 61131-3

programação de plcs redes de petri iec 1131-3

programação orientada a objetos

programação reativa da produção

projeto mecânico

prolog

protocolos de comunicação

prototipagem virtual

psa architecture

qualidade de software

raciocinio probabilistico

racionalidade, inteligência artificial, resolução

rchf model

real time systems

real-time systems

realidade virtual

recuperação de falhas

rede de petri hierarquica

redes bayesianas

redes de computadores

redes de petri

redes de petri coloridas

redes de petri distância síncrona propriedades com

redes de petri estendidas

redes de petri estendidas hierarquicas

redes de petri hierárquicas

redes de petri modelagem de sistemas sistemas disc

redes de petri orientadas a objetos

redes de petri probabilisticas

redes de petri sistemas discretos programação de p

redes de petri temporizadas

redes de petri unificadas

redes de sensores

redes neurais

redes por objetos redes de petri estendidas

redes por objetos redes de petri extendidas

redes temporizadas

redes wireless

relógio atômico

representação de conhecimento

requirement analisys

requirements analysis

requirements engineering

requirements modeling

requirements validation

residential automation

resistência dos materiais

rfid

robótica

robótica assistiva

robotica automação industrial manufatura avançada

robótica na educação

roteamento de informacoes

roteamento em sistemas de informacao

safety control

safety instrumented system

samrt grids

scheduling

science service

seis sigma

sensores

service design

service engineering

service manufacturing

service oriented design

service oriented manufacturing

service process

service production arrangement

service science

service systems

service-oriented manufacturing

simbiose homem-máquina

simulacao da producao

simulação, modelamento e identidicação (teoria de

simulação, modelamento e identificação (teoria de

sistema de informação

sistema distribuido de baixa tensão

sistemas - controle

sistemas - modelagem

sistemas ciber-fisicos

sistemas cognitivos

sistemas colaborativos

sistemas criticos

sistemas de informacao inteligentes

sistemas de informação, manufatura (processos)

sistemas de produção

sistemas de produção e processos de manufatura

sistemas de produção e processos de manufatura (co

sistemas de saúde

sistemas de segurança

sistemas de serviço

sistemas de tempo real

sistemas dinâmicos

sistemas discretos

sistemas discretos (teoria de controle)

sistemas discretos (teoria e controle)

sistemas eletricos

sistemas embarcados

sistemas especialistas

sistemas flexiveis

sistemas hierárquicos

sistemas integrados

sistemas inteligentes

sistemas mecatrônicos

sistemas modelagem

sistemas movéis

sistemas multi-agente

sistemas orientados a objetos

sistemas supervisorios

sistemas supervisorios controle descentralizado si

sistemas-controle

smart circuit

smart circuits

smart grid

smart grid convergence

socio-techical system

software (controle)

soldagem robotizada

supervisory control

supervisory systems discrete control systems

supply chain

sysml

systems design

systems modeling

systems service cognition

tag extended petri net

tecnologia mecânica

tempo e frequencia

teorema do virial

teoria de perturbacao

teoria de sistemas supervisorios

teoria de supervisorios

testabilidade

teste de software

time petri nets

timed automata

timed hierarchical petri nets

timed petri nets

tracebility

uml

unified petri nets

upsabstract

urban microgrids

urban mobility

urban smart grid

validação de sistemas

ventricular device

verificação

verificação de requisitos redes de petri sistemas

verificação de sistemas

verificação formal

verificação formal de requisitos

vida artificial

video games

viewpoints

virtual enterprizes

virtual manufacturing

visualização

volatilidade de requisitos

workflow nets

workfow nets