Port-Hamiltonian Systems:

Size: px
Start display at page:

Download "Port-Hamiltonian Systems:"

Transcription

1 Port-Hamiltonian Systems: From Geometric Network Modeling to Control Passivity-Based Control (PBC) RECAP Physical systems satisfy stored energy = supplied energy + dissipated energy This suggest the natural control objective desired stored energy = new supplied energy + desired dissipated energy Essence of PBC (Ortega/Spong, 1989) Module M1: HYCON-EECI Graduate School on Control Dimitri Jeltsema and Arjan van der Schaft April 6 9, 21 PBC = energy shaping + damping assignment Main objective: rendering the (closed-loop) system passive w.r.t. some desired storage function. EECI-M1: Port-Hamiltonian Systems 1 Delft University of Technology April 6 9, 21 2 EECI-M1: Port-Hamiltonian Systems Recall: Passivity of ph Systems Stabilization by Damping Injection The port-hamiltonian system April 6 9, 21 3 EECI-M1: Port-Hamiltonian Systems ẋ =[J(x) R(x)] H x (x)+g(x)u, y = g T (x) H x (x), with state x R n, and port-variables u,y R m, is passive if H[x(t)] H[x()] stored energy for some Hamiltonian H : R n R +. u T (τ)y(τ)dτ, ( ) supplied energy Use storage function (read: Hamiltonian) as yapunov function for the uncontrolled system. Passive systems can be asymptotically stabilized by adding damping via the control. In fact, for a passive port-hamiltonian system we have Ḣ(x) u T y. Hence letting u = K d y, with K d = Kd T, we obtain Ḣ(x) y T K d y, asymptotic stability, provided an observability condition is met (i.e., zero-state detectability of the output). April 6 9, 21 4 EECI-M1: Port-Hamiltonian Systems

2 Stabilization by Damping Injection If H(x) non-negative, total amount of energy that can be extracted from a passive system is bounded, i.e., u T (τ)y(τ)dτ H[x()] <. Energy-Balancing PBC Usually, the point where the open-loop energy is minimal is not of interest. Instead some nonzero eq. point, say x, is desired. Standard formulation of PBC: Find u = β(x)+v s.t. H d [x(t)] H d [x()] stored energy = v T (τ)z(τ)dτ d d (t), diss. energy supplied energy where the desired energy H d (x) has a minimum at x, and z is the new output (which may be equal to y). Hence control problem consist in finding u = β(x)+v s.t. energy supplied by the controller is a function of the state x. April 6 9, 21 5 EECI-M1: Port-Hamiltonian Systems April 6 9, 21 6 EECI-M1: Port-Hamiltonian Systems Energy-Balancing PBC Indeed, from the energy-balance inequality ( ) we see that if we can find a β(x) satisfying β T [x(τ)]y(τ)dτ = H a [x(t)] + κ, for some H a (x), then the control u = β(x)+v will ensure v y is passive w.r.t. modified energy H d (x)=h(x)+h a (x). Energy-Balancing PBC Proposition: Consider the port-hamiltonian system ẋ =[J(x) R(x)] H x (x)+g(x)u, y = g T (x) H x (x). If we can find a function β(x) and a vector function K(x) satisfying [J(x) R(x)]K(x) =g(x)β(x) such that K T i) x (x)= K (x) (integrability); x April 6 9, 21 7 EECI-M1: Port-Hamiltonian Systems April 6 9, 21 8 EECI-M1: Port-Hamiltonian Systems

3 Energy-Balancing PBC Proposition (cont d): ii) K(x )= H x (x ) (equilibrium assignment); iii) K x (x ) 2 H x 2 (x ) (yapunov stability). Then the closed-loop system is a port-hamiltonian system of the form ẋ =[J(x) R(x)] H d x (x), with H d (x)=h(x)+h a (x), K(x)= H a x (x), and x (locally) stable. Energy-Balancing PBC Note that (R(x)=R T (x) ) Ḣ d (x)= T H d x (x)r(x) H d (x). x Also note that x is (locally) asymptotically stable if, in addition, the largest invariant set is contained in { x D T H d x (x)r(x) H } d x (x)=, where D R n. April 6 9, 21 9 EECI-M1: Port-Hamiltonian Systems April 6 9, 21 1 EECI-M1: Port-Hamiltonian Systems Mechanical Systems Consider a (fully actuated) mechanical systems with total energy April 6 9, EECI-M1: Port-Hamiltonian Systems H(q, p)= 1 2 pt M 1 (q)p + P(q), with generalized mass matrix M(q)=M T (q). Assume that the potential energy P(q) is bounded from below. PH structure: q = I k H q + u, H ṗ I k p B(q) J= J T g(q) y = [ B T (q) ] H q. H p Mechanical Systems Clearly, the system has as passive outputs the generalized velocities: Ḣ(q, p)=u T y = u T B T (q) H p (q, p)=ut M 1 (q)p = u T q. Now, the Energy-Balancing PBC design boils down to JK(q, p)=g(q)β(q, p), April 6 9, EECI-M1: Port-Hamiltonian Systems K(x)= H a x (x) which in the fully actuated (B(q)=I k ) case simplifies to K 2 (q, p)= K 1 (q, p)=β(q, p).

4 Mechanical Systems The simplest way to ensure that the closed-loop energy has a minimum at (q, p) = (q,) is to select β(q)= P q (q) K p(q q ), K p = K T p. This gives the controller energy H a (q)= P(q)+ 1 2 (q q ) T K p (q q )+κ, so that the closed-loop energy takes the form H d (q, p)= 1 2 pt M 1 (q)p (q q ) T K p (q q ). Mechanical Systems To ensure that the trajectories actually converge to (q,) we need to render the closed-loop asymptotically stable by adding some damping v = K d H p (q, p)= K d q, as shown before. Note that the energy-balance of the system is now H d [q(t), p(t)] H d [q(), p()] stored energy = v T (τ) q(τ)dτ supplied energy q T (τ)k p q(τ)dτ. diss. energy April 6 9, EECI-M1: Port-Hamiltonian Systems April 6 9, EECI-M1: Port-Hamiltonian Systems Mechanical Systems Exercise: inear RC circuit Observe that the controller obtained via energy-balancing is just the classical PD + gravity compensation controller. However, the design via Energy-Balancing PBC provides a new interpretation of the controller, namely, that the closed-loop u + - y r C energy is (up to a constant) equals to H d (q, p)=h(q, p) u T (τ)y(τ)dτ, i.e., the difference between the open-loop and controller energy. Write the dynamics in PH form. Determine the equilibrium point. Find the passive input and output. Design an Energy-Balancing PBC that stabilizes the admissible equilibrium. April 6 9, EECI-M1: Port-Hamiltonian Systems April 6 9, EECI-M1: Port-Hamiltonian Systems

