A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems Síntese de Supervisores Descentralizados Confiáveis ​​para Sistemas de Eventos Discretos

Shigemasa TAKAI, Toshimitsu USHIO

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Consideramos um sistema de eventos discretos controlado por um supervisor descentralizado composto por n supervisores locais. Dada uma linguagem fechada e não vazia como especificação de limite superior, consideramos um problema para sintetizar um supervisor descentralizado confiável, de modo que o comportamento de malha fechada ainda seja legal sob possíveis falhas menores ou iguais a n-k (1 k n) supervisores locais. Sintetizamos dois desses supervisores descentralizados confiáveis. Um é sintetizado com base em uma sublinguagem normal adequadamente definida. O outro é o supervisor totalmente descentralizado induzido por um supervisor centralizado adequadamente definido. Mostramos então que as linguagens geradas sob as ações de controle desses dois supervisores descentralizados são incomparáveis.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E83-A No.11 pp.2212-2218
Data de publicação
2000/11/25
Publicitada
ISSN online
DOI
Tipo de Manuscrito
Special Section PAPER (Special Section on Concurrent Systems Technology)
Categoria

autores

Palavra-chave