adaptive discrete event control
administração da produção
administração de materiais
agile
ai planning
ai planning and scheduling
algoritmo gcr
algoritmo genético
algoritmos distribuidos
algoritmos seriais
amazon forest
análise de algoritmos
análise de desempenho
analise de invariantes
análise de maturidade
analise de requisitos
análise de sistemas
análise do erro humano de operação
análise formal de requisitos
análise goal-oriented
análise numérica
analysis of domains
aplicações na área médica e ciências da saúde
aprendizado profundo
arquitetura cognitiva
arquitetura holônica
arquitetura produto-serviço
arquitetura smart grid
artificial cognitive systems
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 de vants
automação industrial
automação predial
automação residencial
automação, robótica e cad/cam
automated charging
automated learning environments
automated planning
automatic planning
automation by planning
automation systems
automotive ecu
automotive software
axiomatic desig
baixa tensão
balanceamento de carga
balanço de carga
banco de dados
base tecnológica
baterias estacionárias
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
casas inteligentes
casos de garantia
casos de teste
certificação por casos de garantia
ciclo de vida de requisitos
cidades inteligentes
ciência cognitiva
ciência da computação ou informática
ciência de serviços
cloud computing
cloud manufacturing
cloud services
clps
co-criação de valor
cognitive science
cognitive systems
cognitive twins
colaborative systems
collaborative e-manufacturing
collaborative manufacturing
collaborative robots
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
data lake
data management
data system
demanda de vendas
desenvolvimento e certificação de software
design de jogos
design de serviços
design de sistemas discretos
design de sistemas elétricos
design de sistemas integrados
design estruturado
design funcional
design inteligente
diálogo academia-indústria
digital and cyber convergence
digital factory
digital manufacturing
digital transformation
digital twin
digital twins
digitalização
discrete event systems
discrete events systems
distancia sincrona
distributed information
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
eletric automated car
elevadores
eliciação de requisitos
embedded systems
emerging journals and magazines
energy management consumption
engenharia
engenharia de produção
engenharia de requisitos
engenharia de serviços
engenharia de sistemas
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
estação sustentável de carregamento
estratégia de inovação
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 analysis
formal modeling
formal verification
frame-based systems
framework
fuzzy logic
fuzzy systems
game design
gerador fotovottaico
gestão da inovação
gestão da produção
gestão de projetos
gestão de serviço
ghenesys
ghg emissions
ghg monitoring
globalização
goal oriented requirements engineering
goal-oriented design
goal-oriented reqquirements
goal-oriented requirements
goal-oriented requirements engineering
gore
gpu
graduate project
grand challenges
greenhouse gas emissions
healthcare
helicópteros
hierarchical and structured design
hierarchical automated planning
hierarchical petri nets
hierarquical planning
home automation
human-robot interaction
human-robot interface
hybrid petri nets
hydropower plant
i4.0
ia planning
identificação com radio frequencia
identificação por rádio-frequencia
iec 61511
iec 61850
iinovação
iinterpretaçã de imagens
iiot
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
integração de dados
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 design
interactive learning
interfaces de computadores
internet das coisas
internet of things
iot
isistemas cognitivos
iso 61850
kaos
knowledge eginering
knowledge engineering
layerd design
linear logic
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 modeling and design
manufacturing service
manufacturing services
manufatura automatizada
manufatura celular
manufatura digital
manufatura informada
manufatura inteligente
manutenção inteligente
markov chains
material flow tailored blanks virtual enterprise
matrizes (algebra)
maturity model
mbse
mecatrônica
mecatrônica (sistemas)
metodo de fatorizacao
método delphi
métodos ágeis
métodos gore
metrologia
microempresas
microgrid
microgrids
missões de drones
mobile devices
model checking
model-based requirements engineering
model-based systems engineering
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 microgrids
modelagem e design de sistemas
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
nested petri nets
networked systems
new materials
object-orientation
ontologias
ontologies
oo-design
open source publications
otimização combinatoria
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
predicate inside rfid database
prevention and mitigation sis
processamento de imagens
processo de projeto
processos de fabricação
processos de manufatura (controle)
product-service architecture
product-service engineering
product-service systems
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
propagação para trás
protocolos de comunicação
prototipagem virtual
psa architecture
python
qualidade de software
raciocinio probabilistico
racionalidade, inteligência artificial, resolução
racismo e ciência
racismo e direito
racismo e saúde
rchf model
real time systems
real-time systems
realidade virtual
reconfiguração da produção
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 de veículos
roteamento em sistemas de informacao
safety control
safety instrumented system
samrt grids
scheduling
science service
scientific publications
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 architecture
simbiose homem-máquina
simulacao da producao
simulação discreta
simulação formal
simulação na nuvem
simulação, modelamento e identidicação (teoria de
simulação, modelamento e identificação (teoria de
sistema de informação
sistema de navegação fluvial
sistema distribuido de baixa tensão
sistema multiplayer 3d
sistemas - controle
sistemas - modelagem
sistemas autônomos
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 distribuídos
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
smart homes
social robotics
socio-techical system
software (controle)
soldagem robotizada
supervisor fuzzy
supervisory control
supervisory systems discrete control systems
supply chain
sustainability
sysml
system engineering
systems design
systems engineering
systems modeling
systems service cognition
t-time workflow net
tag extended petri net
tecnologia e racismo
tecnologia mecânica
telemedicine
tempo e frequencia
teorema do virial
teoria de perturbacao
teoria de sistemas supervisorios
teoria de supervisorios
testabilidade
teste de software
testing
time petri nets
timed automata
timed hierarchical petri nets
timed petri nets
tracebility
transformação digital
uav
uml
unified petri nets
upsabstract
urban microgrids
urban mobility
urban smart grid
v-model
validação de sistemas
value co-creation
ventricular device
verificação
verificação de requisitos redes de petri sistemas
verificação de sistemas
verificação formal
verificação formal de requisitos
verification of control programs
vida artificial
video games
viewpoints
virtual enterprizes
virtual manufacturing
visual simulation
visualização
visualização de dados
volatilidade de requisitos
workflow nets
workfow nets