5 Dissipation Obstacle Unfortunately, EnergyBalancing PBC is stymied by the existence of pervasive dissipation. A necessary condition to satisfy the Energy-Balancing PBC proposition is R(x)K(x)=R(x) H a (x)= dissipation obstacle. x This implies that no damping is present in the coordinates that need to be shaped. Appears in many engineering applications. imitations and the dissipation obstacle can be characterized via the control by interconnection perspective. April 6 9, EECI-M1: Port-Hamiltonian Systems

6 Brayton-Moser Equations Port-Hamiltonian Systems: From Geometric Network Modeling to Control Dimitri Jeltsema and Arjan van der Schaft Module M1 Special Topics HYCON-EECI Graduate School on Control April 6 9, 21 From Port-Hamiltonian Systems to the Brayton-Moser Equations Main Motivation: Stability Theory State-of-the-Art Passivity and Power-Shaping Control Generalization Final Remarks Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 1 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 2 From PH Systems to the Brayton-Moser Equations Consider a port-hamiltonian system without dissipation and external ports ẋ = J(x) H x (x), with J(x)= J T (x). Suppose that the mapping from the energy variables x to the co-energy variables e is invertible, such that ( ) x = ˆx(e)= H e (e), with H (e) the egendre transformation of H(x) given by H (e)=e T x H(x). From PH Systems to the Brayton-Moser Equations Assume that we can find coordinates x =(x q,x p ) T, with dim x q = k and dim x p = n k, such that [ ] B(x) J(x)= B T, (x) with B(x) a k (n k) matrix. Furthermore, assume that H(x q,x p )=H q (x q )+H p (x p ). In that case, the co-hamiltonian can be written as H (e q,e p )=H q (e q )+H p(e p ), Then the dynamics ( ) can also be expressed in terms of e as (e)ė = J(x)e. e2 and thus e 2 q e 2 p [ėq ė p ] [ = B(x) B T (x) ][ eq e p ]. Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 3 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 4

