Optimal Control of Spatially Distributed Systems
|
|
- Marshall Gibson
- 6 years ago
- Views:
Transcription
1 Optimal Control of Spatially Distribute Systems Naer Motee an Ali Jababaie Abstract In this paper, we stuy the structural properties of optimal control of spatially istribute systems. Such systems consist of an infinite collection of possibly heterogeneous linear control systems that are spatially interconnecte via certain istant epenent coupling functions over arbitrary graphs. The key iea of the paper is the introuction of a special class of operators calle spatially ecaying (SD) operators. We stuy the structural properties of infinite-horizon linear quaratic optimal controllers for such systems by analyzing the spatial structure of the solution to the corresponing operator Lyapunov an Riccati equations. We prove that the kernel of the optimal feeback of each subsystem ecays in the spatial omain at a rate proportional to the inverse of the corresponing coupling function of the system. I. INTRODUCTION Analysis an synthesis of istribute coorination an control algorithms for networke ynamic systems has become a vibrant part of control theory research. Several authors have stuie the problem of optimal control of certain classes of spatially istribute systems with symmetries in their spatial structure. In [], Bamieh et al. use spatial Fourier transforms an operator theory to stuy optimal control of linear spatially invariant systems with stanar H 2 (LQ), an H criteria. It was shown that such problems can be tackle by solving a parameterize family of finiteimensional problems in Fourier omain. Furthermore, the authors show that the resulting optimal controllers have an inherent spatial locality similar to the unerlying system. Another interesting relate work in this area is reporte in [2] where the authors use operator theoretic tools, motivate by results of [3] to analyze time-varying systems, an esign optimal controllers for heterogeneous systems which are not shift invariant with respect to spatial or temporal variables. In [4], the authors introuce the notion of quaratic invariance for a constraint set (e.g. sparsity constraints on communication structure of plant an controller). Using this notion, the authors show that the problem of constructing optimal controllers with certain sparsity patterns on the information structure can be cast as a convex optimization problem. This paper is very close in spirit to []. The objective of this paper is to analyze the spatial structure of infinite horizon optimal controllers of spatially istribute systems. Here, we exten the results of [] to heterogeneous systems with arbitrary spatial structure an show that quaratically optimal controllers inherit the same spatial structure as the N. Motee an A. Jababaie are with the Department of Electrical an Systems Engineering an GRASP Laboratory, University of Pennsylvania, 2 South 33r Street, Philaelphia PA 94. {motee,jababai}@seas.upenn.eu This work is porte in parts by the following grants: ONR/YIP N , NSF-ECS-34728, an ARO MURI W9NF original plant. The key point of eparture from [] is that the systems consiere in this work are not spatially invariant an the corresponing operators are not translation invariant either. The spatial structures stuie in [] are Locally Compact Abelian (LCA) groups [] such as (Z, +) an (Z n, ). As a result, the group operation naturally inuces a translation operator for functions efine on the group. However, when the ynamics of iniviual subsystems are not ientical an the spatial structure oes not necessarily enjoy the symmetries of LCA groups, stanar tools such as Fourier analysis cannot be use to analyze the system. To aress this issue, a new class of linear operators, calle spatially ecaying (SD) operators, are introuce that are natural extension of linear translation invariant operators. It is shown that such operators exhibit a localize behavior in spatial omain, i.e., the norm of blocks in the matrix representation of the operator ecay in space. It turns out that the coupling between subsystems in many well-known cooperative control an networke control problems can be characterize by an SD operator. A linear control system is calle spatially ecaying if the operators in its statespace representation are SD. It is shown that the unique solution of Lyapunov an algebraic Riccati equations (ARE) corresponing to SD system are inee SD themselves. As a result, the corresponing optimal controllers are SD an spatially localize, meaning that in the optimal controller, the gain of subsystems that are farther away from a given subsystem ecays in space an the resulting controller is inherently localize. The machinery evelope in this paper can be use to analyze the spatial structure of a broaer range of optimal control problems such as constraine, finite horizon control or Moel Preictive Control of spatially istribute systems. This problem has been analyze in etail in [6] an [7]. This paper is organize as follows. We introuce the notation an the basic concepts use throughout the paper in Section II. The optimal control problem for spatially istribute linear systems is presente in Section III. The concept of spatially ecaying operators an their properties are introuce in Section IV. The structural properties of quaratically optimal controllers are aresse in Section V. Simulation results are inclue in Section VI. Finally, our concluing remarks are presente in Section VII. II. PRELIMINARIES R enotes the set of real numbers, R + the set of nonnegative real numbers, an C the set of complex numbers. Consier an unirecte connecte graph with a nonempty set G of noes. We refer to G as the spatial omain.. an. enote the Eucliean vector norm an its corresponing inuce matrix norm, respectively. The Banach space l p (G) for p < is efine to be the set of all sequences
2 x = (x i ) in which x i R n i satisfying x i p < enowe with the norm x p := ( x i p ) p. The Banach space l (G) enotes the set of all boune sequences enowe with the norm x := x i. Throughout the paper, we will use the shorthan notation l p for l p (G). The space l 2 is a Hilbert space with inner prouct x, y := x i, y i for all x, y l 2. An operator Q : l p l q for p, q is boune if it has a finite inuce norm, i.e., the following quantity Q p,q := Qx q x p = is boune. The ientity operator is enote by I. The set of all boune linear operators of l p into itself is enote by B(l p ). An operator Q B(l p ) has an algebraic inverse if it has an inverse Q in B(l p ) [8]. The ajoint operator of Q B(l 2 ) is the operator Q in B(l 2 ) such that Qx, y = x, Q y for all x, y l 2. An operator Q is self-ajoint if Q = Q. An operator Q B(l 2 ) is positive efinite, shown as Q, if there exists a number α > such that x, Qx > α x 2 2 for all nonzero x l 2. The set of all functions from A R into R is a vector space F over R. For f, f 2 F, the notation f f 2 will be use to mean the pointwise inequality f (s) < f 2 (s) for all s A. A family of seminorms on F is efine as {. T T R + } in which f T := s T f(s) for all f F. The topology generate by all open. T -balls is calle the topology generate by the family of seminorms an is enote by. T -topology. Continuity of a function in this topology is equivalent to continuity in every seminorm in the family. Although the results of section III is set up in a general framework, in this paper we are intereste in linear operators which have matrix representations. III. OPTIMAL CONTROL OF SPATIALLY DISTRIBUTED SYSTEMS We begin by consiering a continuous-time linear moel for spatially istribute systems over a iscrete spatial omain G escribe by ψ(t) t = (Aψ) (t) + (Bu) (t) () y(t) = (Cψ) (t) + (Du) (t) (2) with the initial conition ψ() = ψ. All signals are assume to be in L 2 ([, ); l 2 ) space: at each time instant t [, ), signals ψ(t), u(t), y(t) are assume to be in l 2. The state-space operators A, B, C, D are assume to be constant functions of time from l 2 to itself. The semigroup generate by A is strongly continuous on l 2. This assumption guarantees existence an uniqueness of classical solutions of the system given by ()-(2) (cf. Chapter 3 of [9]). Example : Consier the general one-imensional heat equation for a bi-infinite bar [] ψ(x, t) = t x ( c(x) ψ(x, t) x ) + b(x)u(x, t) where x is the spatial inepenent variable, t is the temporal inepenent variable, ψ(x, t) is the temperature of the bar, an u(x, t) is a istribute heat source. The thermal conuctivity c is only a function of x an is ifferentiable with respect to x. The bounary conitions are assume to be ψ(, t) = ψ(, t) =. By inserting finite ifference approximation for the spatial partial erivatives, the following continuous-time, iscrete-space moel can be obtaine: ( ) t ψ(x k, t) = c ψ(xk, t) ψ(x k, t) (x k ) + δ ( ) ψ(xk, t) 2ψ(x k, t) + ψ(x k+, t) c(x k ) + b(x k )u(x k, t) δ 2 where c (x) = xc(x). The iscretization is performe with equal spacing δ = x k x k of the points x k such that there is an integer number of points in space. Hence, after iscretization the spatial omain is G = Z. This moel can be represente as linear system () in which the infinitetuples ψ(t) = (ψ(x k, t)) an u(t) = (u(x k, t)) are the state an control input variables of the infiniteimensional system an the block elements of the state-space operators A an B are efine as follows c (x k )δ+c(x k ) δ, i = k 2 [A] ki = c (x k )δ+2c(x k ) δ, i = k 2 c(x k ) δ, i = k + 2, otherwise an [B] ki = { b(xk ), i = k, otherwise for all k, i G. One can show that A is an unboune operator on l 2. However, the semigroup generate by A is strongly continuous on l 2. A. Exponential Stability Consier the following autonomous system over G ψ(t) = (Aψ) (t) (3) t with initial conition ψ() = ψ. Suppose that A generates a strongly continuous C -semingroup on l 2, enote by T (t). The system (3) is exponentially stable if for some M, α >. T (t) 2,2 Me αt for t Theorem [9]: Let A be the infinitesimal generator of the C -semigroup T (t) on l 2 an Q a positive efinite operator. Then T (t) is exponentially stable if an only if the Lyapunov equation Aφ, Pφ + Pφ, Aφ + φ, Qφ = (4) for all φ D(A), has a positive efinite solution P B(l 2 ). B. LQR control of infinite imensional systems While the main results of this paper are proven for LQ optimal controllers, similar results can be proven for H an H 2 problems. In general, the solutions to these problems can be formulate in terms of two operator AREs. Such problems have been aresse in the literature for general classes of istribute parameter systems [9], []. An elegant analysis for the spatially invariant case can be foun in []. Similar to the finite-imensional case, optimal solutions to infinite-imensional LQR can be formulate in terms of
3 an operator Riccati equation. Consier the quaratic cost functional given by J = ψ(t), Qψ(t) + u(t), Ru(t) t. () The system ()-(2) with cost () is sai to be optimizable if for every initial conition ψ() = ψ l 2, there exists an input function u L 2 ([, ); l 2 ) such that the value of () is finite [9]. Note that if (A, B) is exponentially stabilizable, then the system ()-(2) is optimizable. Theorem 2 [9]: Let operators Q an R be in B(l 2 ). If the system ()-(2) with cost functional () is optimizable an (A, Q /2 ) is exponentially etectable, then there exists a unique nonnegative, self-ajoint operator P B(l 2 ) satisfying the ARE ϕ, PAφ + PAϕ, φ + ϕ, Qφ B Pϕ, R B Pφ = (6) for all ϕ, φ D(A) such that A BR B P generates an exponentially stable C -semigroup. Moreover, the optimal control ũ L 2 ([, ); l 2 ) is given by the feeback law where ψ is the solution of ũ(t) = R B P ψ(t) t ψ(t) = (A BR B P) ψ(t) (7) with initial conition ψ. Solving equations (4) an (6) can be a teious task in general. However, the complexity of the problem will reuce significantly if the unerlying system is spatially invariant with respect to G (cf. Section III.B of []). The main objective of this paper is to analyze the spatial structure of the solutions of operator equations (4) an (6) rather than solving them explicitly. IV. SPATIALLY DECAYING OPERATORS The key ifficulty in extening the results of [] is that the notion of spatial invariance was critical in being able to use Fourier methos which greatly simplifie the analysis. Simply put, if we replace space with time, we get a more familiar analogue of this problem: Fourier methos can not be use irectly for analysis of linear time-varying systems. In the following, we will generalize the notion of regions of analyticity of transforms to a larger class of linear operators. Without loss of generality, in the following efinitions it is assume that all operators are self-ajoint. Definition : A istance function on a iscrete topology with a set of noes G is efine as a single-value, nonnegative, real function is(k, i) efine for all k, i, j G which has the following properties: (i) is(k, i) = iff k = i. (ii) is(k, i) = is(i, k). (iii) is(k, i) is(k, j) + is(j, i). Definition 2: A nonecreasing continuous function χ : R + [, ) is calle a coupling characteristic function if χ() = an χ(s + t) χ(s) χ(t) for all s, t R +. The constant coupling characteristic function with unit value everywhere is enote by. In orer to be able to characterize rates of ecay we efine a one-parameter family of coupling characteristic functions as follows. Definition 3: A one-parameter family of coupling characteristic functions C is efine to be the set of all characteristic functions χ α, χ β for α, β R + such that (i) χ =. (ii) χ α χ β = χ α+β. (iii) For α < β, relation χ α χ β hols. (iv) χ α is a continuous function of α in. T -topology. Using this efinition, we can now formally efine a spatially ecaying (SD) operator. Definition 4: Suppose that a istance function is(.,.) an a one-parameter family of parameterize coupling characteristic functions C are given. A linear operator Q is SD with respect to C if there exists τ > such that the auxiliary operator Q, efine block-wise as [ Q] ki = [Q] ki χ α (is(k, i)) is boune on l p for all α < τ. The number τ is referre to as the ecay margin. In general, etermining the bouneness of the auxiliary operator epens on the choice of p. The result of lemma gives us a simple sufficient conition for an operator to be SD in terms of all l p -norms. Uner the assumptions of efinition 4, we also assume that the following conition hols χ α (is(k, i)) < for all < α < τ. Lemma : A linear operator Q is SD with respect to the one-parameter family of coupling characteristic functions C on all l p if there exists τ > such that the following hols for all α < τ. Proof: See [2] for a proof. [Q] ki χ α (is(k, i)) < (8) Examples of SD operators appear naturally in many applications. Intuitively, we may interpret the norm of each block element [Q] ki as the coupling strength between subsystems k an i. Given the one-parameter family of coupling characteristic functions C, fix a value for α [, τ). For an infinite graph, if we fix a noe k an move on the graph away from noe k, the coupling strength ecays proportional to the inverse of the coupling characteristic function χˆα with α < ˆα < τ so that relation (8) hols. The notion of an SD operator will be key in proving spatial locality of optimal controllers. Throughout the rest of the paper, we say an operator is SD if it satisfies conition (8). A. Examples of Spatially Decaying Operators The following class of operators which are use extensively in cooperative an istribute control are interesting special classes of SD operators. ) Spatially Truncate Operators: These are operators with finite range couplings. Examples of such operators arise in motion coorination of autonomous agents such as the
4 Laplacian operator. Given the coupling range T >, the following class of linear operators are SD with respect to every coupling characteristic functions { Qki if is(k, i) T [Q] ki = (9) if is(k, i) > T where Q ki R n n. For such operators an every given noe k G, we have that [Q] ki χ α (is(k, i)) [Q] ki χ α (T ) <. () i k The relation is the neighborhoo relation efine as i k if an only if is(k, i) T. Inequality () shows that Q is SD with respect to every C an the ecay margin is τ =. 2) Exponentially Decaying Operators: Consier the oneparameter family of coupling characteristic functions C E efine by χ ζ (s) = ( + ζ) s () where ζ R +. Operator Q is sai to be exponentially SD if conition (8) hols with respect to C E efine by () for all ζ [, τ) where τ > is the ecay margin. An important example of exponentially SD operators is the class of translation invariant operators with G = Z. It can be shown that, uner some mil assumptions, a translation invariant operator in B(l 2 ) is exponentially SD with is(k, i) = k i as a natural notion of istance [2]. The ecay margin of Q is equal to r, the istance of the nearest pole of the Fourier transform of Q to the unit circle in C. 3) Algebraically Decaying Operators: Consier the parameterize family of characteristic functions C A efine as χ ν (s) = ( + λs) ν (2) in which λ > an ν R +. Operator Q is sai to be algebraically SD if conition (8) hols with respect to C A efine by (2) for all ν [, τ) where τ > is the ecay margin. Such functions are often use as pair-wise potentials among agents in flocking an cooperative control problems [3]. Another example of such coupling functions arises in wireless networks. The coupling between noes, which is consiere as the power of the communication signal between agents, ecays with the inverse fourth power law, i.e., is(k,i) 4. B. Properties of SD Operators We efine the operator norm Q τ = [Q] ki χ α (is(k, i)) α [,τ) an the norme vector space S τ (C ) = {Q : Q τ < }. It can be shown that the operator norm satisfies the following properties [2], for all Q, P S τ (C ) an c C, (i) Q τ an Q τ = iff Q =. (ii) c Q τ = c Q τ. (iii) Q + P τ Q τ + P τ. (iv) QP τ Q τ P τ. Property (iv) is calle the submultiplicative property. Theorem 3: Given a one-parameter family of coupling characteristic functions C an τ >, the operator space S τ (C ) forms a Banach Algebra with respect to the operator norm. τ uner the operator composition operation. Proof: See [2] for a proof. The above theorem is a key ingreient in proving that optimal controllers of SD systems are SD. We have shown that operator space S τ (C ) is close uner aition, multiplication, an limit properties (cf. [2], Theorem ). Furthermore, if an SD operator has an algebraic inverse on B(l 2 ), the inverse operator Q is also SD [4]. It is straightforwar to check that the serial, parallel, an well-pose feeback interconnection of two SD systems are also SD. In the next section, using the closure properties of SD operators, it is shown that the solution of ifferential Lyapunov an Riccati equations converge to an SD operator. V. STRUCTURE OF QUADRATICALLY OPTIMAL CONTROLLERS As iscusse in section III, our aim is not to solve the Lyapunov equation (4) an ARE (6) explicitly but to stuy the spatial structure of the solution of these algebraic equations by means of tools evelope in the previous sections. In the following, it is shown that the solution of equations (4) an (6) have an inherent spatial locality an the characteristics of the coupling function will etermine the egree of localization. Theorem : Assume that operators A, Q S τ (C ) an Q is positive efinite. If A is the infinitesimal generator of an exponentially stable C -semigroup T (t) on l 2, then the unique positive efinite solution of operator Lyapunov equation (4) satisfies P S τ (C ). Proof: See [2] for a proof. In the next theorem without loss of generality, we will assume that R = I. Otherwise, by only assuming that R has an algebraic inverse on B(l 2 ), it can be shown that R is SD [4]. Accoring to the closure uner multiplication property of SD operators, if P an B are SD, then the optimal feeback operator K = R B P will be SD. Theorem 6: Let A, B, Q S τ (C ) an Q. Moreover, assume that conitions of Theorem 2 hol. Then the unique positive efinite solution of operator ARE (6) satisfies P S τ (C ). t Proof: Consier the Differential Riccati Equation ϕ, P(t)φ = ϕ, P(t)Aφ + P(t)Aϕ, φ + ϕ, Qφ B P(t)ϕ, B P(t)φ with P() =. We enote the unique solution of this ifferential Riccati equation in the class of strongly continuous, self-ajoint operators in B(l 2 ) by the one-parameter family of operator-value function P(t) for t. The nonnegative operator P, the unique solution of ARE, is the strong limit of P(t) on l 2 as t (see theorem of [9]). Therefore, we have that lim P(t) P 2,2 =. (3) t
5 From the ifferential Riccati equation, it follows that t [P(t)] ki = [A P(t) + P(t)A P(t)BB P(t) + Q] ki for all k, i G. For a ifferentiable matrix X(t) C n n for t, we have the following inequality X(t + δ) X(t) X(t) = lim t δ τ lim X(t + δ) X(t) δ δ t X(t). (4) Using inequality (4), we have t P(t) τ t [P(t)] ki χ α (is(k, i)) A P(t) + P(t)A P(t)BB P(t) + Q τ. For simplicity in notations, enote π(t) = P(t) τ. Using the triangle inequality an the fact that norm. τ is submultiplicative, we have the following ifferential inequality π(t) 2 A τ π(t) + ( B τ ) 2 π(t) 2 + Q τ () with initial conition π() = an constraint π(t) for all t. All coefficients A τ, B τ, Q τ in the right han sie of the inequality () are finite numbers. If π(t) for t is a solution of the ifferential inequality (), then it is also a solution of the following ifferential inequality π(t) λ (π(t) + ) 2 (6) with π() = an λ = max( A τ, ( B τ ) 2, Q τ ). In other wors, the set of feasible solutions of () is a subset of solutions of (6). From (6), we have t ( which has the set of solutions π(t) + ) λ π(t) + e λt π() +. Using the fact that π(t) for all t an π() =, it follows that π(t) e λt. The above inequality is feasible, i.e., there exists at least one sequence of solutions satisfying π(t) for all t. The above inequality also proves that π(t) < for all t. Thus, we have that P(t) S τ (C ) for all t. Accoring to Theorem in [2], we can use this result an (3) to conclue that P S τ (C ). This completes the proof. VI. SIMULATION We consier a large network of N linear subsystems couple on an arbitrary graph which can be escribe by ψ(t) = (Aψ) (t) + (Bu) (t). t The coupling characteristic function is χ an the system operators are given by [A] ki = χ(is(k,i)) an B = I. The istance function is Eucliean. We will stuy the LQR problem iscusse in Section III with weighting operators R = I an Q being the corresponing unweighte graph Fig.. N= noes are ranomly an uniformly istribute in a region of area 3 3 (units) 2. Each noe is a linear subsystem which is couple to other subsystems through their ynamic an a central cost function by a given coupling characteristic function. Laplacian. The corresponing ARE is given by A P + PA P 2 + Q =. (7) Then the LQR optimal feeback is given by K = P. In the following simulations, it is assume that N = noes are ranomly an uniformly istribute in a region of area 3 3 (units) 2. Each noe is assume to be a linear system which is couple through its ynamic an the LQR cost functional to other subsystems. In the sequel, three ifferent scenarios are consiere for the coupling characteristic function: algebraical ecay, exponential ecay, an nearest neighbor coupling. The results are shown, respectively, in Figures 2, 3, an 4 where the norm of the LQR feeback gains [K] ki corresponing to agents k =, 4, 2, (their locations are marke by bol stars in Figure ) is epicte versus the istance of other subsystems to subsystem k. As seen from these simulations, for every subsystem k the norm of the optimal feeback kernel [K] ki is envelope by the inverse of the coupling characteristic function. Therefore, the spatial ecay rate of the optimal controller can be etermine priory only using the information of the coupling characteristic function. A. Spatial Truncation Let K T be the spatially truncate operator efine by { [K]ki if is(k, i) T [K T ] ki = if is(k, i) > T. By applying the small-gain stability argument, one can obtain a truncation length T s for which K T is stabilizing for all T T s (cf. Section V.B in []). Figure illustrates the performance loss percentage efine as Trace(P T ) Trace(P) Trace(P) versus ifferent values of T T s for ifferent coupling characteristic functions where P T satisfies (A + BK T ) P T + P T (A + BK T ) + Q + K T RK T =. As seen from Figure, the larger values of truncation length T ensue better close-loop performance. In the above simulations, the extension of this surprising locality result to finite-imensional systems is ue to the fact that the matrices in system s state-space representation are
6 3 4 2 Subsystem No. 2 Subsystem No Norm of LQR Feeback Gain Subsystem No Subsystem No. 2 Norm of LQR Feeback Gain Subsystem No Subsystem No Subsystem No. Subsystem No Distance Distance Fig. 2. Norm of LQR feeback gain [K] ki (bar) an function [K] kk (which is algebraically ecaying) when λ =. an ν = 4 χ ν (is(k,i)) (ashe) for subsystems k =, 4, 2,, respectively, from top to bottom. Fig. 4. Norm of LQR feeback gain [K] ki (bar) an [K] ki pulse function (which represents the nearest neighbor coupling) with length T = (ashe) for subsystems k =, 4, 2,, respectively, from top to bottom. Norm of LQR Feeback Gain Subsystem No Subsystem No Subsystem No Subsystem No. 2 2 Distance Performance Loss Percentange % Exponential Decay Nearest Neighbor Coupling Algebraical Decay Truncation Length (T) Fig. 3. Norm of LQR feeback gain [K] ki (bar) an function [K] kk (which is exponentially ecaying) when ζ = e (ashe) χ ζ (is(k,i)) for subsystems k =, 4, 2,, respectively, from top to bottom. Fig.. Performance Loss percentage of LQR controller after spatial truncation for ifferent types of couplings: (i) algebraical ecay (ii) exponential ecay (iii) nearest neighbor coupling. efine such that the norm of blocks in the matrix ecay as a function of istance between subsystems. VII. CONCLUSIONS In this paper we stuie the spatial structure of infinite horizon optimal controllers for spatially istribute systems. By introucing the notion of SD operators we extene the notion of analytic continuity to operators that are not spatially invariant. Furthermore, we prove that SD operators form a Banach algebra. We use this to prove that solutions of Lyapunov an Riccati equations for SD systems are themselves SD. This result was utilize to show that the kernel of optimal LQ feeback is also SD. Although these results were proven for LQ problems, they can be easily extene to general H 2, an H optimal control problems as the key enabling property is the spatial ecay of solution of the corresponing Riccati equations. One major implication of these results is that the optimal control problem for spatially ecaying systems lens itself to istribute solutions without too much loss in performance as even the centralize solutions are inherently localize. REFERENCES [] B. Bamieh, F. Paganini, an M. A. Dahleh, Distribute control of spatially invariant systems, IEEE Trans. Automatic Control, vol. 47, no. 7, pp. 9 7, 22. [2] G. Dulleru an R. D Anrea, Distribute control of heterogeneous systems, IEEE Trans. on Automatic Control, vol. 49, no. 2, pp , 24. [3] G. Dulleru an S. Lall, A new approach for analysis an synthesis of time-varying systems, IEEE Trans. on Automatic Control, vol. 44, no. 8, pp , 999. [4] M. Rotkowitz an S. Lall, A characterization of convex problems in ecentralize control, IEEE Tran. on Automatic Control, vol., no. 2, pp , 26. [] W. Ruin, Fourier Analysis on Groups. Interscience, 962. [6] N. Motee an A. Jababaie, Distribute receing horizon control of spatially invariant systems, in Proc. of the American Control Conference, Minneapolis, MN, 26. [7], Receing horizon control of spatially istribute systems over arbitrary graphs, in Proc. 4th IEEE Conference on Decision an Control, San Diego, CA, 26. [8] P. Lax, Functional Analysis. John Wiley, 22. [9] R. Curtain an H. Zwart, An introuction to Infinite-Dimensional Linear Systems Theory. Springer-Verlag, 99. [] S. Kakaç an Y. Yener, Heat conuction, 3r E. Taylor & Francis, 993. [] B. van Keulen, H -Control for Distribute Parameter Systems: A State-Space Approach. Boston, MA: Birkhauser, 993. [2] N. Motee an A. Jababaie, Optimal control of spatially istribute systems, IEEE Tran. on Automatic Control, September 26, accepte. [Online]. Available: motee/ TACMoteeJ6SD.pf [3] F. Cucker an S. Smale, Emergent behaviour in flocks, 2. [4] N. Motee an A. Jababaie, Distribute quaratic programming over arbitrary graphs, IEEE Tran. on Automatic Control, Jan. 27, submitte. [Online]. Available: motee/ TACMoteeJ6QP.pf
Optimal Control of Spatially Distributed Systems
Optimal Control of Spatially Distribute Systems Naer Motee an Ali Jababaie Abstract In this paper, we stuy the structural properties of optimal control of spatially istribute systems. Such systems consist
More informationOn Decentralized Optimal Control and Information Structures
2008 American Control Conference Westin Seattle Hotel, Seattle, Washington, USA June 11-13, 2008 FrC053 On Decentralize Optimal Control an Information Structures Naer Motee 1, Ali Jababaie 1 an Bassam
More informationOptimal Control of Spatially Distributed Systems
Optimal Control of Spatially Distributed Systems Nader Motee and Ali Jadbabaie Abstract In this paper, we study the structural properties of optimal control of spatially distributed systems. Such systems
More informationOptimal Control of Spatially Distributed Systems
University of Pennsylvania ScholarlyCommons Lab Papers (GRASP) General Robotics, Automation, Sensing and Perception Laboratory 8-2008 Optimal Control of Spatially Distributed Systems Nader Motee University
More informationSwitching 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 informationEuler equations for multiple integrals
Euler equations for multiple integrals January 22, 2013 Contents 1 Reminer of multivariable calculus 2 1.1 Vector ifferentiation......................... 2 1.2 Matrix ifferentiation........................
More informationOn the number of isolated eigenvalues of a pair of particles in a quantum wire
On the number of isolate eigenvalues of a pair of particles in a quantum wire arxiv:1812.11804v1 [math-ph] 31 Dec 2018 Joachim Kerner 1 Department of Mathematics an Computer Science FernUniversität in
More informationAgmon Kolmogorov Inequalities on l 2 (Z d )
Journal of Mathematics Research; Vol. 6, No. ; 04 ISSN 96-9795 E-ISSN 96-9809 Publishe by Canaian Center of Science an Eucation Agmon Kolmogorov Inequalities on l (Z ) Arman Sahovic Mathematics Department,
More informationLaplacian 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 informationMulti-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 informationChaos, Solitons and Fractals Nonlinear Science, and Nonequilibrium and Complex Phenomena
Chaos, Solitons an Fractals (7 64 73 Contents lists available at ScienceDirect Chaos, Solitons an Fractals onlinear Science, an onequilibrium an Complex Phenomena journal homepage: www.elsevier.com/locate/chaos
More informationTime-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 information6 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 informationELEC3114 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 information19 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 informationThe derivative of a function f(x) is another function, defined in terms of a limiting expression: f(x + δx) f(x)
Y. D. Chong (2016) MH2801: Complex Methos for the Sciences 1. Derivatives The erivative of a function f(x) is another function, efine in terms of a limiting expression: f (x) f (x) lim x δx 0 f(x + δx)
More informationMath 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 informationPDE Notes, Lecture #11
PDE Notes, Lecture # from Professor Jalal Shatah s Lectures Febuary 9th, 2009 Sobolev Spaces Recall that for u L loc we can efine the weak erivative Du by Du, φ := udφ φ C0 If v L loc such that Du, φ =
More informationMAINTAINING LIMITED-RANGE CONNECTIVITY AMONG SECOND-ORDER AGENTS
MAINTAINING LIMITED-RANGE CONNECTIVITY AMONG SECOND-ORDER AGENTS KETAN SAVLA, GIUSEPPE NOTARSTEFANO AND FRANCESCO BULLO Abstract. In this paper we consier a-hoc networks of robotic agents with ouble integrator
More informationThe canonical controllers and regular interconnection
Systems & Control Letters ( www.elsevier.com/locate/sysconle The canonical controllers an regular interconnection A.A. Julius a,, J.C. Willems b, M.N. Belur c, H.L. Trentelman a Department of Applie Mathematics,
More informationLectures - Week 10 Introduction to Ordinary Differential Equations (ODES) First Order Linear ODEs
Lectures - Week 10 Introuction to Orinary Differential Equations (ODES) First Orer Linear ODEs When stuying ODEs we are consiering functions of one inepenent variable, e.g., f(x), where x is the inepenent
More informationLeast-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 informationSchrö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 informationThe total derivative. Chapter Lagrangian and Eulerian approaches
Chapter 5 The total erivative 51 Lagrangian an Eulerian approaches The representation of a flui through scalar or vector fiels means that each physical quantity uner consieration is escribe as a function
More informationCriteria for Global Stability of Coupled Systems with Application to Robust Output Feedback Design for Active Surge Control
Criteria for Global Stability of Couple Systems with Application to Robust Output Feeback Design for Active Surge Control Shiriaev, Anton; Johansson, Rolf; Robertsson, Aners; Freiovich, Leoni 9 Link to
More informationSOME LYAPUNOV TYPE POSITIVE OPERATORS ON ORDERED BANACH SPACES
Ann. Aca. Rom. Sci. Ser. Math. Appl. ISSN 2066-6594 Vol. 5, No. 1-2 / 2013 SOME LYAPUNOV TYPE POSITIVE OPERATORS ON ORDERED BANACH SPACES Vasile Dragan Toaer Morozan Viorica Ungureanu Abstract In this
More informationSystems & 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 informationNested Saturation with Guaranteed Real Poles 1
Neste Saturation with Guarantee Real Poles Eric N Johnson 2 an Suresh K Kannan 3 School of Aerospace Engineering Georgia Institute of Technology, Atlanta, GA 3332 Abstract The global stabilization of asymptotically
More informationIntroduction to the Vlasov-Poisson system
Introuction to the Vlasov-Poisson system Simone Calogero 1 The Vlasov equation Consier a particle with mass m > 0. Let x(t) R 3 enote the position of the particle at time t R an v(t) = ẋ(t) = x(t)/t its
More informationSINGULAR PERTURBATION AND STATIONARY SOLUTIONS OF PARABOLIC EQUATIONS IN GAUSS-SOBOLEV SPACES
Communications on Stochastic Analysis Vol. 2, No. 2 (28) 289-36 Serials Publications www.serialspublications.com SINGULAR PERTURBATION AND STATIONARY SOLUTIONS OF PARABOLIC EQUATIONS IN GAUSS-SOBOLEV SPACES
More informationA Class of Robust Adaptive Controllers for Innite. Dimensional Dynamical Systems. M. A. Demetriou K. Ito. Center for Research in Scientic Computation
A Class of Robust Aaptive Controllers for Innite Dimensional Dynamical Systems M. A. Demetriou K. Ito Center for Research in Scientic Computation Department of Mathematics North Carolina State University
More informationLyapunov 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 informationPhysics 5153 Classical Mechanics. The Virial Theorem and The Poisson Bracket-1
Physics 5153 Classical Mechanics The Virial Theorem an The Poisson Bracket 1 Introuction In this lecture we will consier two applications of the Hamiltonian. The first, the Virial Theorem, applies to systems
More informationLATTICE-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 informationANALYSIS OF A GENERAL FAMILY OF REGULARIZED NAVIER-STOKES AND MHD MODELS
ANALYSIS OF A GENERAL FAMILY OF REGULARIZED NAVIER-STOKES AND MHD MODELS MICHAEL HOLST, EVELYN LUNASIN, AND GANTUMUR TSOGTGEREL ABSTRACT. We consier a general family of regularize Navier-Stokes an Magnetohyroynamics
More informationAdaptive 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 informationChapter 9 Method of Weighted Residuals
Chapter 9 Metho of Weighte Resiuals 9- Introuction Metho of Weighte Resiuals (MWR) is an approimate technique for solving bounary value problems. It utilizes a trial functions satisfying the prescribe
More informationAPPROXIMATE SOLUTION FOR TRANSIENT HEAT TRANSFER IN STATIC TURBULENT HE II. B. Baudouy. CEA/Saclay, DSM/DAPNIA/STCM Gif-sur-Yvette Cedex, France
APPROXIMAE SOLUION FOR RANSIEN HEA RANSFER IN SAIC URBULEN HE II B. Bauouy CEA/Saclay, DSM/DAPNIA/SCM 91191 Gif-sur-Yvette Ceex, France ABSRAC Analytical solution in one imension of the heat iffusion equation
More informationThe Generalized Incompressible Navier-Stokes Equations in Besov Spaces
Dynamics of PDE, Vol1, No4, 381-400, 2004 The Generalize Incompressible Navier-Stokes Equations in Besov Spaces Jiahong Wu Communicate by Charles Li, receive July 21, 2004 Abstract This paper is concerne
More informationTractability results for weighted Banach spaces of smooth functions
Tractability results for weighte Banach spaces of smooth functions Markus Weimar Mathematisches Institut, Universität Jena Ernst-Abbe-Platz 2, 07740 Jena, Germany email: markus.weimar@uni-jena.e March
More informationMath Notes on differentials, the Chain Rule, gradients, directional derivative, and normal vectors
Math 18.02 Notes on ifferentials, the Chain Rule, graients, irectional erivative, an normal vectors Tangent plane an linear approximation We efine the partial erivatives of f( xy, ) as follows: f f( x+
More informationGlobal Solutions to the Coupled Chemotaxis-Fluid Equations
Global Solutions to the Couple Chemotaxis-Flui Equations Renjun Duan Johann Raon Institute for Computational an Applie Mathematics Austrian Acaemy of Sciences Altenbergerstrasse 69, A-44 Linz, Austria
More informationComputing 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 informationInterconnected Systems of Fliess Operators
Interconnecte Systems of Fliess Operators W. Steven Gray Yaqin Li Department of Electrical an Computer Engineering Ol Dominion University Norfolk, Virginia 23529 USA Abstract Given two analytic nonlinear
More information. ISSN (print), (online) International Journal of Nonlinear Science Vol.6(2008) No.3,pp
. ISSN 1749-3889 (print), 1749-3897 (online) International Journal of Nonlinear Science Vol.6(8) No.3,pp.195-1 A Bouneness Criterion for Fourth Orer Nonlinear Orinary Differential Equations with Delay
More informationSturm-Liouville Theory
LECTURE 5 Sturm-Liouville Theory In the three preceing lectures I emonstrate the utility of Fourier series in solving PDE/BVPs. As we ll now see, Fourier series are just the tip of the iceberg of the theory
More informationA 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 informationExponential asymptotic property of a parallel repairable system with warm standby under common-cause failure
J. Math. Anal. Appl. 341 (28) 457 466 www.elsevier.com/locate/jmaa Exponential asymptotic property of a parallel repairable system with warm stanby uner common-cause failure Zifei Shen, Xiaoxiao Hu, Weifeng
More informationOn some parabolic systems arising from a nuclear reactor model
On some parabolic systems arising from a nuclear reactor moel Kosuke Kita Grauate School of Avance Science an Engineering, Wasea University Introuction NR We stuy the following initial-bounary value problem
More informationEnergy behaviour of the Boris method for charged-particle dynamics
Version of 25 April 218 Energy behaviour of the Boris metho for charge-particle ynamics Ernst Hairer 1, Christian Lubich 2 Abstract The Boris algorithm is a wiely use numerical integrator for the motion
More informationAn Optimal Algorithm for Bandit and Zero-Order Convex Optimization with Two-Point Feedback
Journal of Machine Learning Research 8 07) - Submitte /6; Publishe 5/7 An Optimal Algorithm for Banit an Zero-Orer Convex Optimization with wo-point Feeback Oha Shamir Department of Computer Science an
More informationCHAPTER 1 : DIFFERENTIABLE MANIFOLDS. 1.1 The definition of a differentiable manifold
CHAPTER 1 : DIFFERENTIABLE MANIFOLDS 1.1 The efinition of a ifferentiable manifol Let M be a topological space. This means that we have a family Ω of open sets efine on M. These satisfy (1), M Ω (2) the
More informationPower 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 informationSlide10 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 informationLeaving 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 informationConvergence rates of moment-sum-of-squares hierarchies for optimal control problems
Convergence rates of moment-sum-of-squares hierarchies for optimal control problems Milan Kora 1, Diier Henrion 2,3,4, Colin N. Jones 1 Draft of September 8, 2016 Abstract We stuy the convergence rate
More informationGeneralized Tractability for Multivariate Problems
Generalize Tractability for Multivariate Problems Part II: Linear Tensor Prouct Problems, Linear Information, an Unrestricte Tractability Michael Gnewuch Department of Computer Science, University of Kiel,
More informationLie symmetry and Mei conservation law of continuum system
Chin. Phys. B Vol. 20, No. 2 20 020 Lie symmetry an Mei conservation law of continuum system Shi Shen-Yang an Fu Jing-Li Department of Physics, Zhejiang Sci-Tech University, Hangzhou 3008, China Receive
More informationOn 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 informationPermanent vs. Determinant
Permanent vs. Determinant Frank Ban Introuction A major problem in theoretical computer science is the Permanent vs. Determinant problem. It asks: given an n by n matrix of ineterminates A = (a i,j ) an
More informationJUST 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 informationEquilibrium in Queues Under Unknown Service Times and Service Value
University of Pennsylvania ScholarlyCommons Finance Papers Wharton Faculty Research 1-2014 Equilibrium in Queues Uner Unknown Service Times an Service Value Laurens Debo Senthil K. Veeraraghavan University
More informationChromatic number for a generalization of Cartesian product graphs
Chromatic number for a generalization of Cartesian prouct graphs Daniel Král Douglas B. West Abstract Let G be a class of graphs. The -fol gri over G, enote G, is the family of graphs obtaine from -imensional
More informationCharacterizing Real-Valued Multivariate Complex Polynomials and Their Symmetric Tensor Representations
Characterizing Real-Value Multivariate Complex Polynomials an Their Symmetric Tensor Representations Bo JIANG Zhening LI Shuzhong ZHANG December 31, 2014 Abstract In this paper we stuy multivariate polynomial
More informationRelative Entropy and Score Function: New Information Estimation Relationships through Arbitrary Additive Perturbation
Relative Entropy an Score Function: New Information Estimation Relationships through Arbitrary Aitive Perturbation Dongning Guo Department of Electrical Engineering & Computer Science Northwestern University
More informationCalculus of Variations
16.323 Lecture 5 Calculus of Variations Calculus of Variations Most books cover this material well, but Kirk Chapter 4 oes a particularly nice job. x(t) x* x*+ αδx (1) x*- αδx (1) αδx (1) αδx (1) t f t
More informationA LIMIT THEOREM FOR RANDOM FIELDS WITH A SINGULARITY IN THE SPECTRUM
Teor Imov r. ta Matem. Statist. Theor. Probability an Math. Statist. Vip. 81, 1 No. 81, 1, Pages 147 158 S 94-911)816- Article electronically publishe on January, 11 UDC 519.1 A LIMIT THEOREM FOR RANDOM
More informationSeparation of Variables
Physics 342 Lecture 1 Separation of Variables Lecture 1 Physics 342 Quantum Mechanics I Monay, January 25th, 2010 There are three basic mathematical tools we nee, an then we can begin working on the physical
More informationarxiv: v1 [math-ph] 5 May 2014
DIFFERENTIAL-ALGEBRAIC SOLUTIONS OF THE HEAT EQUATION VICTOR M. BUCHSTABER, ELENA YU. NETAY arxiv:1405.0926v1 [math-ph] 5 May 2014 Abstract. In this work we introuce the notion of ifferential-algebraic
More informationON THE OPTIMAL CONVERGENCE RATE OF UNIVERSAL AND NON-UNIVERSAL ALGORITHMS FOR MULTIVARIATE INTEGRATION AND APPROXIMATION
ON THE OPTIMAL CONVERGENCE RATE OF UNIVERSAL AN NON-UNIVERSAL ALGORITHMS FOR MULTIVARIATE INTEGRATION AN APPROXIMATION MICHAEL GRIEBEL AN HENRYK WOŹNIAKOWSKI Abstract. We stuy the optimal rate of convergence
More informationSurvey 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 informationTime Headway Requirements for String Stability of Homogeneous Linear Unidirectionally Connected Systems
Joint 48th IEEE Conference on Decision an Control an 8th Chinese Control Conference Shanghai, PR China, December 6-8, 009 WeBIn53 Time Heaway Requirements for String Stability of Homogeneous Linear Uniirectionally
More informationDissipative numerical methods for the Hunter-Saxton equation
Dissipative numerical methos for the Hunter-Saton equation Yan Xu an Chi-Wang Shu Abstract In this paper, we present further evelopment of the local iscontinuous Galerkin (LDG) metho esigne in [] an a
More informationApproximate Reduction of Dynamical Systems
Proceeings of the 4th IEEE Conference on Decision & Control Manchester Gran Hyatt Hotel San Diego, CA, USA, December 3-, 6 FrIP.7 Approximate Reuction of Dynamical Systems Paulo Tabuaa, Aaron D. Ames,
More informationThe effect of dissipation on solutions of the complex KdV equation
Mathematics an Computers in Simulation 69 (25) 589 599 The effect of issipation on solutions of the complex KV equation Jiahong Wu a,, Juan-Ming Yuan a,b a Department of Mathematics, Oklahoma State University,
More informationTRAJECTORY TRACKING FOR FULLY ACTUATED MECHANICAL SYSTEMS
TRAJECTORY TRACKING FOR FULLY ACTUATED MECHANICAL SYSTEMS Francesco Bullo Richar M. Murray Control an Dynamical Systems California Institute of Technology Pasaena, CA 91125 Fax : + 1-818-796-8914 email
More informationPort-Hamiltonian systems: an introductory survey
Port-Hamiltonian systems: an introuctory survey Arjan van er Schaft Abstract. The theory of port-hamiltonian systems provies a framework for the geometric escription of network moels of physical systems.
More informationLecture 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 informationConvergence of Random Walks
Chapter 16 Convergence of Ranom Walks This lecture examines the convergence of ranom walks to the Wiener process. This is very important both physically an statistically, an illustrates the utility of
More informationDistributed 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 informationSEMILINEAR DEGENERATE PARABOLIC SYSTEMS AND DISTRIBUTED CAPACITANCE MODELS. Brooke L. Hollingsworth and R.E. Showalter
DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS Volume, Number, January 995 pp. 59 76 SEMILINEAR DEGENERATE PARABOLIC SYSTEMS AND DISTRIBUTED CAPACITANCE MODELS Brooke L. Hollingsworth an R.E. Showalter Department
More informationON THE GEOMETRIC APPROACH TO THE MOTION OF INERTIAL MECHANICAL SYSTEMS
ON THE GEOMETRIC APPROACH TO THE MOTION OF INERTIAL MECHANICAL SYSTEMS ADRIAN CONSTANTIN AND BORIS KOLEV Abstract. Accoring to the principle of least action, the spatially perioic motions of one-imensional
More informationCOUPLING REQUIREMENTS FOR WELL POSED AND STABLE MULTI-PHYSICS PROBLEMS
VI International Conference on Computational Methos for Couple Problems in Science an Engineering COUPLED PROBLEMS 15 B. Schrefler, E. Oñate an M. Paparakakis(Es) COUPLING REQUIREMENTS FOR WELL POSED AND
More informationBEYOND 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 informationApproximate reduction of dynamic systems
Systems & Control Letters 57 2008 538 545 www.elsevier.com/locate/sysconle Approximate reuction of ynamic systems Paulo Tabuaa a,, Aaron D. Ames b, Agung Julius c, George J. Pappas c a Department of Electrical
More informationMAINTAINING LIMITED-RANGE CONNECTIVITY AMONG SECOND-ORDER AGENTS
MAINTAINING LIMITED-RANGE CONNECTIVITY AMONG SECOND-ORDER AGENTS KETAN SAVLA, GIUSEPPE NOTARSTEFANO AND FRANCESCO BULLO Abstract. In this paper we consier a-hoc networks of robotic agents with ouble integrator
More informationConnections 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 informationDiscrete Operators in Canonical Domains
Discrete Operators in Canonical Domains VLADIMIR VASILYEV Belgoro National Research University Chair of Differential Equations Stuencheskaya 14/1, 308007 Belgoro RUSSIA vlaimir.b.vasilyev@gmail.com Abstract:
More informationII. First variation of functionals
II. First variation of functionals The erivative of a function being zero is a necessary conition for the etremum of that function in orinary calculus. Let us now tackle the question of the equivalent
More informationLinear Algebra- Review And Beyond. Lecture 3
Linear Algebra- Review An Beyon Lecture 3 This lecture gives a wie range of materials relate to matrix. Matrix is the core of linear algebra, an it s useful in many other fiels. 1 Matrix Matrix is the
More informationPerturbation 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 informationON THE OPTIMALITY SYSTEM FOR A 1 D EULER FLOW PROBLEM
ON THE OPTIMALITY SYSTEM FOR A D EULER FLOW PROBLEM Eugene M. Cliff Matthias Heinkenschloss y Ajit R. Shenoy z Interisciplinary Center for Applie Mathematics Virginia Tech Blacksburg, Virginia 46 Abstract
More informationLinear 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 informationMulti-View Clustering via Canonical Correlation Analysis
Technical Report TTI-TR-2008-5 Multi-View Clustering via Canonical Correlation Analysis Kamalika Chauhuri UC San Diego Sham M. Kakae Toyota Technological Institute at Chicago ABSTRACT Clustering ata in
More informationStable and compact finite difference schemes
Center for Turbulence Research Annual Research Briefs 2006 2 Stable an compact finite ifference schemes By K. Mattsson, M. Svär AND M. Shoeybi. Motivation an objectives Compact secon erivatives have long
More informationMark J. Machina CARDINAL PROPERTIES OF "LOCAL UTILITY FUNCTIONS"
Mark J. Machina CARDINAL PROPERTIES OF "LOCAL UTILITY FUNCTIONS" This paper outlines the carinal properties of "local utility functions" of the type use by Allen [1985], Chew [1983], Chew an MacCrimmon
More informationFluid model for a data network with α-fair bandwidth sharing and general document size distributions: two examples of stability
IMS Lecture Notes Monograph Series??? Vol. 0 (0000) 1 c Institute of Mathematical Statistics, 0000 Flui moel for a ata network with α-fair banwith sharing an general ocument size istributions: two examples
More informationParameter estimation: A new approach to weighting a priori information
Parameter estimation: A new approach to weighting a priori information J.L. Mea Department of Mathematics, Boise State University, Boise, ID 83725-555 E-mail: jmea@boisestate.eu Abstract. We propose a
More informationLeChatelier Dynamics
LeChatelier Dynamics Robert Gilmore Physics Department, Drexel University, Philaelphia, Pennsylvania 1914, USA (Date: June 12, 28, Levine Birthay Party: To be submitte.) Dynamics of the relaxation of a
More information