2003 Volume 123 Issue 5 Pages 919-927
This paper proposes a distributed algorithm for adjusting the signal polarity of the control networks for building air-conditioners. As field connection work of the two wires to the controller may be straight or cross, each controller has both plus and minus polarity circuits. It starts the algorithm in the arbitary sequence, and then negociates each other to select the plus/minus polarity circuits in order to adjust the signal polarity. A Time Petri Net model was constructed for verification of the proposed algorithm. The model describes the required specification of the system, straight/cross connection of the controller to the network bus line and the polarity adjustment algorithm. The efficient Time Petri Net verification tool made it possible to verify the model.
The transactions of the Institute of Electrical Engineers of Japan.C
The Journal of the Institute of Electrical Engineers of Japan