Towards a robust multi-level control approach for baggage handling systems

Size: px
Start display at page:

Download "Towards a robust multi-level control approach for baggage handling systems"

Transcription

1 Delft University of Technology Delft Center for Systems an Control Technical report 3-37 Towars a robust multi-level control approach for baggage hanling systems Y. Zeinaly, B. De Schutter, an H. Hellenoorn If you want to cite this report, please use the following reference instea: Y. Zeinaly, B. De Schutter, an H. Hellenoorn, Towars a robust multi-level control approach for baggage hanling systems, Proceeings of the 5n IEEE Conference on Decision an Control, Florence, Italy, pp. 8 87, Dec. 3. Delft Center for Systems an Control Delft University of Technology Meelweg, 68 CD Delft The Netherlans phone: (secretary) fax: URL: This report can also be ownloae viahttp://pub.eschutter.info/abs/3_37.html

2 Towars a Robust Multi-level Control Approach for Baggage Hanling Systems Yashar Zeinaly, Bart De Schutter, Senior Memeber, IEEE, an Hans Hellenoorn Abstract This paper revisits the routing problem in baggage hanling systems. We propose a two-level control approach base on a moel preictive controller at the top level an a constraine feebac controller at the bottom level that minimizes the L gain of the close-loop system. The moel preictive control problem is recast as a linear programming problem an the constraine feebac controller esign problem is formulate as minimization of a linear objective function subject to linear matrix inequalities. The effectiveness of the propose metho is illustrate by a case stuy. I. INTRODUCTION There has been a growing interest, in the last ecae, in automate moern baggage hanling systems for large airports. Such baggage hanling systems have enable big airports to achieve high throughput of passengers an cargo. The efficiency an reliability of baggage hanling systems have improve over time by implementing more avance control strategies. However, in orer to meet the increasing eman for air travel an cargo shipment, we nee more intelligent an reliable control methos than the currently available state-of-the-art methos. Moern baggage hanling systems are compose of the following main components: i) loaing stations, where the baggage eman originates. The pieces of baggage arrive at the loaing stations either from a chec-in es or from a transfer flight, ii) unloaing stations that are the final estination of the luggage an from where the pieces of baggage are boare on to the planes, iii) a networ of tracs that connect loaing stations to unloaing stations through junctions, iv) high-spee estination coe vehicles (DCV) that transport the pieces of baggage on the networ form the loaing stations to the unloaing stations, v) switch controllers at the junctions that etermine the route of DCVs. A complete escription of the baggage hanling system, the state-of-the-art control approaches, an the highlevel control problems can be foun in [] an []. In this paper, builing on the wor of [3], we evelop a new approach for ynamic routing of DCVs within the networ such that the pieces of baggage arrive at their estination within a given time winow with minimum energy consumption. We also improve the robustness of our approach against variations in the baggage eman. The propose control structure is compose of a controller base on moel preictive control (MPC) at the top level Research supporte by the European Union Seventh Framewor Programme [FP7/7-3] uner grant agreement no HYCON Networ of Excellence, Y. Zeinaly, B. De Schutter, an H. Hellenoorn are with Delft Center for Systems an Control, Delft University of Technology, 68 CD Delft, The Netherlans. y.zeinaly@tuelft.nl an a controller base on L gain optimization at the bottom level. The MPC controller computes the nominal control input base on nominal preiction of the baggage eman such that the pieces of baggage arrive at their estination within a specifie time winow with minimal energy consumption. The L base controller then minimizes the eviation of system trajectories from the nominal behavior ue to unpreicte variations in the nominal preicte baggage eman. Fig. epicts a schematic overview of the propose twolevel control approach. ˆ + + u historical ata u system K L optimization moel optimization queue length/flow constraints y y time winows Fig.. Schematic overview of the propose two-level control approach, where u an y are the nominal input generate by the MPC controller an the resulting output trajectory, respectively, ˆ is the preicte baggage eman, an is the unpreicte eviation of baggage eman aroun ˆ The rest of the paper is organize as follows. In Section II, we present the ynamical moel of the baggage hanling system use for our control purposes. Section III an Section IV escribe the MPC approach an the L optimization control approach, respectively. In Section V, we explain how to combine these two controller approaches into a two-level control structure. In Section VI, we present a case stuy illustrating the performance of our propose control scheme an finally Section VII conclues the paper. II. DYNAMICAL MODEL The baggage hanling system networ can be seen as a irecte graph G=(V,A), where V = O I D is the set of noes compose of origin noes O (i.e., loaing stations), intermeiate noes I (i.e., junctions), an estination noes

3 D (i.e., unloaing stations), an A is the set of arcs compose of lins (i.e., tracs) connecting the noes. The queue lengths are associate with the noes an the control variables are efine at each noe as the flows of DCVs from that noe to its neighbor noes. In a similar manner to the moel in [4], the flows are inexe by their estination, enabling us to istinguish between baggage with ifferent estinations. This is important as the baggage must en up in the right estination. Accoringly, at each noe v V there is a partial queue of DCVs associate with each estination D. The following assumptions are mae in the erivation of the moel: A Each noe in the networ belongs to at least one irecte path from an origin noe (i.e., a loaing station) to a estination noe (i.e., an unloaing station). A A DCV is present at the loaing station whenever a piece of baggage arrives. A3 The movement of pieces of baggage on the networ is approximate by a continuous flow of baggage. A4 At each noe v, with exception of estination noes, the DCVs stac up in vertical queues accoring to their estination. The queue lengths at estination noes are consiere to be zero. This is because we assume either estination noes have unlimite capacity or there is no restriction on the outflow of estination noes so the baggage are immeiately taen to the planes upon arrival. A5 The DCV travel time on each lin is an integer multiple of the sampling time T s. Assumption A guarantees that there are no reunant noes in the networ. By Assumption A, the pieces of baggage are immeiately ispatche from the loaing stations as they arrive. Therefore, we o not nee to istinguish between baggage flows an DCV flows within the system. Otherwise, we woul nee to tae into account the movement of empty DCVs from the unloaing stations to the loaing stations. Assumption A3 is necessary for tractability of the control problem. Although the number of DCVs is an integer in reality, for a fairly large number of DCVs, the movement of DCVs can be approximate by continuous flows. This is not very restrictive as the compute flows can then be realize as well as possible by a lower-level control loop that etermines the optimal switching pattern for the switch controllers at the junctions. The actual time require to travel from a noe to another one epens on the length of the DCV queue at the en of the lin connecting these noes. However, if the queue lengths are sufficiently small compare to the length of the lins, the variation in the travel time is negligible. This is equivalent to having vertical queues at each noe as state in assumption A4. Assumption A5 allows us to arrive at a linear iscrete-time moel of the system. We also mae use of the following notation: The set of sening noes of a noe v V efine as Vv sen = {w V (w,v) A}, is the set of noes that can sen flow to noe v. The set of receiving noes of a noe v V efine as Vv recv = {w V (v,w) A}, is the set of noes that can receive flow from noe v. The set of all noes that are on some irecte path to a estination noe D is V. For each estination noe D an for each origin noe v O V, Q v, () is the baggage inflow (eman) at v with estination uring the time interval [T s,(+ )T s ). For each estination D an each v V an each w Vv recv V, we efine the control variable q v,w, () that is the partial flow of DCVs with estination noe from noe v to noe w uring the time interval [T s,(+)t s ). Accoringly, x v, () enotes the vertical queue length at noe v associate with estination. The set of feasible trajectories of the system is escribe by the following linear constraints in iscrete time: x v, (+ )=x v, ()+T s (Fv, in () Fout v, ()) x v, () q v,w, () (a) (b) (c) where Fv, in () is the total inflow of DCVs to noe v, associate with estination, given by Q v, ()+ q w,v, ( w,v ) if v V O w V sen Fv, in v ()= q w,v, ( w,v ) if v V (D I) () w Vv sen otherwise with w,v T s being the travel time on the lin (w,v), an Fv, out () is the total outflow of DCVs from noe v with estination, given by F v, in() if v V D Fv, out ()= q v,w, () if v V (O I) (3) w Vv recv otherwise Equation (a) escribes the evolution of the queue lengths an (b) constrains queue lengths to non-negative values. Liewise, (c) guarantees non-negativity of the control variables (flows). Let x() be the state vector that inclues all queue lengths x v, () an elaye samples of q v,w, () with elay. Let u() an () be the control input vector that inclues all control variables q v,w, (), an the eman vector compose of all iniviual emans Q v, (), respectively. Then () can be expresse by a constraine iscrete-time linear system as x(+ )=Ax()+B ()+B u() x() u() with properly efine matrices A, B, an B. (4a) (4b) (4c) Assuming a constant spee for DCVs v DCV, w,v is given by w,v = s w,v T sv DCV, where s w,v is the length of lin (w,v).

