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

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!