Reduced-order synthesis of operation sequences
Paper i proceeding, 2011

In flexible manufacturing systems a large number of operations need to be coordinated and supervised to avoid blocking and deadlock situations. The synthesis of such supervisors soon becomes unmanageable for industrial manufacturing systems, due to state space explosion. In this paper we therefore develop some reduction principles for a recently presented model based on self-contained operations and sequences of operations. First sequential operation behaviors are identified and related operation models are simplified into one model. Then local transitions without interaction with other operation models are removed. This reduction principle is applied to a synthesis of non-blocking operation sequences, where collisions among moving devices are guaranteed to be avoided by a flexible booking process. The number of states in the synthesis procedure and the computation time is reduced dramatically by the suggested reduction principle.

model abstraction

supervisory control theory (SCT)

extended finite automata

Författare

Mohammad Reza Shoaei

Signaler och system, System- och reglerteknik, Automation

Sajed Miremadi

Signaler och system, System- och reglerteknik, Automation

Kristofer Bengtsson

Signaler och system, System- och reglerteknik, Automation

Bengt Lennartson

Signaler och system, System- och reglerteknik, Automation

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

8- 6059025

Ämneskategorier

Produktionsteknik, arbetsvetenskap och ergonomi

Reglerteknik

Styrkeområden

Produktion

DOI

10.1109/ETFA.2011.6059025

ISBN

978-1-4577-0017-0