7 From PH Systems to the Brayton-Moser Equations Defining the (mixed-potential) function P(e q,e p,x)=e T q B(x)e p, From PH Systems to the Brayton-Moser Equations Note that the mixed-potential can be written as P(e q,e p,x)=e T q B(x)e p = e T q ẋ q = ẋ T p e p, which represent the instantaneous power flow between Σ q and Σ p. it follows that P e 2 ] q [ėq 2 H = e q ė p P. e 2 p e p Q(e q,e p ) These equations, called the Brayton-Moser equations, can be interpreted as a gradient system with respect to P and the indefinite pseudo-riemannian metric Q. Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 5 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 6 From PH Systems to the Brayton-Moser Equations Recall that dissipation can be included in the PH framework via with Hence we can write e 2 q 2 H e 2 p [ėq ė p ẋ = J(x) H x (x)+g R(x) f R, e R = g T R(x) H x (x), ] [ = f R = D e (e). B(x) B T (x) e R = g T R(x)e. ][ eq e p ] g R (x) D e (e), From PH Systems to the Brayton-Moser Equations For simplicity we assume that so that e 2 q e 2 p [ ] Ik g R =, I n k ] [ [ėq = ė p e R = B(x) B T (x) [ eq e p ]. ][ eq e p ] + D e q D e p Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 7 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 8

8 From PH Systems to the Brayton-Moser Equations Brayton-Moser Equations Finally, defining P(e q,e p,x)=e T q B(x)e p + D (e q,e p ), we (again) obtain the Brayton-Moser equations e 2 q e 2 p et us zoom in to electrical circuits... P ] [ėq = e q ė p P. e p Consider an electrical network Σ with n inductors, n C capacitors, and n R resistors. et i R n and v R n C, then [Brayton and Moser 1964] Σ = Σ p Σ q : (i) di dt = ip(i,v) C(v) dv dt = vp(i,v), ( ) =, with mixed-potential P : R n R n C R. For topologically complete networks P(i,v)=v T Bi + R(i) G(v), D (i,v) Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 9 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 1 Brayton-Moser Equations Main Motivation: Stability Theory Example: Tunnel-diode circuit [Moser 196] Rewrite BM equations as Q(x)ẋ = x P(x), R(i)= 1 2 Ri2 U in i G(v)= v ig (v )dv v T Bi = vi, (B = 1) Mixed-potential function: P(i,v)=iv + 1 v 2 Ri2 U in i ig (v )dv di dt = ip = U in + Ri + v (Σ p ) Σ : C dv dt = vp = i i g (v). (Σ q ) with Observation: Special cases: x = Ṗ = ẋ Q(x)ẋ ( ) ( ) i (i), Q(x)=. v C(v)? P(x) candidate yapunov function. R networks (x = i, Q(x)= (i)): Ṗ = Ṙ ; RC networks (x = v, Q(x)=C(v)): Ṗ = Ġ. However, in general Ṗ = ẋ Q(x)ẋ, or equivalently, Q(x)+Q (x). Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 11 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 12

9 A Family of BM Descriptions { The key observation is to generate a new pair, say Q, P }, such that Q(x)+ Q (x), Q =. For any M = M and λ R, new pairs can be found from Q(x) := [ 2 xp(x)m + λi ] Q(x) P(x) := λp(x)+ 1 2 [ xp(x)] M x P(x). Note that the system behavior is preserved since ẋ = Q 1 x P(x) ẋ = Q 1 x P(x). Example: Tunnel Diode Circuit Obviously, for the tunnel diode circuit Q + Q. However, selecting yields and M = Q(v)= ( 1 ) 1 R, λ = 1, RC ( ) R R C R, vi g (v) P(i, v)= v Hence, it is easily seen that i g (v )dv + 2RC (i i g(v)) R (v U in) 2. min v v i g (v) > RC Q(v)+ Q (v). Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 13 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 14 State-of-the-Art Constructive procedures to obtain stability criteria using the mixed-potential function are given in [Brayton and Moser 1964] Three theorems, each depending on the type of nonlinearities in R or C part. Generalizations can be found in e.g., [Chua and Wang 1978] (for cases that 2 i R = or 2 vg = ); [Jeltsema and Scherpen 25] (RC simultaneously nonlinear). Over the past four decades several notable generalizations of the BM equations itself have been developed, e.g., [Chua 1973] (non-complete networks: Pseudo-Hybrid Content); [Marten et al. 1992] (on the geometrical meaning); [Weiss et al. 1998] (on the largest class of RC networks). PBC of power converters [Jeltsema and Scherpen 24]; Extension to other domains, e.g., [Jeltsema and Scherpen 27]; Passivity and control: Power-Shaping stabilization... Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 15 Energy-Balancing Control [Ortega et al.] To put our ideas into perspective let us briefly recall the principle of Energy-Balancing (EB) Control. Consider general system representation ẋ = f (x)+g(x)u, y = h(x), x R n, u,y R m. ( ) Assume that ( ) satisfies H[x(t)] H[x()] Open-loop stored energy u (τ)y(τ)dτ, Supplied energy with storage function H : R n R. If H, then ( ) is passive wrt (u,y). Usually desired operating point, say x, not minimum of H. Idea is to look for û : R n R m st û [x(τ)]h[x(τ)]dτ = H a [x(t)] H a [x()], for some H a : R n R. Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 16

10 Energy-Balancing Control [Ortega et al.] Energy-Balancing Control [Ortega et al.] Hence, the control u = û(x)+v will ensure that the closed-loop system satisfies H d [x(t)] H d [x()] Closed-loop stored energy v (τ)y(τ)dτ, Supplied energy where H d = H + H a is the closed-loop energy storage. If, furthermore, x = arg min H d (x), then x will be stable equilibrium of the closed-loop system (with yapunov function the difference between the stored and the control energies.) However, applicability of EB severely stymied by the existence of pervasive dissipation. Indeed, since solving for û is equivalent to solving the PDE [ f (x)+g(x)û(x)] x H a (x)= û (x)h(x), where the left-hand side is equal to zero at x, it is clear that the method is only applicable to systems verifying û (x )h(x )=. This is known as the dissipation obstacle. Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 17 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 18 Passivity: Power-Balance Inequality [Jeltsema et al. 23] Extract sources (controls) and rewrite BM equations as Q(x)ẋ = x P(x)+G(x)u. We then observe that if Q(x)+Q (x) the network satisfies the power-balance inequality P[x(t)] P[x()] u (τ)y(τ)dτ, with outputs y = h(x,u)= G (x)q 1 (x)[ x P(x)+G(x)u]. Power as storage function instead of energy. Trivially satisfied by all R and RC networks with passive elements. Notice that y = G (x)ẋ natural derivatives in the output! Control: Power-Shaping Stabilization [Ortega et al. 23] The open-loop mixed-potential is shaped with the control u = û(x), where G(x)û(x)= x P a (x), for some P a : R n R. This yields the closed-loop system Q(x)ẋ = x P d (x), with total power function P d (x)=p(x)+p a (x). The equilibrium x will be stable if x = arg min P d (x). Power-Balancing: closed-loop power function equals difference between open-loop power function and power supplied by controller, i.e., Ṗ a = û (x)h(x,û(x)) = û (x)g (x)ẋ. No dissipation obstacle since û (x )G (x )ẋ =! Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 19 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 2

11 Power-Shaping Stabilization However, as mentioned before, in general Q(x)+Q (x), which requires first the generation of a new pair { Q, P }, such that Q(x)+ Q (x), Q =. Proposition. For any M(x) = M (x) and λ R, new pairs can be found from [ 1 Q(x) := 2 2 xp(x)m(x) ( x M(x) x P(x) ) ] + λi Q(x) Hence, P(x) := λp(x)+ 1 2 [ xp(x)] M(x) x P(x). ẋ = Q 1 x P(x)+G(x)u ẋ = Q 1 x P(x)+ G(x)u, with G(x)= Q(x)G(x). Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 21 Example: Tunnel Diode Circuit Again, selecting M = diag ( 1 R, and Assumption. Q(v)= P(i, v)= ) 1 RC and λ = 1 yields ) (, G = ( R R C R vi g (v) v i g (v )dv + R ), 2RC (i i g(v)) R v2. min v i g (v) > RC v. This assumption can be relaxed applying a preliminary feedback Ra i, with [ ] R a > C min v v i g (v)+r. Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 22 Example: Tunnel Diode Circuit Poincare s emma Using the Power-Shaping procedure we obtain: Proposition. The control with control parameter K > satisfying u = K(v v )+u, (= U in ) K > [1 + R v i g (v )], globally asymptotically stabilizes x = col(i,v ) with yapunov function P(i, v)= v i g (v )dv + 2RC (i i g(v)) 2 + K 2R (v v ) R (v u ) 2. Existence of P follows from Poincare s emma. Indeed, suppose the network is described by ẋ = f (x)+g(x)u, with f : R n R n and f C 1, then there exists a P : R n R s.t. x P = Q(x) f (x) iff x (Q(x) f (x)) = [ x (Q(x) f (x))]. Power-Shaping can be applied to general nonlinear systems! Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 23 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 24

12 Power-Shaping of Nonlinear Syst. [Garcia-Canseco et al. 6] Remark: Assumption. (A.1) There exists Q : R n R n n, Q =, satisfying x (Q(x) f (x)) = [ x (Q(x) f (x))], and Q(x)+Q (x). (A.2) There exists P a : R n R verifying g (x)q 1 (x) x P a =, with g (x)g(x)=, rank{g (x)} = n m; x = arg min P d (x), where P d (x) := x[ x (Q(x ) f (x ))] dx + P a (x). Proposition. Under A.1 and A.2, the control law [ 1 u = g (x)q (x)q(x)g(x)] g (x)q (x) x P a (x) ensures x is (locally) stable with yapunov function P d (x). Observe that Assumption A.1 includes the class of port-hamiltonian systems with invertible interconnection and damping matrices. Indeed, recall ẋ =[J(x) R(x)] x H(x)+g(x)u y = g (x) x H(x). Now, if J(x) R(x) a trivial solution for the PDE x (Q(x) f (x)) = [ x (Q(x) f (x))], is obtained by setting Q(x) = [J(x) R(x)] 1, and f (x)= x H(x). Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 25 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 26 Final Remarks Power-Shaping applicable to general nonlinear systems. Similar to Energy-Balancing. However, no dissipation obstacle involved. Tunnel diode example shows that Power-Shaping yields a simple linear (partial) state-feedback controller that ensures robust global asymptotic stability of the desired equilibrium point. Current research includes: Solvability of the PDE x (Q(x) f (x)) = [ x (Q(x) f (x))] subject to Q(x)+Q (x) for different kind of systems (e.g., mechanical, electromechanical, hydraulic, etc.). Connections with IDA-PBC. Distributed-parameter systems... Control of chemical reactors (see pub list)... The real voyage of discovery consists not in seeking new landscapes but in having new eyes. Marcel Proust Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 27 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 28

13 Selected References Brayton, R.K. and Moser, J.K., A theory of nonlinear networks - I, Quart. of App. Math., vol. 22, pp 1 33, April, Moser, J.K., Bistable systems of differential equations with aplications to tunnel diode circuits, IBM Journal of Res. Develop., Vol. 5, pp , 196. Chua,.O., Wang, N.N.; Complete stability of autonomous reciprocal nonlinear networks, Int. Journal of Circ. Th. and Appl., July 1978, vol. 6, (no. 3): Jeltsema, D. and Scherpen, J.M.A., On Brayton and Moser s Missing Stability Theorem, IEEE Transactions on Circuits and Systems-II, Vol. 52, No. 9, 25, pp Chua,.O., Stationary principles and potential functions for nonlinear. networks,. J. Franklin Inst.,. vol. 296, no. 2, pp , Aug Marten, W., Chua,.O., and Mathis, W., On the geometrical meaning of pseudo hybrid content and mixed-potential, Arch. f. Electron. u. Übertr., Vol. 46, No. 4, Weiss,., Mathis, W. and Trajkovic,., A generalization of Brayton-Moser s mixed potential function, IEEE Trans. Circuits and Systems - I, April Jeltsema, D. and Scherpen, J.M.A., Tuning of Passivity-Preserving Controllers for Switched-Mode Power Converters, IEEE Trans. Automatic Control, Vol. 49, No. 8, August 24, pp Selected References Jeltsema, D., Ortega, R. and Scherpen, J.M.A., On Passivity and Power-Balance Inequalities of Nonlinear RC Circuits, IEEE Trans. on Circ. and Sys.-I: Fund. Th. and Appl., Vol. 5, No. 9, 23, pp Ortega, R., Jeltsema, D. and Scherpen, J.M.A., Power shaping: A new paradigm for stabilization of nonlinear RC circuits, IEEE Trans. Aut. Contr., Vol. 48, No. 1, 23. Garcia-Canseco, E., Ortega, R., Scherpen, J.M.A. and Jeltsema, D., Power shaping control of nonlinear systems: a benchmark example, In Proc. IFAC Workshop on agrangian and Hamiltonian Methods for Nonlinear Control, Nagoya, Japan (July 26). Brayton, R.K. and Miranker, W.., A Stability Theory for Nonlinear Mixed Initial Boundary Value Problems, Arch. Ratl. Mech. and Anal. 17, 5, , December Justh, E.W., and Krishnaprasad, P.S., Pattern-Forming Systems for Control of arge Arrays of Actuators, Journal of Nonlinear Science, Vol. 11, No. 4, January, 21. Jeltsema, D., and Van der Schaft, A.J., Pseudo-Gradient and agrangian Boundary Control Formulation of Electromagnetic Fields, J. Phys. A: Math. Theor., vol. 4, pp , 27. Garcia-Canseco, E., Jeltsema, D., Scherpen, J.M.A., and Ortega, R., Power-based control of physical systems: two case studies, in proc. 17th IFAC World Congress, Seoul, Korea, July 28. Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 29 Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 3 Some Recent Developments Favache Audrey and Dochain Denis, Analysis and control of the exothermic control stirred tank reactor: the power-shaping approach, in proc. 48th IEEE Conference on Decision and Control (CDC 9), 29, pp Favache Audrey and Dochain Denis, Power-shaping control of reaction systems: the CSTR case study, to appear in Automatica, 21. R. Ortega, A.J. van der Schaft, F. Castanos and A. Astolfi, Control by interconnection and standard passivity-based control of port-hamiltonian system, IEEE Transactions on Automatic Control, vol.53, pp , 28. E. Garcia-Canseco, D. Jeltsema, R. Ortega and J.M.A. Scherpen, Power-based control of physical systems, Automatica, Volume 46, Issue 1, January 21, Pages Module M1, Special topics EECI-M1: Port-Hamiltonian Systems 31

Passive control. Carles Batlle. II EURON/GEOPLEX Summer School on Modeling and Control of Complex Dynamical Systems Bertinoro, Italy, July 18-22 2005

Passive control. Carles Batlle. II EURON/GEOPLEX Summer School on Modeling and Control of Complex Dynamical Systems Bertinoro, Italy, July 18-22 2005 Passive control theory I Carles Batlle II EURON/GEOPLEX Summer School on Modeling and Control of Complex Dynamical Systems Bertinoro, Italy, July 18-22 25 Contents of this lecture Change of paradigm in

More information

Lecture 13 Linear quadratic Lyapunov theory

Lecture 13 Linear quadratic Lyapunov theory EE363 Winter 28-9 Lecture 13 Linear quadratic Lyapunov theory the Lyapunov equation Lyapunov stability conditions the Lyapunov operator and integral evaluating quadratic integrals analysis of ARE discrete-time

More information

CONTROLLABILITY. Chapter 2. 2.1 Reachable Set and Controllability. Suppose we have a linear system described by the state equation

CONTROLLABILITY. Chapter 2. 2.1 Reachable Set and Controllability. Suppose we have a linear system described by the state equation Chapter 2 CONTROLLABILITY 2 Reachable Set and Controllability Suppose we have a linear system described by the state equation ẋ Ax + Bu (2) x() x Consider the following problem For a given vector x in

More information

A Passivity Measure Of Systems In Cascade Based On Passivity Indices

A Passivity Measure Of Systems In Cascade Based On Passivity Indices 49th IEEE Conference on Decision and Control December 5-7, Hilton Atlanta Hotel, Atlanta, GA, USA A Passivity Measure Of Systems In Cascade Based On Passivity Indices Han Yu and Panos J Antsaklis Abstract

More information

Tracking Control of a Class of Hamiltonian Mechanical Systems with Disturbances

Tracking Control of a Class of Hamiltonian Mechanical Systems with Disturbances Proceeings of Australasian Conference on Robotics an Automation, -4 Dec 4, The University of Melbourne, Melbourne, Australia Tracking Control of a Class of Hamiltonian Mechanical Systems with Disturbances

More information

MATH 425, PRACTICE FINAL EXAM SOLUTIONS.

MATH 425, PRACTICE FINAL EXAM SOLUTIONS. MATH 45, PRACTICE FINAL EXAM SOLUTIONS. Exercise. a Is the operator L defined on smooth functions of x, y by L u := u xx + cosu linear? b Does the answer change if we replace the operator L by the operator

More information

An optimal transportation problem with import/export taxes on the boundary

An optimal transportation problem with import/export taxes on the boundary An optimal transportation problem with import/export taxes on the boundary Julián Toledo Workshop International sur les Mathématiques et l Environnement Essaouira, November 2012..................... Joint

More information

Reducibility of Second Order Differential Operators with Rational Coefficients

Reducibility of Second Order Differential Operators with Rational Coefficients Reducibility of Second Order Differential Operators with Rational Coefficients Joseph Geisbauer University of Arkansas-Fort Smith Advisor: Dr. Jill Guerra May 10, 2007 1. INTRODUCTION In this paper we

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

Inner Product Spaces

Inner Product Spaces Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number

More information

4 Lyapunov Stability Theory

4 Lyapunov Stability Theory 4 Lyapunov Stability Theory In this section we review the tools of Lyapunov stability theory. These tools will be used in the next section to analyze the stability properties of a robot controller. We

More information

First Order Circuits. EENG223 Circuit Theory I

First Order Circuits. EENG223 Circuit Theory I First Order Circuits EENG223 Circuit Theory I First Order Circuits A first-order circuit can only contain one energy storage element (a capacitor or an inductor). The circuit will also contain resistance.

More information

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

Dynamics. Basilio Bona. DAUIN-Politecnico di Torino. Basilio Bona (DAUIN-Politecnico di Torino) Dynamics 2009 1 / 30

Dynamics. Basilio Bona. DAUIN-Politecnico di Torino. Basilio Bona (DAUIN-Politecnico di Torino) Dynamics 2009 1 / 30 Dynamics Basilio Bona DAUIN-Politecnico di Torino 2009 Basilio Bona (DAUIN-Politecnico di Torino) Dynamics 2009 1 / 30 Dynamics - Introduction In order to determine the dynamics of a manipulator, it is

More information

minimal polyonomial Example

minimal polyonomial Example Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We

More information

Chapter 12 Modal Decomposition of State-Space Models 12.1 Introduction The solutions obtained in previous chapters, whether in time domain or transfor

Chapter 12 Modal Decomposition of State-Space Models 12.1 Introduction The solutions obtained in previous chapters, whether in time domain or transfor Lectures on Dynamic Systems and Control Mohammed Dahleh Munther A. Dahleh George Verghese Department of Electrical Engineering and Computer Science Massachuasetts Institute of Technology 1 1 c Chapter

More information

ES250: Electrical Science. HW7: Energy Storage Elements

ES250: Electrical Science. HW7: Energy Storage Elements ES250: Electrical Science HW7: Energy Storage Elements Introduction This chapter introduces two more circuit elements, the capacitor and the inductor whose elements laws involve integration or differentiation;

More information

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

More information

LINEAR ALGEBRA W W L CHEN

LINEAR ALGEBRA W W L CHEN LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,

More information

Chapter 13: Basic ring theory

Chapter 13: Basic ring theory Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring

More information

4.5 Linear Dependence and Linear Independence

4.5 Linear Dependence and Linear Independence 4.5 Linear Dependence and Linear Independence 267 32. {v 1, v 2 }, where v 1, v 2 are collinear vectors in R 3. 33. Prove that if S and S are subsets of a vector space V such that S is a subset of S, then

More information

Example 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum. asin. k, a, and b. We study stability of the origin x

Example 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum. asin. k, a, and b. We study stability of the origin x Lecture 4. LaSalle s Invariance Principle We begin with a motivating eample. Eample 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum Dynamics of a pendulum with friction can be written

More information

Factorization Theorems

Factorization Theorems Chapter 7 Factorization Theorems This chapter highlights a few of the many factorization theorems for matrices While some factorization results are relatively direct, others are iterative While some factorization

More information

Nonlinear Systems and Control Lecture # 15 Positive Real Transfer Functions & Connection with Lyapunov Stability. p. 1/?

Nonlinear Systems and Control Lecture # 15 Positive Real Transfer Functions & Connection with Lyapunov Stability. p. 1/? Nonlinear Systems and Control Lecture # 15 Positive Real Transfer Functions & Connection with Lyapunov Stability p. 1/? p. 2/? Definition: A p p proper rational transfer function matrix G(s) is positive

More information

(Quasi-)Newton methods

(Quasi-)Newton methods (Quasi-)Newton methods 1 Introduction 1.1 Newton method Newton method is a method to find the zeros of a differentiable non-linear function g, x such that g(x) = 0, where g : R n R n. Given a starting

More information

System of First Order Differential Equations

System of First Order Differential Equations CHAPTER System of First Order Differential Equations In this chapter, we will discuss system of first order differential equations. There are many applications that involving find several unknown functions

More information

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

More information

Sensitivity analysis of utility based prices and risk-tolerance wealth processes

Sensitivity analysis of utility based prices and risk-tolerance wealth processes Sensitivity analysis of utility based prices and risk-tolerance wealth processes Dmitry Kramkov, Carnegie Mellon University Based on a paper with Mihai Sirbu from Columbia University Math Finance Seminar,

More information

3. INNER PRODUCT SPACES

3. INNER PRODUCT SPACES . INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.

More information

COMPLETE MARKETS DO NOT ALLOW FREE CASH FLOW STREAMS

COMPLETE MARKETS DO NOT ALLOW FREE CASH FLOW STREAMS COMPLETE MARKETS DO NOT ALLOW FREE CASH FLOW STREAMS NICOLE BÄUERLE AND STEFANIE GRETHER Abstract. In this short note we prove a conjecture posed in Cui et al. 2012): Dynamic mean-variance problems in

