On the equivalence of economic lot scheduling and switched production systems

Size: px
Start display at page:

Download "On the equivalence of economic lot scheduling and switched production systems"

Transcription

1 On the equivalence of economic lot scheduling and switched production systems K.G.M. Jacobs, Dieter Armbruster,, Erjen Lefeber and J.E. Rooda January, 2 Abstract Scheduling production of several product types in one machine such that it satisfies known demands is known as the economic lot scheduling problem. Finding the schedule of a machine that can produce different types of products that optimizes a particular production measure (work in progress, throughput, cycle time) is known as the switched production problem. It is shown that the two problems are completely equivalent by reversing the flows and replacing outside demand by an infinite buffer of raw material. As an example, two results from switched production systems are applied to the economic lot scheduling problem: i) A feedback controller that allows recovery of a cyclic production schedule from two products on one machine from an arbitrary perturbation is derived. ii) It is shown that inventory refill policies for networks based on producing with maximal rate until an order up to point is reached can lead to starvation of the network and suboptimal behavior. An alternative policy that is optimal is also presented. Introduction The traditional approaches to the problem of scheduling production for a set of items in a factory or a whole supply chain is known as Economic Lot Scheduling Problems (ELSP) [6, 7, 5]. An ELSP addresses production scheduling of several part types, each with a known demand occurring at a constant rate, typically on a single machine. Production rates are known and either constant or controllable. Backorders are either not allowed or Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 53, NL-56 MB, Eindhoven, The Netherlands, k.g.m.jacobs@student.tue.nl, A.A.J.Lefeber@tue.nl Department of Mathematics and Statistics, Arizona State University Tempe, AZ , USA, armbruster@asu.edu

2 incur backorder costs, holding costs are charged on average inventory levels and setup costs for switching between different products arise. A specific subset of ELSP determine optimal Common Cycle Schedules (also known as Rotation Schedules), restricting the problem to policies that cycle production through the items every T units of time. The objective is to minimize the sum of the average inventory holding costs, backorder costs and setup costs per unit time. A solution must specify the sequence in which parts are to be produced; the production quantities, or, equivalently, the productionrun durations; and the time at which each setup is to begin ([] for a good overview). A complementary approach to ELSP comes from job shop, flow shop or re-entrant production scheduling where parts arrive into the manufacturing system with certain (random) arrival rates and compete for available manufacturing capacity along their flow through the shop. We call this approach switched production systems. The goal of scheduling switched production systems is to improve performance measures such as mean cycle time, the variance of the cycle time or the amount of work in progress (WIP) in the system. ELSP is a form of inventory management and focusses on costs. Switched production systems focus on throughput as a surrogate for production costs per unit. The smallest examples of a switched production system and an inventory management system are depicted in Figure a and b, respectively. In inventory management systems, see Figure a, buffers are drained at a constant rate. A server can fill up the buffers one at a time. In switched production systems Figure b it is assumed that products enter the system at buffers at a constant rate. A server can take lots out of a buffers one at a time. Switching between serving two types takes setup time. Products leave the system after the server. Figure illustrates the main point of this paper: Economic lot scheduling problems and switched production problems are completely equivalent by reversing their flows and replacing outside demand by an infinite buffer of raw material. While it was obvious that both approaches to scheduling deal with similar problems (see eg. comments in [3]), the exact equivalence between the two approaches has so far escaped notice. As a consequence, results that are known in one field have not been transfered to the other. The current paper illustrates the importance of this equivalence by transfering two recent results on scheduling switched production systems by Lefeber et al [9,, 2] into the realm of inventory management: We will show that a feedback controller developed for switched production can be used to generate a feedback control system that recovers a 2

3 (a) Simplest cyclic inventory management system (b) Simplest switched production system Figure cyclic production schedule for two inventories from an arbitrary perturbation. We will show that using order up to policies where production is executed with a maximal possible rate may lead to starvation of inventories in certain supply chains. In section 2 we will develop a controller using Lyapunov s direct method to recover a cyclic production schedule from an arbitrary perturbation. The resulting controller is related to the dynamic PUT policy discussed by Eisenstein [3]. Extending Eisenstein s result, it is a state feedback controller, that can decide to terminate production at any inventory level, independent of a fixed order-up-to point. In particular the feedback controller may require other than maximal production rates, e.g. it may have a mode where production is reduced to the demand rate [, 4] (called a slow mode.in switched production systems). In addition, we will show that the feedback is robust (section 2.2) and performs well for the Stochastic Lot Scheduling Problem (section 2.3). In section 3 we will extend the ELSP to networks of inventories and the question of inventory refill policies and their scheduling. A famous system 3

4 dealing with re-entrant production is the Kumar-Seidman system [8]. The startling result of this system is that, although the production capacities of the machines are bigger than the combined influx rates, any policy that switches production when a queue has been emptied (a clearing policy) will always lead to an instability, i.e. a queue that grows unbounded. The reformulated K-S result in the ELSP context is that there are demand levels where, although the production capacities of the factories in the network exceed the demand, any PUT policy that replenishes inventories with maximal possible rates will starve some inventories and hence the supply chain will not be able to satisfy the demand. We will show that a cyclic schedule that contains slow modes will allow maximal demand rates. 2 Controller design via Lyapunov s direct method for a single server system We illustrate the impact of the equivalence between ELSP and switched production by deriving a feedback controller for periodic schedules of a two product inventory management system. 2. State space and dynamics We consider the ELSP for the system shown in Figure a. We assume that an optimal target schedule is given. It is worth commenting on the optimality of the target schedule: Given an period T and a production capacity that is high enough to satisfy the demand, a target schedule with minimal mean inventory may have idle times and one or more slow modes. Idle times can be forced due to setup times or may be part of the optimality condition of the target schedule. More than one slow mode and unforced idle times are an indication that there is slack production capacity that will allow us to recover from perturbations of the system away from the desired orbit. However given a production capacity, there is always a minimal period T in which the production can satisfy the demand. Any perturbation from that orbit can at best recover to the schedule with a phase shift. In the following, we assume that there is slack capacity in the system. We consider two lot types and two inventories x i,i =,2. The time evolution of the two inventories is described through a fluid model that continuously drains the inventories and refills them when the machine M produces the appropriate lot type. The maximal production rates are given as µ i,i =,2 and the drain rates are given as λ i,i =,2. The state of the system is characterized through the size of the inventories x i which are continuous state variables and the current mode m {, 2}. Negative buffers are allowed which will be treated as backorder that will be filled within the cyclic schedule. In the mode m = the machine produces type lots with 4

5 production rates u, u µ, in mode m = 2 it produces type 2 lots with production rates u 2, u 2 µ 2. Production rates can be zero, i.e. we allocate idle times to a production mode and without loss of generality we start a mode with the idling period. Finally, x is a continuous state variable that describes the elapsed time in the current mode. Hence the state of the system is fully described by X = (m,x,x,x 2 ) = (m,x,x) {,2} R + R 2. The input of the system describes the time evolution of the production rates u i (t),i =,2,(u,u 2 ) R 2 +. and the switches between the two production types u (t) where u takes the values or 2. The switching dynamics is given by the rule: If u (t) m(t) then change m(t) and reset the phase x (t) to zero. The dynamics of the buffers are given as a fluid model: ẋ (t) = () ẋ (t) = u (t) λ, (2) ẋ 2 (t) = u 2 (t) λ 2. (3) Furthermore, at each time instant the input (u,u 2 ) is subject to the following constraints: u µ, u 2 = if m = u = u 2 µ if m = 2 (4) i.e. the server can only produce one type of lot. Any time a production rate changes from zero to a nonzero value, the state variable m is updated to the current production type. 2.2 Controller Consider a given periodic orbit (m (t),x (t),x (t),x 2 (t)) and assume the orbit can be written as (x (m,x ),x 2 (m,x )). The set of values of m and x for the desired orbit is denoted by D describing the total time (idling and production) in each mode. Definition. For an arbitrary point X = (m,x,x,x 2 ) D we define If x D then V (X) = x x (m,x ) µ + x 2 x 2 (m,x ) µ 2 V (,,x,x 2 ) = x x (2,) + x 2 x 2 (2,) µ µ 2 V (2,,x,x 2 ) = x x (,) + x 2 x 2 (,) µ µ 2 5

6 V measures the difference between the scaled inventory at the current point and the inventory at the point in the cycle where the system should be. If x D then the system has been in a specific mode for too long and it should immediately switch modes. Hence the difference is with the inventory at the starting point of the new mode. Lemma. The scalar function V as defined in Definition is a Lyapunov function candidate. Proof. Clearly V (X) and V (X) = if and only if X is at the desired periodic orbit. In addition, V is obviously positive definite. Figure 2: Trajectory of the target periodic orbit associated with the system given in Equation 8 Given a specific target periodic orbit we can now choose an input function in such a way as to minimize V (X) over the set of allowed inputs. Assume that initially, at t =, the server is in a state X = (m,x,x,x 2 ) D corresponding to a uniquely defined point (x (m,x ),x 2 (m,x )) on which the system should be on the desired periodic orbit. Associated with the current state and this desired point is a value V (X) of the Lyapunov function. The Lyapunov function does not change, if the system and the target trajectory are in the same mode (idling or producing) since the difference 6

7 between x i (t) and x i (t) stays constant for all i. The Lyapunov function can be reduced however by reducing or enlarging the idle time. Synchronization will be maintained by keeping the schedule for the mode switching intact, adjusting the idle times. Reducing the idle time is appropriate, if a buffer is empty and the other buffer is higher than the desired buffer level. In that case we can keep the empty buffer empty by supplying an input that is equal to the demand (a slow mode). Prolonging the idle time is appropriate if at the time to switch to producing product i, buffer x i it not empty. In that case, production is delayed until the inventory x i = x i. Hence the resulting feedback control rule for a state X = (m,x,x,x 2 ) D can be stated very simply: Continue in the current mode of the system until the next scheduled switching event. If you are in the idle time interval for mode i and buffer x i runs empty before going into production mode maintain the empty buffer by supplying an input that is equal to the demand until the next scheduled production time. If you are at the time to switch to production of product i and x i, then delay switching until x i = x i. If you are in the production time interval of mode i and x i > x i, then idle until x i = x i otherwise produce with maximal rate until the next switching time. It only remains to discuss what to do if the state X / D. If at any point in time the buffer contents is negative, i.e. backlog occurs, this should directly be compensated by serving at full rate. If the inventories are too high, the system should immediately switch to the desired production schedule and drain the inventories until X = (m,x,x,x 2 ) D. This input schedule reduces the Lyapunov function and leads to convergence in state space, i.e. convergence to the target schedule with zero phaseshift and zero backlog (see [9] for a formal proof). Note that Eisenstein s Dynamic PUT policy [3] also recovers the signal without phase shift, if the token velocity v i = µ i for i {,2}. However, dynamic PUT policies create backlogs instead of using a slow mode. We illustrate our development of a state space controller with the following example. Example : We assume a demand rate for product of λ = lots/sec, λ 2 = 2 and production capacities of µ = 6 and µ 2 = 2. The desired periodic orbit is shown in Figure 2 in the (x,x 2 ) phase plane. Figure 3a) shows a perturbed trajectory in the inventory phase space and Figure 3b) shows the associated time signals of the inventories and the recovery of the periodic orbit. The starting point corresponds to inventories that are too high in x and too low in x 2. The control policy is to stay in mode m = 2 draining both inventories until x 2 is zero, to switch to a slow mode until the regular time to start production for product 2 and to continue with a regular switches to m =. At that time x 2 is on target but x is too high. Idling longer than ususal until the target trajectory is reached completes the 7

8 4 25 x2 [lots] x [lots] x [lots] x2 [lots] t [sec] Recovery Lyapunov Desired trajectory t [sec] Figure 3: Target trajectory and recovery in phase space (left) and as time signals for the inventories x (t) and x 2 (t) (right). Note the slow mode at t = 3..6 where x 2 (t) stays zero thus avoiding backlog. recovery. The equations for the periodic orbit, the Lyapunov function candidate and the feedback control on the input signal are given in the Appendix. 2.3 Stochasticity Having a state feedback controller is the first step to be able to systematically deal with stochastic perturbations of the demands for the different products. Figure 4 shows a sample run. We assume that both buffers are drained with demand sampled daily in an iid fashion from a Γ-distribution with mean of lot lot day and a variance of.25 for buffer and 2day and a variance of.5 for buffer 2, respectively. We also add an intial perturbation starting buffer much higher than on schedule and starting buffer 2 with a backlog. Figures 4a and b) show a sample path for the two drain rates on a time interval of 2 days. Figures 4c and d) show a desired schedule with significant idle times and the actual buffer levels for a controlled system run where the drain rates vary according to the sample in Figure 4a and b). We see that i) the 8

9 initial perturbation can easily be absorbed, and ii) the controller is able to maintain the schedule. In particular, after the initial perturbation has been absorbed, peak inventory occurs always at the exact time of the schedule. Figure 5 a and b) show the behavior of the controller and the inventories for a different sample path of the drain rates and for a schedule that has no idle times but two slow modes, a short one for buffer and a longer one for buffer 2. The advantage of such an orbit is that the total amount of inventory is much less (average inventory is 9.6) for this orbit than for the previous target orbit (average inventory 3). Again, the controller can deal with the very significant initial perturbations and with the ongoing stochasticity in the drain rates. However, the fit to the original schedule is not quite as good as before and there are occasions where the system creates small backogs during the slow modes. A more detailed analysis of the behavior of the controller for stochastic drain rates requires the use of filters. Clearly, for high frequency variations, the controller should not follow the noise but perform some sort of smoothing. 3 A re-entrant supply chain The second transfer of results based on the equivalence between ELSP and switched production systems relates re-entrant production and inventory management in supply chains. Produce up to policies (PUT) in its various guises (static - fixed or ignore [5] or dynamic [3]) can be shown to be optimal for single inventories under certain circumstances. They are characterized by events that trigger production runs using maximal production capacity to refill inventories from zero up to a specific predetermined level. It is therefore tempting to try to extend them to schedule inventory replenishment for production networks with more than one inventory. We will show by a specific example of a reentrant supply chain, that production switches between maximal production rates of different lots, triggered by the drainage of an inventory to specific predetermined level (typically zero) may lead to a drastically reduced overall capacity of the network and hence to suboptimal production cycles. We will show that optimal production cycles can be found containing slow modes and idle times. Furthermore, we will show that there exist robust recovery policies that stablize those optimal cycles under perturbations. Figure 6 shows the inventory management system equivalent to the Kumar-Seidman (K-S) system [8] in switched productions. The system serves lots of one type, which first visit server, then server 2, then server 2 again and finally server again. The successive buffers are denoted by x i, i {,2,3,4}. A constant demand rate λ > is assumed at buffer x 4, while the maximal processing rates at the machines to refill the buffers are 9

10 λ(t) [lot/sec].5 λ2(t) [lot/sec] time [sec] (a) J = 3 DES Simulation Schedule time [sec] (b) x [lots] 5 x2 [lots] time [sec] (c) time [sec] (d) Figure 4: a) and b) shows a sample path for the drain rates of λ and λ 2, c) and d) show a target schedule and time evolution of the inventories under the control action. µ >, µ 2 >, µ 3 >, and µ 4 >. 3. Maximal rate PUT policies reduce capacities for a supply chain We are interested in periodic schedules for a given period T and define a Maximal Rate PUT policy (MR-PUT) Definition 2. Maximal Rate Produce-Up-To (PUT) policy. Whenever a server is serving parts in a particular buffer, it continues serving at maximal rate until it has produced λt lots. Next, it switches to one of the buffers that is empty (or has a negative value in case of buffer x 4 ). In one period, all buffers are served exactly once.

