Temporal logic formulation of assembly sequence properties

Author

Tian, Seow Kiam ; Devanathan, R.

Author_Institution

Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore

fYear

1992

fDate

12-14 May 1992

Firstpage

1208

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Robotics and Automation, 1992. Proceedings., 1992 IEEE International Conference on

Conference_Location

Nice

Print_ISBN

0-8186-2720-4

Type

conf

DOI

10.1109/ROBOT.1992.220084

Filename

220084

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3178032