Formal models for control of flexible manufacturing cells: physical and system model

Most control implementations of flexible manufacturing cells have been developed specific to a particular facility, and no generic format or tools exist for the systematic planning and creation of control. This paper presents the first phase of research in automatic generation of control software. It focuses on the development of theoretical foundations and generic issues necessary to understand and implement control. Specific formal models are developed for the physical activities, system actions, and individual machines comprising the manufacturing cell. In a subsequent paper, the formal models presented here are used to provide the basis for creating context free control grammars which are used to automatically generate software for controlling flexible manufacturing cells. >

[1]  C. McLean,et al.  A proposed hierarchical control model for automated manufacturing systems , 1986 .

[2]  Richard A. Volz,et al.  A methodology for developing real-time control software for efficient and dependable manufacturing systems , 1990 .

[3]  A. Aziz Merabet.  Synchronization of operations in a flexible manufacturing cell: The Petri net approach , 1986 .

[4]  P. Varaiya,et al.  A method for specifying, implementing, and verifying media access control protocols , 1990, IEEE Control Systems Magazine.

[5]  J.S. Ostroff,et al.  A logic for real-time discrete event processes , 1990, IEEE Control Systems Magazine.

[6]  Mark C. Maletz,et al.  The Manufacturing Game: A Formal Approach to Manufacturing Software , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

[7]  Yadati Narahari,et al.  A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .

[8]  R. A. Volz,et al.  Design of integrated manufacturing system control software , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[9]  Moshe M. Barash,et al.  Design of a cellular manufacturing system: A syntactic pattern recognition approach , 1986 .

[10]  Kar Yan Tam,et al.  Linguistic modeling of flexible manufacturing systems , 1989 .

[11]  Gunnar Sohlenius.  Scientific and structural base of manufacturing , 1984 .

[12]  Moshe M. Barash,et al.  A grammatical approach to routing flexibility in large manufacturing systems , 1988 .

[13]  David J. Williams,et al.  Syntactic Models of Manufacturing Processing and Control , 1989 .

[14]  Frank DiCesare,et al.  Real time control of multilevel manufacturing systems using colored Petri nets , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[15]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[16]  Robert Balzer,et al.  A 15 Year Perspective on Automatic Programming , 1985, IEEE Transactions on Software Engineering.

[17]  James H. Graham,et al.  Linguistic Decision Structures for Hierarchical Systems , 1982, IEEE Transactions on Systems, Man, and Cybernetics.

[18]  Nam P. Suh.  Development of the science base for the manufacturing field through the axiomatic approach , 1984 .

[19]  M. Zhou,et al.  A top-down approach to systematic synthesis of Petri net models for manufacturing systems , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[20]  Oded Maimon,et al.  An object-based representation method for a manufacturing cell controller , 1988, Artif. Intell. Eng..

[21]  Frank P. Biemans,et al.  On the formal specification and verification of CIM architectures using LOTOS , 1986 .