4 III. MPC PROBLEM FORMULATION The moel presente in Section II is use as internal preiction moel for the MPC approach. At time step, given the current state of the system an an estimate of future baggage eman, this moel is use to compute the trajectories of the system base on which a constraine optimal control problem is solve over a horizon yieling an optimal control sequence. The first element out of the optimal control sequence is then applie to the system accoring to the receing horizon policy an this process is then repeate at the next time step + with new measurements [5]. The objective function must reflect the following performance criteria: i) the pieces of baggage assigne to a certain estination (unloaing station) must reach the estination within a given time winow, ii) the energy consumption of the system shoul be minimize. The time winow represents the time uration in which the en point is reay to receive the luggage. It is unesirable to have the luggage arrive at the estination out of this time winow. Inee, if the pieces of luggage arrive too late, they will miss the flight. Too early arrival of the luggage at the estination point also might inflict a high storage cost on the operator. The energy consumption is associate with manipulating the actuators in the system an wear an tear inflicte on the actuators. There are two contributors to the energy consumption in the system: i) movements of DCVs in the system, which is relate to the magnitue of DCV flows, an ii) variation in the DCV flows. This is particularly important when the DCV flows obtaine here will be realize using switch controllers at each junction of the networ. The variation in the flow then translates to switching frequency. In orer to achieve the aforementione control objectives, we consier a cost function that is a weighte combination of four penalty terms that penalize the DCV queue lengths, DCV flows (control variables), an the variation of DCV flows. The cost associate with the DCV is efine as: The constraine linear moel given in Section II cannot be use to etermine the time instant at which a certain flow of baggage reaches to its estination explicitly. However, we can consier a cost function to inirectly penalize baggage arrival time eviation from a given time winow. The cost function is compose of three penalty terms. The first penalty term penalizes the queue lengths being efine as J tw ()= Cv, tw ()x v,() (5) v V where Cv, tw () as illustrate in Fig. is given as if + v, open v, ()= c tw ( open c tw ( close C tw open + v, ) if open < + v, close ) if + v, > close where open an close are, respectively, the opening an the closing time steps of estination an v, T s is the expecte travel time from noe v to estination uner the current (6) nominal operating conitions. Note that since Cv, tw ()= for open v,, the queue lengths associate with estination are not penalize before the estination is open, taing into account the DCVs travel time from v to. During the time winow of estination, the weight associate with DCV queues increases linearly in time, hence, forcing the DCVs to move towars. The penalty term associate with the DCV flows is efine as: J flow ()= v V C flow w Vv recv V with Cv, flow () as epicte in Fig. 3 being c flow ( open v, ()= if open C flow v, ()q v,w,() (7) + v, ) if + v, open < + v, close c flow ( close + v, ) if + v, > close Note that Cv, flow () is chosen in such a way that DCV flows to estination are allowe uring the time winow of. Higher values Cv, flow () outsie of the time winow prevent early or late DCV flows to the estination. Moreover, in orer to allow late DCVs to reach the estination, the slope of the thir part of Cv, flow () is smaller than the slope of the first part. Now we will introuce the terms in the cost function that reflect the energy consumption in the networ. We penalize all flows in the networ in orer to avoi inefinite circulation of DCVs throughout the networ. Hence, we consier the following penalty term: J e ()= D v V (8) w V recv v V q v,w, () (9) In aition, we use the following penalty term to penalize the total variation of the control signal (i.e., flows), which reflects the wear an tear of the DCVs: J sw ()= D l V w V recv v V q v,w, () q v,w, ( ) () The total cost at time step is therefore given as J()= J tw ()+α D J flow D ()+α J e ()+α 3 J sw () () where α i > is a weight factor inicating the relative importance of the associate term in the objective function. The MPC performance inex over the preiction horizon of N p step is thus given as +N p J(,N p )= i= J(i) () Now we woul lie to highlight the following remars: R The plots of Fig. an Fig. 3 show respectively coefficients of the penalty terms (5) an (7), not the penalty terms themselves. In fact, at the given time step an for a preiction horizon N p the values of these coefficients are nown for,...,+n p. Therefore, these coefficients have fixe values an hence These can be obtaine base on historical ata for perios with similar conitions as the current one.

5 the associate penalty terms (5) an (7) are linear in the control variable. R By introucing some ummy variables accoring to stanar techniques in optimization [6], terms of the form () can be recast as a linear programming problem with linear constraints. Consier u(), x(), an () as introuce in Section II. At every time step we solve the following optimization problem: min u() F()u() subject to: A ineq ()u() b ineq () A eq ()u()=b eq () (3) where the vector F() is efine base on the MPC objective function (), an the vector u() inclues the control inputs u(),...,u(+n p ) an the ummy variables mentione in Remar R. Moreover, A ineq (), an A eq () are etermine base on the constraints, an b ineq (), an b eq () are constant vectors that epen on the current state x() an the eman values (),...,(+ N p ). The optimization problem given by (3) is an LP problem, that can be solve efficiently with currently available solvers, e.g., MATLAB linprog. C tw v, Fig.. open v, close v, The coefficient for the queue length penalty term. where the system matrices, x R n, R n, an u R m are those of (4a) an z R n z is the controlle output vector. Assume that (A,B ) is stabilizable an K is a stabilizing feebac gain. The L gain of the close-loop system is z boune by γ > (i.e., sup γ) if an only if there z exists a P> such that [7], [8] [ A T PA P+ γ C T C A T PB+ γ C ] T D B T PA + γ D T C B T PB+ γ D T D γi (6) where [ ] [ ] A B A+B K B = (7) C D C + D K D or equivalently Q A Q B QA T Q QC T B T γi D T C Q D γi (8) with Q=P >. Consier the problem of etermining a feebac gain K that minimizes the L gain of the close-loop system. It is well-nown [8] that with the transformation Y = KQ, the matrix inequality of (8) can be written as Q AQ+B Y B QA T +Y T B T Q QC T +Y T D T B T γi D T C Q+D Y D γi (9) with Q>. Note that for the close-loop system given by (4) an (5), (6) implies C flow v, Fig. 3. open v, close v, The coefficient for the flow penalty term. IV. FEEDBACK CONTROL PROBLEM FORMULATION A. Problem Setup Consier a iscrete-time linear system x(+ )=Ax()+B ()+B u() with full state feebac z()= C x()+d ()+D u() (4a) (4b) u()=kx() (5) x T (+ )Px(+ ) x T ()Px()+ γ zt ()z() γ T ()() () Now we efine the ellipsoi ε γ :={x x T P γ x }. Assuming x()=, () yiels x T T (T)Px(T) γ T ()()<γ = = for any T N. Assuming 3 =, we get T ()() () x T (T) P x(t)< () γ which shows that x(t) ε γ. Since () hols for all T, ε γ contains the set of states that are reachable by a unit energy input signal when the L gain of the close-loop system is boune by γ. 3 It is always possible to scale such that =.

