Description d’un treillis r´ep´etitif et num´erotation

Nesta seção serão apresentadas algumas sugestões para trabalhos futuros. 8.2.1 Divisão do bloco PS

Na proposta deste trabalho, existe um bloco PS escrito em Structured Text que é chamado duas vezes. Na primeira chamada são tratados os eventos não controláveis e na segunda chamada são tratados os eventos controláveis. Porém, a cada vez é feita a verificação de quais eventos devem ser tratados, desperdiçando-se tempo com estas verificações. Se o bloco fosse separado, menos verificações seriam necessárias, tornando o bloco mais ágil, além de um programa mais claro.

8.2.2 Sincronização inexata – propriedade 2

Basile e Chiacchio (2007) apresentam a propriedade 2, como visto na seção 3.4.4. A implementação feita atende a propriedade a propriedade 1 de Balemi (1992, apud FABIAN e HELLGREN 1998). Pode ser feito um estudo de como fazer uma implementação que atenda a prioridade 2.

8.2.3 Identificação do problema de escolha

Existe uma grande dificuldade para identificar se em um sistema de controle existe o problema de escolha. Segundo DIETRICH et al. (2002) é necessário seguir um conjunto de propriedades. Um trabalho que pode ser feito é criar um procedimento que identifique se o sistema de controle tem ou não o problema de escolha.

8.2.4 Programação em Structured Text

Neste trabalho foi utilizado três tipos de linguagem: Sequential Function Charts (SFC), Ladder Diagram e Structured Text. Um trabalho que pode ser desenvolvido é fazer uma implementação em Structured Text, facilitando a geração de código automático.

8.2.5 Geração automática de código

Realizar um estudo comparativo entre as ferramentas que contemplam a geração automática de código para CLPs e desenvolver uma ferramenta que implemente as soluções

apresentadas neste trabalho. Dentre as ferramentas existentes para Sistemas a Eventos Discretos que tratam da geração de código podem-se citar:

• GPACLP (CURZEL, 2008); • CGLI, 2012;

• DES2ST, 2012; • DESTool, 2012 .

REFERÊNCIAS

AFZALIAN, A.; NOORBAKHSH, M.; NAVABI, A. PLC implementation of decentralized supervisory control for dynamic flow controller. Proceedings of the 17th IEEE

International Conference on Control Applications (CCA'08), pp. 522-527, San Antonio, Texas (USA), September, 2008.

BASILE, F.; CHIACCHIO, P.; On the Implementation of Supervised Control of Discrete Event Systems. In: Transactions on Control Systems Technology. Vol.15, no. 4, 2007.

CASSANDRAS, C.G.; LAFORTUNE S.; Introduction to Discrete Event Systems. Kluwer Academic Publishers. USA, 1999.

CGLI, disponível em <http://www.das.ufsc.br/~lellis/Arq_Prof/CGLI/> acessado em abril de 2012.

CHANDRA, V.; HUANG, Z.; KUMAR, R. Automated Control Synthesis for an Assembly Line Using Discrete Event System Control Theory. IEEE Transactions on Systems, Man, and Cybernetics—Part C: Applications and Reviews, Vol. 33, No. 2, (may 2003), pp. 284-289, ISSN 1094-6977.

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.; Síntese e implementação de controle supervisório em uma célula flexível de manufatura didática. Dissertação (Mestrado em Engenharia Elétrica) – Universidade do Estado de Santa Catarina. Joinville, 2008.

CRUZ, D. L. L. da; Metodologia para Implementação de Controle Supervisório Modular Local em Controladores Lógicos Programáveis. Dissertação (Mestrado em Engenharia Elétrica) – Universidade do Estado de Santa Catarina. Joinville, 2011.

DES2ST, disponível em < http://sourceforge.net/projects/ides2st/> acessado em abril de 2012.

DESTool, disponível em <http://www.rt.eei.uni-erlangen.de/FGdes/destool/index.html> acessado em abril de 2012.

DIETRICH, P.; MALIK, R.; WONHAM, W.M.; BRANDIN, B.; Implementation considerations in supervisory control. In: Synthesys and control of discrete event systems. Kluwer Academic Publishers, p. 185-201, 2002

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.

FLORDAL, H.; MALIK, R.; Nonblocking Verification Using Conflict Equivalence. In: 8th International Workshop on Discrete Event Systems (WODES), p. 100-106. Ann Arbor. 2006. 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.; LENNARTSON, B. & FABIAN, M. Modelling and PLC-based implementation of modular supervisory control, Proceedings of the 6th International Workshop on Discrete Event Systems (WODES’02), pp. 1-6. ISBN: 0-7695-1683-1. Zaragoza, Spain, October 2002

LAUZON, S. C.; MILLS, J. K.; & BENHABIB, B.. An Implementation Methodology for the Supervisory Control of Flexible Manufacturing Workcells, Journal of Manufacturing Systems, Vol. 16, No. 2, pp. 91-101., 1997

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, , pp. 899- 905. 2009.

LEAL, A. B. ; CRUZ, D. L. L. ; HOUNSELL, M. S. . PLC-based Implementation of Local Modular Supervisory Control for Manufacturing Systems. In: Faieza Abdul Aziz (Ed.). (Org.). Manufacturing System. 1 ed. : INTECH, 2012, v. , p. 1-24.

LEDUC, R. J. PLC Implementation of a DES supervisor for a manufacturing testbeb: an implementation perspective, M.A.Sc. Thesis, Dept. of Electrical and Computer Engineering, Univ. of Toronto, Canada., 1996

LEDUC, R .J.; WONHAM W. M. PLC implementation of a DES supervisor for a manufacturing test bed. Proceeding of Thirty-Third Annual Allerton Conference on Communication, Control and Computing, pp. 519-528, University of Illinois, 1995.

LIU, J.; DARABI, H. (2002). Ladder logic implementation of Ramadge-Wonham supervisory controller, Proceedings of the 6th International Workshop on Discrete Event System (WODES’02), pp. 383-389. ISBN: 0-7695-1683-1. Zaragoza, Spain, October 2002.

MALIK, P.; Generating Controllers from Discrete-Event Models. In: F. Cassez, C jard, F. Laroussinie, M. D. Ryan, Proc of the MOVEP, pp. 337-342 2002.

MANESIS, S.; AKANTZIOTIS, K. (2005). Automated synthesis of ladder automation circuits based on state-diagrams. Advances in Engineering Software, 36, pp .225–233.

POSSAN, M. C.; LEAL, A. B. (2009). Implementation of Supervisory Control Systems Based on State Machines. In: Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation – ETFA, pp. 819-826, Palma de Mallorca, 2009.

QUEIROZ, M. H. de; Controle Supervisório Modular e Multitarefa de Sistemas Compostos. Tese (Doutorado em Engenharia Elétrica) – 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. 2000. ________; 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. 2002.

QUEIROZ, M. H. de, SANTOS, E. A. P.; 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.

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.

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.