1 / 18

Outline:  Outline of the algorithm  MILP formulation  Experimental Results

Advances in solving scheduling problems with timed automata and linear programming. Sebastian Panek , Sebastian Engell and Olaf Stursberg Process Control Lab, University of Dortmund. Outline:  Outline of the algorithm  MILP formulation  Experimental Results  Conclusions and Remarks.

mada
Download Presentation

Outline:  Outline of the algorithm  MILP formulation  Experimental Results

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Advances in solving scheduling problems with timed automata and linear programming Sebastian Panek, Sebastian Engell and Olaf Stursberg Process Control Lab, University of Dortmund Outline:  Outline of the algorithm MILP formulation  Experimental Results  Conclusions and Remarks

  2. Motivation: what’s the problem? • Optimization of Timed Systems: • For given initial and target states and a model • determine a sequence of steps that minimizes a given cost • criterion. • Cost criterion: • Minimize accumulated costs along paths (loc. + trans.), or • minimize the overall time required to reach the target state. Particular focus: job-shop scheduling.

  3. Combination of “Standard” Approaches  Timed Automata (TA) based:  Tree encodes possible evolutions  Search for the cost-optimal path (Reachability analysis + cost evaluation) Objective: combine both approaches  Mixed-Integer Programming (MIP):  Algebraic (in-)equalities for continuous and discrete variables  Solution by mathematical programming (or: constraint progr., evolutionary algorithms, …)

  4. Optimization tool for Timed Automata models, mainly scheduling problems. Input: scheduling problem specification. Automatic generation of (MI)LP models and PTA models. Optimization of PTA models with embedded linear programming: Computation of lower bounds of cost-to-go, Branch-and-bound techniques, Guiding of the search towards optimum. Our implemetation: TAopt

  5. The algorithm in detail initial state creating a linear program by relaxation of the MILP optimal objective value = C I current cost CS C = lower bound of cost-to-go S p(S‘) p(S“) S‘ S“ C optimal solution = vector xS T T Use components of xS to compute priorities p(S‘)and p(S“) target state with accumulated cost C‘ PTA part LP part

  6. The “old” version (Munich 03) Problem specification PTA model PTA Optimizer Current State LP Generator Lower bound to cut tree nodes, guiding of further search. LP model Solution LP Solver Cost-optimal State

  7. Every detail of the PTA model is mapped into variables and equations in the MILP model → explicit time representation → thousands of variables and equations, → the MILP size becomes the limiting factor. Performance problem: solution of (many) relaxed MILP problems consumes much time and memory This disadvantage is not compensated by the reduction of explored nodes in TA optimization. Drawbacks of the “old” algorithm

  8. Replace generic by tailor-made MILP models i.e. for job-shop scheduling problems Advantage: only essential degrees of freedom are considered within the MILP model Disadvantage: loss of generality Our choice: The same MILP formulation as used to solve the Axxom CS (see also presentation Cassis 03) Automatic generation and relaxation of MILP models from a scheduling problem specification The idea: tailor-made MILPs

  9. Alternative Algorithm Small tailor-made LPs for job-shop problems Abstract Problem Specification (i.e. job-shop) PTA Generator PTA Model Model Optimizer Current State LP Generator Lower bound to cut nodes, Prediction of future evolutions LP Model Solution LP Solver Cost-optimal State

  10. Initial data: A time domain: A set of operations: A set of jobs: A set of resources: Assignment of resources: Assignment of jobs: Operation durations: Definition of operations on resources: The MILP model for job-shops

  11. Variables (shown here as mappings): Start dates of operations: Precedence variables: Meaning of those variables: for every pair of operations the following conditions must be satisfied: The MILP model for job-shops

  12. Equations: Operation dates: Job precedence constraints: No simultanous processing: The MILP model for job-shops

  13. Equations: Precedence constraints: The MILP model for job-shops

  14. The makespan objective function: s.t. equations described above. Any valid schedule can be described by values of s variables if there exist binary values for p variables which satisfy the constraints above. The MILP model for job-shops

  15. TAopt results: explored states Experimental set-up: Left side: shortest-path search, non-laziness. Right side: branch-and-bound, best-lower-bound search, non- laziness, 30% relative optimality gap.

  16. Using tailor-made MILPs leads to competitive-size LP subproblems which can be solved with less effort. Cplex: 80-500 LPs/sec. Benefits: Branch-and-bound strategy to limit the search tree Best-lower-bound strategy to direct the search Alternative to best-lower-bound: relaxation-guided search - doesn’t work yet with the new MILP models. Conclusions

  17. Future research and development: Further improvements of the LP formulation, Search space reduction techniques on the TA side, Improvements of modeling capabilities. Objective: To solve the Axxom CS To investigate the trade-off between optimality and solution effort. We accept to achieve near-to-optimal solutions, how much can we reduce the solution effort? Outlook

  18. Thank You for your attention. Any questions? Discussion

More Related