1
Assuntos:
“...Sistemas a eventos discretos...”
Verificação de conflito na supervisão de sistemas concorrentes usando abstrações
Tese
2
Assuntos:
“...Sistemas a eventos discretos...”
Controle supervisório modular e multitarefa de sistemas compostos
Tese
3
Assuntos:
“...Sistemas a eventos discretos...”
O ambiente GRAIL para controle supervisório de sistemas a eventos discretos: reestruturação e implementação de novos algoritmos
Dissertação
4
Assuntos:
“...Sistemas a eventos discretos...”
Controle supervisório de sistemas a eventos discretos: uma abordagem por modelo condição-evento
Dissertação
5
Assuntos:
“...Sistemas a eventos discretos...”
Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares
Tese
6
Assuntos:
“...Sistemas a Eventos Discretos...”
Planejamento da produção em Sistemas a Eventos Discretos: análise lógica e temporal
Dissertação
7
Assuntos:
“...Sistemas a eventos discretos...”
Método de implementação do controle de sistemas e eventos discretos com aplicação da teoria de controle supervisório
Tese
8
Assuntos:
“...Sistemas a eventos discretos...”
Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
Dissertação
9
Assuntos:
“...Sistema de eventos...”
Sinapse: um arcabouço para suporte e aplicações publish/subscribe baseado em configuração arquitetura
Dissertação
10
Assuntos:
“...Sistemas a eventos discretos...”
Codiagnosticabilidade de sistemas a eventos discretos com observação dinâmica
Dissertação
11
Assuntos:
“...Sistemas a eventos discretos...”
Diagnoser reduction of discrete-event systems
Dissertação
12
Assuntos:
“...Sistemas à eventos discretos...”
Enforcing current-state opacity through shuffle in event observations
Dissertação
13
Assuntos:
“...Sistemas a eventos discretos...”
Diagnóstico síncrono descentralizado de sistemas a eventos discretos sujeito a atrasos de comunicação de eventos
Dissertação
14
Assuntos:
“...Sistemas a eventos discretos...”
Modelagem e controle da coordenação do tráfego urbano através de formalismos para sistemas a eventos discretos e híbridos
Tese
15
Assuntos:
“...Sistemas a eventos discretos...”
Uma abordagem local para o controle supervisório modular de sistemas a eventos discretos temporizados
Dissertação
16
Assuntos:
“...Sistemas a eventos discretos...”
Escalonamento ótimo baseado na teoria de controle supervisório aplicado a um estaleiro de reparo naval
Dissertação
17
Assuntos:
“...Sistema de eventos discretos...”
Metodologia de codificação de "bits" por entidades por meio de eventos discretos (CBEDE) : uma proposta de transmissão aplicada em canais AWGN, com desvanecimento Rayleigh e Rician...
Tese
18
Assuntos:
“...Sistemas de eventos discretos...”
Metamodelo para a modelagem e simulação de sistemas a eventos discretos, baseado em redes de Petri e realidade virtual: uma aplicação em sistema de manufatura
Tese
19
Assuntos:
“...Sistemas de eventos discretos temporizados...”
Estudo de método de avaliação quantitativa de segurança aplicada à especificação de sistemas de controle e proteção.
Tese
20
Assuntos:
“...Sistemas de eventos discretos...”
Supervisory control of networked discrete event systems with timing structure
Tese