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!
|
| id |
oai:scielo:S0103-17592010000100005 |
|---|---|
| record_format |
ojs |
| spelling |
oai:scielo:S0103-175920100001000052010-03-09Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretosPena,Patrícia N.Cunha,Antonio E.C.Cury,José E. R.Lafortune,Stéphane controle supervisório sistemas a eventos discretos controle modular propriedade do observador 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.info:eu-repo/semantics/openAccessSociedade Brasileira de AutomáticaSba: Controle & Automação Sociedade Brasileira de Automatica v.21 n.1 20102010-02-01info:eu-repo/semantics/articletext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0103-17592010000100005pt10.1590/S0103-17592010000100005 |
| institution |
SCIELO |
| collection |
OJS |
| country |
Brasil |
| countrycode |
BR |
| component |
Revista |
| access |
En linea |
| databasecode |
rev-scielo-br |
| tag |
revista |
| region |
America del Sur |
| libraryname |
SciELO |
| language |
Portuguese |
| format |
Digital |
| author |
Pena,Patrícia N. Cunha,Antonio E.C. Cury,José E. R. Lafortune,Stéphane |
| spellingShingle |
Pena,Patrícia N. Cunha,Antonio E.C. Cury,José E. R. Lafortune,Stéphane Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos |
| author_facet |
Pena,Patrícia N. Cunha,Antonio E.C. Cury,José E. R. Lafortune,Stéphane |
| author_sort |
Pena,Patrícia N. |
| title |
Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos |
| title_short |
Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos |
| title_full |
Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos |
| title_fullStr |
Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos |
| title_full_unstemmed |
Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos |
| title_sort |
metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos |
| description |
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. |
| publisher |
Sociedade Brasileira de Automática |
| publishDate |
2010 |
| url |
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0103-17592010000100005 |
| work_keys_str_mv |
AT penapatrician metodologiaeferramentadeapoioaotestedenaoconflitonocontrolemodulardesistemasaeventosdiscretos AT cunhaantonioec metodologiaeferramentadeapoioaotestedenaoconflitonocontrolemodulardesistemasaeventosdiscretos AT curyjoseer metodologiaeferramentadeapoioaotestedenaoconflitonocontrolemodulardesistemasaeventosdiscretos AT lafortunestephane metodologiaeferramentadeapoioaotestedenaoconflitonocontrolemodulardesistemasaeventosdiscretos |
| _version_ |
1756401790849384448 |