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



Shortened product life-cycles decrease the output rate of manufacturing systems. Offline verification of the control systems promises to increase the output. However, to make offline verification possible some major improvements of the current development process of manufacturing systems are needed. Information handling and development of control programs based on information reuse are two of the most important improvement areas. This paper presents the results of the modeling of a real manufacturing cell according to a previously presented method for offline verification and program generation based on information reuse.


Information reuse Control Program verification Program generation Manufacturing cell 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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, ChinaGoogle Scholar
  2. Chan FTS, 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–868Google Scholar
  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–289CrossRefGoogle Scholar
  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 PlanningGoogle Scholar
  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–4152Google Scholar
  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–407Google Scholar
  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–1137Google Scholar
  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–189CrossRefGoogle Scholar
  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–48CrossRefGoogle Scholar
  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–1061Google Scholar
  11. Ramadge PJ, Wonham WM (1989) The control of discrete-event systems. Proc IEEE 77(1):81–98CrossRefGoogle Scholar
  12. Rausch M, Krogh BH (1998) Formal verification of PLC programs. Am Control Conf 1(24–26):234–238Google Scholar
  13. Richardsson J (2002) A survey of tools and methods for design of automated production plants. 33rd Int. Symposium on RoboticsGoogle Scholar
  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 AutomationGoogle Scholar
  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 SystemsGoogle Scholar
  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 ManufacturingGoogle Scholar
  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 TechnologyGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  1. 1.Volvo Car CorporationGoteborgSweden
  2. 2.Chalmers University of TechnologyGoteborgSweden

Personalised recommendations