6 B. Har State Constraints Now we consier the problem of searching for the feebac gain K that minimizes the L gain of the close-loop system subject to polytopic state constraints of the form a T i x(), i=,...,r. (3) To inclue the state constraints of (3), consier the polytope P ={x R n a T i x,i=,...,r} (4) associate with (3). We assume that P has the origin in its interior. To guaranty that (3) hols for all > with x()=, we must have ε γ P or equivalently [8] a T i γqa i, i=,...,r (5) Therefore, the following optimization problem nees to be solve: min γ Q,Y,γ subject to: (9), (5), Q> (6) This problem is not jointly convex in γ an Q an Y. Moreover, it can be shown in a straightforwar manner that the constraints of (8) an (5) o not satisfy the monotonicity property G(Q,Y,γ ) > G(Q,Y,γ ) if γ > γ, where G < represents constraints (9) an (5) combine. Therefore, this problem cannot even be recast as a generalize eigenvalue problem, which is a class of quasiconvex optimization problems [8]. Now we will replace constraint (5) by a more conservative one that is convex in the optimization variables, in the following manner. Note that γq= 4 (γi+ Q)T (γi+ Q) 4 (γi Q)T (γi Q) (7) Obviously, γq< 4 (γi+ Q)T (γi+ Q). Hence, 4 at i (γi+ Q) T (γi+ Q)a i = a T i γqa i < (8) or equivalently expresse using the Schur complement [ ] I (γi+ Q)a i > (9) (γi+ Q) 4 a T i Clearly, this introuces conservatism as the feasibility set of (9) is a subset of the feasibility set of (5). This conservatism can be reuce if one can fin a lower boun for (γi Q) T (γi Q) such that (γi Q) T (γi Q) α I or equivalently γi Q α (in matrix norm sense) for some α >. Then, instea of (9), one obtains [ ] I (γi+ Q)a i a T i (γi+ Q) > (3) 4+aT i α a i Therefore we consier (6) with (5) replace by (9) or by (3). This is an eigenvalue problem [8], which is a convex optimization problem that can be solve with currently available LMI optimization toolboxes, e.g., MATLAB LMI toolbox, YALMIP [9], an CVX [], []. C. Soft State Constraints In the view of the propose two-level control scheme, it maes more sense to replace the har constraints of (5) by soft constraints ue to the following observations: i) the constraints are mainly hanle at the top level by the MPC controller, ii) if the constraints are too restrictive the conservative version of the original constraints as expresse by (9) may become infeasible, which is not esirable. As an alternative to the approach presente in Section IV-B, one can replace har constraints by soft ones by consiering a multi-objective optimization approach that penalizes the L gain of the close-loop system an, inirectly, the constraint violation at the same time. More precisely, we efine the following optimization problem with the objective function that penalizes γ, an the volume of the ellipsoi ε γ, which is proportional to et γq : min c γγ+ log ( et(γq) ) Q,Y,γ subject to: Q> an (9) (3) where c γ > is a weight factor. The magnitue of c γ etermines the trae-off between the L gain an the volume of the ellipsoi that represents the set of reachable states. By minimizing the volume of ε γ, we confine the set of reachable state from the origin. This inirectly minimizes constraint violation since the origin lies in the interior of polytope P. However, this objective function is not convex in the optimization variables γ an Q. To mitigate this problem, instea of penalizing the volume of ε γ, we penalize an upper boun on the length of semi-major axis of ε γ, which is λmax (γq), where λ max (γq) is the largest eigenvalue of γq. It is clear from (7), that λ max ( 4 (γi+ Q) T (γi + Q) ) constitutes an upper boun on λ max (γq). Then we get min c ( γγ+ λ max Q,Y,γ 4 (γi+ Q)T (γi+ Q) ) subject to: Q> an (9) (3) or equivalently min c γγ+ λ Q,Y,γ,λ subject to: (9), Q>, [ λi γi+ Q γi+ Q 4I ] > (33) This is an eigenvalue problem [8] that can be solve efficiently with currently available LMI solvers such as MAT- LAB LMI toolbox. Note that, by inspecting (7), the upper boun on λ max (γq) can be mae tighter if one can fin an α > such that (γi Q) T (γi Q) α I or equivalently, in matrix norm 4 sense, γi Q α. Then the last constraint in (33) will be replace by [ ] (λ + α 4 )I γi+ Q > (34) γi+ Q 4I 4 For matrix norm, we use the efinition A =σ max (A), where σ max (A) is the largest singular value of matrix A.

7 As an example, consier a iscrete-time linear system given by A= , C = I B = ,B = , D =, D = For c γ taing values in the interval[.,], Fig. 4 illustrates the trae-off between minimizing the L gain an the length of the semi-major axis of ε γ. varying slowly with time, one can use a controller sampling time mt s, with m> being an integer number. VI. CASE STUDY Fig. 5. A layout of baggage hanling system with one loaing station an one unloaing station. The length of each lin in the networ is 4 m λmax(γq) γ Fig. 4. Trae-off curve between the optimal γ an the length of the semimajor axis of ε γ. V. INTEGRATION OF MPC AND FEEDBACK CONTROLLERS In this section, we briefly explain how the two control schemes presente in Sections III an IV can be combine. The baggage eman at each origin noe is compose of a base eman, which is assume to be preictable over the preiction horizon N p, an a small aitive perturbation aroun the base eman that cannot be preicte. Base on a future preiction of, the MPC controller computes the optimal DCV flows u an system trajectories z subject to flow an queue length constraints such that the DCVs arrive at their estinations with minimal energy consumption an with minimal eviation from the time winows. To minimize the averse effect of on optimal system trajectories compute by the MPC controller, a feebac gain K minimizing z = z z base on the measurement y() y () is implemente along the MPC controller in the configuration epicte in Fig.. Therefore, the control law applie to the system at time step is u() = u ()+K ( y() y () ) = u ()+Kỹ(). When we impose constraints on the controlle output z()=z ()+ z(), the constraints on z() epen on value of z (). As a result, one nees to upate the feebac gain K whenever the value of z () changes. This can be avoie if soft constraints as in Section IV-C are use. Moreover, the MPC control law u oes not have to be upate at every time instant T s. Particularly, if the base eman is () [DCV/sec] () () () Fig. 6. Base baggage eman,the perturbations on the base eman, an the actual eman at the loaing station. u() [DCV/sec] u 4,5 () u 3,5 () time winow Fig. 7. Optimal flows of DCVs at the unloaing station. One can observe that most of the DCVs arrive at the unloaing station within the specifie time winow. In this section we present a case stuy to illustrate the performance of our propose control approach for the baggage hanling system. For the sae of simplicity, we consier a simple baggage hanling system, the layout of which is epicte in Fig. 5. Here, the focus is to illustrate the effect of the feebac controller on suppressing the averse effects of an unpreicte baggage eman on the behavior of the system. First, assuming that the eman is fully nown, the optimal flows an optimal system trajectories are compute. Next, we consier some unpreictable ranom perturbations on the base eman an evaluate how closely our propose two-level control approach can follow the optimal trajectory.

