1 / 20

Industrial Applications of Constraint Based Scheduling

Industrial Applications of Constraint Based Scheduling. Helmut Simonis Parc Technologies Ltd IC-Parc, Imperial College London. Based on joint work with Y. Cloner, A. Aggoun (COSYTEC). Overview. Global constraints Scheduling with global constraints Brief history Operational examples.

mimis
Download Presentation

Industrial Applications of Constraint Based Scheduling

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. Industrial Applications of Constraint Based Scheduling Helmut Simonis Parc Technologies Ltd IC-Parc, Imperial College London Based on joint work with Y. Cloner, A. Aggoun (COSYTEC)

  2. Overview • Global constraints • Scheduling with global constraints • Brief history • Operational examples

  3. Constraint Programming - in a nutshell • Declarative description of problems with • Variables which range over (finite) sets of values • Constraints over subsets of variables which restrict possible value combinations • A solution is a value assignment which satisfies all constraints • Constraint propagation/reasoning • Removing inconsistent values for variables • Detect failure if constraint can not be satisfied • Interaction of constraints via shared variables • Incomplete • Search • User controlled assignment of values to variables • Each step triggers constraint propagation

  4. Need for global constraints 1 X X in {2,3} Y 2 Y in {2,3}  U in {1,2,3,4} Z 3 Z in {1,3} U 4 local reasoning, no action global reasoning, detect implications by bi-partite matching

  5. Global constraints • Work on sets of variables • Global conditions, not local constraints • Semantic methods • Operations Research • Spatial algorithms • Graph theory • Network flows • Building blocks (high-level constraint primitives) • Multi-purpose • As general as possible • Usable with other constraints • Very strong propagation • Acceptable algorithmic complexity

  6. Temporal Relations • Some task must start after others have finished • Easy to model with inequality constraints • Much better reasoning possible when considered together with resource constraints precedence constraint

  7. Cumulative (Disjunctive) Resources Cumulative constraint resource Limit resource duration time start End

  8. Machine Choice (Speed) Diffn (2D) machine M6 M5 1 duration machine M4 M3 M2 M1 start time

  9. Machine Calendars Diffn (2D) with calendar rules machine Interruptions M6 M5 1 duration machine M4 M3 non-interruptible task M2 M1 start time

  10. Consumable Resources Storage Max capacity Min capacity

  11. Storage Assignment produce Diffn (2D) store consume

  12. Storage Assignment with Capacity produce Diffn (3D) store consume

  13. Sequence Dependent Setup cycle with distance matrix variable time forbidden sequence

  14. Brief history of CP-based scheduling • Alice (Lauriere), 1978 • CHIP (Dincbas, Van Hentenryck, Simonis), 1987 • First commercial CP scheduling application (HIT, ICL), 1989 • Cumulative resources (Aggoun, Beldiceanu), 1993 • Disjunctive resources (Nuijten, Caseau, LePape), 1994 • Machine choices (Beldiceanu, Contejean), 1994 • Sequence dependent setup (Beldiceanu, Contejean), 1994 • Alldifferent (Regin), 1994 • Pre-emptive scheduling constraint (Baptiste, LePape), 1998 • LP/CP hybrids (Wallace, Rodosek, El Sakkout), 1998

  15. PLANE (Dassault) • Assembly line scheduling • developed by Dassault Aviation for Mirage 2000 Jet/ Falcon business jet • Two user system • production planning 3-5 years • commercial what-if sales aid • Optimization • requirement to balance schedule • minimize changes in production rate • minimize storage costs • Benefits and status • replaces 2 week manual planning • operational since Apr 94 • now used in US for business jets

  16. FORWARD (TECHNIP, COSYTEC) • Oil refinery production scheduling • Incorporates ELF FORWARD LP tool • Schedules daily production • Crude arrival -> processing -> delivery • Design, optimize and simulate • Crude mix optimization • Ship unloading, storage • Pipeline transport • Product blending • Explanation facilities • Handling of over-constrained problems • Status • Operational at FINA, ISAB, BP,…

  17. ORDO-VAP (VCA, COSYTEC) • Production scheduling for glass factory • integrated with Ingres Information system • manual and automatic scheduling • Constraints • multi-stage manufacturing • consumer/producer • varying production rates, setup • balance manpower utilization • minimize downtime • Status • 2 phases • operational since March 96 • replaced manual operation

  18. MOSES (Dalgety, COSYTEC) • Production scheduling for animal feed production • Feed in different sizes/ for different species • Contamination human health risk • Strict regulations imposed by customers • Constraints • Avoid contamination risks • Machine setup times • Machine choice (quality/speed) • Limited storage of finished products • Very short lead times (8-48 hours) • Factory structure given as data • Status • operational since Nov 96 • installed in 5 mills

  19. Bandwidth on demand (Schlumberger, IC-Parc, PTL) • Provide on-demand, high QoS bandwidth for limited time period • Use cases • Well logging • Video conference • Runs on MPLS-TE, diffserv • Temporal extension of general routing problem • Hard QoS limits • Overall bandwidth limits • Uses hybrid (CP/MIP/local search) algorithm • Delivered on Schlumberger’s Dexa.net • Self-provisioned by customer

  20. Conclusion • Constraints are a mature technology for scheduling • Easy to combine different constraints in one system, flexible for modeling complex systems • Most useful for hard problems, medium size (hundreds of tasks, dozens of resources) • Large variety of solutions in different application fields using commercial, off-the-shelf tools

More Related