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

Chalmers, Signaler och system, System- och reglerteknik

Sajed Miremadi

Chalmers, Signaler och system, System- och reglerteknik

Kristofer Bengtsson

Chalmers, Signaler och system, System- och reglerteknik

Bengt Lennartson

Chalmers, Signaler och system, System- och reglerteknik

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

19460740 (ISSN) 19460759 (eISSN)

8- 6059025
978-1-4577-0017-0 (ISBN)

Ämneskategorier

Produktionsteknik, arbetsvetenskap och ergonomi

Reglerteknik

Styrkeområden

Produktion

DOI

10.1109/ETFA.2011.6059025

ISBN

978-1-4577-0017-0

Mer information

Senast uppdaterat

2024-01-03