Modelagem de Sistema de Controle Distribuído em Edifícios Inteligentes Baseado em Rede de Petri Colorida (Modeling of Distributed Control System in Intelligent Buildings Based on Colored Petri Net)

Percy Javier Igei Kaneshiro (percyigei@hotmail.com)1, Carlos Eduardo Cugnasca (carlos.cugnasca@poli.usp.br)1, José Isidro Garcia2, Paulo Eigi Miyagi (pemiyagi@usp.br)1


1Escola Politécnica da Universidade de São Paulo
2Universidad del Valle

This paper appears in: Revista IEEE América Latina

Publication Date: Sept. 2010
Volume: 8,   Issue: 5 
ISSN: 1548-0992


Abstract:
Distributed control systems consist of sensors, actuators and controllers, interconnected by communication networks and are characterized by a high number of concurrent process. This work presents a proposal for a procedure to model and analyze communication networks for distributed control systems in intelligent building. The approach considered for this purpose is based on the characterization of the control system as a discrete event system and application of coloured Petri net as a formal method for specification, analysis and verification of control solutions. With this approach, we develop the models that compose the communication networks for the control systems of intelligent building, which are considered the relationships between the various buildings systems. This procedure provides a structured development of models, facilitating the process of specifying the control algorithm. An application example is presented in order to illustrate the main features of this approach.

Index Terms:
LonWorks Networks, Petri Nets, Discrete Simulation, Distributed Control Systems, Intelligent buildings.   


Documents that cite this document
This function is not implemented yet.


[PDF Full-Text (464)]