Scheduling of discrete event systems using mixed integer linear programming

Author

Kobetski, Avenir ; Fabian, Martin

Author_Institution

Dept. of Signals & Syst., Chalmers Univ. of Technol., Goteborg

fYear

2006

fDate

10-12 July 2006

Firstpage

76

Lastpage

81

Abstract

To remain competitive, the modern industry strive for flexibility. Recently, a method for automatic generation of control code from a 3D simulation model of a flexible manufacturing system was developed. Finite automata and supervisory control theory (SCT) were used to guarantee the required behaviour of the system. This paper moves one step further. A method for automatic conversion between deterministic finite automata and mixed integer linear programming (MILP) formulation is presented. This allows to efficiently combine SCT and MILP to automatically generate time-optimal, collision-free and non-blocking working schedules

Keywords

control theory; deterministic automata; discrete event systems; finite automata; flexible manufacturing systems; integer programming; linear programming; scheduling; 3D simulation model; control code automatic generation; deterministic finite automata; discrete event system scheduling; flexible manufacturing system; mixed integer linear programming; supervisory control theory; Automata; Discrete event systems; Doped fiber amplifiers; Flexible manufacturing systems; Job shop scheduling; Manufacturing automation; Mixed integer linear programming; Optimal scheduling; Robot kinematics; Robotics and automation;

fLanguage

English

Publisher

ieee

Conference_Titel

Discrete Event Systems, 2006 8th International Workshop on

Conference_Location

Ann Arbor, MI

Print_ISBN

1-4244-0053-8

Type

conf

DOI

10.1109/WODES.2006.1678411

Filename

1678411