Scheduling of Discrete Event Systems Using Mixed Integer Linear Programming
Paper in proceeding, 2006

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) was 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.

supervisory control

flexible manufacturing systems


discrete event systems


Avenir Kobetski

Chalmers, Signals and Systems, Systems and control

Martin Fabian

Chalmers, Signals and Systems, Systems and control

8th International Workshop on Discrete Event Systems

Subject Categories

Production Engineering, Human Work Science and Ergonomics

Computational Mathematics

More information