Skip to main content

Declarative Decomposition and Dispatching for Large-Scale Job-Shop Scheduling

  • Conference paper
  • First Online:
KI 2016: Advances in Artificial Intelligence (KI 2016)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9904))

Abstract

Job-shop scheduling problems constitute a big challenge in nowadays industrial manufacturing environments. Because of the size of realistic problem instances, applied methods can only afford low computational costs. Furthermore, because of highly dynamic production regimes, adaptability is an absolute must. In state-of-the-art production factories the large-scale problem instances are split into subinstances, and greedy dispatching rules are applied to decide which job operation is to be loaded next on a machine. In this paper we propose a novel scheduling approach inspired by those hand-crafted scheduling routines. Our approach builds on problem decomposition for keeping computational costs low, dispatching rules for effectiveness and declarative programming for high adaptability and maintainability. We present first results proving the concept of our novel scheduling approach based on a new large-scale job-shop benchmark with proven optimal solutions.

The research for this paper was conducted in the scope of the project Heuristic Intelligence (HINT) in cooperation with Infineon Technologies Austria AG and Siemens AG Österreich funded by the Austrian research fund FFG under grant 840242. Authors are given in alphabetical order and contributed equally to this paper.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://www.mat.unical.it/aspcomp2014/.

  2. 2.

    http://sofdem.github.io/gccat/.

  3. 3.

    http://www.gecode.org/.

  4. 4.

    http://jacop.osolpro.com/.

  5. 5.

    http://potassco.sourceforge.net/.

  6. 6.

    Benchmark and prototype at http://isbi.aau.at/hint/scheduling-prototype.

References

  1. Azi, N., Gendreau, M., Potvin, J.Y.: A dynamic vehicle routing problem with multiple delivery routes. Ann. Oper. Res. 199(1), 103–112 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  2. Balduccini, M.: Representing constraint satisfaction problems in answer set programming. In: ICLP09 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2009) (2009)

    Google Scholar 

  3. Balduccini, M.: Industrial-size scheduling with ASP+CP. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 284–296. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  4. Bellman, R.: Mathematical aspects of scheduling theory. SIAM J. Soc. Ind. Appl. Math. 4, 168–205 (1956)

    Article  MathSciNet  MATH  Google Scholar 

  5. Bent, R., Van Hentenryck, P.: Spatial, temporal, and hybrid decompositions for large-scale vehicle routing with time windows. In: Cohen, D. (ed.) CP 2010. LNCS, vol. 6308, pp. 99–113. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  6. Blazewicz, J., Ecker, K., Pesch, E., Schmidt, G., Weglarz, J.: Handbook on Scheduling: Models and Methods for Advanced Planning (International Handbooks on Information Systems). Springer, Secaucus (2007)

    Google Scholar 

  7. Carchrae, T., Beck, J.C.: Principles for the design of large neighborhood search. J. Math. Model. Algorithms 8(3), 245–270 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Easton, T., Singireddy, A.: A large neighborhood search heuristic for the longest common subsequence problem. J. Heuristics 14(3), 271–283 (2008)

    Article  MATH  Google Scholar 

  9. Fogliatto, F.S., Da Silveira, G.J.C., Borenstein, D.: The mass customization decade: an updated review of the literature. Int. J. Prod. Econ. 138(1), 14–25 (2012)

    Article  Google Scholar 

  10. Garey, M.R., Johnson, D.S.: Computers and Intractability. A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, New York (1979)

    MATH  Google Scholar 

  11. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers, San Rafael (2012)

    Google Scholar 

  12. Gebser, M., Ostrowski, M., Schaub, T.: Constraint answer set solving. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 235–249. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  13. Hildebrandt, T., Goswami, D., Freitag, M.: Large-scale simulation-basedoptimization of semiconductor dispatching rules. In: Proceedings of the 2014 Winter Simulation Conference, WSC 2014, pp. 2580–2590. IEEE Press, Piscataway (2014). http://dl.acm.org/citation.cfm?id=2693848.2694175

  14. Holweg, M.: The genealogy of lean production. J. Oper. Manag. 25(2), 420–437 (2007). Special Issue Evolution of the Field of Operations Management SI/ Special Issue Organisation Theory and Supply Chain Management

    Article  Google Scholar 

  15. Hurink, J., Jurisch, B., Thole, M.: Tabu search for the job-shop scheduling problem with multi-purpose machines. Oper.-Res.-Spektrum 15(4), 205–215 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  16. Kaban, A.K., Othman, Z., Rohmah, D.S.: Comparison of dispatching rules in job-shop scheduling problem using simulation: a case study. Int. J. Simul. Model. 11(3), 129–140 (2012)

    Article  Google Scholar 

  17. Pacino, D., Van Hentenryck, P.: Large neighborhood search and adaptive randomized decompositions for flexible jobshop scheduling. In: Proceedings of the International Joint Conference on Artificial Intelligence (2011)

    Google Scholar 

  18. Teppan, E.C., Friedrich, G.: Heuristic constraint answer set programming. In: Proceedings of the 6th International Workshop on Combinations of Intelligent Methods and Applications (CIMA16 at ECAI16) (2016)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Giacomo Da Col .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Da Col, G., Teppan, E.C. (2016). Declarative Decomposition and Dispatching for Large-Scale Job-Shop Scheduling. In: Friedrich, G., Helmert, M., Wotawa, F. (eds) KI 2016: Advances in Artificial Intelligence. KI 2016. Lecture Notes in Computer Science(), vol 9904. Springer, Cham. https://doi.org/10.1007/978-3-319-46073-4_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-46073-4_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-46072-7

  • Online ISBN: 978-3-319-46073-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics