Possibilidades de desenvolvimento para futuros:
• Implementação de especificações de segurança (modo manual e automático) conforme abordado por Vieira (2007);
• Pesquisa de soluções para os problemas de sincronização inexata e simultaneidade.
• Melhorar o algoritmo que promove a escolha aleatória para múltiplos eventos controláveis;
• Incorporar na ferramenta de geração de código a possibilidade de entrar com o modelamento de autômatos realizado a partir do Grail o do TCT;
• Criar novas rotinas de geração de código que possam ser aceitos por outros modelos de CLPs;
• Desenvolver e incorporar na ferramenta algoritmos que promovem a verificação das propriedades: insensibilidade ao entrelaçamento de eventos não controláveis e insensibilidade ao atraso;
• Aplicar a metodologia de implementação em controle em células didáticas e se possível em plantas industriais;
• Integração com a Realidade Virtual, permitindo que o código resultante seja testado e validado no controle de ambientes virtuais;
• Usar a Realidade Virtual em ensino e treinamento da metodologia, onde problemas como colisão e bloqueio podem ser identificados e corrigidos sem danificar os dispositivos reais;
REFERÊNCIAS
ÁLVARES, A.J.; FERREIRA, J.C.E., Metodologia para Implantação de Laboratórios Remotos Via Internet na Área de Automação da Manufatura, Anais do 2o Congresso Brasileiro de Engenharia de Fabricação (COBEF). Uberlândia-MG, pp. 18- 21, 2003.
ATTIÉ, S.S.; Automação Hidráulica e Pneumática Empregando a Teoria de Sistemas a Eventos Discretos. Dissertação (Mestrado em Engenharia Mecânica) – Centro Tecnológico, Universidade Federal de Santa Catarina. Florianópolis, 1998.
BOUZON, G.; OLIVEIRA, M. L.; VALLIM, M. B.; LACOMBE, J. P.; FREITAS, G. M.; CURY, J.E.R.; FARINES, J.M.; CEBE: uma plataforma para experimentação real aplicada ao ensino de sistemas a eventos discretos. Anais do Congresso Brasileiro de Automática CBA. Gramado-RS. v. 1. pp. 724-729, 2004.
BRANDIN, B. A.; The Real-Time Supervisory Control of an Experimental Manufacturing Cell. IEEE Transactions on Robotics and Automation. 12(1). 1-14, 1996.
CARVALHO, J. R.; Contribuições a Implementação da Estrutura de Controle Modular Local. Dissertação (Mestrado em Engenharia de Produção e Sistemas) – Pontifícia Universidade Católica do Paraná. Curitiba, 2007.
CASSANDRAS, C.G.; LAFORTUNE S.; Introduction to Discrete Event Systems. Kluwer Academic Publishers. USA, 1999.
CASTRUCCI, L.C.; MORAES, C.C.; Engenharia de Automação Industrial, Editora LTC, Brasil, 2007.
COSTA, G. O.; Uma Plataforma Computacional de Suporte ao Ciclo de Desenvolvimento de Sistemas Automatizados de Manufatura. Dissertação (Mestrado em Engenharia de Produção e Sistemas) – Pontifícia Universidade Católica do Paraná. Curitiba, 2005.
CURY, J.E.R; Teoria de Controle Supervisório de Sistemas a Eventos Discretos. V Simpósio Brasileiro de Automação Inteligente. Canela-RS, 2001.
CURZEL, J.L.; LEAL, A.B.; Implementação de controle supervisório em linguagem Ladder para uma célula flexível de manufatura didática. In: XVI Congresso Brasileiro de Automática. Bahia, Brasil, p.2700-2705. 2006.
CURZEL, J.L.; SILVA, F.T. da; AMARAL, S. do e LEAL, A.B.; Concepção de uma célula flexível de manufatura didática para o ensino de engenharia. In: Anais do XXXIV Congresso Brasileiro de Ensino de Engenharia. Passo Fundo-RS, p.1916-1926. 2006.
CURZEL, J. L.; HOUNSELL, M. S.; LEAL, A. B. Uso da Realidade Virtual para Ensino de Automação da Manufatura. In: ICECE 2007 International Conference on Engineering and Computer Education, Monguaguá / Santos. p. 773-777. 2007a.
CURZEL, J. L.; LEAL, A. B.; HOUNSELL, M. S. Realidade Virtual como ferramenta de simulação aplicada no ensino de automação da manufatura. In: 4º Simpósio Iberoamericano de Educación, Cibernética e Informática (SIECI 2007), Orlando. 2007b.
CRUZ, D. L. L. da; LEAL, A. B.; ROSSO Jr, R. S. U.; ROZÁRIO, J. G.; Proposta de Implementação de Controle Supervisório em Controladores Lógicos Programáveis. In: 4º Simpósio Brasileiro de Automação Inteligente (SBAI 2009), Brasília. P. 19-24. 2009.
DIAS, J. R. S.; Um Laboratório para um Curso de Automação Industrial Utilizando a Teoria de Sistemas a Eventos Discretos. Mestrado (Dissertação em Engenharia Elétrica) – Universidade Federal do Rio de Janeiro. Rio de Janeiro, 2005.
FABIAN, M.; HELLGREN, A. PLC-based implementation of supervisory control for discrete event systems. In: 37th IEEE Conference on Decision and Control, v. 3, p. 3305- 3310. 1998 FENG, L.; WONHAM, W. M.; TCT: A Computation Tool for Supervisory Control Synthesis. In: 8th Workshop on Discrete Event Systems (WODES), p. 388-389. Ann Arbor. 2006.
FLORDAL, H.; MALIK, R.; Nonblocking Verification Using Conflict Equivalence. In: 8th International Workshop on Discrete Event Systems (WODES), p. 100-106. Ann Arbor. 2006. GARCIA, T. R.; CURY, J. E. R.; Grail para Controle Supervisório de Sistemas a Eventos Discretos. Guia do Usuário, Disponível em: http://www.das.ufsc.br/~cury/grail.html
GROOVER, M. P.; Automation, Production Systems and Computer Integrated Manufacturing. Ed. Prentice Hall 2º ed. New Jersey. 2001.
HASDEMIR, T.; KURTULAN, S.; GÖREN, L.; An Implementation Methodology for Supervisory Control Theory. The International Journal of Advanced Manufacturing Technology, v. 03. n. 03-04 p. 373-385. 2008.
HELLGREN, A.; FABIAN, M.; LENNARTSON, B.; On the execution of sequential function charts. Control Engineering Practice, v. 13 p. 1283-1293. 2005.
HOUNSELL, M. S.; PIMENTEL, A.; On The Use of Virtual Reality to Teach Robotics. In: ICECE - International Conference on Engineering and Computer Education, Santos-SP. (IEEE Education Society), v. 01. p. 1-5. 2003.
HOUNSELL, M. S.; SILVA, E. L.; LEAL, A. B.; Simulação Gráfica 3D de Células de Manufatura Reconfiguráveis via Autômatos Finitos In: 9th IEE/IAS - International Conference on Industry Applications, São Paulo. p. 1-33. 2010.
IEC; International Standard IEC 61131-3, Programmable Logic Controllers – Part 3: Programming Languages. 2003.
LEAL, A. B.; CRUZ D. L. L. da; HOUNSELL, M. S.; Supervisory Control Implementation into Programmable Logic Controllers. In: 14th IEEE International Conference on Emerging Technologies and Factory Automation – ETFA 2009, Palma de Maiorca, Espanha. 2009.
LEDUC, R. J.; PLC Implementation of DES supervisor for a manufacturing testbed: an implementation perspective. Master’s thesis. Dept. of Computer and Electrical Engineering, University of Toronto, Canada. 1996.
MALIK, P.; Generating Controllers from Discrete-event Models. In: F. Cassez, C jard, F. Laroussinie, M. D. Ryan, Proc of the MOVEP. 2002.
MORAES, W. R. de; LEAL, A. B.; Controle supervisório do transportador de entrada de um sistema flexível de manufatura. Anais do VI INDUSCON. Joinville, 2004.
PINOTTI, A. J.; LEAL, A. B.; OLIVEIRA, D. S.; Uma Proposta para Implementação da Estrutura de Controle Supervisório em Controladores Lógicos Programáveis. In: XVIII Congresso Brasileiro de Automática - CBA. Bonito – MS., Brasil, p. 2830-2837. 2010
QUEIROZ, M.H. de; Controle Supervisório Modular de Sistemas de Grande Porte. Dissertação (Mestrado em Engenharia Elétrica) – Centro Tecnológico, Universidade Federal de Santa Catarina. Florianópolis, 2000.
!!!!!!!!; Controle Supervisório Modular e Multitarefa de Sistemas Compostos. Tese (Doutorado em Engenharia Elétrica) – Centro Tecnológico, Universidade Federal de Santa Catarina. Florianópolis, 2004.
QUEIROZ, M.H. de; CURY, J.E.R.; Modular supervisory control of large scale discrete event systems. In: Proceedings of the 5th International Workshop on Discrete Event Systems: Analysis and Control. Ghent, Belgium: Kluwer Academic Publishers, p. 103-110. 2000a. !!!!!!!!; Modular control of composed systems. In: Proceedings of the American Control Conference. Chicago, USA. pp. 40551-4055. 2000b.
!!!!!!!!; Controle supervisório modular de sistemas de manufatura. Revista Controle & Automação, v. 13, n. 2, p. 115-125. 2002a.
________; Synthesis and implementation of local modular supervisory control for a manufacturing cell. In: 6th International Workshop in Discrete Event Systems. Zaragoza, Spain: Kluwer Academic Publishers, p. 377-382. 2002b.
QUEIROZ, M.H. de, SANTOS, E.A.P. e CURY, J.E.R.; Síntese modular do controle supervisório em diagrama escada para uma célula de manufatura. Anais do V Simpósio Brasileiro de Automação Inteligente, Gramado RS. 2001.
RAMADGE, P. J.; WONHAM, W. M.; The control of discrete event systems, Proc. of IEEE, Special Issue on Discrete Event Dynamic Systems, v. 77, n. 1, p. 81-98. 1989.
REISER, C; CUNHA, A. E. C. da ; CURY, J. E. R. . The Environment Grail for Supervisory Control of Discrete Event Systems. In: 8th Workshop on Discrete Event Systems (WODES 2006), p. 390-391. Ann Arbor. 2006.
ROCKWELL, Automation, http://www.rockwellautomation.com
RUDIE, K.; The Integrated Discrete-Event Systems Tool. In: 8th Workshop on Discrete Event Systems (WODES 2006), p. 394-395. Ann Arbor. 2006.
SANTOS, E.A.P.; VIEIRA, A.D.; BUSETTI, M.A.; Controle de um sistema integrado de manufatura baseado na Teoria de Controle Supervisório. In: Congresso Brasileiro de Automática, Bahia, Brasil, p. 1181-1186. 2006.
SIEMENS, Automation and Drives, http://www.automation.siemens.com
SILVA, D. B.; BUSETTI M. A.;VIEIRA, A. D.; SANTOS, E. A.; Application of the Supervisory Control to Automated Systems of Multi-Product Manufacturing. In: 12th IEEE Conference on Emerging Technologies and Factory Automation, Patras, Grecee. p. 689 – 696. 2007.
SILVEIRA, P. R.; SANTOS, W. E.; Automação e Controle Discreto, Editora Érica, São Paulo, 231 p. 1998
SU, R.; WONHAM, W. M.; Supervisor Reduction for Discrete Event Systems. In: Proceedings of 2001 Conference on Information Sciences and Systems, The Johns Hopkins University, pp. 786-791, 2001.
!!!!!!!!; Supervisor Reduction for Discrete-Event Systems. Discrete Event Dynamic Systems, v. 14, n. 1, pp31-53, 2004.
TEIXEIRA, C.A.; Aplicação da Teoria de Controle Supervisório no Projeto de Controle para Eletrodomésticos. Dissertação (Mestrado em Engenharia Elétrica) – Universidade do Estado de Santa Catarina. Joinville, 2008.
TEIXEIRA, C.A.; LEAL, A.B.; SOUZA, A.H.; Implementação de supervisores em microcontroladores: Uma abordagem baseada na teoria de controle de sistemas a eventos discretos. In: XVI Congresso Brasileiro de Automática. Bahia, Brasil, p. 2772-2777. 2006. VIEIRA, A. D.; Método de Implementação do Controle de Sistemas a Eventos Discretos com Aplicação da Teoria de Controle Supervisório. Tese (Doutorado em Engenharia Elétrica) – Centro Tecnológico, Universidade Federal de Santa Catarina. Florianópolis, 2007.
!!!!!!!!; Modelagem e implementação de sistemas seqüenciais utilizando o método passo a passo. Pontifícia Universidade Católica do Paraná. Curitiba, 2001.