11 35 J = 9.6 DES Simulation Schedule x [lots] 5 x2 [lots] time [sec] time [sec] (a) (b) Figure 5: a) and b) shows a target schedule with two slow modes and the time evolution of the inventories under the control action. The drain rates λ i were chosen stochastically with the same statistical properties as in Figure 4 but with a different sample The standard definition of a PUT policy is only concerned with the buffer levels that should be attained and not in the way to get there. However, almost always, they are implictly using an MR-PUT policy. We will show Figure 6: Flow in a re-entrant supply chain that MR-PUT policies cannot satisfy certain demands even though there should be enough production capacity. Define ρ i = λ µ i. Assume that every machine by itself has enough production capacity to satisfy the demand, i.e. ρ + ρ 4, ρ 2 + ρ 3. (5) Consider in addition µ < µ 2 and µ 3 < µ 4, i.e. ρ > ρ 2 and ρ 3 > ρ 4 and assume that initially, the system is in state x(t ) := (x (t ),x 2 (t ),x 3 (t ),x 4 (t )) = (,,,ξ). (6)

12 During [t,t ] server M serves type at full rate, µ, and server M 2 serves type 2 at reduced rate, µ, since µ < µ 2. At t = λt µ both servers M and M 2 ( have processed λt ) lots. This brings the system into the state x(t ) =,λt,,ξ λt µ λ. Since both M and M 2 have processed exactly λt, the servers can switch to serving type 4 and type 3, respectively. During [t,t 2 ], M 2 serves type 3 at full rate, µ 3, and M serves type 4 at reduced rate, µ 3, since µ 3 < µ 4. At t 2 = t + λt µ 3 = (ρ +ρ 3 )T both servers have produced λt lots and buffers x, x 2 and x 3 are empty, i.e. they are in same state as initially. Buffer x 4 contains x 4 (t )+θλ, with θ = T t 2 = T( (ρ +ρ 3 )). If θ, i.e. ρ + ρ 3, the supply chain with this policy satisfies the demand λ. The system idles for θ units of time until t 3 = T. During idling exactly θλ products are drained out of buffer x 4, thus bringing the system back into the intial state (Equation 6). In case θ >, i.e. ρ + ρ 3 >, the system cannot satify the demand λ. At t 2 > T, all buffers are in the same state as the initial one, except for buffer x 4 which is smaller than at t =, x 4 (t 2 ) x 4 (t ) <. In order to produce λt lots, we need a period longer than T. Even though we are draining only the amount allowed during a cycle of length T, the system is drained of its WIP at the end of the cycle. Hence, repeated iteration with a cycle length of t 2 will lead to starvation of the final inventory and hence to lower output. Notice that the instability can also be viewed as an increase in the period of production which will iterate to infinity. The other cases for the relationships between µ and µ 2 and µ 3 and µ 4 can be discussed in a similar way. Overall we get the following theorem: Theorem. Consider the K-S supply chain with an MR-PUT inventory policy and a fixed drain rate λ. Then demand that can be satisfied in a stable way has to obey the capacity limits of any one of the individual machines serving inventory one and four and two and three respectively, and the capacity limits of the virtual machines [2] relating step two and four and step one and three respectively, i.e. λ min ( µ µ 4 µ + µ 4, µ 2 µ 3 µ 2 + µ 3, 3.2 A policy that minimizes WIP µ 2 µ 4 µ 2 + µ 4, µ µ 3 µ + µ 3 The Kumar Seidman problem for switched production has been studied in [] and a schedule that minimizes WIP J = lim sup t t t x (τ) + x 2 (τ) + x 3 (τ) + x 4 (τ)dτ has been found. The transfer to the ELSP is straightforward and leads to scheduling policies with minimal inventory which satisfy demand up to the 2 ).

