Efficient synthesis of production schedules by optimization of timed automata

For industrial systems with multiple products or alternative production paths, the time-optimal assignment of production steps to available units is often economically indispensable. Among the several methods proposed for solving such job-shop scheduling problems, techniques based on reachability an...

Full description

Saved in:
Bibliographic Details
Published in:Control engineering practice Vol. 14; no. 10; pp. 1183 - 1197
Main Authors: Panek, Sebastian, Stursberg, Olaf, Engell, Sebastian
Format: Journal Article
Language:English
Published: Elsevier Ltd 01.10.2006
Subjects:
Automata
Graph search
Linear programming
Model checking
Reachability
Scheduling
Timed systems
Automata
Graph search
Model checking
Linear programming
Scheduling
Timed systems
Reachability
ISSN:0967-0661, 1873-6939
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:For industrial systems with multiple products or alternative production paths, the time-optimal assignment of production steps to available units is often economically indispensable. Among the several methods proposed for solving such job-shop scheduling problems, techniques based on reachability analysis for timed automata (TA) have gained attention recently. It was proposed recently to integrate techniques known from mixed-integer programming (MIP) into reachability analysis for TA to establish an efficient pruning of the search graph. This paper further improves the efficiency of the algorithm by excluding suboptimal or redundant solutions from the search space. For several benchmark problems, it is shown that the proposed approach can produce better schedules in a given computation time as are obtained by applying pure MIP to large problem instances.
ISSN:0967-0661
1873-6939
DOI:10.1016/j.conengprac.2006.02.014