Load balancing of a data flow based programmable controller

In this paper the formal definition of a sequence control program used in a data flow based programmable controller is proposed. A control program is described with a data flow graph and from formalization of the graph, the incidence matrix is defined. Using this matrix, the reachability property of the control program is analyzed. For the performance improvement of the data flow based PC, a load balancing rule, which is obtained by matrix decomposition, is suggested.<
>