Professor Arne Thesen, University of Wisconsin-Madison

Slides:



Advertisements
Similar presentations
Yinyin Yuan and Chang-Tsun Li Computer Science Department
Advertisements

To Queue or Not to Queue? Physical queues can be really stressful and exhausting…
Hadi Goudarzi and Massoud Pedram
Introduction to Mathematical Programming
Introduction to Mathematical Programming Matthew J. Liberatore John F. Connelly Chair in Management Professor, Decision and Information Technologies.
Lesson 08 Linear Programming
FACTORIAL ANOVA Overview of Factorial ANOVA Factorial Designs Types of Effects Assumptions Analyzing the Variance Regression Equation Fixed and Random.
Partially Observable Markov Decision Process (POMDP)
On Large-Scale Peer-to-Peer Streaming Systems with Network Coding Chen Feng, Baochun Li Dept. of Electrical and Computer Engineering University of Toronto.
Linear Programming Using the Excel Solver
Planning under Uncertainty
Operations Management
Markov Decision Models for Order Acceptance/Rejection Problems Florian Defregger and Heinrich Kuhn Florian Defregger and Heinrich Kuhn Catholic University.
Channel Allocation for the GPRS Design and Performance Study Huei-Wen Ferng, Ph.D. Assistant Professor Department of Computer Science and Information Engineering.
An overview of design and operational issues of kanban systems M. S. AKTÜRK and F. ERHUN Presented by: Y. Levent KOÇAĞA.
Planning operation start times for the manufacture of capital products with uncertain processing times and resource constraints D.P. Song, Dr. C.Hicks.
1 Chapter 7 Dynamic Job Shops Advantages/Disadvantages Planning, Control and Scheduling Open Queuing Network Model.
Linear programming. Linear programming… …is a quantitative management tool to obtain optimal solutions to problems that involve restrictions and limitations.
Dimitrios Konstantas, Evangelos Grigoroudis, Vassilis S. Kouikoglou and Stratos Ioannidis Department of Production Engineering and Management Technical.
IE 594 : Research Methodology – Discrete Event Simulation David S. Kim Spring 2009.
Dr. Cesar Malave Texas A & M University
Flows and Networks Plan for today (lecture 5): Last time / Questions? Blocking of transitions Kelly / Whittle network Optimal design of a Kelly / Whittle.
1 Chapter 5 Flow Lines Types Issues in Design and Operation Models of Asynchronous Lines –Infinite or Finite Buffers Models of Synchronous (Indexing) Lines.
MIT Fun queues for MIT The importance of queues When do queues appear? –Systems in which some serving entities provide some service in a shared.
Introduction A GENERAL MODEL OF SYSTEM OPTIMIZATION.
1 ECE-517 Reinforcement Learning in Artificial Intelligence Lecture 7: Finite Horizon MDPs, Dynamic Programming Dr. Itamar Arel College of Engineering.
Networks of Queues Plan for today (lecture 6): Last time / Questions? Product form preserving blocking Interpretation traffic equations Kelly / Whittle.
1 S ystems Analysis Laboratory Helsinki University of Technology Flight Time Allocation Using Reinforcement Learning Ville Mattila and Kai Virtanen Systems.
1 Dr. Ali Amiri TCOM 5143 Lecture 8 Capacity Assignment in Centralized Networks.
© 2015 McGraw-Hill Education. All rights reserved. Chapter 19 Markov Decision Processes.
Information Theory for Mobile Ad-Hoc Networks (ITMANET): The FLoWS Project Competitive Scheduling in Wireless Networks with Correlated Channel State Ozan.
Flows and Networks Plan for today (lecture 6): Last time / Questions? Kelly / Whittle network Optimal design of a Kelly / Whittle network: optimisation.
Content caching and scheduling in wireless networks with elastic and inelastic traffic Group-VI 09CS CS CS30020 Performance Modelling in Computer.
IT Applications for Decision Making. Operations Research Initiated in England during the world war II Make scientifically based decisions regarding the.
Stochastic Optimization
1 Optimization Techniques Constrained Optimization by Linear Programming updated NTU SY-521-N SMU EMIS 5300/7300 Systems Analysis Methods Dr.
Chance Constrained Robust Energy Efficiency in Cognitive Radio Networks with Channel Uncertainty Yongjun Xu and Xiaohui Zhao College of Communication Engineering,
© 2015 McGraw-Hill Education. All rights reserved. Chapter 17 Queueing Theory.
Flows and Networks Plan for today (lecture 6): Last time / Questions? Kelly / Whittle network Optimal design of a Kelly / Whittle network: optimisation.
MODELING AND SIMULATION CS 313 Simulation Examples 1.
Graphical Models for Segmenting and Labeling Sequence Data Manoj Kumar Chinnakotla NLP-AI Seminar.
Arne Thesen and Akachai Jantayavichit Slide 1 A new approach to tolerance improvement through real-time selective assembly Arne Thesen and Akachai Jantayavichit.
Appendix A with Woodruff Edits Linear Programming Using the Excel Solver Copyright © 2010 by The McGraw-Hill Companies, Inc. All rights reserved.McGraw-Hill/Irwin.
Approximation algorithms for combinatorial allocation problems
Introducing Information into RM to Model Market Behavior INFORMS 6th RM and Pricing Conference, Columbia University, NY Darius Walczak June 5, 2006.
QoS & Queuing Theory CS352.
Buffer Management in a Switch
CS b659: Intelligent Robotics
Analyzing Security and Energy Tradeoffs in Autonomic Capacity Management Wei Wu.
Modeling and Simulation CS 313
Lottery Scheduling: Flexible Proportional-Share Resource Management
Scheduling in Wireless Communication Systems
Chapter 7 Network Flow Slides by Kevin Wayne. Copyright © 2005 Pearson-Addison Wesley. All rights reserved.
Arne Thesen and Akachai Jantayavichit
Hidden Markov Models Part 2: Algorithms
IV-2 Manufacturing Systems modeling
Throughput-Optimal Broadcast in Dynamic Wireless Networks
Flows and Networks Plan for today (lecture 6):
Memory Management Algorithms Huan Liu, Damon Mosk-Aoyama
Introduction to Scheduling Chapter 1
Markov Decision Problems
Javad Ghaderi, Tianxiong Ji and R. Srikant
Algorithm Design Methods
Queueing Theory Chapter 1
Queuing Networks Mean Value Analysis
Uses of Performance Analysis in High Speed Assembly
Reinforcement Learning Dealing with Partial Observability
Flexible Assembly Systems
Dr. Arslan Ornek MATHEMATICAL MODELS
Wireless MAC Multimedia Extensions Albert Banchs, Witold Pokorski
Presentation transcript:

