Automatic generation of controllers for collision-free flexible manufacturing systems

2010 IEEE International Conference on Automation Science and Engineering, CASE 2010

Volumn , Issue , 2010, Pages 368-373

  Shoaei, Mohammad Reza ^a   Lennartson, Bengt ^a   Miremadi, Sajed ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

3D SIMULATIONS; AUTOMATIC GENERATION; COMPLEX SYSTEMS; FLEXIBLE MANUFACTURING CELL; FLEXIBLE PRODUCTION; FORBIDDEN STATE; FORMAL MODEL; MANUFACTURING SYSTEM; NEW PRODUCT; NON-BLOCKING; OPERATION STATE; SIMULATION SOFTWARE; SYNTHESIS PROCEDURE; TRIAL-AND-ERROR PROCEDURES;

BINARY DECISION DIAGRAMS; COMPUTER SOFTWARE; INDUSTRIAL APPLICATIONS; INDUSTRIAL ROBOTS; THREE DIMENSIONAL; THREE DIMENSIONAL COMPUTER GRAPHICS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 78149424915     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2010.5584539     Document Type: Conference Paper

References (22)

1. Dassault Systèmes DELMIA V5 and DELMIA Automation V5, 2010, http://www.3ds.com.
2. ABB RobotStudio, 2010, http://www.robotstudio.com.
3. Siemens Tecnomatix, 2010, http://www.tecnomatix.com.
4. E. W. Endsley, E. E. Almeida, and D. M. Tilbury, "Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation," Control Engineering Practice, vol. 14, no. 10, pp. 1127-1142, 2006.
5. K. Andersson, J. Richardsson, B. Lennartson, and M. Fabian, "Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers," IEEE Transactions on Control Systems Technology, pp. 1-17, 2009.
6. K. Bengtsson, B. Lennartson, Y. Chengyin, P. Falkman, and S. Biller, "Operation-oriented specification for integrated control logic development," in 2009 IEEE International Conference on Automation Science and Engineering. IEEE, 2009, pp. 183-190.
7. B. Lennartson, K. Bengtsson, C. Yuan, K. Andersson, M. Fabian, P. Falkman, and K. Akesson, "Sequence Planning for Integrated Product, Process and Automation Design," Conditionally accepted for IEEE Transactions on Automation Science and Engineering, 2010.
8. P. Ramadge and W. Wonham, "The control of discrete event systems," Proceedings of the IEEE, vol. 77, no. 1, pp. 81-98, 1989.
9. M. Skoldstam, K. Akesson, and M. Fabian, "Modeling of discrete event systems using finite automata with variables," in IEEE Conference on Decision and Control, 2007, pp. 3387-3392.
10. S. Miremadi, K. Akesson, and B. Lennartson, "Symbolic Supervisory Synthesis on Extended Finite Automata," in submitted to IEEE Transactions on Automation Science and Engineering, 2010.
11. A. Vahidi, B. Lennartson, and M. Fabian, "Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams," in Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on, 2005, pp. 2751-2756.
12. K. Akesson, M. Fabian, H. Flordal, and R. Malik, "Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems," in 2006 8th International Workshop on Discrete Event Systems. IEEE, 2006, pp. 384-385.
13. C. A. R. Hoare, "Communicating Sequential Processes," Communications of the ACM, vol. 21, pp. 666-677, 1985.
14. P. Jiménez, F. Thomas, and C. Torras, "3D Collision Detection: A Survey," Computers and Graphics, vol. 25, pp. 269-285, 2000.
15. M. C. Lin and S. Gottschalk, "Collision Detection Between Geometric Models: A Survey," in In Proc. of IMA Conference on Mathematics of Surfaces, 1998, pp. 37-56.
16. B. Lennartson, M. Fabian, and P. Falkman, "Control architecture for flexible production systems," in IEEE International Conference on Automation Science and Engineering, 2005. IEEE, pp. 307-312.
17. P. Falkman, J. Nielsen, B. Lennartson, and A. von Euler-Chelpin, "Generation of STEP AP214 Models From Discrete Event Systems for Process Planning and Control," IEEE Transactions on Automation Science and Engineering, vol. 5, no. 1, pp. 113-126, 2008.
18. K. Andersson, B. Lennartson, and M. Fabian, "Restarting Manufacturing Systems; Restart States and Restartability," IEEE Transactions on Automation Science and Engineering, no. 99, pp. 1-1, 2009.
19. S. Lauzon, A. Ma, J. Mills, and B. Benhabib, "Application of discreteevent- system theory to flexible manufacturing," IEEE Control Systems Magazine, vol. 16, no. 1, pp. 41-48, 1996.
20. G. Frey and L. Litz, "Formal methods in PLC programming," in SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166). IEEE, 2000, pp. 2431-2436.
21. V. Chandra and R. Kumar, "Automated control synthesis for an assembly line using discrete event system control theory," IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), vol. 33, no. 2, pp. 284-289, 2003.
22. E. Ohlson and C. Torstensson, "Development, implementation and testing of Sequence Planner - A concept for modeling of automation systems," Tech. Rep. EX/2009, Chalmers University of Technology, 2009.