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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Control engineering practice Ročník 14; číslo 10; s. 1183 - 1197
Hlavní autoři: Panek, Sebastian, Stursberg, Olaf, Engell, Sebastian
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Ltd 01.10.2006
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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