Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos
AUTOR(ES)
Pena, Patrícia N., Cunha, Antonio E.C., Cury, José E. R., Lafortune, Stéphane
FONTE
Sba: Controle & Automação Sociedade Brasileira de Automatica
DATA DE PUBLICAÇÃO
2010-02
RESUMO
Este artigo apresenta contribuições ao uso de abstrações no controle modular de sistemas a eventos discretos. Inicialmente, propõe-se a estratégia W ○ T para a construção de abstrações para o teste de não-conflito. Em seguida, apresenta-se uma ferramenta computacional eficiente para o problema de verificar se uma abstração satisfaz a propriedade de observador (OP); esta propriedade tem um papel importante na abordagem de verificação de não-conflito de supervisores modulares baseada em abstrações. Esta ferramenta é então utilizada para validar a estratégia W ○ T no contexto de um estudo de caso correspondendo a um exemplo de sistema de manufatura de médio porte.
ASSUNTO(S)
controle supervisório sistemas a eventos discretos controle modular propriedade do observador
Documentos Relacionados
- Controle multivariavel de sistemas a eventos discretos em dioides
- Identificação e controle de sistemas a eventos discretos na algebra (Max,+)
- Logica temporal de tempo real generalizada aplicada ao controle e simulação de sistemas dinamicos e eventos discretos
- Uma ferramenta de apoio ao teste de regressão
- A contabilidade gerencial como ferramenta de apoio ao planejamento e ao controle