• Nenhum resultado encontrado

Modelagem de sistema de controle de ar condicionado baseado em redes de Petri

N/A
N/A
Protected

Academic year: 2017

Share "Modelagem de sistema de controle de ar condicionado baseado em redes de Petri"

Copied!
4
0
0

Texto

(1)

107

6. Referências Bibliográficas

ALLA, H.; DAVID, R., “Continuous and hybrid Petri nets”, Journal of Circuits, Systems and Computers, Vol.8, n.1, pp. 159-188; 1998.

ANSCHUETZ, H, “HPSIM”, URL: http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db/hpsim.html; Alemanha, 2002

BOLZANI, C.A.M., “Residências Inteligentes”, 1a. ed., Ed. Livraria da Física, São Paulo, 2004.

CARDOSO, J; VALETTE, R. “Redes de Petri” Florianópolis: Ed. da UFSC, 1997 CARRIER Air Conditioning Company, “Manual de Aire Acondicionado”, Marcombo

Boixareu Editores, Barcelona, México, 1986

(2)

108 CREDER, H., “Instalações de Ar Condicionado”, Editora LTC, 6a ed., Rio de Janeiro,

2004.

DRATH, R., “Visual Object Net++”, URL: http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ; Ilmenau University of Technology, Alemanha, 2003

FREY, G “Hierarchical Design of Logic Controllers using Signal Interpreted Petri Nets”, Proceedings of the IFAC AHDS 2003, pg. 401 - 406

FREY, G.; LITZ, L. “Formal Methods in PLC Programming”, Nashville, 2000

FREY, G “PLC Programming for Hybrid Systems via Signal Interpreted Petri Nets”, Proceedings of the ADPM 2000, pg. 189 – 194

GUÉGUEN, H.; LEFEFBVRE, M. A., “A comparison of mixed specification formalisms”, 4th Intern.Conf. on Automation of Mixed Processes (ADPM), Dortmund; 2000

HONEYWELL, “Engineering Manual of Automatic Control – HVAC”, Honeywell, Minnesota, 1995

LEE, G. B.; ZANDONG, H.; LEE, J. S., “Automatic generation of ladder diagram with control Petri Net”, Journal of Intelligent Manufacturing, 15, pg. 245 – 252, 2004

LIMA II, E. J., “Uma Metodologia para a Implementação através de CLP’s de Controle Supervisório de Células de Manufatura utilizando Redes de Petri” Dissertação de Mestrado, Salvador, 2002

KLEIN, S. ; FREY, G & MINAS, M., “PLC Programming with Signal Interpreted Petri Nets”, Proceedings of the International Conference on Application and Theory of Petri Nets ICATPN, Eindhoven, Holanda, 2003.

(3)

109 MIYAGI, P.E., “Petri Net Approach for Modelling System Integration in Intelligent Buildings”, Journal of The Brazilian Society of Mechanical Sciences, Rio de Janeiro, vol.23, n.4, pp.341-350, 2002

SAUER Jr, H. J ; HOWELL, R. H.; COAD, W. J., “Principles of Heating, Ventilating and Air Conditioning“, ASHRAE – American Society of Heating, Refrigerating and Air Conditioning Engineers Inc., Atlanta, 2001

SIERRA, E.; HOSSIAN, A.; MAEZ, R.; MARINO, P., “Sistema experto para control inteligente de las variables ambientales de un edificio energéticamente eficiente”, XI Reunión de Trabajo en Procesamiento de la Información y Control, Buenos Aires, 2005.

TACKEN, J.; RUST, C.; KLEINJOHANN, B. “A Method for Prepartitioning of Petri Net Models for Parallel Embedded Real-Time Systems”, C-Lab, Paderborn, Germany, 2002

TRANE Company, “Air Conditioning Manual”, Milwaukee, USA, 1980.

UZAM, M.; JONES, A. H.; AILUONI, N., “Conversion of Petri Net Controllers for Manufaturing Systems into Ladder Logic Diagrams”, Salford - UK, 1996

VENKATESH, K.; ZHOU, M.; CAUDILL, R. J., “Comparing Ladder Logic Diagrams and Petri Nets for Sequence Controller Design Through a Discrete Manufacturing System”, IEEE Transactions on Industrial Electronics, vol. 41, no. 6, pg. 611 – 619, 1994

VILLANI, E. “Abordagem Híbrida para Modelagem de Sistemas de Ar Condicionado em Edifícios Inteligentes” Dissertação de Mestrado – EPUSP, São Paulo, 2000.

(4)

110 VILLANI, E.; MIYAGI, P. E., “A Petri Net-Based Object-Oriented Approach for the Modelling of Hybrid Productive Systems. Nonlinear Analysis: Theory, Methods & Applications”, Amsterdam, vol.62, n.8, pp.1394-1418, 2005.

Referências

Documentos relacionados

JUSTIFICAÇÕES DE FALTA – nos termos legais e regimentais, apresentaram justificação de falta, que foi aceite, os senhores Agostinho Lima Brito, Alexandre António

INSTITUTO NACIONAL DE COLONIZAÇÃO E REFORMA AGRÁRIA Data de atualização: 31/12/2017.. DIRETORIA DE GESTÃO ESTRATÉGICA

O software escolhido para concretizar este projeto foi o “Adobe Dreamweaver CS6”, para elaborar o website e concluir assim da melhor forma, utilizei também o

Um resultado expressivo destas iniciativas são os métodos propostos para a modelagem e análise de estratégias de gerenciamento de sistemas de ar condicionado, utilizando uma

A escolha da escola municipal foi com o objetivo de apresentar como as escolas estão contribuindo para que a inclusão seja realizada de fato, o papel do professor

É interessante mencionar ainda, que Manuel Arruda da Câmara foi bastante mencionado pelos contemporâneos, de modo que citações à sua pesquisa podem ser encontradas

Neste cap´ıtulo, relembraremos alguns resultados importantes que s˜ ao usa- dos para mostrar a existˆ encia de aplica¸c˜ ao de transporte ´ otimo quando o custo ´ e definido a

O trabalho com crianças da creche por ser de acolhimento a primeira etapa da educação básica, demanda objetividade de avaliação deste momento de entrada no