Professor Arne Thesen, University of Wisconsin-Madison An Efficient Real Time Scheduling Scheme for Certain Flexible Manufacturing Systems Arne Thesen Department of Industrial Engineering University of Wisconsin-Madison Madison, WI USA Professor Arne Thesen, University of Wisconsin-Madison

1 This talk Problem is to develop simple but efficient control scheme for a given class of production systems Pre-production analysis Rule independent bounds on performance Introduce three state-independent schemes Optimal state-dependent scheduling Evaluation Both analytic, and simulation results Conclusion Very good simple scheduling rules can be found Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

1.1 Example Type 1 parts are processed on the cell and on machine 1, Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

1.2 The Real-Time Scheduling Problem Determine in real time what part should be processed next at a cell A number of different parts are available for processing Processing times are not known with certainty The cell feeds a number of machines Information about current and future states is limited The expected production rate for the overall system should be maximized. The best control system is no control system Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

1.3 Four Real Time Decision Rules Random (Push) Next part is selected at random, probabilities reflect product mix Cell often blocked Rotation (Push) Parts produced in fixed sequence Sequences for some mixes may be difficult to develop Circulating tokens (Pull) A fixed number of part-specific tokens rotate in a FIFO manner Token mix established from part routing and product mix SMDP (Push) Optimal state-dependent rule if Markov assumptions hold Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

1.4 The Problem: More Details Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

1.5. The Problem: Previous Work Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

2. Pre-Production Analysis Bound on Performance Three state independent schemes Optimization Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

