点击次数：

论文类型：期刊论文

发表时间：2016-09-01

发表刊物：PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART I-JOURNAL OF SYSTEMS AND CONTROL ENGINEERING

收录刊物：SCIE、Scopus

卷号：230

期号：8

页面范围：778-785

ISSN号：0959-6518

关键字：Scheduling problem; hybrid systems; optimization; assembly manufacturing systems; quantifier elimination

摘要：Dynamics of assembly automation systems involve the interaction of discrete-event and continuous-variable dynamics. Hence, a hybrid model is a natural framework for scheduling tasks in assembly automation processes. This study indicates that a weighted scheduling problem can be transformed into a weighted time-optimal problem for hybrid systems. In particular, it shows that the problem can be cast as a constrained optimization problem with inequalities quantifiers. In order to obtain quantifier-free inequalities, quantifier elimination techniques are used. Based on the quantifier-free inequalities, the scheduling problem of the assembly manufacturing process can be solved using linear programming methods. Applicability and simulation results are provided to illustrate the performance of the developed algorithms.