EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


19106 Synthesis and stochastic assessment of cost-optimal schedules
Home Policy Brochure Browse Search User Area Contact Help

Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2010) Synthesis and stochastic assessment of cost-optimal schedules. International journal on software tools for technology transfer, 12 (5). pp. 305-317. ISSN 1433-2779

This is the latest version of this eprint.

Full text available as:

PDF
- Univ. of Twente only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
778 Kb

Official URL: http://dx.doi.org/10.1007/s10009-009-0129-y

Exported to Metis

Abstract

We treat the problem of generating cost-optimal schedules for orders with individual due dates and cost functions based on earliness/tardiness. Orders can run in parallel in a resource-constrained manufacturing environment, where resources are subject to stochastic breakdowns. The goal is to generate schedules while minimizing the expected costs. First, we estimate the distribution of each order type by simulation (assuming a reasonable machine/load model) and derive from the cost-function an optimal offset from the due date of each individual order. Second, these optimal offsets are then used to guide the generation of schedules which are responsible to resolve resource conflicts. Third, we evaluate the generated schedules by simulation. The approach is demonstrated by means of a non-trivial case-study from lacquer production. Optimal offsets are derived with the Modest/Möbius tool, schedules are generated using Uppaal Cora. The experimental results show that our approach achieves good results in all considered scenarios, and better results than an approach based on adding slack to processing times.

Item Type:Article
Research Group:EWI-FMT: Formal Methods and Tools, EWI-DMMP: Discrete Mathematics and Mathematical Programming, EWI-CE: Control Engineering
Research Program:CTIT-DSN: Dependable Systems and Networks
Research Project:AMETIST: Advanced Methods for Timed Systems
Uncontrolled Keywords:Model checking, Scheduling, Heuristic methods, Discrete event simulation
ID Code:19106
Status:Published
Deposited On:16 December 2010
Refereed:Yes
International:Yes
More Information:statisticsmetis

Available Versions of this Item

  • Synthesis and stochastic assessment of cost-optimal schedules (deposited 16 December 2010)
    [Currently Displayed]

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item