8 x () mpc only two level optimal Fig. 8. Queue lengths at noe. One can observe that for the two-level control approach, the queue length at noe is only slightly affecte by the isturbance. TABLE I CONTROLLER DESIGN AND SIMULATION PARAMETERS MPC Parameters N p time winow u max[dcv/s] (α,α,α 3) (c flow,c flow,c tw ) [4,7] 4 (,5,) (,.,) Feebac Controller Parameters c γ γmin γ min λmax λ max Close-loop Simulation Parameters T s[s] N sim x (initial conition) eman perturbation v DCV [m/s].4 U (,), = 4..4 For the two-level control approach, we have compute the feebac gain K base the approach of Section IV-C using the MATLAB LMI toolbox. Table I lists the parameters use for the controller esign an the close-loop simulation. In Table I, λmax an γmin enote, respectively, the actual values of λ max (γq) an γ achieve by the close-loop system whereas λmax an γmin enote those values obtaine by solving (33). For the base eman () epicte in Fig. 6, the optimal flows to the estination (noe 5) are illustrate in Fig. 7 an the resulting optimal queue length at the origin noe (noe ) is epicte in Fig. 8. It is clear from Fig. 7 that the optimal flows arrive at the estination within the esire time winow. The perturbation on the base eman () U (,) is epicte in Fig. 6. It is obvious from Fig. 8 that in the presence of unpreictable eman perturbations, the twolevel controller follows the optimal trajectory very closely whereas the MPC base approach eviates from the optimal trajectory. VII. CONCLUSIONS AND FUTURE WORK The routing problem in baggage hanling systems was revisite. A new flow-base moel was erive for our control purposes, which are elivering the pieces of baggage at the unloaing stations within a pre-specifie time winow, an minimizing the energy consumption. We propose a multi-level control approach with an MPC controller at the top level an a constraine feebac controller at the bottom level that minimizes the L gain of the close-loop system. The iea was that base on some prior nowlege on the baggage eman, the MPC controller computes the optimal control inputs an system trajectories such that the pieces of baggage arrive at their estination within a esire time winow an with minimal energy consumption. The feebac controller then woul guarantee minimal eviation from this optimal trajectory in face of unnown perturbations on the baggage eman. We showe that the MPC problem can be formulate as a linear programming problem. We propose two methos to inclue state constraints in esign proceure of the feebac controller that can be recast as LMI constraints. Using a simple case stuy, we showe the effectiveness of the propose two-level control approach. This approach shoul be extenable to large-scale system. However, for large-scale systems, the conservatism introuce by (8) may rener the LMIs in (33) infeasible. Hence, one may nee to fin a tighter lower boun α in (34). For future wor, the scalability of the propose two-level approach to large networ layouts will be investigate. In aition, we will compare the performance of the two-level control approach with the MPC-base approach for larger networ layouts an more elaborate scenarios. As a secon extension to the current wor, we will inclue non-polytopic state constraints as well as control signal constraints in the esign proceure of the feebac controller. REFERENCES [] A. Tarău, B. De Schutter, an H. Hellenoorn, Moel-base control for route choice in automate baggage hanling systems, IEEE Transactions on Systems, Man, an Cybernetics, Part C: Applications an Reviews, vol. 4, no. 3, pp , May. [] Y. Zeinaly, B. De Schutter, an J. Hellenoorn, A moel preictive control approach for the line balancing in baggage hanling systems, in Proceeings of the 3th IFAC Symposium on Transportation Systems, Sofia, Bulgaria, Sep., pp. 5. [3], An MPC scheme for routing problem in baggage hanling systems: A linear programming approach, in Proceeings of the th IEEE International Conference on Networing, Sensing an Control, Paris, France, Apr. 3. [4] A. Tarău, B. De Schutter, an H. Hellenoorn, Hierachical route choice control for baggage hanling systems, in Proceeings of the th International IEEE Conference on Intelligent Transportation Systems, St. Louis, Missouri, USA, Oct. 9, pp [5] C. Garcia, D. Prett, an M. Morari, Moel preictive control: Theory an practice A survey, Automatica, vol. 5, no. 3, pp , 989. [6] A. Antoniou an W.-S. Lu, Practical Optimization: Algorithms an Engineering Applications. Springer, 7. [7] C. E. e Souza an L. Xie, On the iscrete-time boune real lemma with application in the characterization of static state feebac H controllers, Systems & Control Letters, vol. 8, no., pp. 6 7, 99. [8] S. Boy, L. El Ghaoul, E. Feron, an V. Balarishnan, Linear matrix inequalities in system an control theory. Society for Inustrial Mathematics, 987, vol. 5. [9] J. Lofberg, Yalmip: A toolbox for moeling an optimization in matlab, in Proceeings of IEEE International Symposium on Computer Aie Control Systems Design, 4, pp [] CVX Research, Inc., CVX: Matlab software for iscipline convex programming, version. beta, Sep.. [] M. Grant an S. Boy, Graph implementations for nonsmooth convex programs, in Recent Avances in Learning an Control, ser. Lecture Notes in Control an Information Sciences, V. Blonel, S. Boy, an H. Kimura, Es. Springer-Verlag, 8, vol. 37, pp. 95.

A simplified macroscopic urban traffic network model for model-based predictive control

A simplified macroscopic urban traffic network model for model-based predictive control Delft University of Technology Delft Center for Systems an Control Technical report 9-28 A simplifie macroscopic urban traffic network moel for moel-base preictive control S. Lin, B. De Schutter, Y. Xi,

More information

Predictive Control of a Laboratory Time Delay Process Experiment

Predictive Control of a Laboratory Time Delay Process Experiment Print ISSN:3 6; Online ISSN: 367-5357 DOI:0478/itc-03-0005 Preictive Control of a aboratory ime Delay Process Experiment S Enev Key Wors: Moel preictive control; time elay process; experimental results

More information

Nonlinear Adaptive Ship Course Tracking Control Based on Backstepping and Nussbaum Gain

Nonlinear Adaptive Ship Course Tracking Control Based on Backstepping and Nussbaum Gain Nonlinear Aaptive Ship Course Tracking Control Base on Backstepping an Nussbaum Gain Jialu Du, Chen Guo Abstract A nonlinear aaptive controller combining aaptive Backstepping algorithm with Nussbaum gain

More information

Sliding mode approach to congestion control in connection-oriented communication networks

Sliding mode approach to congestion control in connection-oriented communication networks JOURNAL OF APPLIED COMPUTER SCIENCE Vol. xx. No xx (200x), pp. xx-xx Sliing moe approach to congestion control in connection-oriente communication networks Anrzej Bartoszewicz, Justyna Żuk Technical University

More information

Least-Squares Regression on Sparse Spaces

Least-Squares Regression on Sparse Spaces Least-Squares Regression on Sparse Spaces Yuri Grinberg, Mahi Milani Far, Joelle Pineau School of Computer Science McGill University Montreal, Canaa {ygrinb,mmilan1,jpineau}@cs.mcgill.ca 1 Introuction

More information

Table of Common Derivatives By David Abraham

Table of Common Derivatives By David Abraham Prouct an Quotient Rules: Table of Common Derivatives By Davi Abraham [ f ( g( ] = [ f ( ] g( + f ( [ g( ] f ( = g( [ f ( ] g( g( f ( [ g( ] Trigonometric Functions: sin( = cos( cos( = sin( tan( = sec

More information

Adaptive Gain-Scheduled H Control of Linear Parameter-Varying Systems with Time-Delayed Elements

Adaptive Gain-Scheduled H Control of Linear Parameter-Varying Systems with Time-Delayed Elements Aaptive Gain-Scheule H Control of Linear Parameter-Varying Systems with ime-delaye Elements Yoshihiko Miyasato he Institute of Statistical Mathematics 4-6-7 Minami-Azabu, Minato-ku, okyo 6-8569, Japan

More information

Math 342 Partial Differential Equations «Viktor Grigoryan

Math 342 Partial Differential Equations «Viktor Grigoryan Math 342 Partial Differential Equations «Viktor Grigoryan 6 Wave equation: solution In this lecture we will solve the wave equation on the entire real line x R. This correspons to a string of infinite

More information

A new approach to explicit MPC using self-optimizing control

A new approach to explicit MPC using self-optimizing control 28 American Control Conference Westin Seattle Hotel, Seattle, Washington, USA June -3, 28 WeA3.2 A new approach to explicit MPC using self-optimizing control Henrik Manum, Sriharakumar Narasimhan an Sigur

More information

Robust Forward Algorithms via PAC-Bayes and Laplace Distributions. ω Q. Pr (y(ω x) < 0) = Pr A k

Robust Forward Algorithms via PAC-Bayes and Laplace Distributions. ω Q. Pr (y(ω x) < 0) = Pr A k A Proof of Lemma 2 B Proof of Lemma 3 Proof: Since the support of LL istributions is R, two such istributions are equivalent absolutely continuous with respect to each other an the ivergence is well-efine

More information

Time-of-Arrival Estimation in Non-Line-Of-Sight Environments

Time-of-Arrival Estimation in Non-Line-Of-Sight Environments 2 Conference on Information Sciences an Systems, The Johns Hopkins University, March 2, 2 Time-of-Arrival Estimation in Non-Line-Of-Sight Environments Sinan Gezici, Hisashi Kobayashi an H. Vincent Poor

More information

Constraint Reformulation and a Lagrangian Relaxation based Solution Algorithm for a Least Expected Time Path Problem Abstract 1.

Constraint Reformulation and a Lagrangian Relaxation based Solution Algorithm for a Least Expected Time Path Problem Abstract 1. Constraint Reformulation an a Lagrangian Relaation base Solution Algorithm for a Least Epecte Time Path Problem Liing Yang State Key Laboratory of Rail Traffic Control an Safety, Being Jiaotong University,

More information

'HVLJQ &RQVLGHUDWLRQ LQ 0DWHULDO 6HOHFWLRQ 'HVLJQ 6HQVLWLYLW\,1752'8&7,21

'HVLJQ &RQVLGHUDWLRQ LQ 0DWHULDO 6HOHFWLRQ 'HVLJQ 6HQVLWLYLW\,1752'8&7,21 Large amping in a structural material may be either esirable or unesirable, epening on the engineering application at han. For example, amping is a esirable property to the esigner concerne with limiting

More information

An Introduction to Event-triggered and Self-triggered Control

An Introduction to Event-triggered and Self-triggered Control An Introuction to Event-triggere an Self-triggere Control W.P.M.H. Heemels K.H. Johansson P. Tabuaa Abstract Recent evelopments in computer an communication technologies have le to a new type of large-scale

More information

Exponential Tracking Control of Nonlinear Systems with Actuator Nonlinearity

Exponential Tracking Control of Nonlinear Systems with Actuator Nonlinearity Preprints of the 9th Worl Congress The International Feeration of Automatic Control Cape Town, South Africa. August -9, Exponential Tracking Control of Nonlinear Systems with Actuator Nonlinearity Zhengqiang

More information

BEYOND THE CONSTRUCTION OF OPTIMAL SWITCHING SURFACES FOR AUTONOMOUS HYBRID SYSTEMS. Mauro Boccadoro Magnus Egerstedt Paolo Valigi Yorai Wardi

BEYOND THE CONSTRUCTION OF OPTIMAL SWITCHING SURFACES FOR AUTONOMOUS HYBRID SYSTEMS. Mauro Boccadoro Magnus Egerstedt Paolo Valigi Yorai Wardi BEYOND THE CONSTRUCTION OF OPTIMAL SWITCHING SURFACES FOR AUTONOMOUS HYBRID SYSTEMS Mauro Boccaoro Magnus Egerstet Paolo Valigi Yorai Wari {boccaoro,valigi}@iei.unipg.it Dipartimento i Ingegneria Elettronica

More information

Lower bounds on Locality Sensitive Hashing

Lower bounds on Locality Sensitive Hashing Lower bouns on Locality Sensitive Hashing Rajeev Motwani Assaf Naor Rina Panigrahy Abstract Given a metric space (X, X ), c 1, r > 0, an p, q [0, 1], a istribution over mappings H : X N is calle a (r,

More information

LATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION

LATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION The Annals of Statistics 1997, Vol. 25, No. 6, 2313 2327 LATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION By Eva Riccomagno, 1 Rainer Schwabe 2 an Henry P. Wynn 1 University of Warwick, Technische

More information

Power Generation and Distribution via Distributed Coordination Control

Power Generation and Distribution via Distributed Coordination Control Power Generation an Distribution via Distribute Coorination Control Byeong-Yeon Kim, Kwang-Kyo Oh, an Hyo-Sung Ahn arxiv:407.4870v [math.oc] 8 Jul 204 Abstract This paper presents power coorination, power

More information

New Bounds for Distributed Storage Systems with Secure Repair

New Bounds for Distributed Storage Systems with Secure Repair New Bouns for Distribute Storage Systems with Secure Repair Ravi Tanon 1 an Soheil Mohajer 1 Discovery Analytics Center & Department of Computer Science, Virginia Tech, Blacksburg, VA Department of Electrical

More information

Experimental Robustness Study of a Second-Order Sliding Mode Controller

Experimental Robustness Study of a Second-Order Sliding Mode Controller Experimental Robustness Stuy of a Secon-Orer Sliing Moe Controller Anré Blom, Bram e Jager Einhoven University of Technology Department of Mechanical Engineering P.O. Box 513, 5600 MB Einhoven, The Netherlans

More information

Linear First-Order Equations

Linear First-Order Equations 5 Linear First-Orer Equations Linear first-orer ifferential equations make up another important class of ifferential equations that commonly arise in applications an are relatively easy to solve (in theory)

More information

Optimization of a point-mass walking model using direct collocation and sequential quadratic programming

Optimization of a point-mass walking model using direct collocation and sequential quadratic programming Optimization of a point-mass walking moel using irect collocation an sequential quaratic programming Chris Dembia June 5, 5 Telescoping actuator y Stance leg Point-mass boy m (x,y) Swing leg x Leg uring

More information

19 Eigenvalues, Eigenvectors, Ordinary Differential Equations, and Control

19 Eigenvalues, Eigenvectors, Ordinary Differential Equations, and Control 19 Eigenvalues, Eigenvectors, Orinary Differential Equations, an Control This section introuces eigenvalues an eigenvectors of a matrix, an iscusses the role of the eigenvalues in etermining the behavior

More information

Switching Time Optimization in Discretized Hybrid Dynamical Systems

Switching Time Optimization in Discretized Hybrid Dynamical Systems Switching Time Optimization in Discretize Hybri Dynamical Systems Kathrin Flaßkamp, To Murphey, an Sina Ober-Blöbaum Abstract Switching time optimization (STO) arises in systems that have a finite set

More information

A NONLINEAR SOURCE SEPARATION APPROACH FOR THE NICOLSKY-EISENMAN MODEL

A NONLINEAR SOURCE SEPARATION APPROACH FOR THE NICOLSKY-EISENMAN MODEL 6th European Signal Processing Conference EUSIPCO 28, Lausanne, Switzerlan, August 25-29, 28, copyright by EURASIP A NONLINEAR SOURCE SEPARATION APPROACH FOR THE NICOLSKY-EISENMAN MODEL Leonaro Tomazeli

More information

Schrödinger s equation.

Schrödinger s equation. Physics 342 Lecture 5 Schröinger s Equation Lecture 5 Physics 342 Quantum Mechanics I Wenesay, February 3r, 2010 Toay we iscuss Schröinger s equation an show that it supports the basic interpretation of

More information

IPA Derivatives for Make-to-Stock Production-Inventory Systems With Backorders Under the (R,r) Policy

IPA Derivatives for Make-to-Stock Production-Inventory Systems With Backorders Under the (R,r) Policy IPA Derivatives for Make-to-Stock Prouction-Inventory Systems With Backorers Uner the (Rr) Policy Yihong Fan a Benamin Melame b Yao Zhao c Yorai Wari Abstract This paper aresses Infinitesimal Perturbation

More information

Situation awareness of power system based on static voltage security region

Situation awareness of power system based on static voltage security region The 6th International Conference on Renewable Power Generation (RPG) 19 20 October 2017 Situation awareness of power system base on static voltage security region Fei Xiao, Zi-Qing Jiang, Qian Ai, Ran

More information

On Characterizing the Delay-Performance of Wireless Scheduling Algorithms

On Characterizing the Delay-Performance of Wireless Scheduling Algorithms On Characterizing the Delay-Performance of Wireless Scheuling Algorithms Xiaojun Lin Center for Wireless Systems an Applications School of Electrical an Computer Engineering, Purue University West Lafayette,

More information

inflow outflow Part I. Regular tasks for MAE598/494 Task 1

inflow outflow Part I. Regular tasks for MAE598/494 Task 1 MAE 494/598, Fall 2016 Project #1 (Regular tasks = 20 points) Har copy of report is ue at the start of class on the ue ate. The rules on collaboration will be release separately. Please always follow the

More information

A note on asymptotic formulae for one-dimensional network flow problems Carlos F. Daganzo and Karen R. Smilowitz

A note on asymptotic formulae for one-dimensional network flow problems Carlos F. Daganzo and Karen R. Smilowitz A note on asymptotic formulae for one-imensional network flow problems Carlos F. Daganzo an Karen R. Smilowitz (to appear in Annals of Operations Research) Abstract This note evelops asymptotic formulae

More information

Text S1: Simulation models and detailed method for early warning signal calculation

Text S1: Simulation models and detailed method for early warning signal calculation 1 Text S1: Simulation moels an etaile metho for early warning signal calculation Steven J. Lae, Thilo Gross Max Planck Institute for the Physics of Complex Systems, Nöthnitzer Str. 38, 01187 Dresen, Germany

More information

Lecture Introduction. 2 Examples of Measure Concentration. 3 The Johnson-Lindenstrauss Lemma. CS-621 Theory Gems November 28, 2012

Lecture Introduction. 2 Examples of Measure Concentration. 3 The Johnson-Lindenstrauss Lemma. CS-621 Theory Gems November 28, 2012 CS-6 Theory Gems November 8, 0 Lecture Lecturer: Alesaner Mąry Scribes: Alhussein Fawzi, Dorina Thanou Introuction Toay, we will briefly iscuss an important technique in probability theory measure concentration

More information

Perturbation Analysis and Optimization of Stochastic Flow Networks

Perturbation Analysis and Optimization of Stochastic Flow Networks IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. XX, NO. Y, MMM 2004 1 Perturbation Analysis an Optimization of Stochastic Flow Networks Gang Sun, Christos G. Cassanras, Yorai Wari, Christos G. Panayiotou,

More information

A model predictive control approach for the line balancing in baggage handling systems

A model predictive control approach for the line balancing in baggage handling systems Delft University of Technology Delft Center for Systems and Control Technical report 12-32 A model predictive control approach for the line balancing in baggage handling systems Y. Zeinaly, B. De Schutter,

More information

ELEC3114 Control Systems 1

ELEC3114 Control Systems 1 ELEC34 Control Systems Linear Systems - Moelling - Some Issues Session 2, 2007 Introuction Linear systems may be represente in a number of ifferent ways. Figure shows the relationship between various representations.

More information

Distributed coordination control for multi-robot networks using Lyapunov-like barrier functions

Distributed coordination control for multi-robot networks using Lyapunov-like barrier functions IEEE TRANSACTIONS ON 1 Distribute coorination control for multi-robot networks using Lyapunov-like barrier functions Dimitra Panagou, Dušan M. Stipanović an Petros G. Voulgaris Abstract This paper aresses

More information

This module is part of the. Memobust Handbook. on Methodology of Modern Business Statistics

This module is part of the. Memobust Handbook. on Methodology of Modern Business Statistics This moule is part of the Memobust Hanbook on Methoology of Moern Business Statistics 26 March 2014 Metho: Balance Sampling for Multi-Way Stratification Contents General section... 3 1. Summary... 3 2.

More information

Adaptive Predictive Control with Controllers of Restricted Structure

Adaptive Predictive Control with Controllers of Restricted Structure Aaptive Preictive Control with Controllers of Restricte Structure Michael J Grimble an Peter Martin Inustrial Control Centre University of Strathclye 5 George Street Glasgow, G1 1QE Scotlan, UK Abstract

More information

Iterated Point-Line Configurations Grow Doubly-Exponentially

Iterated Point-Line Configurations Grow Doubly-Exponentially Iterate Point-Line Configurations Grow Doubly-Exponentially Joshua Cooper an Mark Walters July 9, 008 Abstract Begin with a set of four points in the real plane in general position. A to this collection

More information

A Sketch of Menshikov s Theorem

A Sketch of Menshikov s Theorem A Sketch of Menshikov s Theorem Thomas Bao March 14, 2010 Abstract Let Λ be an infinite, locally finite oriente multi-graph with C Λ finite an strongly connecte, an let p

More information

Minimum-time constrained velocity planning

Minimum-time constrained velocity planning 7th Meiterranean Conference on Control & Automation Makeonia Palace, Thessaloniki, Greece June 4-6, 9 Minimum-time constraine velocity planning Gabriele Lini, Luca Consolini, Aurelio Piazzi Università

More information

State estimation for predictive maintenance using Kalman filter

State estimation for predictive maintenance using Kalman filter Reliability Engineering an System Safety 66 (1999) 29 39 www.elsevier.com/locate/ress State estimation for preictive maintenance using Kalman filter S.K. Yang, T.S. Liu* Department of Mechanical Engineering,

More information

Qubit channels that achieve capacity with two states

Qubit channels that achieve capacity with two states Qubit channels that achieve capacity with two states Dominic W. Berry Department of Physics, The University of Queenslan, Brisbane, Queenslan 4072, Australia Receive 22 December 2004; publishe 22 March

More information

Lower Bounds for the Smoothed Number of Pareto optimal Solutions

Lower Bounds for the Smoothed Number of Pareto optimal Solutions Lower Bouns for the Smoothe Number of Pareto optimal Solutions Tobias Brunsch an Heiko Röglin Department of Computer Science, University of Bonn, Germany brunsch@cs.uni-bonn.e, heiko@roeglin.org Abstract.

More information

6 General properties of an autonomous system of two first order ODE

6 General properties of an autonomous system of two first order ODE 6 General properties of an autonomous system of two first orer ODE Here we embark on stuying the autonomous system of two first orer ifferential equations of the form ẋ 1 = f 1 (, x 2 ), ẋ 2 = f 2 (, x

More information

Examining Geometric Integration for Propagating Orbit Trajectories with Non-Conservative Forcing

Examining Geometric Integration for Propagating Orbit Trajectories with Non-Conservative Forcing Examining Geometric Integration for Propagating Orbit Trajectories with Non-Conservative Forcing Course Project for CDS 05 - Geometric Mechanics John M. Carson III California Institute of Technology June

More information

Closed and Open Loop Optimal Control of Buffer and Energy of a Wireless Device

Closed and Open Loop Optimal Control of Buffer and Energy of a Wireless Device Close an Open Loop Optimal Control of Buffer an Energy of a Wireless Device V. S. Borkar School of Technology an Computer Science TIFR, umbai, Inia. borkar@tifr.res.in A. A. Kherani B. J. Prabhu INRIA

More information

Robustness and Perturbations of Minimal Bases

Robustness and Perturbations of Minimal Bases Robustness an Perturbations of Minimal Bases Paul Van Dooren an Froilán M Dopico December 9, 2016 Abstract Polynomial minimal bases of rational vector subspaces are a classical concept that plays an important

More information

Design A Robust Power System Stabilizer on SMIB Using Lyapunov Theory

Design A Robust Power System Stabilizer on SMIB Using Lyapunov Theory Design A Robust Power System Stabilizer on SMIB Using Lyapunov Theory Yin Li, Stuent Member, IEEE, Lingling Fan, Senior Member, IEEE Abstract This paper proposes a robust power system stabilizer (PSS)

More information

Lyapunov Functions. V. J. Venkataramanan and Xiaojun Lin. Center for Wireless Systems and Applications. School of Electrical and Computer Engineering,

Lyapunov Functions. V. J. Venkataramanan and Xiaojun Lin. Center for Wireless Systems and Applications. School of Electrical and Computer Engineering, On the Queue-Overflow Probability of Wireless Systems : A New Approach Combining Large Deviations with Lyapunov Functions V. J. Venkataramanan an Xiaojun Lin Center for Wireless Systems an Applications

More information

Lecture 2 Lagrangian formulation of classical mechanics Mechanics

Lecture 2 Lagrangian formulation of classical mechanics Mechanics Lecture Lagrangian formulation of classical mechanics 70.00 Mechanics Principle of stationary action MATH-GA To specify a motion uniquely in classical mechanics, it suffices to give, at some time t 0,

More information

Improved Rate-Based Pull and Push Strategies in Large Distributed Networks

Improved Rate-Based Pull and Push Strategies in Large Distributed Networks Improve Rate-Base Pull an Push Strategies in Large Distribute Networks Wouter Minnebo an Benny Van Hout Department of Mathematics an Computer Science University of Antwerp - imins Mielheimlaan, B-00 Antwerp,

More information

Laplacian Cooperative Attitude Control of Multiple Rigid Bodies

Laplacian Cooperative Attitude Control of Multiple Rigid Bodies Laplacian Cooperative Attitue Control of Multiple Rigi Boies Dimos V. Dimarogonas, Panagiotis Tsiotras an Kostas J. Kyriakopoulos Abstract Motivate by the fact that linear controllers can stabilize the

More information

Computing Exact Confidence Coefficients of Simultaneous Confidence Intervals for Multinomial Proportions and their Functions

Computing Exact Confidence Coefficients of Simultaneous Confidence Intervals for Multinomial Proportions and their Functions Working Paper 2013:5 Department of Statistics Computing Exact Confience Coefficients of Simultaneous Confience Intervals for Multinomial Proportions an their Functions Shaobo Jin Working Paper 2013:5

More information

IERCU. Institute of Economic Research, Chuo University 50th Anniversary Special Issues. Discussion Paper No.210

IERCU. Institute of Economic Research, Chuo University 50th Anniversary Special Issues. Discussion Paper No.210 IERCU Institute of Economic Research, Chuo University 50th Anniversary Special Issues Discussion Paper No.210 Discrete an Continuous Dynamics in Nonlinear Monopolies Akio Matsumoto Chuo University Ferenc

More information

Multi-agent Systems Reaching Optimal Consensus with Time-varying Communication Graphs

Multi-agent Systems Reaching Optimal Consensus with Time-varying Communication Graphs Preprints of the 8th IFAC Worl Congress Multi-agent Systems Reaching Optimal Consensus with Time-varying Communication Graphs Guoong Shi ACCESS Linnaeus Centre, School of Electrical Engineering, Royal

More information

Yaakov (Jonathan) Stein, RAD Data Communications and Brian Stroehlein, TranSwitch Corporation

Yaakov (Jonathan) Stein, RAD Data Communications and Brian Stroehlein, TranSwitch Corporation Using ynchronization over PN Does IEEE 1588 M Really Mae a Difference? Yaaov (Jonathan) tein, RAD Data Communications an Brian troehlein, ranwitch Corporation pecial thans to Alon Geva, DP Algorithm eam

More information

Time-Optimal Motion Control of Piezoelectric Actuator: STM Application

Time-Optimal Motion Control of Piezoelectric Actuator: STM Application Time-Optimal Motion Control of Piezoelectric Actuator: STM Application Yongai Xu, Peter H. Mecl Abstract This paper exaes the problem of time-optimal motion control in the context of Scanning Tunneling

More information

arxiv: v1 [math.co] 29 May 2009

arxiv: v1 [math.co] 29 May 2009 arxiv:0905.4913v1 [math.co] 29 May 2009 simple Havel-Hakimi type algorithm to realize graphical egree sequences of irecte graphs Péter L. Erős an István Miklós. Rényi Institute of Mathematics, Hungarian

More information

Survey Sampling. 1 Design-based Inference. Kosuke Imai Department of Politics, Princeton University. February 19, 2013

Survey Sampling. 1 Design-based Inference. Kosuke Imai Department of Politics, Princeton University. February 19, 2013 Survey Sampling Kosuke Imai Department of Politics, Princeton University February 19, 2013 Survey sampling is one of the most commonly use ata collection methos for social scientists. We begin by escribing

More information

Optimal CDMA Signatures: A Finite-Step Approach

Optimal CDMA Signatures: A Finite-Step Approach Optimal CDMA Signatures: A Finite-Step Approach Joel A. Tropp Inst. for Comp. Engr. an Sci. (ICES) 1 University Station C000 Austin, TX 7871 jtropp@ices.utexas.eu Inerjit. S. Dhillon Dept. of Comp. Sci.

More information

All s Well That Ends Well: Supplementary Proofs

All s Well That Ends Well: Supplementary Proofs All s Well That Ens Well: Guarantee Resolution of Simultaneous Rigi Boy Impact 1:1 All s Well That Ens Well: Supplementary Proofs This ocument complements the paper All s Well That Ens Well: Guarantee

More information

Simultaneous Input and State Estimation with a Delay

Simultaneous Input and State Estimation with a Delay 15 IEEE 5th Annual Conference on Decision an Control (CDC) December 15-18, 15. Osaa, Japan Simultaneous Input an State Estimation with a Delay Sze Zheng Yong a Minghui Zhu b Emilio Frazzoli a Abstract

More information

Leaving Randomness to Nature: d-dimensional Product Codes through the lens of Generalized-LDPC codes

Leaving Randomness to Nature: d-dimensional Product Codes through the lens of Generalized-LDPC codes Leaving Ranomness to Nature: -Dimensional Prouct Coes through the lens of Generalize-LDPC coes Tavor Baharav, Kannan Ramchanran Dept. of Electrical Engineering an Computer Sciences, U.C. Berkeley {tavorb,

More information

Systems & Control Letters

Systems & Control Letters Systems & ontrol Letters ( ) ontents lists available at ScienceDirect Systems & ontrol Letters journal homepage: www.elsevier.com/locate/sysconle A converse to the eterministic separation principle Jochen

More information

Topic 7: Convergence of Random Variables

Topic 7: Convergence of Random Variables Topic 7: Convergence of Ranom Variables Course 003, 2016 Page 0 The Inference Problem So far, our starting point has been a given probability space (S, F, P). We now look at how to generate information

More information

Connections Between Duality in Control Theory and

Connections Between Duality in Control Theory and Connections Between Duality in Control heory an Convex Optimization V. Balakrishnan 1 an L. Vanenberghe 2 Abstract Several important problems in control theory can be reformulate as convex optimization

More information

The Exact Form and General Integrating Factors

The Exact Form and General Integrating Factors 7 The Exact Form an General Integrating Factors In the previous chapters, we ve seen how separable an linear ifferential equations can be solve using methos for converting them to forms that can be easily

More information

State-Space Model for a Multi-Machine System

State-Space Model for a Multi-Machine System State-Space Moel for a Multi-Machine System These notes parallel section.4 in the text. We are ealing with classically moele machines (IEEE Type.), constant impeance loas, an a network reuce to its internal

More information

How to Minimize Maximum Regret in Repeated Decision-Making

How to Minimize Maximum Regret in Repeated Decision-Making How to Minimize Maximum Regret in Repeate Decision-Making Karl H. Schlag July 3 2003 Economics Department, European University Institute, Via ella Piazzuola 43, 033 Florence, Italy, Tel: 0039-0-4689, email:

More information

d dx But have you ever seen a derivation of these results? We ll prove the first result below. cos h 1

d dx But have you ever seen a derivation of these results? We ll prove the first result below. cos h 1 Lecture 5 Some ifferentiation rules Trigonometric functions (Relevant section from Stewart, Seventh Eition: Section 3.3) You all know that sin = cos cos = sin. () But have you ever seen a erivation of

More information

SYNCHRONOUS SEQUENTIAL CIRCUITS

SYNCHRONOUS SEQUENTIAL CIRCUITS CHAPTER SYNCHRONOUS SEUENTIAL CIRCUITS Registers an counters, two very common synchronous sequential circuits, are introuce in this chapter. Register is a igital circuit for storing information. Contents

More information

MULTISCALE FRICTION MODELING FOR SHEET METAL FORMING

MULTISCALE FRICTION MODELING FOR SHEET METAL FORMING MULTISCALE FRICTION MODELING FOR SHEET METAL FORMING Authors J. HOL 1, M.V. CID ALFARO 2, M.B. DE ROOIJ 3 AND T. MEINDERS 4 1 Materials innovation institute (M2i) 2 Corus Research Centre 3 University of

More information

Slide10 Haykin Chapter 14: Neurodynamics (3rd Ed. Chapter 13)

Slide10 Haykin Chapter 14: Neurodynamics (3rd Ed. Chapter 13) Slie10 Haykin Chapter 14: Neuroynamics (3r E. Chapter 13) CPSC 636-600 Instructor: Yoonsuck Choe Spring 2012 Neural Networks with Temporal Behavior Inclusion of feeback gives temporal characteristics to

More information

7.1 Support Vector Machine

7.1 Support Vector Machine 67577 Intro. to Machine Learning Fall semester, 006/7 Lecture 7: Support Vector Machines an Kernel Functions II Lecturer: Amnon Shashua Scribe: Amnon Shashua 7. Support Vector Machine We return now to

More information

CONTROL CHARTS FOR VARIABLES

CONTROL CHARTS FOR VARIABLES UNIT CONTOL CHATS FO VAIABLES Structure.1 Introuction Objectives. Control Chart Technique.3 Control Charts for Variables.4 Control Chart for Mean(-Chart).5 ange Chart (-Chart).6 Stanar Deviation Chart

More information

Transmission Line Matrix (TLM) network analogues of reversible trapping processes Part B: scaling and consistency

Transmission Line Matrix (TLM) network analogues of reversible trapping processes Part B: scaling and consistency Transmission Line Matrix (TLM network analogues of reversible trapping processes Part B: scaling an consistency Donar e Cogan * ANC Eucation, 308-310.A. De Mel Mawatha, Colombo 3, Sri Lanka * onarecogan@gmail.com

More information

1 dx. where is a large constant, i.e., 1, (7.6) and Px is of the order of unity. Indeed, if px is given by (7.5), the inequality (7.

1 dx. where is a large constant, i.e., 1, (7.6) and Px is of the order of unity. Indeed, if px is given by (7.5), the inequality (7. Lectures Nine an Ten The WKB Approximation The WKB metho is a powerful tool to obtain solutions for many physical problems It is generally applicable to problems of wave propagation in which the frequency

More information

Proof of SPNs as Mixture of Trees

Proof of SPNs as Mixture of Trees A Proof of SPNs as Mixture of Trees Theorem 1. If T is an inuce SPN from a complete an ecomposable SPN S, then T is a tree that is complete an ecomposable. Proof. Argue by contraiction that T is not a

More information

On the Aloha throughput-fairness tradeoff

On the Aloha throughput-fairness tradeoff On the Aloha throughput-fairness traeoff 1 Nan Xie, Member, IEEE, an Steven Weber, Senior Member, IEEE Abstract arxiv:1605.01557v1 [cs.it] 5 May 2016 A well-known inner boun of the stability region of

More information

State observers and recursive filters in classical feedback control theory

State observers and recursive filters in classical feedback control theory State observers an recursive filters in classical feeback control theory State-feeback control example: secon-orer system Consier the riven secon-orer system q q q u x q x q x x x x Here u coul represent

More information

Polynomial Inclusion Functions

Polynomial Inclusion Functions Polynomial Inclusion Functions E. e Weert, E. van Kampen, Q. P. Chu, an J. A. Muler Delft University of Technology, Faculty of Aerospace Engineering, Control an Simulation Division E.eWeert@TUDelft.nl

More information

Hyperbolic Systems of Equations Posed on Erroneous Curved Domains

Hyperbolic Systems of Equations Posed on Erroneous Curved Domains Hyperbolic Systems of Equations Pose on Erroneous Curve Domains Jan Norström a, Samira Nikkar b a Department of Mathematics, Computational Mathematics, Linköping University, SE-58 83 Linköping, Sween (

More information

Collapsed Gibbs and Variational Methods for LDA. Example Collapsed MoG Sampling

Collapsed Gibbs and Variational Methods for LDA. Example Collapsed MoG Sampling Case Stuy : Document Retrieval Collapse Gibbs an Variational Methos for LDA Machine Learning/Statistics for Big Data CSE599C/STAT59, University of Washington Emily Fox 0 Emily Fox February 7 th, 0 Example

More information

Discrete Mathematics

Discrete Mathematics Discrete Mathematics 309 (009) 86 869 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: wwwelseviercom/locate/isc Profile vectors in the lattice of subspaces Dániel Gerbner

More information

Learning Automata in Games with Memory with Application to Circuit-Switched Routing

Learning Automata in Games with Memory with Application to Circuit-Switched Routing Learning Automata in Games with Memory with Application to Circuit-Switche Routing Murat Alanyali Abstract A general setting is consiere in which autonomous users interact by means of a finite-state controlle

More information

An Approach for Design of Multi-element USBL Systems

An Approach for Design of Multi-element USBL Systems An Approach for Design of Multi-element USBL Systems MIKHAIL ARKHIPOV Department of Postgrauate Stuies Technological University of the Mixteca Carretera a Acatlima Km. 2.5 Huajuapan e Leon Oaxaca 69000

More information

VIRTUAL STRUCTURE BASED SPACECRAFT FORMATION CONTROL WITH FORMATION FEEDBACK

VIRTUAL STRUCTURE BASED SPACECRAFT FORMATION CONTROL WITH FORMATION FEEDBACK AIAA Guiance, Navigation, an Control Conference an Exhibit 5-8 August, Monterey, California AIAA -9 VIRTUAL STRUCTURE BASED SPACECRAT ORMATION CONTROL WITH ORMATION EEDBACK Wei Ren Ranal W. Bear Department

More information

θ x = f ( x,t) could be written as

θ x = f ( x,t) could be written as 9. Higher orer PDEs as systems of first-orer PDEs. Hyperbolic systems. For PDEs, as for ODEs, we may reuce the orer by efining new epenent variables. For example, in the case of the wave equation, (1)

More information

Nonlinear Model Predictive Control for Periodic Systems using LMIs

Nonlinear Model Predictive Control for Periodic Systems using LMIs Marcus Reble Christoph Böhm Fran Allgöwer Nonlinear Model Predictive Control for Periodic Systems using LMIs Stuttgart, June 29 Institute for Systems Theory and Automatic Control (IST), University of Stuttgart,

More information

Technion - Computer Science Department - M.Sc. Thesis MSC Constrained Codes for Two-Dimensional Channels.

Technion - Computer Science Department - M.Sc. Thesis MSC Constrained Codes for Two-Dimensional Channels. Technion - Computer Science Department - M.Sc. Thesis MSC-2006- - 2006 Constraine Coes for Two-Dimensional Channels Keren Censor Technion - Computer Science Department - M.Sc. Thesis MSC-2006- - 2006 Technion

More information

Predictive control of synchronous generator: a multiciterial optimization approach

Predictive control of synchronous generator: a multiciterial optimization approach Preictive control of synchronous generator: a multiciterial optimization approach Marián Mrosko, Eva Miklovičová, Ján Murgaš Abstract The paper eals with the preictive control esign for nonlinear systems.

More information

JUST THE MATHS UNIT NUMBER DIFFERENTIATION 2 (Rates of change) A.J.Hobson

JUST THE MATHS UNIT NUMBER DIFFERENTIATION 2 (Rates of change) A.J.Hobson JUST THE MATHS UNIT NUMBER 10.2 DIFFERENTIATION 2 (Rates of change) by A.J.Hobson 10.2.1 Introuction 10.2.2 Average rates of change 10.2.3 Instantaneous rates of change 10.2.4 Derivatives 10.2.5 Exercises

More information

Necessary and Sufficient Conditions for Sketched Subspace Clustering

Necessary and Sufficient Conditions for Sketched Subspace Clustering Necessary an Sufficient Conitions for Sketche Subspace Clustering Daniel Pimentel-Alarcón, Laura Balzano 2, Robert Nowak University of Wisconsin-Maison, 2 University of Michigan-Ann Arbor Abstract This

More information

PREDICTIVE MODEL-BASED CONTROL OF VENTILATION, LIGHTING, AND SHADING SYSTEMS IN AN OFFICE BUILDING. Vienna University of Technology, Austria

PREDICTIVE MODEL-BASED CONTROL OF VENTILATION, LIGHTING, AND SHADING SYSTEMS IN AN OFFICE BUILDING. Vienna University of Technology, Austria PREDICTIVE MODEL-BASED CONTROL OF VENTILATION, LIGHTING, AND SHADING SYSTEMS IN AN OFFICE BUILDING Matthias Schuss 1, Claus Pröglhöf 1, Kristina Orehounig 1, Sokol Dervishi 1, Mario Müller 2, Heinz Wascher

More information

An LMI Approach to Guaranteed Cost Control for Uncertain Delay Systems

An LMI Approach to Guaranteed Cost Control for Uncertain Delay Systems IEEE RASACIOS O CIRCUIS AD SYSEMS I: FUDAMEAL HEORY AD APPLICAIOS, VOL 5, O 6, JUE 23 795 An LMI Approach to Guarantee Cost Control for Uncertain Delay Systems Hiroaki Mukaiani he notations use in this

More information

Adaptive Adjustment of Noise Covariance in Kalman Filter for Dynamic State Estimation

Adaptive Adjustment of Noise Covariance in Kalman Filter for Dynamic State Estimation Aaptive Ajustment of Noise Covariance in Kalman Filter for Dynamic State Estimation Shahroh Ahlaghi, Stuent Member, IEEE Ning Zhou, Senior Member, IEEE Electrical an Computer Engineering Department, Binghamton

More information

4.2 First Differentiation Rules; Leibniz Notation

4.2 First Differentiation Rules; Leibniz Notation .. FIRST DIFFERENTIATION RULES; LEIBNIZ NOTATION 307. First Differentiation Rules; Leibniz Notation In this section we erive rules which let us quickly compute the erivative function f (x) for any polynomial

More information