More information

1. First-order Ordinary Differential Equations

1. First-order Ordinary Differential Equations Advanced Engineering Mathematics 1. First-order ODEs 1 1. First-order Ordinary Differential Equations 1.1 Basic concept and ideas 1.2 Geometrical meaning of direction fields 1.3 Separable differential

More information

15 Limit sets. Lyapunov functions

15 Limit sets. Lyapunov functions 15 Limit sets. Lyapunov functions At this point, considering the solutions to ẋ = f(x), x U R 2, (1) we were most interested in the behavior of solutions when t (sometimes, this is called asymptotic behavior

More information

Stability. Chapter 4. Topics : 1. Basic Concepts. 2. Algebraic Criteria for Linear Systems. 3. Lyapunov Theory with Applications to Linear Systems

Stability. Chapter 4. Topics : 1. Basic Concepts. 2. Algebraic Criteria for Linear Systems. 3. Lyapunov Theory with Applications to Linear Systems Chapter 4 Stability Topics : 1. Basic Concepts 2. Algebraic Criteria for Linear Systems 3. Lyapunov Theory with Applications to Linear Systems 4. Stability and Control Copyright c Claudiu C. Remsing, 2006.

More information

Using the Theory of Reals in. Analyzing Continuous and Hybrid Systems

Using the Theory of Reals in. Analyzing Continuous and Hybrid Systems Using the Theory of Reals in Analyzing Continuous and Hybrid Systems Ashish Tiwari Computer Science Laboratory (CSL) SRI International (SRI) Menlo Park, CA 94025 Email: ashish.tiwari@sri.com Ashish Tiwari

More information

METHODOLOGICAL CONSIDERATIONS OF DRIVE SYSTEM SIMULATION, WHEN COUPLING FINITE ELEMENT MACHINE MODELS WITH THE CIRCUIT SIMULATOR MODELS OF CONVERTERS.

METHODOLOGICAL CONSIDERATIONS OF DRIVE SYSTEM SIMULATION, WHEN COUPLING FINITE ELEMENT MACHINE MODELS WITH THE CIRCUIT SIMULATOR MODELS OF CONVERTERS. SEDM 24 June 16th - 18th, CPRI (Italy) METHODOLOGICL CONSIDERTIONS OF DRIVE SYSTEM SIMULTION, WHEN COUPLING FINITE ELEMENT MCHINE MODELS WITH THE CIRCUIT SIMULTOR MODELS OF CONVERTERS. Áron Szûcs BB Electrical

More information

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.

More information

Dynamic Eigenvalues for Scalar Linear Time-Varying Systems

Dynamic Eigenvalues for Scalar Linear Time-Varying Systems Dynamic Eigenvalues for Scalar Linear Time-Varying Systems P. van der Kloet and F.L. Neerhoff Department of Electrical Engineering Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands

More information

Adaptive Online Gradient Descent

Adaptive Online Gradient Descent Adaptive Online Gradient Descent Peter L Bartlett Division of Computer Science Department of Statistics UC Berkeley Berkeley, CA 94709 bartlett@csberkeleyedu Elad Hazan IBM Almaden Research Center 650

More information

Some strong sufficient conditions for cyclic homogeneous polynomial inequalities of degree four in nonnegative variables

Some strong sufficient conditions for cyclic homogeneous polynomial inequalities of degree four in nonnegative variables Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 6 (013), 74 85 Research Article Some strong sufficient conditions for cyclic homogeneous polynomial inequalities of degree four in nonnegative

More information

EXAMPLE 8: An Electrical System (Mechanical-Electrical Analogy)

EXAMPLE 8: An Electrical System (Mechanical-Electrical Analogy) EXAMPLE 8: An Electrical System (Mechanical-Electrical Analogy) A completely analogous procedure can be used to find the state equations of electrical systems (and, ultimately, electro-mechanical systems

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics GLOBAL EXISTENCE AND DECREASING PROPERTY OF BOUNDARY VALUES OF SOLUTIONS TO PARABOLIC EQUATIONS WITH NONLOCAL BOUNDARY CONDITIONS Sangwon Seo Volume 193 No. 1 March 2000

More information

Matlab and Simulink. Matlab and Simulink for Control

Matlab and Simulink. Matlab and Simulink for Control Matlab and Simulink for Control Automatica I (Laboratorio) 1/78 Matlab and Simulink CACSD 2/78 Matlab and Simulink for Control Matlab introduction Simulink introduction Control Issues Recall Matlab design

More information

α = u v. In other words, Orthogonal Projection

α = u v. In other words, Orthogonal Projection Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v

More information

Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test

Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test Math Review for the Quantitative Reasoning Measure of the GRE revised General Test www.ets.org Overview This Math Review will familiarize you with the mathematical skills and concepts that are important

More information

1.5. Factorisation. Introduction. Prerequisites. Learning Outcomes. Learning Style

1.5. Factorisation. Introduction. Prerequisites. Learning Outcomes. Learning Style Factorisation 1.5 Introduction In Block 4 we showed the way in which brackets were removed from algebraic expressions. Factorisation, which can be considered as the reverse of this process, is dealt with

More information

Fuzzy Differential Systems and the New Concept of Stability

Fuzzy Differential Systems and the New Concept of Stability Nonlinear Dynamics and Systems Theory, 1(2) (2001) 111 119 Fuzzy Differential Systems and the New Concept of Stability V. Lakshmikantham 1 and S. Leela 2 1 Department of Mathematical Sciences, Florida

More information

19 LINEAR QUADRATIC REGULATOR

19 LINEAR QUADRATIC REGULATOR 19 LINEAR QUADRATIC REGULATOR 19.1 Introduction The simple form of loopshaping in scalar systems does not extend directly to multivariable (MIMO) plants, which are characterized by transfer matrices instead

More information

Duality of linear conic problems

Duality of linear conic problems Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

More information

Network Traffic Modelling

Network Traffic Modelling University of York Dissertation submitted for the MSc in Mathematics with Modern Applications, Department of Mathematics, University of York, UK. August 009 Network Traffic Modelling Author: David Slade

More information

Applications of Second-Order Differential Equations

Applications of Second-Order Differential Equations Applications of Second-Order Differential Equations Second-order linear differential equations have a variety of applications in science and engineering. In this section we explore two of them: the vibration

More information

F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein) Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p

More information

Formulations of Model Predictive Control. Dipartimento di Elettronica e Informazione

Formulations of Model Predictive Control. Dipartimento di Elettronica e Informazione Formulations of Model Predictive Control Riccardo Scattolini Riccardo Scattolini Dipartimento di Elettronica e Informazione Impulse and step response models 2 At the beginning of the 80, the early formulations

More information

IMPROVED NETWORK PARAMETER ERROR IDENTIFICATION USING MULTIPLE MEASUREMENT SCANS

IMPROVED NETWORK PARAMETER ERROR IDENTIFICATION USING MULTIPLE MEASUREMENT SCANS IMPROVED NETWORK PARAMETER ERROR IDENTIFICATION USING MULTIPLE MEASUREMENT SCANS Liuxi Zhang and Ali Abur Department of Electrical and Computer Engineering Northeastern University Boston, MA, USA lzhang@ece.neu.edu

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5. PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

Mathematical Modeling and Dynamic Simulation of a Class of Drive Systems with Permanent Magnet Synchronous Motors

Mathematical Modeling and Dynamic Simulation of a Class of Drive Systems with Permanent Magnet Synchronous Motors Applied and Computational Mechanics 3 (2009) 331 338 Mathematical Modeling and Dynamic Simulation of a Class of Drive Systems with Permanent Magnet Synchronous Motors M. Mikhov a, a Faculty of Automatics,

More information

ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION. E. I. Pancheva, A. Gacovska-Barandovska

ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION. E. I. Pancheva, A. Gacovska-Barandovska Pliska Stud. Math. Bulgar. 22 (2015), STUDIA MATHEMATICA BULGARICA ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION E. I. Pancheva, A. Gacovska-Barandovska Smirnov (1949) derived four

More information

19.6. Finding a Particular Integral. Introduction. Prerequisites. Learning Outcomes. Learning Style

19.6. Finding a Particular Integral. Introduction. Prerequisites. Learning Outcomes. Learning Style Finding a Particular Integral 19.6 Introduction We stated in Block 19.5 that the general solution of an inhomogeneous equation is the sum of the complementary function and a particular integral. We have

More information

MATH1231 Algebra, 2015 Chapter 7: Linear maps

MATH1231 Algebra, 2015 Chapter 7: Linear maps MATH1231 Algebra, 2015 Chapter 7: Linear maps A/Prof. Daniel Chan School of Mathematics and Statistics University of New South Wales danielc@unsw.edu.au Daniel Chan (UNSW) MATH1231 Algebra 1 / 43 Chapter

More information

ORDINARY DIFFERENTIAL EQUATIONS

ORDINARY DIFFERENTIAL EQUATIONS ORDINARY DIFFERENTIAL EQUATIONS GABRIEL NAGY Mathematics Department, Michigan State University, East Lansing, MI, 48824. SEPTEMBER 4, 25 Summary. This is an introduction to ordinary differential equations.

More information

Lecture 24: Oscillators. Clapp Oscillator. VFO Startup

Lecture 24: Oscillators. Clapp Oscillator. VFO Startup Whites, EE 322 Lecture 24 Page 1 of 10 Lecture 24: Oscillators. Clapp Oscillator. VFO Startup Oscillators are circuits that produce periodic output voltages, such as sinusoids. They accomplish this feat

More information

The Point-Slope Form

The Point-Slope Form 7. The Point-Slope Form 7. OBJECTIVES 1. Given a point and a slope, find the graph of a line. Given a point and the slope, find the equation of a line. Given two points, find the equation of a line y Slope

More information

3. Reaction Diffusion Equations Consider the following ODE model for population growth

3. Reaction Diffusion Equations Consider the following ODE model for population growth 3. Reaction Diffusion Equations Consider the following ODE model for population growth u t a u t u t, u 0 u 0 where u t denotes the population size at time t, and a u plays the role of the population dependent

More information

Adaptive Control Using Combined Online and Background Learning Neural Network

Adaptive Control Using Combined Online and Background Learning Neural Network Adaptive Control Using Combined Online and Background Learning Neural Network Eric N. Johnson and Seung-Min Oh Abstract A new adaptive neural network (NN control concept is proposed with proof of stability

More information

CHAPTER FIVE. Solutions for Section 5.1. Skill Refresher. Exercises

CHAPTER FIVE. Solutions for Section 5.1. Skill Refresher. Exercises CHAPTER FIVE 5.1 SOLUTIONS 265 Solutions for Section 5.1 Skill Refresher S1. Since 1,000,000 = 10 6, we have x = 6. S2. Since 0.01 = 10 2, we have t = 2. S3. Since e 3 = ( e 3) 1/2 = e 3/2, we have z =

More information

2.3 Convex Constrained Optimization Problems

2.3 Convex Constrained Optimization Problems 42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions

More information

N 1. (q k+1 q k ) 2 + α 3. k=0

N 1. (q k+1 q k ) 2 + α 3. k=0 Teoretisk Fysik Hand-in problem B, SI1142, Spring 2010 In 1955 Fermi, Pasta and Ulam 1 numerically studied a simple model for a one dimensional chain of non-linear oscillators to see how the energy distribution

More information

1 Sets and Set Notation.

1 Sets and Set Notation. LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

More information

On using numerical algebraic geometry to find Lyapunov functions of polynomial dynamical systems

On using numerical algebraic geometry to find Lyapunov functions of polynomial dynamical systems Dynamics at the Horsetooth Volume 2, 2010. On using numerical algebraic geometry to find Lyapunov functions of polynomial dynamical systems Eric Hanson Department of Mathematics Colorado State University

More information

Probability Generating Functions

Probability Generating Functions page 39 Chapter 3 Probability Generating Functions 3 Preamble: Generating Functions Generating functions are widely used in mathematics, and play an important role in probability theory Consider a sequence

More information

Performance of networks containing both MaxNet and SumNet links

Performance of networks containing both MaxNet and SumNet links Performance of networks containing both MaxNet and SumNet links Lachlan L. H. Andrew and Bartek P. Wydrowski Abstract Both MaxNet and SumNet are distributed congestion control architectures suitable for

More information

Virtual Power Limiter System which Guarantees Stability of Control Systems

Virtual Power Limiter System which Guarantees Stability of Control Systems Virtual Power Limiter Sstem which Guarantees Stabilit of Control Sstems Katsua KANAOKA Department of Robotics, Ritsumeikan Universit Shiga 525-8577, Japan Email: kanaoka@se.ritsumei.ac.jp Abstract In this

More information

Chapter 13 Internal (Lyapunov) Stability 13.1 Introduction We have already seen some examples of both stable and unstable systems. The objective of th

Chapter 13 Internal (Lyapunov) Stability 13.1 Introduction We have already seen some examples of both stable and unstable systems. The objective of th Lectures on Dynamic Systems and Control Mohammed Dahleh Munther A. Dahleh George Verghese Department of Electrical Engineering and Computer Science Massachuasetts Institute of Technology 1 1 c Chapter

More information

A Direct Numerical Method for Observability Analysis

A Direct Numerical Method for Observability Analysis IEEE TRANSACTIONS ON POWER SYSTEMS, VOL 15, NO 2, MAY 2000 625 A Direct Numerical Method for Observability Analysis Bei Gou and Ali Abur, Senior Member, IEEE Abstract This paper presents an algebraic method

More information

REVIEW EXERCISES DAVID J LOWRY

REVIEW EXERCISES DAVID J LOWRY REVIEW EXERCISES DAVID J LOWRY Contents 1. Introduction 1 2. Elementary Functions 1 2.1. Factoring and Solving Quadratics 1 2.2. Polynomial Inequalities 3 2.3. Rational Functions 4 2.4. Exponentials and

More information

Linear Threshold Units

Linear Threshold Units Linear Threshold Units w x hx (... w n x n w We assume that each feature x j and each weight w j is a real number (we will relax this later) We will study three different algorithms for learning linear

More information

Quasi-static evolution and congested transport

Quasi-static evolution and congested transport Quasi-static evolution and congested transport Inwon Kim Joint with Damon Alexander, Katy Craig and Yao Yao UCLA, UW Madison Hard congestion in crowd motion The following crowd motion model is proposed

More information

Lecture 7: Finding Lyapunov Functions 1

Lecture 7: Finding Lyapunov Functions 1 Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.243j (Fall 2003): DYNAMICS OF NONLINEAR SYSTEMS by A. Megretski Lecture 7: Finding Lyapunov Functions 1

More information

Follow links for Class Use and other Permissions. For more information send email to: permissions@pupress.princeton.edu

Follow links for Class Use and other Permissions. For more information send email to: permissions@pupress.princeton.edu COPYRIGHT NOTICE: Ariel Rubinstein: Lecture Notes in Microeconomic Theory is published by Princeton University Press and copyrighted, c 2006, by Princeton University Press. All rights reserved. No part

More information

constraint. Let us penalize ourselves for making the constraint too big. We end up with a

constraint. Let us penalize ourselves for making the constraint too big. We end up with a Chapter 4 Constrained Optimization 4.1 Equality Constraints (Lagrangians) Suppose we have a problem: Maximize 5, (x 1, 2) 2, 2(x 2, 1) 2 subject to x 1 +4x 2 =3 If we ignore the constraint, we get the

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets.

MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets. MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets. Norm The notion of norm generalizes the notion of length of a vector in R n. Definition. Let V be a vector space. A function α

More information

Cyber-Security Analysis of State Estimators in Power Systems

Cyber-Security Analysis of State Estimators in Power Systems Cyber-Security Analysis of State Estimators in Electric Power Systems André Teixeira 1, Saurabh Amin 2, Henrik Sandberg 1, Karl H. Johansson 1, and Shankar Sastry 2 ACCESS Linnaeus Centre, KTH-Royal Institute

More information

General Theory of Differential Equations Sections 2.8, 3.1-3.2, 4.1

General Theory of Differential Equations Sections 2.8, 3.1-3.2, 4.1 A B I L E N E C H R I S T I A N U N I V E R S I T Y Department of Mathematics General Theory of Differential Equations Sections 2.8, 3.1-3.2, 4.1 Dr. John Ehrke Department of Mathematics Fall 2012 Questions

More information

Introduction to the Finite Element Method (FEM)

Introduction to the Finite Element Method (FEM) Introduction to the Finite Element Method (FEM) ecture First and Second Order One Dimensional Shape Functions Dr. J. Dean Discretisation Consider the temperature distribution along the one-dimensional

More information

The Time Constant of an RC Circuit

The Time Constant of an RC Circuit The Time Constant of an RC Circuit 1 Objectives 1. To determine the time constant of an RC Circuit, and 2. To determine the capacitance of an unknown capacitor. 2 Introduction What the heck is a capacitor?

More information

Date: April 12, 2001. Contents

Date: April 12, 2001. Contents 2 Lagrange Multipliers Date: April 12, 2001 Contents 2.1. Introduction to Lagrange Multipliers......... p. 2 2.2. Enhanced Fritz John Optimality Conditions...... p. 12 2.3. Informative Lagrange Multipliers...........

More information

Logistic Regression. Jia Li. Department of Statistics The Pennsylvania State University. Logistic Regression

Logistic Regression. Jia Li. Department of Statistics The Pennsylvania State University. Logistic Regression Logistic Regression Department of Statistics The Pennsylvania State University Email: jiali@stat.psu.edu Logistic Regression Preserve linear classification boundaries. By the Bayes rule: Ĝ(x) = arg max

More information

Roots of Polynomials

Roots of Polynomials Roots of Polynomials (Com S 477/577 Notes) Yan-Bin Jia Sep 24, 2015 A direct corollary of the fundamental theorem of algebra is that p(x) can be factorized over the complex domain into a product a n (x

More information

Inner Product Spaces and Orthogonality

Inner Product Spaces and Orthogonality Inner Product Spaces and Orthogonality week 3-4 Fall 2006 Dot product of R n The inner product or dot product of R n is a function, defined by u, v a b + a 2 b 2 + + a n b n for u a, a 2,, a n T, v b,

More information

Brief Paper. of discrete-time linear systems. www.ietdl.org

Brief Paper. of discrete-time linear systems. www.ietdl.org Published in IET Control Theory and Applications Received on 28th August 2012 Accepted on 26th October 2012 Brief Paper ISSN 1751-8644 Temporal and one-step stabilisability and detectability of discrete-time

More information

Lecture 11. 3.3.2 Cost functional

Lecture 11. 3.3.2 Cost functional Lecture 11 3.3.2 Cost functional Consider functions L(t, x, u) and K(t, x). Here L : R R n R m R, K : R R n R sufficiently regular. (To be consistent with calculus of variations we would have to take L(t,

More information

Quasi Contraction and Fixed Points

Quasi Contraction and Fixed Points Available online at www.ispacs.com/jnaa Volume 2012, Year 2012 Article ID jnaa-00168, 6 Pages doi:10.5899/2012/jnaa-00168 Research Article Quasi Contraction and Fixed Points Mehdi Roohi 1, Mohsen Alimohammady

More information

Motion Control of 3 Degree-of-Freedom Direct-Drive Robot. Rutchanee Gullayanon

Motion Control of 3 Degree-of-Freedom Direct-Drive Robot. Rutchanee Gullayanon Motion Control of 3 Degree-of-Freedom Direct-Drive Robot A Thesis Presented to The Academic Faculty by Rutchanee Gullayanon In Partial Fulfillment of the Requirements for the Degree Master of Engineering

More information

Reference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.

Reference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3. 5 Potential Theory Reference: Introduction to Partial Differential Equations by G. Folland, 995, Chap. 3. 5. Problems of Interest. In what follows, we consider Ω an open, bounded subset of R n with C 2

More information

MATH 590: Meshfree Methods

MATH 590: Meshfree Methods MATH 590: Meshfree Methods Chapter 7: Conditionally Positive Definite Functions Greg Fasshauer Department of Applied Mathematics Illinois Institute of Technology Fall 2010 fasshauer@iit.edu MATH 590 Chapter

More information

Computing divisors and common multiples of quasi-linear ordinary differential equations

Computing divisors and common multiples of quasi-linear ordinary differential equations Computing divisors and common multiples of quasi-linear ordinary differential equations Dima Grigoriev CNRS, Mathématiques, Université de Lille Villeneuve d Ascq, 59655, France Dmitry.Grigoryev@math.univ-lille1.fr

More information

TD(0) Leads to Better Policies than Approximate Value Iteration

TD(0) Leads to Better Policies than Approximate Value Iteration TD(0) Leads to Better Policies than Approximate Value Iteration Benjamin Van Roy Management Science and Engineering and Electrical Engineering Stanford University Stanford, CA 94305 bvr@stanford.edu Abstract

More information

2.4 Real Zeros of Polynomial Functions

2.4 Real Zeros of Polynomial Functions SECTION 2.4 Real Zeros of Polynomial Functions 197 What you ll learn about Long Division and the Division Algorithm Remainder and Factor Theorems Synthetic Division Rational Zeros Theorem Upper and Lower

More information