Synthesis of supervisors for time-varying discrete event systems
AUTOR(ES)
Costa, Eduard Montgomery Meira, Lima, Antonio Marcus Nogueira
FONTE
Sba: Controle & Automação Sociedade Brasileira de Automatica
DATA DE PUBLICAÇÃO
2004-12
RESUMO
O autômato com temporização variável é introduzido nesse artigo para modelar sistemas a eventos discretos. A estrutura desse autômato é bastante similar à estrutura do autômato (max,+), mas apresentando tempos de vida variáveis. Baseado nesse autômato o projeto de supervisores temporizados é obtido por meio da álgebra de dióides, onde as linguagens utilizadas para descrever o sistema a eventos discretos, bem como a especificação de comportamento desejada são definidas por matrizes descritas nesta álgebra e a síntese do supervisor é formalizada através de simples operações matriciais. O algoritmo de síntese proposto permite sintetizar supervisores para sistemas a eventos discretos não temporizados, sistemas a eventos discretos temporizados com tempos de vida constantes e e variáveis. Todos esses casos são tratados com o mesmo algoritmo básico, em que a diferença existe apenas na definição das funções de tempos de vida dos eventos. O algoritmo proposto apresenta uma ordem de complexidade igual ao algoritmo de síntese do supervisor para sistemas a eventos discretos não temporizados. A formulação proposta pode ser considerada como um procedimento alternativo baseado numa estrutura algébrica não tradicional, para construir supervisores para sistemas a eventos discretos.
ASSUNTO(S)
autômatos com temporização variável sistemas a eventos discretos controle supervisório
Documentos Relacionados
- A Time-Varying Fiscal Reaction Function for Brazil
- A time-varying markov-switching model for economic growth
- A study on time-varying quantile and its applications
- Controle preditivo para sistemas lineares discretos variantes no tempo usando funções de Lyapunov dependentes de caminho
- Time-Varying Effects of Prognostic Factors Associated With Disease-Free Survival in Breast Cancer