“Modeling Logic Systems with Structured Array-based Logic”

Authors: Bassam Hussein and Reggie Davidrajuh,
Affiliation: University of Stavanger and NTNU
Reference: 2003, Vol 24, No 1, pp. 27-35.

Keywords: Array-based logic, logic modeling, logic programming

Abstract: First this paper introduces an efficient tool called array-based logic for modeling complex logic systems. The main concepts of array-based logic are explained. Second, the logic functions of this tool are presented with the help of six definitions. Finally, an application example on manufacturing system is worked out.

PDF PDF (957 Kb)        DOI: 10.4173/mic.2003.1.3

[1] BJØRKE, O. (1995). Manufacturing Systems Theory, TAPIR Publishers, ISBN-82-519-1411-2.
[2] MØLLER, G. L. (1995). On the Technology of Array-Based Logic, Ph.D. thesis, Technical University of Denmark.
[3] FRANKSEN, O.I. (1979). Group Representations of Finite Polyvalent Logic - A case Study Using AFL Notation, In MIMI, A..ed.: A Link between Science and Applications of Automatic Control, Pergamon Press, Oxford and New York, 1979.
[4] DAVIDRAJUH, R. (2000). An Introduction to SABL, http://www.hin.no/~rd/Projects/SABL.No longer available.
[5] HUSSEIN, B. (1999). Modeling the Physical and Logical Properties of Mechatronic Systems: A Manufacturing Theory Approach, Ph.D. thesis, Norwegian Univ. of Science and Technology, 1999.
[6] LIEN, T. K. (1995). Digital Control for Mechatronic, in Norwegian. TAPIR publishers, Norway, 1995.

  title={{Modeling Logic Systems with Structured Array-based Logic}},
  author={Hussein, Bassam and Davidrajuh, Reggie},
  journal={Modeling, Identification and Control},
  publisher={Norwegian Society of Automatic Control}