State machine reduction for the approximate performance evaluation of manufacturing systems modelled with cooperating sequential processes

• Published in: Proceedings of IEEE International Conference on Robotics and Automation Vol. 2; pp. 1159 - 1165 vol.2
• Main Authors: Perez-Jimenez, C.J., Campos, J., Silva, M.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 1996
• Subjects: Approximation algorithms; Batteries; Concurrent computing; Decision support systems; Delay; Job design; Manufacturing systems; Performance analysis; State-space methods; Throughput
• ISBN: 0780329880; 9780780329881
• ISSN: 1050-4729; 2577-087X
• DOI: 10.1109/ROBOT.1996.506864

We concentrate on a family of discrete event systems obtained from a simple modular design principle that include in a controlled way primitives to deal with concurrency, decisions, synchronization, blocking, and bulk movements of jobs. Due to the functional complexity of such systems, reliable throughput approximation algorithms must be deeply supported on a structure based decomposition technique. We present a decomposition technique and a fixed-point search iterative process based on response time preservation of subsystems. Extensive numerical experiments have shown that the error is less than 3%, and that the state space is usually reduced by more than one order of magnitude.