Robust Manual Control of a Manufacturing System using Supervisory Control Theory

详细信息    查看全文

• 作者：Brian Bonafilia ^{bbrian@student.chalmers.se" class="auth_mail" title="E-mail the corresponding author} ; Pontus Carlsson ^{cpontus@student.chalmers.se" class="auth_mail" title="E-mail the corresponding author} ; Sebastian Nilsson ^{sebnil@student.chalmers.se" class="auth_mail" title="E-mail the corresponding author} ; Martin Fabian ^{fabian@chalmers.se" class="auth_mail" title="E-mail the corresponding author}
• 关键词：supervisory control theory ; operator interface ; manual control ; manufacturing systems ; extended finite state machines ; human-machine interface
• 刊名：IFAC-PapersOnLine
• 出版年：2014
• 出版时间：2014
• 年：2014
• 卷：47
• 期：3
• 页码：748-753
• 全文大小：235 K

文摘

There are many situations where manual intervention in automated systems, such as flexible manufacturing systems, is inevitable. Commonly the control of a manufacturing system is implemented in terms of operations, and sequences thereof, and these operations can typically be run manually. However, running the operations in arbitrary order may lead to situations such as blocking or collisions, from which it its hard or even impossible to recover or to resume automatic execution. This paper describes an implementation of an operator interface for robust manual control of a manufacturing system, where the operator is aided not to manually drive the system into a state that breaches the system requirements. Hence, blocking and collisions are avoided, and automatic mode can always be resumed. From a model of the manufacturing system based on self-contained operations, each of which is identified in terms of events with preconditions, a supervisor is calculated by use of the Supervisory Control Theory framework. From this supervisor additional preconditions are extracted for each operation. The operations with the extended preconditions are then ported to an operator interface which allows manual control of the production cell by dynamically guiding the operator to only those operations for which the extended preconditions are satisfied.