2.1 A Bound on Performance Ignoring issues of blocking and queuing delays, linear programming can be used to establish an upper bound on expected profit: Maximize z= x1 + x2 + x3 (Production per unit time) Subject to: 0.24 x1 + 0.48 x2 + 0.72 x3 <= 1 (Capacity of cell) 2 x1 <= 1 (Capacity of machine 1) 3 x2 <= 1 (Capacity of machine 1) 1 x3 <= 1 (Capacity of machine 1) Where: xi = Parts of type i produced per unit time The optimal production rate is: z= 110 parts per hour, and x1 = 30 pph, x2 = 20 pph, x3 = 60 pph The corresponding product mix is: x1 = 27.3%, x2 = 18.2%, x3 = 54.5% Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

2.2 The Rotation schedule The bound suggests that we produce parts in the following proportions 30/110 of Part 1, 20/110 of Part 2 and 60/110 of Part 3. Thus the following sequence is feasible; 1, 1, 1, 2, 2, 3, 3, 3, 3, 3, 3,… However, to avoid blocking parts should be evenly spaced: 3, 1, 3, 2, 3, 1, 3, 2, 3, 1, 3, … The resulting product mix is 27.3%, 18.2% and 54.2% of parts 1, 2 and 3. Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

2.3 Circulating tokens Must arrive at Cell at a rate equal to the desired production rate Round trip times depends on token count and processing times Queuing theory man be used to estimate proper # of tokens Optimal initial token sequence is : 3, 1, 2, 3 , 1 , 2 Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

2.4 A heuristic for allocation of tokens Throughput estimated from steady-state Markov balance equations Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

2.5 Optimization: Semi-Markov Decision Processes Assuming that All system states can be enumerated (next slide) Decisions in a given state are always made the same way , and, Processing times are exponentially distributed. Then we can compute steady state probabilities for being in each state, making any state transition. If rewards are given for some transitions (e.g. “make part”), expected profit for given set of decisions can be computed, dynamic programming can be used to find optimal set of decisions. Resulting decisions can form “rule-base” for optimal state dependent scheduling system Optimal decisions for state space with 50,000 states easily obtained Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

2.5 State transition diagram for case with two machines, each with one buffer space Cell Buffer 1 Machine 1 Buffer 2 Machine 2 Part of type a in cell Machines empty Decision States (? ; - - ; - -) (a;--;--) (b;--;--) (?;-a;--) (?;--;-b) (a;-a;--) (b;-a;--) (a;--;-b) (b;--;-b) (?;aa;--) (?;-a;-b) (?;--;bb) (b;aa;--) (a;-a;-b) (b;-a;-b) (a;--;bb) Probabilistic states (?;aa;-b) (?;-a;bb) (b;aa;-b) (a;-a;bb) (?;aa;bb) Blocked State Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

2. 5. The optimal rule-base Thesen and Chen found the following optimal policy L.P. BOUND 110 Parts/Hour OPTIMAL (No blocking) 109 Parts/Hour OPTIMAL (Blocking) 95 Parts/Hour Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

3. Evaluation Example problem Other scenarios Blocking avoidance Simulation Markov process Other scenarios Blocking avoidance Simulation results are averages for 10,000,000 parts Analytic results are obtained for statespaces of up to 100,000 states Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

3.1 The example proble Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

3.2 Additional Scenarios Mean processing times at machines 1, 2 and 3 are 2, 3, and 1 minutes Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

3. 2 Rules for scenarios 1 - 10 Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

3.2 Simulation Analysis: Simple rules Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

3.3 Blocking avoidance Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

3.4 Observations Good rules must The token rule achieves this by Produce parts in proper mix Avoid delays due to blocking The token rule achieves this by Using a small number of tokens Using proper combination of tokens The optimality of the token assignment heuristic must be proven Extensions to other distributions and unequal buffer sizes yield similar results Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison

4. Conclusion Our goal was to find a simple control scheme for a production system Three state-independent schemes were developed Their performance was compared to an optimal control scheme The token based scheme was found to give near optimal performance A benefit of this scheme is its lack of need for real-time information Future work include Analytic estimators of expected throughput for this rule Proof of optimality for token allocation heuristic Professor Arne Thesen, University of Wisconsin-MadisonProfessor Arne Thesen, University of Wisconsin-Madison