An Efficient Algorithm for the Verification of Codiagnosability of Discrete Event Systems With Dynamic Observations
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Informação adicional documento
-
- Outro
-
- Ver todos
-
Visão geral
tipo
data de publicação
publicada em
Pesquisas
áreas de investigação
palavras-chave
-
Codiagnosability
-
Decentralized diagnosis
-
Discrete Event Systems
-
Dynamic observations
-
Verifiers
Identidade
identificador BrCris
-
94e4bc32f55c1366826bdd4257cc5a02
Outro