This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Informational and Decision Processes for Flexible Manufacturing Systems
December 1992 (vol. 7 no. 6)
pp. 53-62

A formal method based on the Semantic Unification and Logic (Semlog) environment, a typed object-oriented programming environment to develop control software for flexible manufacturing systems is described. The method minimizes the effort needed to transform the manufacturer's problem description into the programmer's solution plan. The representation scheme facilitates abstract and high-level descriptions as well as automated reasoning by using primitives representing the domain elements and their interrelationships. The programming language constructs that facilitate software modeling and the development of decision-making algorithms in a flexible manufacturing system are described.

Citation:
Abhijit Chaudhury, Sukumar Rathnam, "Informational and Decision Processes for Flexible Manufacturing Systems," IEEE Intelligent Systems, vol. 7, no. 6, pp. 53-62, Dec. 1992, doi:10.1109/64.180409
Usage of this product signifies your acceptance of the Terms of Use.