Síntese de supervisores de sistemas a eventos discretos temporizados e não temporizados.
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Autômatos Temporizados
-
Controle Supervisório
-
Matrizes de Incidência
-
Sistemas a Eventos Discretos
-
Séries Formais
-
Álgebra de Dióides
Identidade
identificador BrCris
-
e109f99891ef590b600f4524861be7eb
identificador Capes
-
200117724001023009P0-Publication
identificador Oasisbr
-
UFCG_b4214b1680a8bffda9731709e453631d