| K. T. Seow and R. Devanathan. Temporal framework for assembly sequence representation and analysis. IEEE Transactions on Robotics and Automation, vol. 10, no. 2, pp 220-229, 1994. |
....event systems in past. For example, 23, 14, 15, 16] uses linear time temporal logic (LTL) 17] uses real time temporal logic (RTTL) 2] uses metric temporal logic (MTL) both RTTL and MTL are LTL with real time constraints) 1] uses computation tree logic (CTL) Temporal logic was also used in [12, 21, 22] for the study of discrete event systems. Above prior work on temporal logic approach to the control of discrete event systems are limited in one way or other. For example, in [23, 14, 16] the veri cation and the analysis were the main focus. In [15, 17] methods were given for the supervisor ....
K. T. Seow and R. Devanathan. Temporal framework for assembly sequence representation and analysis. IEEE Transactions on Robotics and Automation, vol. 10, no. 2, pp 220-229, 1994.
....Representation: In order to use computeraided assembly design and planning systems, we need to have computer interpretable assembly representations. A number of di#erent techniques have been developed to represent assemblies (Lee and Gossard, 1985; Lin and Chang, 1990; Shah and Rogers, 1993; Seow and Devanathan, 1994). In many of these techniques, each individual part is represented by its geometric model, and the assembly is represented by the relative position and orientation of each individual part in the final assembled configuration. Most non geometric information such as fits, joints, etc. is stored as ....
K T Seow and Rajagopalan Devanathan. A temporal framework for assembly sequence representation and analysis. IEEE Transactions on Robotics and Automation, 10(2):220--229, April 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC