Approximate Reduction of Dynamical Systems
|
|
- Kerry Short
- 5 years ago
- Views:
Transcription
1 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, Agung Julius an George Pappas Abstract The reuction of ynamical systems has a rich history, with many important applications relate to stability, control an verification. Reuction is typically performe in an exact manner as is the case with mechanical systems with symmetry which, unfortunately, limits the type of systems to which it can be applie. The goal of this paper is to consier a more general form of reuction, terme approximate reuction, in orer to exten the class of systems that can be reuce. Using notions relate to incremental stability, we give conitions on when a ynamical system can be projecte to a lower imensional space while proviing har bouns on the inuce errors, i.e., when it is behaviorally similar to a ynamical system on a lower imensional space. These concepts are illustrate on a series of examples. I. INTRODUCTION Moeling is an essential part of many engineering isciplines an often a key ingreient for successful esigns. Although it is wiely recognize that moels are only approximate escriptions of reality, their value lies precisely on the ability to escribe, within certain bouns, the moele phenomena. In this paper we consier moeling of close loop control systems, i.e., ifferential equations, with the purpose of simplifying the analysis of these systems. The goal of this paper is to reuce the imension of the ifferential equations being analyze while proviing har bouns on the introuce errors. One promising application of these techniques is to the verification of hybri systems, which is currently constraine by the complexity of high imensional ifferential equations. Reucing ifferential equations an in particular mechanical systems is a subject with a long an rich history. The first form of reuction was iscovere by Routh in the 89 s; over the years, geometric reuction has become an acaemic fiel in it self. One begins with a ifferential equation with certain symmetries, i.e., it is invariant uner the action of a Lie group on the phase space. Using these symmetries, one can reuce the imensionality of the phase space by iviing out by the symmetry group) an efine a corresponing ifferential equation on this reuce phase This research was partially supporte by the National Science Founation, EHS awar 933 an CCR awar 6. P. Tabuaa is with the Department of Electrical Engineering, University of California at Los Angeles, Los Angeles, CA tabuaa@ee.ucla.eu Web: tabuaa A. D. Ames is with the Control an Dynamical Systems Department, California Institute of Technology, Pasaena, CA 9. ames@cs.caltech.eu Web: ames Agung Julius an George Pappas are with the Department of Electrical an Systems Engineering, University of Pennsylvania, Philaelphia, PA { agung@seas.upenn.eu, pappasg@ee.upenn.eu} space. The main result of geometric reuction is that one can unerstan the behavior of the full-orer system in terms of the behavior of the reuce system an vice versa [MW74], [vs8], [BKMM96]. While this form of exact reuction is very elegant, the class of systems for which this proceure can be applie is actually quite small. This inicates the nee for a form of reuction that is applicable to a wier class of systems an, while not being exact, is close enough. In systems theory, reuce orer moeling has also been extensively stuie uner the name of moel reuction [BDG96], [ASG]. Contrary to moel reuction where approximation is measure using L norms we are intereste in L norms. The guarantees provie by L norms are more natural when applications to safety verification are of interest. We evelop our results in the framework of incremental stability an our main result is in the spirit of existing stability results for cascae systems that proliferate the Inputto-State Stability ISS) literature. II. PRELIMINARIES A continuous function γ : R + R+, is sai to belong to class K if it is strictly increasing, γ) = an γr) as r. A continuous function β : R + R+ R+ is sai to belong to class KL if, for each fixe s, the map βr, s) belongs to class K with respect to r an, for each fixe r, the map βr, s) is ecreasing with respect to s an βr, s) as s. For a smooth function ϕ : R n R m we enote by Tϕ the tangent map to ϕ an by T x ϕ the tangent map to ϕ at x R n. We will say that ϕ is a submersion at x R n if T x ϕ is surjective an that Tϕ is a submersion if it is a submersion at every x R n.whenϕ is a submersion we will also use the notation kertϕ) to enote the istribution: kertϕ)={x : R n R n T x ϕ Xx) =}. Given a point x R n, x will enote the usual Eucliean norm while f will enote ess sup t [,τ] ft) for any given function f :[,τ] R n, τ>. A. Dynamical an control systems In this paper we shall restrict our attention to ynamical an control systems efine on Eucliean spaces. Definition : A vector fiel is a pair R n,x) where X is a smooth map X : R n R n. A smooth curve x,x): I R n, efine on an open subset I of R incluing the origin, is sai to be a trajectory of R n,x) if the following two conitions hol: ) x,x)=x; /6/$. 6 IEEE. 648
2 4th IEEE CDC, San Diego, USA, Dec. 3-, 6 FrIP.7 ) txt, x) =Xxt, x)) for all t I. A control system can be seen as an uner-etermine vector fiel. Definition : A control system is a triple R n, R m,f) where F is a smooth map F : R n R m R n. A smooth curve x u,x):i R n, efine on an open subset I of R incluing the origin, is sai to be a trajectory of R n, R m,f) if there exists a smooth curve u : I R m such that the following two conitions hol: ) x u,x)=x; ) t x ut, x) =F x u t, x), ut)) for almost all t I. III. EXACT REDUCTION For some ynamical systems escribe by a vector fiel X on R n it is possible to replace X by a vector fiel Y escribing the ynamics of the system on a lower imensional space, R m, while retaining much of the information in X. When this is the case we say that X can be reuce to Y. This iea of exact) reuction is capture by the notion of ϕ-relate vector fiels. Definition 3: Let ϕ : R n R m be a smooth map. The vector fiel R n,x) is sai to be ϕ-relate to the vector fiel R m,y) if: Tϕ X = Y ϕ. ) The following proposition, prove in [AMR88], characterizes ϕ-relate vector fiels in terms of their trajectories. Proposition : The vector fiel R n,x) is ϕ-relate to the vector fiel R m,y), for some smooth map ϕ : R n R m,iff: ϕ xt, x) =yt, ϕx)), ) where xt, x) an yt, y) are the trajectories of vector fiels X an Y, respectively. For ϕ-relate vector fiels, we can replace the stuy of trajectories x,x) with the stuy of trajectories y,ϕx)) living on the lower imension space R m. In particular, formal verification of X can be performe on Y whenever the relevant sets escribing the verification problem can also be reuce to R m. If a vector fiel an a submersion ϕ are given we can use the following result, prove in [MSVS8], to etermine the existence of ϕ-relate vector fiels. Proposition : Let R n,x) be a vector fiel an ϕ : R n R m a smooth submersion. There exists a vector fiel R m,y) that is ϕ-relate to R n,x) iff: [kertϕ),x] kertϕ). In an attempt to enlarge the class of vector fiels that can be reuce we introuce, in the next section, an approximate notion of reuction. IV. APPROXIMATE REDUCTION The generalization of Definition 3 propose in this section requires a ecomposition of R n of the form R n = R m R k. Associate with this ecomposition are the canonical projections π m : R n R m an π k : R n R k taking R n x =y, z) R m R k to π m x) =y an π k x) =z, respectively. Definition 4: The vector fiel R n,x) is sai to be approximately π m -relate to the vector fiel R m,y) if there exists a class K function γ such that the following estimate hols: π m xt, x) yt, π m x)) γ π k x) ). 3) Note that when X an Y are π m -relate we have: π m xt, x) yt, π m x)) =, which implies 3). Definition 4 can thus be seen as a generalization of exact reuction capture by Definition 3. Although the boun on the gap between the projection of the original trajectory x an the trajectory y of the approximate reuce system is a function of x, in concrete applications the initial conitions are typically restricte to a boune set of interest. The following result has interesting implications in these situations. Proposition 3: If R n,x) is approximately π m -relate to R m,y) then for any compact set C R n there exists a δ> such that for all x C the following estimate hols: π m xt, x) yt, π m x)) δ. 4) Proof: Let δ =max x C γ π k x) ). The scalar δ is well efine since γ π k ) ) is a continuous map an C is compact. From a practical point of view, approximate reuction is only a useful concept if it amits characterizations that are simple to check. In orer to erive such characterizations we nee to review several notions of incremental stability. A. Incremental stability In this subsection we review two notions of incremental stability which will be funamental in proving the main contribution of this paper. We follow [BM] an [Ang]. Definition : A control system R n, R m,f) is sai to be incrementally uniformly boune-input-boune-state stable IUBIBSS) if there exist two class K functions γ an γ such that for each x,x R n an for each pair of smooth curves u, u : I R m the following estimate hols: x u t, x ) x u t, x ) γ x x )+γ u u ) ) for all t I. In general it is ifficult to establish IUBIBSS irectly. A sufficient conition is given by the existence of an IUBIBSS Lyapunov function. Note however that IUBIBSS only implies the existence of a IUBIBSS Lyapunov function with very weak regularity conitions [BM]. Definition 6: A C function V : R n R n R + is sai to be an IUBIBSS Lyapunov function for control system R n, R m,f) if there exist a ξ> an class K functions α, α, an μ such that: ) For x x ξ, α x x ) V x,x ) α x x ); ) μr) r + ξ for r R + ; 3) x x μ u u ) = V. 649
3 4th IEEE CDC, San Diego, USA, Dec. 3-, 6 FrIP.7 A stronger notion than IUBIBSS is incremental input-tostate stability. Definition 7: A control system R n, R m,f) is sai to be incrementally input-to-state stable IISS) if there exist a class KL function β an a class K function γ such that for each x,x R n an for each pair of smooth curves u, u : I R m the following estimate hols: x u t, x ) x u t, x ) β x x,t)+γ u u ) 6) Since β is a ecreasing function of t we immeiately see that 6) implies ) with γ r) =βr, ) an γ r) =γr), r R +. Once again, IISS is implie by the existence of an IISS Lyapunov function. See [Ang] for a converse result when the inputs take values in a compact set. Definition 8: A C function V : R n R n R + is sai to be an IISS Lyapunov function for the control system R n, R m,f) if there exist class K functions α, α, α, an μ such that: ) α x x ) V x,x ) α x x ); ) x x μ u u ) = V α x x ). B. Fiberwise stability In aition to incremental stability we will also nee a notion of partial stability. Definition 9: A vector fiel R n,x) is sai to be fiberwise stable with respect to R k if there exists a class K function γ such that the following estimate hols: π k x,x)) γ π k x) ). Fiberwise stability can be checke with the help of the following result. Lemma : A vector fiel R n,x) is fiberwise stable with respect to R k if there exist two K functions, α an α, an a function V : R n R such that: ) α π k x) ) V x) α π k x) ), ) V. C. Existence of approximate reuctions In this subsection we prove the main result proviing sufficient conitions for the existence of approximate reuctions. Theorem : Let R n,x) be a fiberwise stable vector fiel with respect to R k an let F = Tπ m X : R m R k R m, viewe as a control system with state space R m, be IUBIBSS. Then, the vector fiel R m,y) efine by: Y y) =T y,z) π m Xy, ) = F y, ) is approximately π m -relate to R n,x). Proof: By assumption Y y) =T y,z) π m Xy, ) is IUBIBSS with respect to R k so that we have: y v t, y ) y v t, y ) γ y y )+γ v v ). In particular we can take y = y = π m x), v = π k x,x), v =, to get: π m xt, x) yt, π m x)) = y πk xt,x)t, π m x)) y t, π m x)) = y v t, π m x)) y t, π m x)) γ v )=γ π k x,x) ). But it follows from fiber stability of X with respect to R k that π k x,x) γ π k x) ). We thus have: π m xt, x) yt, π m x)) γ γ π k x) ), which conclues the proof since γ γ is a class K function. Theorem shows that sufficient conitions for approximate reuction can be given in terms of ISS-like Lyapunov functions an how reuce system can be constructe. Before illustrating Theorem with several examples in the next section we present an important corollary. Corollary : Let R n,x) an R m,y) be vector fiels satisfying the assumptions of Theorem. Then, for any compact set C R n there exists a δ > such that for any x C an y π m C) the following estimate hols: π m xt, x) yt, y) δ Proof: Using the same proof as for Theorem, except picking y = π m x) an y = y, it follows that: π m xt, x) yt, y) γ π m x) y )+γ π k x) ). The boun δ is now given by: δ = max γ π m x) y )+γ π k x) )) x,y) C π mc) which is well efine since C π m C) is compact. This result has important consequences for verification. Given a set of initial conitions S R m, the set of points reachable uner trajectories of Y from initial conitions in S can be over-approximate by enclosing a single trajectory of Y, starting at any point in S, by a tube of raius δ. V. EXAMPLES In this section, we consier examples that illustrate the usefulness of approximate reuction. Example : As a first example we consier the ball in a rotating hoop with friction, as escribe in Chapter of [MR99]. For this example, there are the following parameters: m = mass of the ball, R = Raius of the hoop, g = acceleration ue to gravity, μ = friction constant for the ball. The equations of motion are given by: ω = μ m ω + ξ sin θ cos θ g R sin θ θ = ω 7) 64
4 4th IEEE CDC, San Diego, USA, Dec. 3-, 6 FrIP where θ is the angular position of the ball an ω is its angular velocity. If π ω : R R is the projection π ω ω, θ) =ω, then accoring to Proposition there exists no vector fiel Y on R which is π ω -relate to X as efine by 7)). However, we will show that Y ω) =T ω,θ) π ω Xω, ) is approximate π ω -relate to X. First, we use: V = mr ω + mgr cos θ) mr ξ sin θ as a Lyapunov function to show that 7) is stable. Note that V ω, θ) =for ω, θ) =, ) an V ω, θ) > for ω, θ), ) provie that Rξ <g. Computing the time erivative of V we obtain: V = μr ω, thus showing stability of 7). We now consier a compact set C invariant uner the ynamics an restrict our analysis to initial conitions in this set. Such a set can be constructe, for example, by taking {x R V x) c} for some positive constant c. Note that stability of 7) implies fiberwise stability on C since π m C) is compact. To apply Theorem we only nee to show that: T ω,θ) π ω Xω, θ) = μ m ω + ξ sin θ cos θ g R sin θ is IUBIBSS on C with θ seen as an input. We will conclue IUBIBSS by proving the stronger property of IISS. Consier the function: U = ω ω ). Its time erivative is given by: [ U = ω ω ) μ m ω ω )+ξ sin θ cos θ g R sin θ ξ sin θ cos θ + g ] R sin θ μ m ω ω ) + ω ω ξ sin θ cos θ g R sin θ ξ sin θ cos θ + g R sin θ Fig.. A trajectory of the full orer system re) vs. a trajectory for the reuce system blue) for R =,,, 4 from top to bottom, respectively). μ m ω ω ) + ω ω L θ θ = μ m ω ω ) 8) + μ ) m ω ω ) + ω ω L θ θ, where the secon inequality follows from the fact that ξ sin θ cos θ g R sin θ is a smooth function efine on the convex compact set π θ C) an is thus globally Lipschitz on π θ C) since its erivative is continuous an thus boune on π θ C)) with Lipschitz constant L. We now note that the conition: ω ω > ml μ θ θ makes the secon term in 8) negative from which we conclue the following implication: ω ω > ml μ θ θ = U μ m ω ω ) 64
5 4th IEEE CDC, San Diego, USA, Dec. 3-, 6 FrIP.7 Fig.. A graphical representation of the penulum on a cart mounte to a spring. showing that U is an IISS Lyapunov function. We can thus reuce 7) to: ω = μ m ω. Projecte trajectories of the full-orer system as compare with trajectories of the reuce system can be seen in Figure ; here μ = m =an ξ =.. Note that as R, the reuce system converges to the full-orer system or the full-orer system effectively becomes ecouple). Example : We now consier a penulum attache to a cart with is mounte to a spring see Figure ). For this example, there are the following parameters: M = mass of the cart, m = mass of the penulum, R = length of the ro, k = spring stiffness, g = acceleration ue to gravity, = friction constant for the cart, b = friction constant for the penulum. The equations of motion are given by: ẋ = v θ = ω v = ω = M + m sin θ kx v + b ) R cos θ mrω sin θ + mg sin θ cos θ RM + m sin mrω sin θ cos θ θ) m + M)g sin θ + kx cos θ + v cos θ + M m ) b ) R ω where x is the position of the cart, v its velocity, θ is the angular position of the penulum an ω its angular velocity. If π x,v) : R 4 R is the projection π x,v) x, θ, v, ω) = x, v) an X is the vector fiel as efine in 9), the goal is 9) to reuce X to R by eliminating the θ an ω variables an thus obtaining Y efine by: ) ẋ = Y x, v) v = T x,θ,v,ω) π x,v) Xx,,v,) ) v =. M v + kx) The objective is now to show that X an Y are approximately π x,v) -relate. In particular, note that the reuce system, Y, is linear while the full-orer system, X, is very nonlinear. This will be iscusse in more etail after proving that they are in fact approximately relate. Stability of X, an in particular fiberwise stability, can be proven as in the previous example by noting that X is Hamiltonian for = b =an using the Hamiltonian as a Lyapunov function V. Consier now the control system: F x, v), θ, ω)) = Tπ x,v) Xx, θ, v, ω) ) = M + m sin mrω sin θ kx θ +mg sin θ cos θ v + b ) R cos θ with θ an ω regare as inputs. To show that F is IUBIBSS we first rewrite ) in the form: F x, v), θ, ω)) = ) mrω sin θ kx v mr ω cos θ M + m an consier the following IISS caniate Lyapunov function: U = m + M) x x ) + v v ). Its time erivative is given by: U = m + M v v ) + mr ω sin θ m + M ω cos θ ω sin θ + ω cos θ )v v ). Using an argument similar to the one use for the previous example, we conclue that: v v mrl θ,ω, ω ) θ,ω, ω ), with L the Lipschitz constant of the function ω sin θ ω cos θ, implying: U m + M) v v ), thus showing that X is IISS an in particular also IUBIBSS. That is, we have establishe that X an Y are approximately π x,v) -relate. In orer to illustrate some of the interesting implications of approximate reuction, we will compare the reuce system, Y, an the full-orer system, X, in the case when R = m = 64
6 4th IEEE CDC, San Diego, USA, Dec. 3-, 6 FrIP Fig. 3. A projecte trajectory of the full-orer system re) an a trajectory for the reuce system blue) for =.,.,., from left to right an top to bottom, respectively). k = b =an M =. It follows that the equations of motion for the reuce system are given by the linear system: ) ) ) ẋ x = v, v so we can completely characterize the ynamics of the reuce system: every solution spirals into the origin. This is in stark contrast to the ynamics of X see 9)) which are very complex. The fact that X an Y are approximately relate, an more specifically Theorem, allows us to unerstan the ynamics of X through the simple ynamics of Y. To be more specific, because the istance between the projecte trajectories of X an the trajectories of Y is boune, we know that the projecte trajectories of X will essentially be spirals. Moreover, the friction constant will irectly affect the rate of convergence of these spirals. Examples of this can be seen in Figure 3 where is varie to affect the convergence of the reuce system, an hence the full orer system. REFERENCES [AMR88] R. Abraham, J. Marsen, an T. Ratiu. Manifols, Tensor Analysis an Applications. Applie Mathematical Sciences. Springer-Verlag, 988. [Ang] [ASG] D. Angeli. A lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control, 473):4 4,. A. C. Antoulas, D. C. Sorensen, an S. Gugercin. A survey of moel reuction methos for large-scale systems. Contemporary Mathematics, 8:93 9,. [BDG96] C. L. Beck, J. Doyle, an K. Glover. Moel reuction of multiimensional an uncertain systems. IEEE Transactions on Automatic Control, 4): , 996. [BKMM96] A.M. Bloch, P.S. Krishnaprasa, J.E. Marsen, an R. Murray. Nonholonomic mechanical systems with symmetry. Archive for Rational Mechanichs an Analysis, 36): 99, 996. [BM] A. Bacciotti an L. Mazzi. A necessary an sufficient conition for boune-input boune-state stability of nonlinear systems. SIAM Journal on Control an Optimization, 39):478 49,. [MR99] Jerrol E. Marsen an Tuor S. Ratiu. Introuction to Mechanics an Symmetry. Number 7 in Texts in Applie Mathematics. Springer-Verlag, n eition, 999. [MSVS8] Giuseppe Marmo, Alberto Simoni, Bruno Vitale, an Eugene J. Saletan. Dynamical Systems. John Wiley & Sons, 98. [MW74] J. E. Marsen an A. Weinstein. Reuction of symplectic manifols with symmetry. Reports on Mathematical Physics, :, 974. [vs8] A. van er Schaft. Symmetries an conservation laws for Hamiltonian systems with inputs an outputs: A generalization of Noether s theorem. Systems an Control Letters, :8,
Approximate 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 informationApproximate Reduction of Dynamical Systems
University of Pennsylvania ScholarlyCommons Departmental Papers ESE Department of Electrical & Systems Engineering July 28 Approximate Reduction of Dynamical Systems Paulo Tabuada University of Pennsylvania
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 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 informationChapter 2 Lagrangian Modeling
Chapter 2 Lagrangian Moeling The basic laws of physics are use to moel every system whether it is electrical, mechanical, hyraulic, or any other energy omain. In mechanics, Newton s laws of motion provie
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 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 informationWUCHEN LI AND STANLEY OSHER
CONSTRAINED DYNAMICAL OPTIMAL TRANSPORT AND ITS LAGRANGIAN FORMULATION WUCHEN LI AND STANLEY OSHER Abstract. We propose ynamical optimal transport (OT) problems constraine in a parameterize probability
More informationDiscrete Hamilton Jacobi Theory and Discrete Optimal Control
49th IEEE Conference on Decision an Control December 15-17, 2010 Hilton Atlanta Hotel, Atlanta, GA, USA Discrete Hamilton Jacobi Theory an Discrete Optimal Control Tomoi Ohsawa, Anthony M. Bloch, an Melvin
More informationAssignment 1. g i (x 1,..., x n ) dx i = 0. i=1
Assignment 1 Golstein 1.4 The equations of motion for the rolling isk are special cases of general linear ifferential equations of constraint of the form g i (x 1,..., x n x i = 0. i=1 A constraint conition
More informationLECTURE NOTES ON DVORETZKY S THEOREM
LECTURE NOTES ON DVORETZKY S THEOREM STEVEN HEILMAN Abstract. We present the first half of the paper [S]. In particular, the results below, unless otherwise state, shoul be attribute to G. Schechtman.
More informationLagrangian and Hamiltonian Mechanics
Lagrangian an Hamiltonian Mechanics.G. Simpson, Ph.. epartment of Physical Sciences an Engineering Prince George s Community College ecember 5, 007 Introuction In this course we have been stuying classical
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 informationA simple model for the small-strain behaviour of soils
A simple moel for the small-strain behaviour of soils José Jorge Naer Department of Structural an Geotechnical ngineering, Polytechnic School, University of São Paulo 05508-900, São Paulo, Brazil, e-mail:
More informationExponential Tracking Control of Nonlinear Systems with Actuator Nonlinearity
Preprints of the 9th Worl Congress The International Feeration of Automatic Control Cape Town, South Africa. August -9, Exponential Tracking Control of Nonlinear Systems with Actuator Nonlinearity Zhengqiang
More 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 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 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 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 informationNonlinear Adaptive Ship Course Tracking Control Based on Backstepping and Nussbaum Gain
Nonlinear Aaptive Ship Course Tracking Control Base on Backstepping an Nussbaum Gain Jialu Du, Chen Guo Abstract A nonlinear aaptive controller combining aaptive Backstepping algorithm with Nussbaum gain
More informationThe Principle of Least Action
Chapter 7. The Principle of Least Action 7.1 Force Methos vs. Energy Methos We have so far stuie two istinct ways of analyzing physics problems: force methos, basically consisting of the application of
More informationDomain Decomposition and Model Reduction of Systems with Local Nonlinearities
Domain Decomposition an Moel Reuction of Systems with Local Nonlinearities Kai Sun, Rolan Glowinsi, Matthias Heinenschloss, an Danny C. Sorensen Abstract The goal of this paper is to combine balance truncation
More informationarxiv: v2 [math.dg] 16 Dec 2014
A ONOTONICITY FORULA AND TYPE-II SINGULARITIES FOR THE EAN CURVATURE FLOW arxiv:1312.4775v2 [math.dg] 16 Dec 2014 YONGBING ZHANG Abstract. In this paper, we introuce a monotonicity formula for the mean
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 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 informationFORMATION INPUT-TO-STATE STABILITY. Herbert G. Tanner and George J. Pappas
Copyright 2002 IFAC 5th Triennial Worl Congress, Barcelona, Spain FORMATION INPUT-TO-STATE STABILITY Herbert G. Tanner an George J. Pappas Department of Electrical Engineering University of Pennsylvania
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 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 informationLower bounds on Locality Sensitive Hashing
Lower bouns on Locality Sensitive Hashing Rajeev Motwani Assaf Naor Rina Panigrahy Abstract Given a metric space (X, X ), c 1, r > 0, an p, q [0, 1], a istribution over mappings H : X N is calle a (r,
More informationImplicit Lyapunov control of closed quantum systems
Joint 48th IEEE Conference on Decision an Control an 28th Chinese Control Conference Shanghai, P.R. China, December 16-18, 29 ThAIn1.4 Implicit Lyapunov control of close quantum systems Shouwei Zhao, Hai
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 informationFrom Local to Global Control
Proceeings of the 47th IEEE Conference on Decision an Control Cancun, Mexico, Dec. 9-, 8 ThB. From Local to Global Control Stephen P. Banks, M. Tomás-Roríguez. Automatic Control Engineering Department,
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 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 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 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 informationOptimal 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 informationLECTURE 1: BASIC CONCEPTS, PROBLEMS, AND EXAMPLES
LECTURE 1: BASIC CONCEPTS, PROBLEMS, AND EXAMPLES WEIMIN CHEN, UMASS, SPRING 07 In this lecture we give a general introuction to the basic concepts an some of the funamental problems in symplectic geometry/topology,
More informationarxiv: v4 [cs.ds] 7 Mar 2014
Analysis of Agglomerative Clustering Marcel R. Ackermann Johannes Blömer Daniel Kuntze Christian Sohler arxiv:101.697v [cs.ds] 7 Mar 01 Abstract The iameter k-clustering problem is the problem of partitioning
More informationCONSERVATION PROPERTIES OF SMOOTHED PARTICLE HYDRODYNAMICS APPLIED TO THE SHALLOW WATER EQUATIONS
BIT 0006-3835/00/4004-0001 $15.00 200?, Vol.??, No.??, pp.?????? c Swets & Zeitlinger CONSERVATION PROPERTIES OF SMOOTHE PARTICLE HYROYNAMICS APPLIE TO THE SHALLOW WATER EQUATIONS JASON FRANK 1 an SEBASTIAN
More informationOptimization of a point-mass walking model using direct collocation and sequential quadratic programming
Optimization of a point-mass walking moel using irect collocation an sequential quaratic programming Chris Dembia June 5, 5 Telescoping actuator y Stance leg Point-mass boy m (x,y) Swing leg x Leg uring
More 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 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 informationMinimum-time constrained velocity planning
7th Meiterranean Conference on Control & Automation Makeonia Palace, Thessaloniki, Greece June 4-6, 9 Minimum-time constraine velocity planning Gabriele Lini, Luca Consolini, Aurelio Piazzi Università
More 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 information'HVLJQ &RQVLGHUDWLRQ LQ 0DWHULDO 6HOHFWLRQ 'HVLJQ 6HQVLWLYLW\,1752'8&7,21
Large amping in a structural material may be either esirable or unesirable, epening on the engineering application at han. For example, amping is a esirable property to the esigner concerne with limiting
More 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 informationExperimental Robustness Study of a Second-Order Sliding Mode Controller
Experimental Robustness Stuy of a Secon-Orer Sliing Moe Controller Anré Blom, Bram e Jager Einhoven University of Technology Department of Mechanical Engineering P.O. Box 513, 5600 MB Einhoven, The Netherlans
More 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 informationDarboux s theorem and symplectic geometry
Darboux s theorem an symplectic geometry Liang, Feng May 9, 2014 Abstract Symplectic geometry is a very important branch of ifferential geometry, it is a special case of poisson geometry, an coul also
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 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 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 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 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 informationPerfect Matchings in Õ(n1.5 ) Time in Regular Bipartite Graphs
Perfect Matchings in Õ(n1.5 ) Time in Regular Bipartite Graphs Ashish Goel Michael Kapralov Sanjeev Khanna Abstract We consier the well-stuie problem of fining a perfect matching in -regular bipartite
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 informationORDINARY DIFFERENTIAL EQUATIONS AND SINGULAR INTEGRALS. Gianluca Crippa
Manuscript submitte to AIMS Journals Volume X, Number 0X, XX 200X Website: http://aimsciences.org pp. X XX ORDINARY DIFFERENTIAL EQUATIONS AND SINGULAR INTEGRALS Gianluca Crippa Departement Mathematik
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 informationExamining Geometric Integration for Propagating Orbit Trajectories with Non-Conservative Forcing
Examining Geometric Integration for Propagating Orbit Trajectories with Non-Conservative Forcing Course Project for CDS 05 - Geometric Mechanics John M. Carson III California Institute of Technology June
More informationLower Bounds for the Smoothed Number of Pareto optimal Solutions
Lower Bouns for the Smoothe Number of Pareto optimal Solutions Tobias Brunsch an Heiko Röglin Department of Computer Science, University of Bonn, Germany brunsch@cs.uni-bonn.e, heiko@roeglin.org Abstract.
More informationPolynomial Inclusion Functions
Polynomial Inclusion Functions E. e Weert, E. van Kampen, Q. P. Chu, an J. A. Muler Delft University of Technology, Faculty of Aerospace Engineering, Control an Simulation Division E.eWeert@TUDelft.nl
More informationChapter 6: Energy-Momentum Tensors
49 Chapter 6: Energy-Momentum Tensors This chapter outlines the general theory of energy an momentum conservation in terms of energy-momentum tensors, then applies these ieas to the case of Bohm's moel.
More information12.11 Laplace s Equation in Cylindrical and
SEC. 2. Laplace s Equation in Cylinrical an Spherical Coorinates. Potential 593 2. Laplace s Equation in Cylinrical an Spherical Coorinates. Potential One of the most important PDEs in physics an engineering
More informationEnergy-preserving affine connections
2 A. D. Lewis Enery-preservin affine connections Anrew D. Lewis 28/07/1997 Abstract A Riemannian affine connection on a Riemannian manifol has the property that is preserves the kinetic enery associate
More informationEstimation of the Maximum Domination Value in Multi-Dimensional Data Sets
Proceeings of the 4th East-European Conference on Avances in Databases an Information Systems ADBIS) 200 Estimation of the Maximum Domination Value in Multi-Dimensional Data Sets Eleftherios Tiakas, Apostolos.
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 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 informationKou Yamada 1, Takaaki Hagiwara 2, Iwanori Murakami 3, Shun Yamamoto 4, and Hideharu Yamamoto 5, Non-members
Achievement of low-sensitivity characteristics an robust stability conition for multi-variable systems having an uncertain number of right half plane poles67 Achievement of low-sensitivity characteristics
More informationA new proof of the sharpness of the phase transition for Bernoulli percolation on Z d
A new proof of the sharpness of the phase transition for Bernoulli percolation on Z Hugo Duminil-Copin an Vincent Tassion October 8, 205 Abstract We provie a new proof of the sharpness of the phase transition
More informationOptimal 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 informationSYMPLECTIC GEOMETRY: LECTURE 3
SYMPLECTIC GEOMETRY: LECTURE 3 LIAT KESSLER 1. Local forms Vector fiels an the Lie erivative. A vector fiel on a manifol M is a smooth assignment of a vector tangent to M at each point. We think of M as
More informationarxiv:hep-th/ v1 3 Feb 1993
NBI-HE-9-89 PAR LPTHE 9-49 FTUAM 9-44 November 99 Matrix moel calculations beyon the spherical limit arxiv:hep-th/93004v 3 Feb 993 J. Ambjørn The Niels Bohr Institute Blegamsvej 7, DK-00 Copenhagen Ø,
More informationMonte Carlo Methods with Reduced Error
Monte Carlo Methos with Reuce Error As has been shown, the probable error in Monte Carlo algorithms when no information about the smoothness of the function is use is Dξ r N = c N. It is important for
More informationFLUCTUATIONS IN THE NUMBER OF POINTS ON SMOOTH PLANE CURVES OVER FINITE FIELDS. 1. Introduction
FLUCTUATIONS IN THE NUMBER OF POINTS ON SMOOTH PLANE CURVES OVER FINITE FIELDS ALINA BUCUR, CHANTAL DAVID, BROOKE FEIGON, MATILDE LALÍN 1 Introuction In this note, we stuy the fluctuations in the number
More informationState-Space Model for a Multi-Machine System
State-Space Moel for a Multi-Machine System These notes parallel section.4 in the text. We are ealing with classically moele machines (IEEE Type.), constant impeance loas, an a network reuce to its internal
More 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 informationOn Characterizing the Delay-Performance of Wireless Scheduling Algorithms
On Characterizing the Delay-Performance of Wireless Scheuling Algorithms Xiaojun Lin Center for Wireless Systems an Applications School of Electrical an Computer Engineering, Purue University West Lafayette,
More 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 informationRole of parameters in the stochastic dynamics of a stick-slip oscillator
Proceeing Series of the Brazilian Society of Applie an Computational Mathematics, v. 6, n. 1, 218. Trabalho apresentao no XXXVII CNMAC, S.J. os Campos - SP, 217. Proceeing Series of the Brazilian Society
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 informationLecture 2 Lagrangian formulation of classical mechanics Mechanics
Lecture Lagrangian formulation of classical mechanics 70.00 Mechanics Principle of stationary action MATH-GA To specify a motion uniquely in classical mechanics, it suffices to give, at some time t 0,
More informationThe dynamics of the simple pendulum
.,, 9 G. Voyatzis, ept. of Physics, University of hessaloniki he ynamics of the simple penulum Analytic methos of Mechanics + Computations with Mathematica Outline. he mathematical escription of the moel.
More informationAccelerate Implementation of Forwaring Control Laws using Composition Methos Yves Moreau an Roolphe Sepulchre June 1997 Abstract We use a metho of int
Katholieke Universiteit Leuven Departement Elektrotechniek ESAT-SISTA/TR 1997-11 Accelerate Implementation of Forwaring Control Laws using Composition Methos 1 Yves Moreau, Roolphe Sepulchre, Joos Vanewalle
More informationSYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA. where L is some constant, usually called the Lipschitz constant. An example is
SYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA. Uniqueness for solutions of ifferential equations. We consier the system of ifferential equations given by x = v( x), () t with a given initial conition
More informationHow to Minimize Maximum Regret in Repeated Decision-Making
How to Minimize Maximum Regret in Repeate Decision-Making Karl H. Schlag July 3 2003 Economics Department, European University Institute, Via ella Piazzuola 43, 033 Florence, Italy, Tel: 0039-0-4689, email:
More informationON THE RIEMANN EXTENSION OF THE SCHWARZSCHILD METRICS
ON THE RIEANN EXTENSION OF THE SCHWARZSCHILD ETRICS Valerii Dryuma arxiv:gr-qc/040415v1 30 Apr 004 Institute of athematics an Informatics, AS R, 5 Acaemiei Street, 08 Chisinau, olova, e-mail: valery@ryuma.com;
More informationu t v t v t c a u t b a v t u t v t b a
Nonlinear Dynamical Systems In orer to iscuss nonlinear ynamical systems, we must first consier linear ynamical systems. Linear ynamical systems are just systems of linear equations like we have been stuying
More informationOptimal Variable-Structure Control Tracking of Spacecraft Maneuvers
Optimal Variable-Structure Control racking of Spacecraft Maneuvers John L. Crassiis 1 Srinivas R. Vaali F. Lanis Markley 3 Introuction In recent years, much effort has been evote to the close-loop esign
More informationIERCU. Institute of Economic Research, Chuo University 50th Anniversary Special Issues. Discussion Paper No.210
IERCU Institute of Economic Research, Chuo University 50th Anniversary Special Issues Discussion Paper No.210 Discrete an Continuous Dynamics in Nonlinear Monopolies Akio Matsumoto Chuo University Ferenc
More information4. Important theorems in quantum mechanics
TFY4215 Kjemisk fysikk og kvantemekanikk - Tillegg 4 1 TILLEGG 4 4. Important theorems in quantum mechanics Before attacking three-imensional potentials in the next chapter, we shall in chapter 4 of this
More informationOptimum design of tuned mass damper systems for seismic structures
Earthquake Resistant Engineering Structures VII 175 Optimum esign of tune mass amper systems for seismic structures I. Abulsalam, M. Al-Janabi & M. G. Al-Taweel Department of Civil Engineering, Faculty
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 informationTotal Energy Shaping of a Class of Underactuated Port-Hamiltonian Systems using a New Set of Closed-Loop Potential Shape Variables*
51st IEEE Conference on Decision an Control December 1-13 212. Maui Hawaii USA Total Energy Shaping of a Class of Uneractuate Port-Hamiltonian Systems using a New Set of Close-Loop Potential Shape Variables*
More informationNOTES ON EULER-BOOLE SUMMATION (1) f (l 1) (n) f (l 1) (m) + ( 1)k 1 k! B k (y) f (k) (y) dy,
NOTES ON EULER-BOOLE SUMMATION JONATHAN M BORWEIN, NEIL J CALKIN, AND DANTE MANNA Abstract We stuy a connection between Euler-MacLaurin Summation an Boole Summation suggeste in an AMM note from 196, which
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 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 informationTOTAL ENERGY SHAPING CONTROL OF MECHANICAL SYSTEMS: SIMPLIFYING THE MATCHING EQUATIONS VIA COORDINATE CHANGES
TOTAL ENERGY SHAPING CONTROL OF MECHANICAL SYSTEMS: SIMPLIFYING THE MATCHING EQUATIONS VIA COORDINATE CHANGES Giuseppe Viola,1 Romeo Ortega,2 Ravi Banavar Jose Angel Acosta,3 Alessanro Astolfi, Dipartimento
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 informationA transmission problem for the Timoshenko system
Volume 6, N., pp. 5 34, 7 Copyright 7 SBMAC ISSN -85 www.scielo.br/cam A transmission problem for the Timoshenko system C.A. RAPOSO, W.D. BASTOS an M.L. SANTOS 3 Department of Mathematics, UFSJ, Praça
More information