• DocumentCode
    3223584
  • Title

    Structure analysis of logic control programs

  • Author

    Nakamura, Satoshi ; Fujimoto, Yasutaka

  • Author_Institution
    Div. of Electr. & Comput. Eng., Yokohama Nat. Univ., Japan
  • Volume
    3
  • fYear
    2004
  • fDate
    2-6 Nov. 2004
  • Firstpage
    2588
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial Electronics Society, 2004. IECON 2004. 30th Annual Conference of IEEE
  • Print_ISBN
    0-7803-8730-9
  • Type

    conf

  • DOI
    10.1109/IECON.2004.1432211
  • Filename
    1432211