Modeling the control of a flexible manufacturing cell for automatic verification and control program generation

International Journal of Flexible Manufacturing Systems

Volumn 18, Issue 3, 2006, Pages 191-208

  Richardsson, Johan ^a   Fabian, Martin ^b  

^a VOLVO CAR CORPORATION   (Sweden)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Control; Information reuse; Manufacturing cell; Program generation; Program verification

Indexed keywords

AUTOMATIC PROGRAMMING; CELLULAR MANUFACTURING; CONTROL SYSTEM ANALYSIS; INFORMATION USE; LIFE CYCLE; MATHEMATICAL MODELS; VERIFICATION;

PROGRAM GENERATION; PROGRAM VERIFICATION;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 33947272091     PISSN: 09206299     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10696-006-9004-2     Document Type: Conference Paper

References (17)

1. Andersson K, Richardsson J, Lennartson B, Fabian M (2006) Synthesis of hierarchical and distributed control functions for multi-product manufacturing cells. 2nd IEEE Conference on Automation Science and Engineering, Shanghai, China
2. Chan FIS, Zhang J, Lau HCW, Ning A (2000) Object-oriented architecture of control system for agile manufacturing cells. IEEE Conference on Management of Innovation and Technology, pp 863-868
3. Chandra V, Zhongdong H, Kumar R (2003) Automated control synthesis for an assembly line using discrete event system control theory. IEEE Trans Syst Man Cybern Part C 33(2):284-289
4. Danielsson K, Richardsson J, Lennartson B, Fabian M (2005) Automatic scheduling and verification of the control function of flexible assembly cells in an information reuse environment. 6th IEEE International Symposium on Assembly and Task Planning
5. De Smet O, Rossi O (2002) Verification of a controller for a flexible manufacturing line written in Ladder Diagram via model-checking. Proceedings of the American Control Conference, pp 4147-4152
6. Kanai S, Kishinami T, Tomura T (2000) Object-oriented graphical specification and seamless design procedure for manufacturing cell control software development. IEEE Int. Conference on Robotics and Automation, pp 401-407
7. Kollura R, Smith S, Meredith P, Loganautharaj R, Chambers T, Seetharamau G, D'Souza T (2000) A framework for the development of agile manufacturing enterprises. IEEE Int Conf Robotics Automat 2:1132-1137
8. Kovács GL, Kopácsi S, Nacsa J, Haidegger G, Gruompos P (1999) Application of software reuse and object-oriented methodologies for the modeling and control of manufacturing systems. Comput Ind 39:177-189
9. Lauzon SC, Ma AKL, Mills JK, Benhabib B (1996) Application of discrete-event-system theory to flexible manufacturing. Control Syst Mag IEEE 16(1):41-48
10. Park E, Tilbury D, Khargonekar PP (1999) Modular logic controllers for machining systems: formal representation and performance analysis using Petri nets. IEEE Trans Robot Automat 15(6):1046-1061
11. Ramadge PJ, Wonham WM (1989) The control of discrete-event systems. Proc IEEE 77(1):81-98
12. Rausch M, Krogh BH (1998) Formal verification of PLC programs. Am Control Conf 1(24-26):234-238
13. Richardsson J (2002) A survey of tools and methods for design of automated production plants. 33rd Int. Symposium on Robotics
14. Richardsson J, Fabian M (2003a) Automatic generation of PLC programs for control of flexible manufacturing cells. IEEE Int Conf on Emerging Technologies and Factory Automation
15. Richardsson J, Fabian M (2003b) Reuse of information as a base for development and verification of control programs for flexible manufacturing cells. IEEE/RSJ Int Conf on Intelligent Robots and Systems
16. Sharique F, Gore G, Richardsson J, Fabian M (2004) Verification of a novel approach in control of flexible manufacturing cells. 14th Int. Conference on Flexible Automation and Intelligent Manufacturing
17. von Euler-Chelpin A, Holmström P, Richardsson J (2004) A neutral representation of process and resource information of an assembly cell-supporting control code development, process planning and resource life cycle management. 2nd International Seminar on Digital Enterprise Technology