Reduced-order synthesis of operation sequences
Paper in proceedings, 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

Author

Mohammad Reza Shoaei

Chalmers, Signals and Systems, Systems and control, Automation

Sajed Miremadi

Chalmers, Signals and Systems, Systems and control, Automation

Kristofer Bengtsson

Chalmers, Signals and Systems, Systems and control, Automation

Bengt Lennartson

Chalmers, Signals and Systems, Systems and control, Automation

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

8- 6059025

Subject Categories

Production Engineering, Human Work Science and Ergonomics

Control Engineering

Areas of Advance

Production

DOI

10.1109/ETFA.2011.6059025

ISBN

978-1-4577-0017-0

More information

Created

10/7/2017