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žené v:
Podrobná bibliografia
Vydané v:Control engineering practice Ročník 14; číslo 10; s. 1183 - 1197
Hlavní autori: Panek, Sebastian, Stursberg, Olaf, Engell, Sebastian
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier Ltd 01.10.2006
Predmet:
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 prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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