Structure Analysis of Logic Control Programs

被引：0
|
作者：
Nakamura, Satoshi [1 ]
Fujimoto, Yasutaka [1 ]
机构：
[1] Yokohama Natl Univ, Dept Elect & Comp Engn, Yokohama, Kanagawa 240, Japan
来源：
IECON 2004: 30TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOL 3 | 2004年
关键词：
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
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.
引用
收藏
页码：2588 / 2593
页数：6
相关论文
共 50 条
  • [1] Set-based analysis of logic programs and reactive logic programs
    Podelski, A
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 35 - 36
  • [2] LOGIC STRUCTURE FOR EXPERIMENTAL DEVELOPMENT PROGRAMS
    RUTHERFO.JR
    CHEMICAL TECHNOLOGY, 1971, (MAR): : 159 - &
  • [3] Termination analysis of logic programs
    Serebrenik, A
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 507 - 508
  • [4] Design of verified logic control programs
    Lohmann, Sven
    Thi, Lan Anh Dinh
    Stursberg, Olaf
    PROCEEDINGS OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, VOLS 1-4, 2006, : 1179 - 1184
  • [5] ANALYSIS OF RESIDUATING LOGIC PROGRAMS
    HANUS, M
    JOURNAL OF LOGIC PROGRAMMING, 1995, 24 (03): : 219 - 245
  • [6] Analysis of normal logic programs
    Fages, F
    Gori, R
    STATIC ANALYSIS, 1998, 1503 : 82 - 98
  • [7] Analysis of imperative programs through analysis of constraint logic programs
    Peralta, JC
    Gallagher, JP
    Saglam, H
    STATIC ANALYSIS, 1998, 1503 : 246 - 261
  • [8] IMPROVING CONTROL OF LOGIC PROGRAMS BY USING FUNCTIONAL LOGIC LANGUAGES
    HANUS, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 1 - 23
  • [9] Learning structure and parameters of Stochastic Logic Programs
    Muggleton, S
    INDUCTIVE LOGIC PROGRAMMING, 2003, 2583 : 198 - 206
  • [10] Granularity control for distributed execution of logic programs
    Xirogiannis, G
    18TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1998, : 230 - 237
12345