Temporal logic formulation of assembly sequence properties

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.<
>