Production Scheduling by Reachability Analysis - A Case Study.
Gerd BehrmannEd BrinksmaMartijn HendriksAngelika MaderPublished in: IPDPS (2005)
Keyphrases
- production scheduling
- reachability analysis
- markov decision processes
- model checking
- incremental algorithms
- job shop scheduling problem
- single machine
- timed automata
- manufacturing systems
- case study
- process planning
- state space
- dynamic programming
- vehicle routing
- optimal solution
- complex systems
- neural network
- knowledge base
- machine learning