Title :
Structure analysis of logic control programs
Author :
Nakamura, Satoshi ; Fujimoto, Yasutaka
Author_Institution :
Div. of Electr. & Comput. Eng., Yokohama Nat. Univ., Japan
Abstract :
In this paper, a method to divide a large-scale logic program is proposed. The hierarchical structure of the given logic program can be found by using graph theory. An illustrative example of elevator control program is shown as application of the proposed theory.
Keywords :
graph theory; hierarchical systems; logic programming; partial evaluation (compilers); program control structures; elevator control program; hierarchical structure; large-scale logic program; logic control programs; structure analysis; Automatic control; Automatic logic units; Coils; Communication system control; Electronic mail; Feedback control; Graph theory; Large-scale systems; Logic design; Programmable control;
Conference_Titel :
Industrial Electronics Society, 2004. IECON 2004. 30th Annual Conference of IEEE
Print_ISBN :
0-7803-8730-9
DOI :
10.1109/IECON.2004.1432211
