Title :
Temporal logic formulation of assembly sequence properties
Author :
Tian, Seow Kiam ; Devanathan, R.
Author_Institution :
Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
Abstract :
The authors present a temporal logic formulation of assembly sequence properties which forms the theoretical basis for modeling mechanical assembly sequences. Some background on temporal logic is given. A new concept of reverse-equivalence is introduced. Two process state-theorems and two process-axioms are formulated. Temporal logic proofs of those assembly sequence properties identified by Y.F. Huang and C.S.G. Lee, (1989) are established, followed by an example
Keywords :
assembling; production control; temporal logic; assembly sequence; modeling; process state-theorems; process-axioms; reverse-equivalence; temporal logic; Assembly systems; Logic; Mechanical factors; Process planning; Trajectory;
Conference_Titel :
Robotics and Automation, 1992. Proceedings., 1992 IEEE International Conference on
Conference_Location :
Nice
Print_ISBN :
0-8186-2720-4
DOI :
10.1109/ROBOT.1992.220084