13 capacity limit of the real machines. The resulting schedule involves idling and slow modes as shown in the following example. Example 2 Consider ρ =.6, ρ 2 =.4, ρ 3 =.5, ρ 4 = 3, λ = 4 [lots/s], and T = [s] and an initial buffer content (x,x 2,x 3,x 4 ) = (τ µ 2 (µ 2 µ ) τ2 µ,,,τ µ λ). Then the production modes and their swithing times for a WIP-optimal cycle are given through the D = (m,x x 5 if m = (,2),x,x 2,x 3,x 4 ) x if m = (,3). x 4 if m = (4,3) where m = (i,j) indicates that machine M serves inventory i and machine M 2 serves inventory j. The related time evolution of the inventories is given by m = (,2) and x : { x = x x 2 = x 3 = x 4 = 24 4x m = (,2) and x 5 : { x = (x ) x 2 = (x ) x 3 = x 4 = 24 4x m = (,3) and x : { x = x x 2 = 4 8x x 3 = 8x x 4 =. m = (4,3) and x : { x = x 2 = 32 8x x 3 = 8 + 4x x 4 = m = (4,3) and x 4 : { x = x 2 = 32 8x x 3 = 2 4(x ) x 4 = 8(x ) (7) Figure 7 gives a graphical represention of the inventories. Notice that for the first timesteps machine M 2 is idling and that for 6 t 8 machine M serves in slow mode producing just enough to meet the external demand λ. 4 Conclusion We have pointed out the equivalence of ELSP problems and switched production systems. We have illustrated the usefulnes of this observation by deriving a feedback controller for a cyclic production sytem that allows the 3

14 x x 4 2 Inventory [lots] t[s] (a) Inventory levels for the inventories refilled by machine M in example 2 as a function of time: x (t) (dashed-dotted) and x 4(t) (full line) x 2 x 3 3 Inventory [lots] t[s] (b) Inventory levels for the inventories refilled by machine M 2 in example 2 as a function of time: x 2(t) (dotted) and x 3(t) (dashed). Figure 7 4

15 schedule to recover from arbitrary perturbations. In addition we have discussed the implications of the Kumar-Seidman problem of switched production systems for the refill policies of production and inventory networks. We show that refill policies based on order up to points and maximal production rates to achieve those inventory levels may lead to suboptimal throughput for the network. In addition, we showed that we can recover optimal behavior using a slow mode production. Generalizing from this specifc example we propose that any approach to scheduling inventory refills in topologically complicated supply networks that restricts the inventory refill to MR-PUT policies or similar policies based on the maximal possible refill rates is highly likely to lead to suboptimal responses of the supply chain. Acknowledgement We would like to thank Esma Gel for introducing us to the Eisenstein paper [3]. D.A s research was partially supported by NSF grant DMS and a grant from the Stiftung Volkswagenwerk through the program on complex networks. 5 Appendix 5. Periodic orbit for Example The desired target periodic orbit is given as for m = : { x = x x 2 = 4 2x if x, x = 5(x ) x 2 = 4 2x if x 4, for m = 2 : { x = 2 x x 2 = 2 2x if x 6, x = 2 x x 2 = (x 6) if 6 x. (8) The set of values of m and x for the desired orbit is given by { D = (m,x,x,x 2 ) x } 4 if m =, x if m = 2. 5

16 5.2 A Lyapunov function candidate for Example The Lyapunov function candidate for Example is given by: 6 x x x x 2 if m = x, 6 5(x ) x x x 2 if m = x 4, V = 6 2 x x 2 if m = x > 4, 6 2 x x x x 2 if m = 2 x 6, 6 2 x x + 2 (x 6) x 2 if m = 2 6 x, 6 x x 2 if m = 2 x >. 5.3 The input signal for a feedback controller for Example (,,) if m =, x >, x <, (,λ,) if m =, x =, x <, (,µ,) if m =, x <, x < 4, (,,) if m =, x < x, x < 4, (,µ,) if m =, x x, x < 4, (2,,) if m =, x (u,u,u 2 ) = 4, () (2,,) if m = 2, x 2 >, x < 6, (2,,λ 2 ) if m = 2, x 2 =, x < 6, (2,,µ 2 ) if m = 2, x 2 <, x < (2,,) if m = 2, x 2 < x 2, 6 x <, (2,,µ 2 ) if m = 2, x 2 x 2, 6 x <, (,,) if m = 2, x, References [] Karla E. Bourland and Candace A. Yano. A comparison of solution approaches for the fixed-sequence economic lot scheduling problem. IIE Transactions (Institute of Industrial Engineers) 29 (2), 3-8, 997. [2] J. G. Dai and J. H. Vande Vate. The stability of two-station multi-type fluid networks. Operations Research, Vol 48, , 2. [3] D. Eisenstein. Recovering cyclic schedules using dynamic produce-up-to policies. Operations Research 53 (4), , 25. [4] Mohsen Elhafsi and Sherman X. Bai. The Common Cycle Economic Lot Scheduling Problem with Backorders: Benefits of Controllable Production Rates. Journal of Global Optimization : , 997. [5] G. Gallego. Scheduling the Production of Several Items with Random Demands in a Single Facility. Management Sci., 36, , 99. (9) 6

17 [6] S.B. Gershwin. Manufacturing Systems Engineering. Prentice-Hall, 994. [7] S.B. Gershwin. Design and Operation of Manufacturing Systems Control- and System-Theoretical Models and Issues. Proceedings of the 997 American Control Conference, Albuquerque, New Mexico , June 997. [8] P.R. Kumar and T.I. Seidmann. Dynamic instabilities and stabilization methods in distributed real-time scheduling of manufacturing systems. IEEE Trans. Automatic Control 35 (3), 999. [9] E. Lefeber and J.E. Rooda. Controller design for switched linear systems with setups. Physica A 363, 48 6, February 26. [] E. Lefeber and J.E. Rooda. Optimal behavior for the Kumar-Seidman network of switching servers. Proceedings of the 6th EUROMECH Nonlinear Dynamics Conference (ENOC8); St. Petersburg, Russian Federation, 28. [] Ilkyeong Moon, Guillermo Gallego, and David Simchi-Levi. Controllable production rates in a family production context. International Journal of Production Research, 29 (2), , 99. [2] J.A.W.M. v. Eekelen, E. Lefeber, and J.E. Rooda. Feedback control of 2-product server with setups and bounded buffers. Proceedings of the 26 American Control Conference; Minneapolis, United States, , 26. 7

Coordinated Replenishments at a Single Stocking Point

Coordinated Replenishments at a Single Stocking Point Chapter 11 Coordinated Replenishments at a Single Stocking Point 11.1 Advantages and Disadvantages of Coordination Advantages of Coordination 1. Savings on unit purchase costs.. Savings on unit transportation

More information

A scalar conservation law with discontinuous flux for supply chains with finite buffers.

A scalar conservation law with discontinuous flux for supply chains with finite buffers. A scalar conservation law with discontinuous flux for supply chains with finite buffers. Dieter Armbruster School of Mathematical and Statistical Sciences, Arizona State University & Department of Mechanical

More information

Modeling, Validation and Control of Manufacturing Systems

Modeling, Validation and Control of Manufacturing Systems Modeling, Validation and Control of Manufacturing Systems E. Lefeber, R.A. van den Berg and J.E. Rooda Abstract In this paper we elaborate on the problem of supply chain control in semiconductor manufacturing.

More information

A Semiconductor Wafer

A Semiconductor Wafer M O T I V A T I O N Semi Conductor Wafer Fabs A Semiconductor Wafer Clean Oxidation PhotoLithography Photoresist Strip Ion Implantation or metal deosition Fabrication of a single oxide layer Etching MS&E324,

More information

STABILITY OF MULTICLASS QUEUEING NETWORKS UNDER LONGEST-QUEUE AND LONGEST-DOMINATING-QUEUE SCHEDULING

STABILITY OF MULTICLASS QUEUEING NETWORKS UNDER LONGEST-QUEUE AND LONGEST-DOMINATING-QUEUE SCHEDULING Applied Probability Trust (7 May 2015) STABILITY OF MULTICLASS QUEUEING NETWORKS UNDER LONGEST-QUEUE AND LONGEST-DOMINATING-QUEUE SCHEDULING RAMTIN PEDARSANI and JEAN WALRAND, University of California,

More information

Single-part-type, multiple stage systems

Single-part-type, multiple stage systems MIT 2.853/2.854 Introduction to Manufacturing Systems Single-part-type, multiple stage systems Stanley B. Gershwin Laboratory for Manufacturing and Productivity Massachusetts Institute of Technology Single-stage,

More information

A Method for Sweet Point Operation of Re-entrant Lines

A Method for Sweet Point Operation of Re-entrant Lines A Method for Sweet Point Operation of Re-entrant Lines Semyon M. Meerkov, Chao-Bo Yan, Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI 4819-2122, USA (e-mail:

More information

Zero-Inventory Conditions For a Two-Part-Type Make-to-Stock Production System

Zero-Inventory Conditions For a Two-Part-Type Make-to-Stock Production System Zero-Inventory Conditions For a Two-Part-Type Make-to-Stock Production System MichaelH.Veatch Francis de Véricourt October 9, 2002 Abstract We consider the dynamic scheduling of a two-part-type make-tostock

More information

Control of manufacturing systems using state feedback and linear programming

Control of manufacturing systems using state feedback and linear programming Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 Seville, Spain, December 12-15, 2005 WeA15.2 Control of manufacturing systems using state feedback

More information

Linear Model Predictive Control for Queueing Networks in Manufacturing and Road Traffic

Linear Model Predictive Control for Queueing Networks in Manufacturing and Road Traffic Linear Model Predictive Control for ueueing Networks in Manufacturing and Road Traffic Yoni Nazarathy Swinburne University of Technology, Melbourne. Joint work with: Erjen Lefeber (manufacturing), Hai

More information

Time-dependent order and distribution policies in supply networks

Time-dependent order and distribution policies in supply networks Time-dependent order and distribution policies in supply networks S. Göttlich 1, M. Herty 2, and Ch. Ringhofer 3 1 Department of Mathematics, TU Kaiserslautern, Postfach 349, 67653 Kaiserslautern, Germany

More information

[4] T. I. Seidman, \\First Come First Serve" is Unstable!," tech. rep., University of Maryland Baltimore County, 1993.

[4] T. I. Seidman, \\First Come First Serve is Unstable!, tech. rep., University of Maryland Baltimore County, 1993. [2] C. J. Chase and P. J. Ramadge, \On real-time scheduling policies for exible manufacturing systems," IEEE Trans. Automat. Control, vol. AC-37, pp. 491{496, April 1992. [3] S. H. Lu and P. R. Kumar,

More information

On the static assignment to parallel servers

On the static assignment to parallel servers On the static assignment to parallel servers Ger Koole Vrije Universiteit Faculty of Mathematics and Computer Science De Boelelaan 1081a, 1081 HV Amsterdam The Netherlands Email: koole@cs.vu.nl, Url: www.cs.vu.nl/

More information

A Novel Integral-Based Event Triggering Control for Linear Time-Invariant Systems

A Novel Integral-Based Event Triggering Control for Linear Time-Invariant Systems 53rd IEEE Conference on Decision and Control December 15-17, 2014. Los Angeles, California, USA A Novel Integral-Based Event Triggering Control for Linear Time-Invariant Systems Seyed Hossein Mousavi 1,

More information

Maximum pressure policies for stochastic processing networks

Maximum pressure policies for stochastic processing networks Maximum pressure policies for stochastic processing networks Jim Dai Joint work with Wuqin Lin at Northwestern Univ. The 2011 Lunteren Conference Jim Dai (Georgia Tech) MPPs January 18, 2011 1 / 55 Outline

More information

Type 1. Type 1 Type 2 Type 2 M 4 M 1 B 41 B 71 B 31 B 51 B 32 B 11 B 12 B 22 B 61 M 3 M 2 B 21

Type 1. Type 1 Type 2 Type 2 M 4 M 1 B 41 B 71 B 31 B 51 B 32 B 11 B 12 B 22 B 61 M 3 M 2 B 21 Design and Operation of Manufacturing Systems The Control-Point Policy by Stanley B. Gershwin Institute Massachusetts Technology of Cambridge, 02139 USA Massachusetts I I E Annual Conference Orlando, Florida,

More information

An anti-windup control of manufacturing lines: performance analysis

An anti-windup control of manufacturing lines: performance analysis An anti-windup control of manufacturing lines: performance analysis A. Pogromsky Systems Engineering Group Eindhoven University of Technology The Netherlands In cooperation with R. A. van den Berg, W.

More information

Exam of Discrete Event Systems

Exam of Discrete Event Systems Exam of Discrete Event Systems - 04.02.2016 Exercise 1 A molecule can switch among three equilibrium states, denoted by A, B and C. Feasible state transitions are from A to B, from C to A, and from B to

More information

SCHEDULING POLICIES IN MULTI-PRODUCT MANUFACTURING SYSTEMS WITH SEQUENCE-DEPENDENT SETUP TIMES

SCHEDULING POLICIES IN MULTI-PRODUCT MANUFACTURING SYSTEMS WITH SEQUENCE-DEPENDENT SETUP TIMES Proceedings of the 2011 Winter Simulation Conference S. Jain, R. R. Creasey, J. Himmelspach, K. P. White, and M. Fu, eds. SCHEDULING POLICIES IN MULTI-PRODUCT MANUFACTURING SYSTEMS WITH SEQUENCE-DEPENDENT

More information

Positive Harris Recurrence and Diffusion Scale Analysis of a Push Pull Queueing Network. Haifa Statistics Seminar May 5, 2008

Positive Harris Recurrence and Diffusion Scale Analysis of a Push Pull Queueing Network. Haifa Statistics Seminar May 5, 2008 Positive Harris Recurrence and Diffusion Scale Analysis of a Push Pull Queueing Network Yoni Nazarathy Gideon Weiss Haifa Statistics Seminar May 5, 2008 1 Outline 1 Preview of Results 2 Introduction Queueing

More information

Operations Research Letters. Instability of FIFO in a simple queueing system with arbitrarily low loads

Operations Research Letters. Instability of FIFO in a simple queueing system with arbitrarily low loads Operations Research Letters 37 (2009) 312 316 Contents lists available at ScienceDirect Operations Research Letters journal homepage: www.elsevier.com/locate/orl Instability of FIFO in a simple queueing

More information

ACHIEVING OPTIMAL DESIGN OF THE PRODUCTION LINE WITH OBTAINABLE RESOURCE CAPACITY. Miao-Sheng CHEN. Chun-Hsiung LAN

ACHIEVING OPTIMAL DESIGN OF THE PRODUCTION LINE WITH OBTAINABLE RESOURCE CAPACITY. Miao-Sheng CHEN. Chun-Hsiung LAN Yugoslav Journal of Operations Research 12 (2002), Number 2, 203-214 ACHIEVING OPTIMAL DESIGN OF THE PRODUCTION LINE WITH OBTAINABLE RESOURCE CAPACITY Miao-Sheng CHEN Graduate Institute of Management Nanhua

More information

A PARAMETRIC DECOMPOSITION BASED APPROACH FOR MULTI-CLASS CLOSED QUEUING NETWORKS WITH SYNCHRONIZATION STATIONS

A PARAMETRIC DECOMPOSITION BASED APPROACH FOR MULTI-CLASS CLOSED QUEUING NETWORKS WITH SYNCHRONIZATION STATIONS A PARAMETRIC DECOMPOSITION BASED APPROACH FOR MULTI-CLASS CLOSED QUEUING NETWORKS WITH SYNCHRONIZATION STATIONS Kumar Satyam and Ananth Krishnamurthy Department of Decision Sciences and Engineering Systems,

More information

Dynamic Call Center Routing Policies Using Call Waiting and Agent Idle Times Online Supplement

Dynamic Call Center Routing Policies Using Call Waiting and Agent Idle Times Online Supplement Submitted to imanufacturing & Service Operations Management manuscript MSOM-11-370.R3 Dynamic Call Center Routing Policies Using Call Waiting and Agent Idle Times Online Supplement (Authors names blinded

More information

Computer Science, Informatik 4 Communication and Distributed Systems. Simulation. Discrete-Event System Simulation. Dr.

Computer Science, Informatik 4 Communication and Distributed Systems. Simulation. Discrete-Event System Simulation. Dr. Simulation Discrete-Event System Simulation Chapter 0 Output Analysis for a Single Model Purpose Objective: Estimate system performance via simulation If θ is the system performance, the precision of the

More information

Singular perturbation analysis of an additive increase multiplicative decrease control algorithm under time-varying buffering delays.

Singular perturbation analysis of an additive increase multiplicative decrease control algorithm under time-varying buffering delays. Singular perturbation analysis of an additive increase multiplicative decrease control algorithm under time-varying buffering delays. V. Guffens 1 and G. Bastin 2 Intelligent Systems and Networks Research

More information

Gideon Weiss University of Haifa. Joint work with students: Anat Kopzon Yoni Nazarathy. Stanford University, MSE, February, 2009

Gideon Weiss University of Haifa. Joint work with students: Anat Kopzon Yoni Nazarathy. Stanford University, MSE, February, 2009 Optimal Finite Horizon Control of Manufacturing Systems: Fluid Solution by SCLP (separated continuous LP) and Fluid Tracking using IVQs (infinite virtual queues) Stanford University, MSE, February, 29

More information

STABILITY AND INSTABILITY OF A TWO-STATION QUEUEING NETWORK

STABILITY AND INSTABILITY OF A TWO-STATION QUEUEING NETWORK The Annals of Applied Probability 2004, Vol. 14, No. 1, 326 377 Institute of Mathematical Statistics, 2004 STABILITY AND INSTABILITY OF A TWO-STATION QUEUEING NETWORK BY J. G. DAI, 1 JOHN J. HASENBEIN

More information

Manufacturing System Flow Analysis

Manufacturing System Flow Analysis Manufacturing System Flow Analysis Ronald G. Askin Systems & Industrial Engineering The University of Arizona Tucson, AZ 85721 ron@sie.arizona.edu October 12, 2005 How Many IEs Does It Take to Change a

More information

Bucket brigades - an example of self-organized production. April 20, 2016

Bucket brigades - an example of self-organized production. April 20, 2016 Bucket brigades - an example of self-organized production. April 20, 2016 Bucket Brigade Definition A bucket brigade is a flexible worker system defined by rules that determine what each worker does next:

More information

Production Capacity Modeling of Alternative, Nonidentical, Flexible Machines

Production Capacity Modeling of Alternative, Nonidentical, Flexible Machines The International Journal of Flexible Manufacturing Systems, 14, 345 359, 2002 c 2002 Kluwer Academic Publishers Manufactured in The Netherlands Production Capacity Modeling of Alternative, Nonidentical,

More information

Control of Continuum Models of Production Systems

Control of Continuum Models of Production Systems IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 55, NO. 11, NOVEMBER 2010 2511 Control of Continuum Models of Production Systems Michael La Marca, Dieter Armbruster, Member, IEEE, Michael Herty, and Christian

More information

Research Article Convex Polyhedron Method to Stability of Continuous Systems with Two Additive Time-Varying Delay Components

Research Article Convex Polyhedron Method to Stability of Continuous Systems with Two Additive Time-Varying Delay Components Applied Mathematics Volume 202, Article ID 689820, 3 pages doi:0.55/202/689820 Research Article Convex Polyhedron Method to Stability of Continuous Systems with Two Additive Time-Varying Delay Components

More information

Supply chains models

Supply chains models Supply chains models Maria Ivanova Technische Universität München, Department of Mathematics, Haupt Seminar 2016 Garching, Germany July 3, 2016 Overview Introduction What is Supply chain? Traffic flow

More information

Hyperbolic Models for Large Supply Chains. Christian Ringhofer (Arizona State University) Hyperbolic Models for Large Supply Chains p.

Hyperbolic Models for Large Supply Chains. Christian Ringhofer (Arizona State University) Hyperbolic Models for Large Supply Chains p. Hyperbolic Models for Large Supply Chains Christian Ringhofer (Arizona State University) Hyperbolic Models for Large Supply Chains p. /4 Introduction Topic: Overview of conservation law (traffic - like)

More information

On queueing in coded networks queue size follows degrees of freedom

On queueing in coded networks queue size follows degrees of freedom On queueing in coded networks queue size follows degrees of freedom Jay Kumar Sundararajan, Devavrat Shah, Muriel Médard Laboratory for Information and Decision Systems, Massachusetts Institute of Technology,

More information

Average-Consensus of Multi-Agent Systems with Direct Topology Based on Event-Triggered Control

Average-Consensus of Multi-Agent Systems with Direct Topology Based on Event-Triggered Control Outline Background Preliminaries Consensus Numerical simulations Conclusions Average-Consensus of Multi-Agent Systems with Direct Topology Based on Event-Triggered Control Email: lzhx@nankai.edu.cn, chenzq@nankai.edu.cn

More information

OPTIMAL CONTROL OF PARALLEL QUEUES WITH BATCH SERVICE

OPTIMAL CONTROL OF PARALLEL QUEUES WITH BATCH SERVICE Probability in the Engineering and Informational Sciences, 16, 2002, 289 307+ Printed in the U+S+A+ OPTIMAL CONTROL OF PARALLEL QUEUES WITH BATCH SERVICE CATHY H. XIA IBM T.J. Watson Research Center Yorktown,

More information

Sub-Optimal Scheduling of a Flexible Batch Manufacturing System using an Integer Programming Solution

Sub-Optimal Scheduling of a Flexible Batch Manufacturing System using an Integer Programming Solution Sub-Optimal Scheduling of a Flexible Batch Manufacturing System using an Integer Programming Solution W. Weyerman, D. West, S. Warnick Information Dynamics and Intelligent Systems Group Department of Computer

More information

Nonlinear Dynamical Systems Lecture - 01

Nonlinear Dynamical Systems Lecture - 01 Nonlinear Dynamical Systems Lecture - 01 Alexandre Nolasco de Carvalho August 08, 2017 Presentation Course contents Aims and purpose of the course Bibliography Motivation To explain what is a dynamical

More information

The Stochastic Economic Lot Sizing Problem for Continuous Multi-Grade Production

The Stochastic Economic Lot Sizing Problem for Continuous Multi-Grade Production STOCHASTIC MODELS OF MANUFACTURING AND SERVICE OPERATIONS SMMSO 2009 The Stochastic Economic Lot Sizing Problem for Continuous Multi-Grade Production George Liberopoulos, Dimitrios Pandelis and Olympia

More information

Figure 10.1: Recording when the event E occurs

Figure 10.1: Recording when the event E occurs 10 Poisson Processes Let T R be an interval. A family of random variables {X(t) ; t T} is called a continuous time stochastic process. We often consider T = [0, 1] and T = [0, ). As X(t) is a random variable

More information

Finite Buffer Polling Models with Routing

Finite Buffer Polling Models with Routing Finite Buffer Polling Models with Routing Scott E. Grasman grasmans@umr.edu 29 Engineering Management University of Missouri - Rolla, Rolla, Missouri 65409-0370 Tava Lennon Olsen olsen@olin.wustl.edu John

More information

Energy Optimal Control for Time Varying Wireless Networks. Michael J. Neely University of Southern California

Energy Optimal Control for Time Varying Wireless Networks. Michael J. Neely University of Southern California Energy Optimal Control for Time Varying Wireless Networks Michael J. Neely University of Southern California http://www-rcf.usc.edu/~mjneely Part 1: A single wireless downlink (L links) L 2 1 S={Totally

More information

Dynamic Call Center Routing Policies Using Call Waiting and Agent Idle Times Online Supplement

Dynamic Call Center Routing Policies Using Call Waiting and Agent Idle Times Online Supplement Dynamic Call Center Routing Policies Using Call Waiting and Agent Idle Times Online Supplement Wyean Chan DIRO, Université de Montréal, C.P. 6128, Succ. Centre-Ville, Montréal (Québec), H3C 3J7, CANADA,

More information

Glossary availability cellular manufacturing closed queueing network coefficient of variation (CV) conditional probability CONWIP

Glossary availability cellular manufacturing closed queueing network coefficient of variation (CV) conditional probability CONWIP Glossary availability The long-run average fraction of time that the processor is available for processing jobs, denoted by a (p. 113). cellular manufacturing The concept of organizing the factory into

More information

MIT Manufacturing Systems Analysis Lectures 6 9: Flow Lines

MIT Manufacturing Systems Analysis Lectures 6 9: Flow Lines 2.852 Manufacturing Systems Analysis 1/165 Copyright 2010 c Stanley B. Gershwin. MIT 2.852 Manufacturing Systems Analysis Lectures 6 9: Flow Lines Models That Can Be Analyzed Exactly Stanley B. Gershwin

More information

Maximum Pressure Policies in Stochastic Processing Networks

Maximum Pressure Policies in Stochastic Processing Networks OPERATIONS RESEARCH Vol. 53, No. 2, March April 2005, pp. 197 218 issn 0030-364X eissn 1526-5463 05 5302 0197 informs doi 10.1287/opre.1040.0170 2005 INFORMS Maximum Pressure Policies in Stochastic Processing

More information

5 Lecture 5: Fluid Models

5 Lecture 5: Fluid Models 5 Lecture 5: Fluid Models Stability of fluid and stochastic processing networks Stability analysis of some fluid models Optimization of fluid networks. Separated continuous linear programming 5.1 Stability

More information

Event driven manufacturing systems as time domain control systems

Event driven manufacturing systems as time domain control systems Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 Seville, Spain, December 12-15, 2005 MoA135 Event driven manufacturing systems as time domain control

More information

MIT Manufacturing Systems Analysis Lectures 18 19

MIT Manufacturing Systems Analysis Lectures 18 19 MIT 2.852 Manufacturing Systems Analysis Lectures 18 19 Loops Stanley B. Gershwin Spring, 2007 Copyright c 2007 Stanley B. Gershwin. Problem Statement B 1 M 2 B 2 M 3 B 3 M 1 M 4 B 6 M 6 B 5 M 5 B 4 Finite

More information

Markov Processes and Queues

Markov Processes and Queues MIT 2.853/2.854 Introduction to Manufacturing Systems Markov Processes and Queues Stanley B. Gershwin Laboratory for Manufacturing and Productivity Massachusetts Institute of Technology Markov Processes

More information

Fair Scheduling in Input-Queued Switches under Inadmissible Traffic

Fair Scheduling in Input-Queued Switches under Inadmissible Traffic Fair Scheduling in Input-Queued Switches under Inadmissible Traffic Neha Kumar, Rong Pan, Devavrat Shah Departments of EE & CS Stanford University {nehak, rong, devavrat@stanford.edu Abstract In recent

More information

Production variability in manufacturing systems: Bernoulli reliability case

Production variability in manufacturing systems: Bernoulli reliability case Annals of Operations Research 93 (2000) 299 324 299 Production variability in manufacturing systems: Bernoulli reliability case Jingshan Li and Semyon M. Meerkov Department of Electrical Engineering and

More information

A Hierarchy of Suboptimal Policies for the Multi-period, Multi-echelon, Robust Inventory Problem

A Hierarchy of Suboptimal Policies for the Multi-period, Multi-echelon, Robust Inventory Problem A Hierarchy of Suboptimal Policies for the Multi-period, Multi-echelon, Robust Inventory Problem Dimitris J. Bertsimas Dan A. Iancu Pablo A. Parrilo Sloan School of Management and Operations Research Center,

More information

This lecture is expanded from:

This lecture is expanded from: This lecture is expanded from: HIGH VOLUME JOB SHOP SCHEDULING AND MULTICLASS QUEUING NETWORKS WITH INFINITE VIRTUAL BUFFERS INFORMS, MIAMI Nov 2, 2001 Gideon Weiss Haifa University (visiting MS&E, Stanford)

More information

Linear Programming: Chapter 5 Duality

Linear Programming: Chapter 5 Duality Linear Programming: Chapter 5 Duality Robert J. Vanderbei September 30, 2010 Slides last edited on October 5, 2010 Operations Research and Financial Engineering Princeton University Princeton, NJ 08544

More information

A Starvation-free Algorithm For Achieving 100% Throughput in an Input- Queued Switch

A Starvation-free Algorithm For Achieving 100% Throughput in an Input- Queued Switch A Starvation-free Algorithm For Achieving 00% Throughput in an Input- Queued Switch Abstract Adisak ekkittikul ick ckeown Department of Electrical Engineering Stanford University Stanford CA 9405-400 Tel

More information

Chapter 6 Queueing Models. Banks, Carson, Nelson & Nicol Discrete-Event System Simulation

Chapter 6 Queueing Models. Banks, Carson, Nelson & Nicol Discrete-Event System Simulation Chapter 6 Queueing Models Banks, Carson, Nelson & Nicol Discrete-Event System Simulation Purpose Simulation is often used in the analysis of queueing models. A simple but typical queueing model: Queueing

More information

A Guaranteed Cost LMI-Based Approach for Event-Triggered Average Consensus in Multi-Agent Networks

A Guaranteed Cost LMI-Based Approach for Event-Triggered Average Consensus in Multi-Agent Networks A Guaranteed Cost LMI-Based Approach for Event-Triggered Average Consensus in Multi-Agent Networks Amir Amini, Arash Mohammadi, Amir Asif Electrical and Computer Engineering,, Montreal, Canada. Concordia

More information

Dynamic Power Allocation and Routing for Time Varying Wireless Networks

Dynamic Power Allocation and Routing for Time Varying Wireless Networks Dynamic Power Allocation and Routing for Time Varying Wireless Networks X 14 (t) X 12 (t) 1 3 4 k a P ak () t P a tot X 21 (t) 2 N X 2N (t) X N4 (t) µ ab () rate µ ab µ ab (p, S 3 ) µ ab µ ac () µ ab (p,

More information

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 43, NO. 3, MARCH

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 43, NO. 3, MARCH IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 43, NO. 3, MARCH 1998 315 Asymptotic Buffer Overflow Probabilities in Multiclass Multiplexers: An Optimal Control Approach Dimitris Bertsimas, Ioannis Ch. Paschalidis,

More information

Positive Harris Recurrence and Diffusion Scale Analysis of a Push Pull Queueing Network

Positive Harris Recurrence and Diffusion Scale Analysis of a Push Pull Queueing Network Positive Harris Recurrence and Diffusion Scale Analysis of a Push Pull Queueing Network Yoni Nazarathy a,1, Gideon Weiss a,1 a Department of Statistics, The University of Haifa, Mount Carmel 31905, Israel.

More information

Systematic Tuning of Nonlinear Power System Controllers

Systematic Tuning of Nonlinear Power System Controllers Proceedings of the 22 IEEE International Conference on Control Applications September 8-2, 22 Glasgow, Scotland, U.K. Systematic Tuning of Nonlinear Power System Controllers Ian A. Hiskens Department of

More information

Adaptive Dual Control

Adaptive Dual Control Adaptive Dual Control Björn Wittenmark Department of Automatic Control, Lund Institute of Technology Box 118, S-221 00 Lund, Sweden email: bjorn@control.lth.se Keywords: Dual control, stochastic control,

More information

Environment (E) IBP IBP IBP 2 N 2 N. server. System (S) Adapter (A) ACV

Environment (E) IBP IBP IBP 2 N 2 N. server. System (S) Adapter (A) ACV The Adaptive Cross Validation Method - applied to polling schemes Anders Svensson and Johan M Karlsson Department of Communication Systems Lund Institute of Technology P. O. Box 118, 22100 Lund, Sweden

More information

1 Markov decision processes

1 Markov decision processes 2.997 Decision-Making in Large-Scale Systems February 4 MI, Spring 2004 Handout #1 Lecture Note 1 1 Markov decision processes In this class we will study discrete-time stochastic systems. We can describe

More information

Hybrid Control and Switched Systems. Lecture #1 Hybrid systems are everywhere: Examples

Hybrid Control and Switched Systems. Lecture #1 Hybrid systems are everywhere: Examples Hybrid Control and Switched Systems Lecture #1 Hybrid systems are everywhere: Examples João P. Hespanha University of California at Santa Barbara Summary Examples of hybrid systems 1. Bouncing ball 2.

More information

Optimal Control of an Inventory System with Joint Production and Pricing Decisions

Optimal Control of an Inventory System with Joint Production and Pricing Decisions Optimal Control of an Inventory System with Joint Production and Pricing Decisions Ping Cao, Jingui Xie Abstract In this study, we consider a stochastic inventory system in which the objective of the manufacturer

More information

2001, Dennis Bricker Dept of Industrial Engineering The University of Iowa. DP: Producing 2 items page 1

2001, Dennis Bricker Dept of Industrial Engineering The University of Iowa. DP: Producing 2 items page 1 Consider a production facility which can be devoted in each period to one of two products. For simplicity, we assume that the production rate is deterministic and that production is always at full capacity.

More information

1 Production Planning with Time-Varying Demand

1 Production Planning with Time-Varying Demand IEOR 4000: Production Management Columbia University Professor Guillermo Gallego 28 September 1 Production Planning with Time-Varying Demand In this lecture we present a few key results in production planning

More information

Embedded Systems 14. Overview of embedded systems design

Embedded Systems 14. Overview of embedded systems design Embedded Systems 14-1 - Overview of embedded systems design - 2-1 Point of departure: Scheduling general IT systems In general IT systems, not much is known about the computational processes a priori The

More information

Time. 3 p3 Time. (a) (b)

Time. 3 p3 Time. (a) (b) A Hybrid Algorithm for Solving the Economic Lot and Delivery Scheduling Problem in the Common Cycle Case Suquan Ju Jens Clausen Informatics and Mathematical Modelling echnical University of Denmark 2800

More information

PERFORMANCE ANALYSIS OF PRODUCTION SYSTEMS WITH REWORK LOOPS

PERFORMANCE ANALYSIS OF PRODUCTION SYSTEMS WITH REWORK LOOPS PERFORMANCE ANALYSIS OF PRODUCTION SYSTEMS WITH REWORK LOOPS Jingshan Li Enterprise Systems Laboratory General Motors Research & Development Center Mail Code 480-106-359 30500 Mound Road Warren, MI 48090-9055

More information

Dynamic Matching Models

Dynamic Matching Models Dynamic Matching Models Ana Bušić Inria Paris - Rocquencourt CS Department of École normale supérieure joint work with Varun Gupta, Jean Mairesse and Sean Meyn 3rd Workshop on Cognition and Control January

More information

JOINT PRICING AND PRODUCTION PLANNING FOR FIXED PRICED MULTIPLE PRODUCTS WITH BACKORDERS. Lou Caccetta and Elham Mardaneh

JOINT PRICING AND PRODUCTION PLANNING FOR FIXED PRICED MULTIPLE PRODUCTS WITH BACKORDERS. Lou Caccetta and Elham Mardaneh JOURNAL OF INDUSTRIAL AND doi:10.3934/jimo.2010.6.123 MANAGEMENT OPTIMIZATION Volume 6, Number 1, February 2010 pp. 123 147 JOINT PRICING AND PRODUCTION PLANNING FOR FIXED PRICED MULTIPLE PRODUCTS WITH

More information

5/15/18. Operations Research: An Introduction Hamdy A. Taha. Copyright 2011, 2007 by Pearson Education, Inc. All rights reserved.

5/15/18. Operations Research: An Introduction Hamdy A. Taha. Copyright 2011, 2007 by Pearson Education, Inc. All rights reserved. The objective of queuing analysis is to offer a reasonably satisfactory service to waiting customers. Unlike the other tools of OR, queuing theory is not an optimization technique. Rather, it determines

More information

The Rationale for Second Level Adaptation

The Rationale for Second Level Adaptation The Rationale for Second Level Adaptation Kumpati S. Narendra, Yu Wang and Wei Chen Center for Systems Science, Yale University arxiv:1510.04989v1 [cs.sy] 16 Oct 2015 Abstract Recently, a new approach

More information

MULTIPLE CHOICE QUESTIONS DECISION SCIENCE

MULTIPLE CHOICE QUESTIONS DECISION SCIENCE MULTIPLE CHOICE QUESTIONS DECISION SCIENCE 1. Decision Science approach is a. Multi-disciplinary b. Scientific c. Intuitive 2. For analyzing a problem, decision-makers should study a. Its qualitative aspects

More information

Quality of Real-Time Streaming in Wireless Cellular Networks : Stochastic Modeling and Analysis

Quality of Real-Time Streaming in Wireless Cellular Networks : Stochastic Modeling and Analysis Quality of Real-Time Streaming in Wireless Cellular Networs : Stochastic Modeling and Analysis B. Blaszczyszyn, M. Jovanovic and M. K. Karray Based on paper [1] WiOpt/WiVid Mai 16th, 2014 Outline Introduction

More information

Delay-independent stability via a reset loop

Delay-independent stability via a reset loop Delay-independent stability via a reset loop S. Tarbouriech & L. Zaccarian (LAAS-CNRS) Joint work with F. Perez Rubio & A. Banos (Universidad de Murcia) L2S Paris, 20-22 November 2012 L2S Paris, 20-22

More information

Control of Fork-Join Networks in Heavy-Traffic

Control of Fork-Join Networks in Heavy-Traffic in Heavy-Traffic Asaf Zviran Based on MSc work under the guidance of Rami Atar (Technion) and Avishai Mandelbaum (Technion) Industrial Engineering and Management Technion June 2010 Introduction Network

More information

Adaptive Dynamic Inversion Control of a Linear Scalar Plant with Constrained Control Inputs

Adaptive Dynamic Inversion Control of a Linear Scalar Plant with Constrained Control Inputs 5 American Control Conference June 8-, 5. Portland, OR, USA ThA. Adaptive Dynamic Inversion Control of a Linear Scalar Plant with Constrained Control Inputs Monish D. Tandale and John Valasek Abstract

More information

Stochastic Models of Manufacturing Systems

Stochastic Models of Manufacturing Systems Stochastic Models of Manufacturing Systems Ivo Adan Systems 2/49 Continuous systems State changes continuously in time (e.g., in chemical applications) Discrete systems State is observed at fixed regular

More information

Time-optimal scheduling for high throughput screening processes using cyclic discrete event models

Time-optimal scheduling for high throughput screening processes using cyclic discrete event models Mathematics and Computers in Simulation 66 2004 181 191 ime-optimal scheduling for high throughput screening processes using cyclic discrete event models E. Mayer a,, J. Raisch a,b a Fachgruppe System

More information

Utility-Maximizing Scheduling for Stochastic Processing Networks

Utility-Maximizing Scheduling for Stochastic Processing Networks Utility-Maximizing Scheduling for Stochastic Processing Networks Libin Jiang and Jean Walrand EECS Department, University of California at Berkeley {ljiang,wlr}@eecs.berkeley.edu Abstract Stochastic Processing

More information

ORI 390Q Models and Analysis of Manufacturing Systems First Exam, fall 1994

ORI 390Q Models and Analysis of Manufacturing Systems First Exam, fall 1994 ORI 90Q Models and Analysis of Manufacturing Systems First Exam, fall 1994 (time, defect rate) (12,0.05) 5 6 V A (16,0.07) (15,0.07) (5,0) M 1 1 2 M1 M2 O A (10,0.1) 7 8 V B (8,0.2) M4 2 4 M5 The figure

More information

Navigation and Obstacle Avoidance via Backstepping for Mechanical Systems with Drift in the Closed Loop

Navigation and Obstacle Avoidance via Backstepping for Mechanical Systems with Drift in the Closed Loop Navigation and Obstacle Avoidance via Backstepping for Mechanical Systems with Drift in the Closed Loop Jan Maximilian Montenbruck, Mathias Bürger, Frank Allgöwer Abstract We study backstepping controllers

More information

Input-queued switches: Scheduling algorithms for a crossbar switch. EE 384X Packet Switch Architectures 1

Input-queued switches: Scheduling algorithms for a crossbar switch. EE 384X Packet Switch Architectures 1 Input-queued switches: Scheduling algorithms for a crossbar switch EE 84X Packet Switch Architectures Overview Today s lecture - the input-buffered switch architecture - the head-of-line blocking phenomenon

More information

On the Throughput, Capacity and Stability Regions of Random Multiple Access over Standard Multi-Packet Reception Channels

On the Throughput, Capacity and Stability Regions of Random Multiple Access over Standard Multi-Packet Reception Channels On the Throughput, Capacity and Stability Regions of Random Multiple Access over Standard Multi-Packet Reception Channels Jie Luo, Anthony Ephremides ECE Dept. Univ. of Maryland College Park, MD 20742

More information

Nonlinear Control. Nonlinear Control Lecture # 3 Stability of Equilibrium Points

Nonlinear Control. Nonlinear Control Lecture # 3 Stability of Equilibrium Points Nonlinear Control Lecture # 3 Stability of Equilibrium Points The Invariance Principle Definitions Let x(t) be a solution of ẋ = f(x) A point p is a positive limit point of x(t) if there is a sequence

More information

Dynamic resource sharing

Dynamic resource sharing J. Virtamo 38.34 Teletraffic Theory / Dynamic resource sharing and balanced fairness Dynamic resource sharing In previous lectures we have studied different notions of fair resource sharing. Our focus

More information

Stability and Asymptotic Optimality of h-maxweight Policies

Stability and Asymptotic Optimality of h-maxweight Policies Stability and Asymptotic Optimality of h-maxweight Policies - A. Rybko, 2006 Sean Meyn Department of Electrical and Computer Engineering University of Illinois & the Coordinated Science Laboratory NSF

More information

Clock-driven scheduling

Clock-driven scheduling Clock-driven scheduling Also known as static or off-line scheduling Michal Sojka Czech Technical University in Prague, Faculty of Electrical Engineering, Department of Control Engineering November 8, 2017

More information

S. T. Enns Paul Rogers. Dept. of Mechanical and Manufacturing Engineering University of Calgary Calgary, AB., T2N-1N4, CANADA

S. T. Enns Paul Rogers. Dept. of Mechanical and Manufacturing Engineering University of Calgary Calgary, AB., T2N-1N4, CANADA Proceedings of the 2008 Winter Simulation Conference S. J. Mason, R. R. Hill, L. Mönch, O. Rose, T. Jefferson, J. W. Fowler eds. CLARIFYING CONWIP VERSUS PUSH SYSTEM BEHAVIOR USING SIMULATION S. T. Enns

More information

Tutorial: Optimal Control of Queueing Networks

Tutorial: Optimal Control of Queueing Networks Department of Mathematics Tutorial: Optimal Control of Queueing Networks Mike Veatch Presented at INFORMS Austin November 7, 2010 1 Overview Network models MDP formulations: features, efficient formulations

More information

Slides 9: Queuing Models

Slides 9: Queuing Models Slides 9: Queuing Models Purpose Simulation is often used in the analysis of queuing models. A simple but typical queuing model is: Queuing models provide the analyst with a powerful tool for designing

More information

Maximizing throughput in zero-buffer tandem lines with dedicated and flexible servers

Maximizing throughput in zero-buffer tandem lines with dedicated and flexible servers Maximizing throughput in zero-buffer tandem lines with dedicated and flexible servers Mohammad H. Yarmand and Douglas G. Down Department of Computing and Software, McMaster University, Hamilton, ON, L8S

More information

Cover Page. The handle holds various files of this Leiden University dissertation

Cover Page. The handle  holds various files of this Leiden University dissertation Cover Page The handle http://hdl.handle.net/1887/39637 holds various files of this Leiden University dissertation Author: Smit, Laurens Title: Steady-state analysis of large scale systems : the successive

More information

Nonlinear systems. Lyapunov stability theory. G. Ferrari Trecate

Nonlinear systems. Lyapunov stability theory. G. Ferrari Trecate Nonlinear systems Lyapunov stability theory G. Ferrari Trecate Dipartimento di Ingegneria Industriale e dell Informazione Università degli Studi di Pavia Advanced automation and control Ferrari Trecate

More information