Minimization of expected cycle time in manufacturing cells with uncontrollable behavior

Proceedings of the 3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007

Volumn , Issue , 2007, Pages 14-19

  Kobetski, Avenir ^a   Richardsson, Johan ^b   Åkesson, Knut ^a   Fabian, Martin ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^b VOLVO CAR CORPORATION   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

CELLULAR MANUFACTURING; FINITE AUTOMATA; MATHEMATICAL MODELS; OPTIMIZATION; SCHEDULING ALGORITHMS;

MODELING FORMALISM; PROBABILISTIC FINITE AUTOMATA; UNCONTROLLABLE SYSTEMS;

FLEXIBLE MANUFACTURING SYSTEMS;

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

References (16)

1. H. Flordal, K. Åkesson, M. Fabian, and D. Spensieri, "Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells," Control Engineering Practice, 2007, doi: 10.1016/j.conengprac.2006.11.001.
2. J. Richardsson and M. Fabian, "Reuse of information as a base for development and verification of control programs for flexible manufacturing cells," in Proc. of the IEEE/RSJ Intl. Conference on Intelligent Robots and Systems, Las Vegas, USA, 2003.
3. K. Andersson, J. Richardsson, B. Lennartson, and M. Fabian, "Synthesis of hierarchical and distributed control functions for multi-product manufacturing cells," in IEEE Conference on Automation Science and Engineering, 2006.
4. T. Liljenvall, "Scheduling for production systems," School of Electrical and Computer Engineering, Chalmers University of Technology, Lic. Thesis 293L, 1998.
5. Z. Huang and Z. Wu, "Deadlock-free scheduling for automated manufacturing systems using genetic algorithm and petri nets," in IEEE International Conference on Robotics and Automation, New Orleans, 2004.
6. A. Kobetski and M. Fabian, "Scheduling of discrete event systems using mixed integer linear programming," in Proc. of the 8th IEEE International Workshop on Discrete Event Systems, Ann Arbor, Michigan, 2006.
7. R. Kumar and V. K. Garg, "Optimal supervisory control of discrete event dynamical systems," ta reda paa, vol. a, no. b, 1995 (aer det saa).
8. J. Niño-Mora, Stochastic Scheduling. C. A. Floudas and P. M. Pardalos (Eds), Kluwer Academic Publishers, 2001, pp. 367-372.
9. R. Segala, "Modeling and verification of randomized distributed real-time systems," Ph.D. dissertation, Massachusetts Institute of Technology, 1995.
10. M. Sköldstam, K. Åkesson, and M. Fabian, "Supervisory control applied to automata extended with variables," Department of Signals and Systems, Chalmers University of Technology, Tech. Rep. R003, 2007, http://www.supremica.org.
11. J. Huang and R. Kumar, "Directed control of discrete event systems for safety and nonblocking," IEEE Transactions on Automation Science and Engineering, 2006.
12. P. Ramadge and W. Wonham, "The control of discrete event systems," in Proc. of the IEEE, vol. 77, no. 1, 1989.
13. R. Alur and D. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, pp. 183-235, 1994.
14. A. Kobetski, D. Spensieri, and M. Fabian, "Scheduling algorithms for optimal robot cell coordination - a comparison," in Proc. of the IEEE Conference on Automation Science and Engineering, Shanghai, China, 2006.
15. P. E. Hart, N. J. Nilsson, and B. Raphael, "A formal basis for the heuristic determination of minimum cost paths," IEEE Transactions on Systems Science and Cybernetics, vol. 4, no. 2, pp. 100-107, 1968.
16. K. Akesson, M. Fabian, H. Flordal, and R. Malik, "Supremica - an integrated environment for verification, synthesis and simulation of discrete event systems," in Proc. of the 8th Workshop on Discrete Event Systems (WODES'06), Ann Arbor, Michigan, USA, 2006.