Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos
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.
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Digital revista |
| Language: | Portuguese |
| Published: |
Sociedade Brasileira de Automática
2010
|
| Online Access: | http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0103-17592010000100005 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|