Synthesis and stochastic assessment of cost-optimal schedules

Angelika H. Mader, H.C. Bohnenkamp, Y.S. Usenko, D.N. Jansen, Johann L. Hurink, H. Hermanns

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)
86 Downloads (Pure)

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.
Original languageUndefined
Pages (from-to)305-317
Number of pages14
JournalInternational journal on software tools for technology transfer
Volumeonline fir
Issue number5
DOIs
Publication statusPublished - Sep 2010

Keywords

  • CR-I.6
  • EWI-19106
  • Model Checking
  • IR-69344
  • METIS-264293
  • Scheduling
  • Heuristic Methods
  • Discrete Event Simulation
  • FMT-MC: MODEL CHECKING
  • FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
  • FMT-PM: PROBABILISTIC METHODS

Cite this