Collective circular motion of multi-vehicle systems with sensory limitations
|
|
- Bonnie Allen
- 5 years ago
- Views:
Transcription
1 Collectie circular motion of multi-ehicle systems with sensory limitations Nicola Ceccarelli, Mauro Di Marco, Andrea Garulli, Antonello Giannitrapani Dipartimento di Ingegneria dell Informazione Uniersità di Siena Via Roma 56, Siena, Italy Abstract Collectie motion of a multi-agent system composed of nonholonomic ehicles is addressed. The aim of the ehicles is to achiee rotational motion around a irtual reference beacon. A control law is proposed, which guarantees global asymptotic stability of the circular motion with a prescribed direction of rotation, in the case of a single ehicle. Equilibrium configurations of the multi-ehicle system are studied and sufficient conditions for their local stability are gien, in terms of the control law design parameters. Practical issues related to sensory limitations are taken into account. The transient behaior of the multi-ehicle system is analyzed ia numerical simulations. I. INTRODUCTION Multi-agent systems hae receied an increased interest in recent years, due to their enormous potential in seeral fields: collectie motion of autonomous ehicles, exploration of unknown enironments, sureillance, distributed sensor networks, biology, etc. (see e.g. [1], [] and references therein). Although a rigorous stability analysis of multi-agent systems is generally a ery difficult task, nice theoretical results hae been obtained in the case of linear motion models. One of the first contributions in this respect was gien in [3], where a multi-ehicle system with a irtual reference beacon is considered. Leader following, leaderless coordination and cyclic pursuits hae been studied in [1], [4]. Stability analysis becomes een more challenging when kinematic constraints are taken into account, as in the case of wheeled nonholonomic ehicles. Unicycle-like motion models hae been recently considered in seeral papers [5], [6], [], [7]. In particular, in [6], [5], [7] different control laws are proposed for circular and parallel motion of planar multi-ehicle systems, with complete stability analysis of the single-ehicle case. In [], equilibrium formations of multi-ehicle systems in cyclic pursuit are studied, and local stability is discussed in detail. In this paper, the objectie of a team of nonholonomic ehicles is to achiee collectie circular motion around a irtual reference beacon. As a first contribution, a control law is proposed, which is shown to guarantee global asymptotic stability of the counterclockwise circular motion around a fixed beacon, in the single-ehicle case. This turns out to be a useful property also in the multi-agent case, because each ehicle tries to rotate around the beacon in the same direction of rotation. Then, the control law is suitably modified to cope with the multi-ehicle case. Equilibrium configurations of the multi-ehicle system under the proposed control law are discussed and sufficient conditions for local asymptotic stability are deried. Sensory limitations are explicitly taken into account; in particular: i) each agent can perceie only ehicles lying in a limited isibility region; ii) a ehicle cannot measure the orientation of another ehicle, but only its relatie distance; iii) ehicles are indistinguishable. Finally, simulation results are presented to show the effectieness of the proposed control law in the multi-ehicle case. The paper is organized as follows. In Section II, the control law is formulated for the single-ehicle case. Global asymptotic stability of the counterclockwise circular motion around a fixed beacon is proed. Section III concerns the multi-ehicle scenario: the modified control law is introduced and the resulting equilibrium configurations are studied. Sufficient conditions for local stability are gien. Simulation results are proided in Section IV, while some concluding remarks and future research directions are outlined in Section V. II. CONTROL LAW FOR A SINGLE VEHICLE Consider the planar unicycle model ẋ(t) = cos θ(t) (1) ẏ(t) = sin θ(t) () θ(t) = u(t); (3) where [x y θ] R [ π, π) represents the ehicle pose, is the forward speed (assumed to be constant) and u(t) is the angular speed, which plays the role of control input. The following control law, based on the ehicle relatie pose with respect to a reference beacon, is proposed with u(t) = k g((t)) α dist ((t), (t)) (4) ( (c 1) + 0 ) g() = ln c 0 (5)
2 PSfrag replacements y b y Fig. 1. r b x b r = e iγ r Single ehicle (triangle) and beacon (cross). and > 0 0 ψ α dist (, ) = π > 0 ψ < < π 0 = 0 Γ x θ. (6) In (4)-(6), is the distance between the ehicle position r =[x y] and the beacon position r b = [x b y b ] ; [0, π) represents the angular distance between the heading of the ehicle and the direction of the beacon (see Fig. 1); k > 0, c > 1, 0 > 0 and ψ ( 3 π, π) are gien constants. Remark 1: The terms in equation (4) hae different motiations. The term g() in (5) assures that the control law steers the ehicle towards the beacon if 0 and steers it away from the beacon if 0. The term α dist in (6) is chosen to priilege the counterclockwise rotation with respect to the clockwise one, and it is critical for stability analysis. The threshold ψ is introduced so that, when is large and is close to π, the ehicle goes straight towards the beacon instead of making useless circular motions (which would slow down conergence, especially in the multi-ehicle case). The choice of ψ > 3 π is necessary to guarantee a unique direction of rotation about the beacon (as it will be shown in the following). Let us introduce the following change of ariables (see [6]) r = r b r = e iγ (7) = (x x b ) + (y y b ) (8) = (Γ θ)mod(π) (9) where Γ [0, π) denotes the angular distance between r and the x-axis (see Fig. 1). By differentiating (7) with respect to time, one obtains ṙ = e iγ + i Γe iγ. (10) Since, by using (9), ṙ = e iθ = e i e iγ, one has that for 0 = cos (11) Γ = sin. (1) By differentiating (9) with respect to time, and using (4)-(6), one gets = { Γ θ sin k g() if 0 ψ. = sin k g() ( π) if ψ < < π Let us consider now the system = cos() = { sin k g() if 0 ψ. sin k g() ( π) if ψ < < π (13) (14) The first aim is to guarantee that (14) has a unique equilibrium point, corresponding to counterclockwise rotation of the ehicle around the beacon. To this end, let us select the parameters, k, c, 0 so that min g() > 3 π k. (15) This choice guarantees that for = 3 π it holds that < 0, i.e. clockwise rotation is not an equilibrium for system (14), or equialently clockwise rotation is not a limit cycle for the system (1)-(6). Let D R ++ (0, π), where R ++ denotes the set of strictly positie real numbers. The following result is straightforward. ] that: Proposition 1: The point p e = [ e π where e is such k g( e ) π e = 0 (16) is the only equilibrium of system (14), for (, ) D. The consequence of Proposition 1 is that counterclockwise circular motion with radius e and angular elocity Γ = e is a limit cycle for system (1)-(6). In order to perform stability analysis of p e, let us introduce the following Lyapuno function where V (, ) = B() = e A(ˆ)dˆ + π { cos if 0 < ψ cos π if ψ < < π B(ˆ)dˆ (17) (18) and A() = ( k g() π π ). (19) Hence ( ) V cos π sin if 0 < ψ (, ) = ( ). cos π sin π if ψ < < π Define the following sets: D R ++ (0, 3 π], (0) K R ++ (ψ, π), (1) ˆD D \ D. ()
3 rag replacements e 0, 0 D ˆD K π 3 ψ π π Fig.. Vector field (14) on D. It can be shown that V (, ) 0, and V (, ) 0 for (, ) D, V (, ) < 0 for (, ) K. Moreoer V (, ) = 0 only for ( e, π ) and V (, ) is radially unbounded on D i.e. lim V (, ) = + lim 0 V (, ) = + lim lim 0 V (, ) = + V (, ) = +. π Since the ector field (14) is discontinuous, one cannot use directly the LaSalle s Inariance Principle to proe asymptotic stability of p e on D. Notice howeer that it can be shown that one solution always exists, in the Filippo s sense (see e.g. [8], [9]). Neertheless, the Lyapuno function (17) will be useful to proe the main result, stated below. Theorem 1: For the kinematic system (1)-(6), the counterclockwise circular motion around the beacon of fixed position r b, with rotational radius e defined in (16) and angular elocity e, is a globally asymptotically stable limit cycle. In order to proe Theorem 1, two preliminary Lemmas are needed. First, it is proed that for any initial condition in ˆD, there exists a finite time t such that ((t ), (t )) D (Lemma 1). Then, Lemma shows that, for initial ehicle poses outside D (i.e., when = 0 or = 0), there exists a finite time ˆt such that ((ˆt), (ˆt)) D. From these two lemmas, one can conclude that eery trajectory will end up in D in finite time (a phase portrait of ector field (14) is depicted in Figure ). Finally, Theorem 1 will be proed using Lyapuno arguments in D. Lemma 1: For any initial condition ( 0, 0 ) ˆD, there exists t > 0 such that ((t ), (t )) D. (3) Proof: Consider the following sets: ˆD 1 R ++ ( 3 π, β] ˆD R ++ (β, π) where β is such that < f < 0 for any (, ) ˆD 1. Notice that such a β can always be found because of (15). Obsere that for any (, ) ˆD, one has < 0 but, despite the discontinuity in (14), also lim (, ) = 0 + ( 3 π, π), and hence the trajectories cannot leae the set ˆD through the line = 0. Moreoer, because V (, ) is radially unbounded on D and V (, ) < 0 on the set K in (1), then the trajectories cannot leae the set ˆD through the line = π. Now consider any initial condition ( 0, 0 ) ˆD. In such set, one has cos β < 0. Since there cannot exist trajectories such that (t) = 0 or (t) = π, as shown aboe, one can always find a time t 1 0 cos β such that (t 1 ) = β and hence ((t 1 ), (t 1 )) ˆD 1. Choose now any initial condition ( 0, 0 ) ˆD 1. Since < f, and there cannot exist a trajectory such that (t) = 0, one can always find a time t 0 3 π f such that (t ) = 3 π with (t ) > 0. Therefore, we hae proed that for any initial condition in ˆD, there exists a finite time t such that ((t ), (t )) D. Now, let us consider all the initial ehicle poses such that the ehicle points towards the beacon, or the ehicle lies exactly on the beacon, i.e. B {(r b, r (0), θ(0)) : = 0, 0 < < } {(r b, r (0), θ(0)) : = 0}. (4) Lemma : For any trajectory of system (1)-(6) with initial conditions in B, there exists a finite time ˆt such that ((ˆt), (ˆt)) D. Proof: Define the following sets of initial conditions B 1 = {(r b, r (0), θ(0)) : = 0, 0 < < }, B = {(r b, r (0), θ(0)) : = 0}. Consider first (r b, r (0), θ(0)) B 1. Then, system (14) boils down to (t) = (t) = 0 t [0, t) where t = (0). Hence the ehicle proceeds straight towards the beacon until it reaches it, i.e. ( t) = 0 and hence (r b, r ( t), θ( t)) B. Consider now an initial condition (r b, r (0), θ(0)) B (notice that in this case is not defined). We want to proe that in finite time ((t), (t)) D. W.l.o.g. set r b = r (0) = [0, 0] and θ(0) = 0. Obsere that system (1)-(6) doesn t hae any equilibrium point, and that θ obtained from (3)-(4) is bounded in compact sets. This means that there exists δ > 0 such that θ(t) M δ =: ɛ, t δ (one can choose e.g., M = k ln(c) ψ). Hence, it follows that [ ] [ ] δ cos ɛ δ r 0 (δ), (5) δ sin ɛ where and hae to be interpreted as componentwise operators. By geometric arguments it can be shown that δ cos ɛ (δ) δ π ɛ (δ) π + ɛ
4 PSfrag replacements S c 3 π Fig. 3. Examples of contingent cones for a set S c. The dashed circular sectors represent the contingent cones associated to different points on S c. The arrows represent the corresponding ector field (6). which means ((δ), (δ)) D. This concludes the proof. Now Theorem 1 can be proed. Proof: From Lemmas 1- it follows that for any initial condition (r b, r (0), θ(0)) R R [0, π), there exists a finite time t 0 such that ((t ), (t )) D. Now we want to proe that any trajectory starting in D conerges to the equilibrium p e defined in Proposition 1. Notice that in D system (14) boils down to = cos = sin k g(). (6) Consider any initial condition ( 0, 0 ) D. Define c = V ( 0, 0 ) and the set S c { (, ) D : V (, ) c }. (7) Since V (, ) is radially unbounded, the set S c is compact and its boundary has the following form S c { (, ) : (V (, ) = c < 3 π) (V (, ) c = 3 π)}. (8) We want to show that the set S c is a iability domain for the system (6), i.e. the ector field always points inside, or is tangent to, the contingent cone to any point on S c (see Figure 3, and [10, p. 5-6] for a rigorous definition). Consider, if there exists, any (, ) S c such that = 3 π V (, ) < c. Because of (15) the ector field defined by system (6) is of the form [ ] [ ] 0 = (9) α with α > 0. Hence, it points inside the contingent cone. Consider now (, ) S c such that < 3 π V (, ) = c. Since for such (, ) one has V (, ) < 0, the ector field points inside the contingent cone to S c. Finally consider, if there exists, any (, ) S c such that = 3 π V (, ) = c. Notice that for such (, ), one has V (, ) = [β, 0], with β R. Hence, one of the two edges of the contingent cone to S c is orthogonal to the line = 3 π (see Figure 3). Again, from (6) one has that the ector field is of the form (9) and hence it is tangent to the contingent cone. Now, notice that the ector field (6) is Lipschitz on S c. Hence, by applying Nagumo theorem (see e.g., [10, Theorem 1..4, p. 8]), for any ( 0, 0 ) S c there exists a unique solution for t [0, ], and such solution will not leae S c. In other words, S c is a positiely inariant set with respect to system (6). By recalling that V (, ) 0, (, ) D, one can apply LaSalle s Inariance Principle (see e.g. [11]) to conclude that the trajectories starting in S c conerge asymptotically to the largest inariant set M such that M E {(, ) S c : V (, ) = 0}. It is triial to show that, for any c 0, the set M contains only the equilibrium point p e. Being the choice of ( 0, 0 ) D arbitrary, conergence to p e occurs for any trajectory starting in D. Because the equilibrium point p e corresponds to counterclockwise circular motion around the beacon r b with radius e, it can be concluded that such motion is a globally asymptotically stable limit cycle for the system (1)-(6). Remark : The stability analysis of this section holds for a larger class of functions g(), than the one proposed in (5). In particular for any locally Lipschitz g() such that - the inequality (15) holds -! e s.t A( e ) = 0 - A() > 0 for > e - A() < 0 for < e, with A() defined in (19), the counterclockwise circular motion is globally asymptotically stable for the system (1)- (6). It is triial to show that the function (5) belongs to this class. Moreoer notice that global stability is presered also using simpler functions, e.g. g() = constant > 0. III. MULTI-VEHICLE SYSTEMS In this section the control law (4) is modified in order to deal with a multi-ehicle scenario. Consider a group of n agents whose motion is described by the kinematic equations ẋ i (t) = cos θ i (t) (30) ẏ i (t) = sin θ i (t) (31) θ i (t) = u i (t), (3) with i = 1... n. Let: i and i be defined as in Section II; ij and ij denote respectiely the linear and angular distance between ehicle i and ehicle j (see Figure 4); g(, c, 0 ) be equal to g() in (5). In the control input u i (t) a new additie term is introduced which depends on the interaction between the i-th ehicle and any other perceied ehicle j u i (t) = f ib ( i, i ) + f ij ( ij, ij ) (33) j i j N i
5 Sfrag replacements j r b i i ij Fig. 4. PSfrag replacements Fig. 5. r i r j ji j ij Two ehicles (triangles) and a beacon (cross). V j i α d s j d 0 θ i V i d l θ j Visibility region of i-th and j-th ehicle. where f ib is the same as in the right hand side of (4), i.e. while f ib ( i, i ) = k b g( i, c b, 0 ) α dist ( i, i ), (34) f ij ( ij, ij ) = k g( ij, c, d 0 ) β dist ( ij ), (35) with k > 0, c > 1, d 0 > 0 and { ij 0 β dist ( ij ) = ij π ij π π < ij < π. (36) The set N i contains the indexes of the ehicles lying inside the isibility region V i associated with the i-th ehicle. In this paper, the isibility region has been chosen as the union of the following two sets (see Figure 5): Circular sector of ray d l and angular amplitude α, centered at the ehicle pose and orientation. It represents long range sensor with limited angular isibility (e.g., a laser range finder). Circular region around the ehicle of radius d s, which represents a proximity sensor (e.g., a ring of sonar). Remark 3: The intuitie motiation of such a control law relies in the fact that each agent i is drien by the term f ib ( ) towards the counterclockwise circular motion about the beacon, while the terms f ij ( ) (and the isibility regions V i ) faour collision free trajectories trying to keep distance ij = d 0 for all the agents j N i. This follows intuitiely from the fact that ehicle i is attracted by any ehicle j N i if ij > d 0, and repulsed if ij < d 0. The expected result of such combined actions is that the agents reach the counterclockwise circular motion in a number of platoons, in which the distances between consecutie ehicles is d 0. As it will be shown in Section IV, this is confirmed by simulations (see for example Figure 8). In the following, local stability analysis of system (30)- (3) under the control law (33)-(36), is presented. A. Equilibrium configurations From Section II and by using a coordinate transformation similar to the one adopted in [], one obtains the equations i = cos i (37) i = i sin i u i (38) ij = (cos ij + cos ji ) (39) ij = ij (sin ij + sin ji ) u i (40) i, j = 1... n, j i, and u i defined in (33). Notice that there are algebraic relationships between the state ariables i, i, ij, ij, which must be taken into account in the stability analysis. Let us choose the parameters d 0, d l and the number of ehicles n so that (n 1) arcsin ( d0 ) ( dl ) + arcsin < π. (41) This choice guarantees that the n ehicles can lie on a circle of radius e, with distance d 0 between two consecutie ehicles and distance longer than d l between the first and the last. Proposition : Eery configuration of n ehicles in counterclockwise circular motion about a fixed beacon, with rotational ray i = e defined in (16), and ij = d 0 i = 1... n and j N i, corresponds to an equilibrium point of system (37)-(40). Proof: First, notice that by assumption (41), there is at least one configuration that satisfies the statement of the proposition. The counterclockwise circular motion implies i = π, and hence i = 0. Now, notice that ij = d 0 for any j N i implies that f ij ( ) = 0. Hence u i in (33) is equal to (4). From (16), it can be concluded that for i = e one has i = 0. If all the ehicles lie on the same circle of radius e, with the same direction of rotation, by triial geometric considerations it can ( be shown that ij + ji = π ij and min{ ij, ji } = arcsin ). Hence ij = 0 and, by exploiting (16) again ij = sin ij = 0. ij e
6 PSfrag replacements e 1 3 ariables in system (43)-(47) are sufficient to describe completely the n-ehicles system. Indeed, the remaining state ariables in system (37)-(40) can be obtained ia algebraic relationships form the aboe 3n 1 ones. In particular one has Fig. 6. A possible equilibrium configuration of n ehicles: N i = {i 1} and i(i 1) = d 0 for i =,..., n, while N 1 is empty. which concludes the proof. Remark 4: Consider isibility regions with d s < d 0 and α π/ (typical for range finders). Hence, the condition ij = d 0 i = 1... n and j N i in Proposition implies that, when lying on the circle of radius e, each ehicle perceies at most one ehicle, i.e. card(n i ) {0, 1}. Moreoer, due to assumption (41), there is at least one ehicle that does not perceie the others. If there are q ehicles with card(n i ) = 0 and n q ehicles with card(n i ) = 1, the equilibrium configuration is made of q separate platoons. The limit cases are obiously q = 1 (a unique platoon) and q = n (n ehicles rotating independently around the beacon). B. Local stability analysis Let us choose d s < d 0 and α π/, so that card(n i ) {0, 1} in the equilibrium configurations defined by Proposition. W.l.o.g. consider n ehicles in counterclockwise circular motion about a beacon and renumber them as in Figure 6. The equilibrium point defined by Proposition is therefore i = e i = π i = 1... n (i 1)i = π d0 + arccos( ) i =... n. n (4) Being card(n 1 ) = 0 and card(n i ) = 1 for i, the kinematic of the i-th ehicle is locally affected only by the position of the beacon and that of ehicle i 1, except for ehicle 1 whose kinematic is locally determined only by the beacon position. We make the assumptions that there is a neighborhood of the equilibrium configuration in which the sets N i does not change (this can be seen as a further mild constraint on the size of the isibility region, i.e. arcsin( d l ) < arcsin( d0 )). The total kinematic system is described by the equations 1 = cos 1 (43) 1 = 1 sin 1 u 1 (44) i = cos i (45) i = sin i u i (46) i (i 1)i = (i 1)i (sin (i 1)i + sin i(i 1) ) u i 1 (47) for i =... n. The control inputs are gien by u 1 = f 1b and u i = f ib + f i(i 1) for i. Notice that the 3n 1 state (i 1)i = (i 1) cos( (i 1)i (i 1) ) + + i (i 1) sin ( (i 1)i (i 1) ) (48) ( ) (i 1) i(i 1) = i arcsin sin( (i 1)i (i 1) ) (49) i for i =,..., n. By linearizing system (43)-(47) around the equilibrium point (4), one gets a system of the form n n (n 1)n A 0 0 = B B n n (n 1)n (50) where A R and B R 3 3. The eigenalues of A are strictly negatie; in fact the kinematic of ehicle 1 is decoupled by that of the other ehicles, and hence the stability analysis performed in Section II for the single ehicle case holds. Therefore, it is sufficient to show that matrix B is Hurwitz to guarantee local stability of system (43)-(47). In order to compute the expression of matrix B, one has to take into account the dependence of the right hand side of (46) and (47) on (i 1)i and i(i 1), which in turn depend on i, i and (i 1)i ia (48)-(49). Through some tedious calculations, it can be shown that matrix B has the form where b 1 = b = b 3 = b 31 = e ( c k 1 π c d 0 π e c k 1 e 0 0 b 1 b b 3 b 31 b 3 b 33 + k b c b 1 (c b 1) e+ 0 π + arccos( d0 ) ) d 0 c d 0 4 e d 0 ( π b 3 = d 0 1 d 0 4 e b 33 = 0. (51) arccos( d0 )) By noticing that b ij 0, and applying the Routh-Hurwithz criterion to the characteristic polynomial of matrix B, it can be seen that the only condition that must be checked is b (b 1 + b 3 b 3 ) + b 31 b 3 > 0. Moreoer it can be
7 shown that the following inequality holds b (b 1 + b 3 b 3 ) + b 31 b 3 > { c b 1 + k b 1 π e c b k e c 1 c }. (5) Therefore, it suffices to enforce positiity of the right hand side in (5) to guarantee local asymptotic stability of the considered equilibrium. This holds for example wheneer k k b c c b c b 1 c 1. On the other hand, (5) gies a guideline to find alues of the parameters for which the considered equilibrium is unstable: examples can easily be found for c = c b and k k b, or for k = k b and c c b. This is in good agreement with intuition, as it basically says that the beacon-drien control term should not be excessiely reduced with respect to the control input due to interaction with the other agents. IV. SIMULATION RESULTS In this section, simulation studies are proided for the multi-ehicle system (30)-(3) under the control law (33)- (36). In all the examples, the considered isibility region V i has been chosen with d l = 1, α = π 4, d s = 3. The control law parameters are set to: ψ = 7 4 π, k b = 0.07, c b =, k = 0.1, c = 3, d 0 = 8. A 4-ehicle system with a static reference beacon is considered in Figure 7, with = 0.3, 0 = 6. It can be seen that the multi-ehicle system conerges to a single-platoon formation, which satisfies Proposition with e 9.84 gien by (16). A 8-ehicle system is considered in Figure 8. In this case, = 1 and 0 = 10. The equilibrium configuration reached by the multi-ehicle system consists of 3 separate platoons of cardinality 5, and 1 respectiely (i.e., q = 3 according to Remark 4), with radius e 0.9. In Figure 9, the same control law has been applied to the case of 6 ehicles following a non-static beacon, to ealuate the tracking behaior of the multi-ehicle system. The beacon moes through four sequential way-points. A similar scenario was considered in [7]. In particular, the beacon trajectory is r b1 = [0, 0] if t 600 r b = [100, 0] if 600 t 100 r b3 = [100, 100] if 100 t 1800 r b4 = [0, 100] if t 1800 Notice that when the current target changes from r bi to r bj, the ehicles moe from a rotational configuration about r bi towards r bj in a sort of parallel motion, see Figure 9. The trajectories show that the configuration in rotational motion is reached for each way-point. Repeated runs hae been performed to analyze the role of the initial configuration of the multi-ehicle system. In Figure 10, the estimated conergence times for 100 simulations with random initial conditions are reported, for the 4-ehicle system considered aboe. The conergence test is based on the difference between the rotational radius of each ehicle PSfrag replacements t PSfrag replacements Fig. 7. A 4-ehicle scenario with static beacon (black triangles represent initial poses). t Fig. 8. A 8-ehicle scenario with static beacon. and e (namely i (t) e ). All the simulations terminated with success. The transient behaior of the multi-ehicle system is clearly affected by the choice of the control law parameters. In particular, the following aspects must be taken into account: The clockwise rotation about the beacon must not be an equilibrium point, i.e. the parameters hae to erify inequality (15). The equilibrium radius e must be consistent with the number of ehicles and d 0. This means that the configuration of a single platoon in cyclic pursuit must be feasible with respect to inequality (41). The choice of k is influenced by a trade-off between collision aoidance and the effect of the beacon attraction. Indeed, notice that the multi-ehicle system with k = 0 is globally asymptotically stable by the triial consideration that the oerall system is the composition of globally asymptotically stable decoupled subsystems. This means that a possible source of instability could
8 PSfrag replacements t Fig r b4 r b3 r b1 rb A 6-ehicle team tracking a moing beacon (asterisks). labeling of the ehicles is not required. This aspects are critical for multi-ehicle systems with equipment limitations, hampering long range measurements or estimation of other ehicles orientation. Moreoer, there is no need of smart communication protocols to identify ehicles or to exchange information, because the required measurements can be easily obtained from range sensors. This work is still at a preliminary stage and seeral interesting deelopments can be foreseen. From a theoretical point of iew, it would be desirable to proide sufficient conditions for the conergence of the multi-ehicle system to the desired equilibrium configurations. A deeper understanding of the role of the design parameters in the control law and how they affect the behaior of the multi-ehicle system would be useful. Moreoer, the tracking performance in the presence of a moing beacon must be thoroughly inestigated. In this respect, a nice feature of the proposed control law is that, when the beacon is faraway from the ehicles, each agent points straight towards it. Hence, a smooth transition between circular and parallel motion is expected. t VI. ACKNOWLEDGMENTS The authors would like to thank people at the Systems Control Group of the Department of Electrical and Computer Engineering, Uniersity of Toronto, for fruitful discussions, useful suggestions and comments, especially Prof. Bruce Francis, Prof. Mireille Broucke and Prof. Manfredi Maggiore. Sfrag replacements Fig. 10. runs Conergence times oer 100 runs come only from the cross terms in (35). In this respect, the choice of a small k is recommended for good performance in term of conergence time. On the contrary, a large k faours a safe collision-free motion. V. CONCLUSIONS AND FUTURE WORK The main features of the control law proposed in this work are: i) it guarantees global stability in the singleehicle case; ii) control parameters can be easily selected to achiee local stability of the equilibrium configurations of interest in the multi-ehicle scenario; iii) simulatie studies show promising results in terms of conergence rate and tracking performance. With respect to similar approaches presented in the literature, quite restrictie assumptions hae been remoed, e.g.: total isibility is not required, i.e. the sensors perceie only the agents in the isibility regions V i ; exteroceptie orientation measurements are not performed: each ehicle has to measure only distances to other ehicles lying in its isibility region; REFERENCES [1] A. Jadbabaie, J. Lin, and A. S. Morse, Coordination of groups of mobile autonomous agents using nearest neighbor rules, IEEE Transactions on Automatic Control, ol. 48, no. 6, pp , June 003. [] J. A. Marshall, M. E. Broucke, and B. A. Francis, Formations of ehicles in cyclic pursuit, IEEE Transactions on Automatic Control, ol. 49, no. 11, pp , Noember 004. [3] N. E. Leonard and E. Fiorelli, Virtual leaders, artificial potentials and coordinated control of groups, in Proceedings of the IEEE Conference on Decision and Control, Orlando, 001, pp [4] Z. Lin, M. E. Broucke, and B. A. Francis, Local control strategies for groups of mobile autonomous agents, IEEE Transactions on Automatic Control, ol. 49, no. 4, pp. 6 69, April 004. [5] R. Sepulchre, D. Paley, and N. E. Leonard, Collectie motion and oscillator syncrhronization, in Proc. Block Island Workshop on Cooperatie Control, V. Kumar, N. Leonard, and A. Morse, Eds., June 003. [6] E. W. Justh and P. S. Krishnaprasad, Equilibria and steering laws for planar formations, Systems and Control Letters, ol. 5, pp. 5 38, 004. [7] D. Paley, N. E. Leonard, and R. Sepulchre, Collectie motion: bistability and trajectory tracking, in Proceedings of the IEEE Conference on Decision and Control, Nassau, Bahamas, 004, pp [8] A. Filippo, Differential Equations with Discontinuous Righthand Sides. Kluwer Academic Publisher, [9] J. P. Aubin and A. Cellina, Differential Inclusions. Springer-Verlag Berlin Heidelberg New York Tokyo, [10] J. P. Aubin, Viability theory. Birkhauser, [11] H. Khalil, Nonlinear Systems. New York: Macmillan Publishing Co., 199.
Collective circular motion of multi-vehicle systems with sensory limitations
Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 Seille, Spain, December 12-15, 2005 MoB032 Collectie circular motion of multi-ehicle systems with
More informationEXPERIMENTAL ANALYSIS OF COLLECTIVE CIRCULAR MOTION FOR MULTI-VEHICLE SYSTEMS. N. Ceccarelli, M. Di Marco, A. Garulli, A.
EXPERIMENTAL ANALYSIS OF COLLECTIVE CIRCULAR MOTION FOR MULTI-VEHICLE SYSTEMS N. Ceccarelli, M. Di Marco, A. Garulli, A. Giannitrapani DII - Dipartimento di Ingegneria dell Informazione Università di Siena
More informationExperimental validation of a decentralized control law for multi-vehicle collective motion
Experimental validation of a decentralized control law for multi-vehicle collective motion Daniele Benedettelli, Nicola Ceccarelli, Andrea Garulli, Antonio Giannitrapani Abstract The paper presents the
More informationStabilizing a Multi-Agent System to an Equilateral Polygon Formation
Stabilizing a Multi-Agent System to an Equilateral Polygon Formation Stephen L. Smith, Mireille E. Broucke, and Bruce A. Francis Abstract The problem of stabilizing a group of agents in the plane to a
More informationPosition in the xy plane y position x position
Robust Control of an Underactuated Surface Vessel with Thruster Dynamics K. Y. Pettersen and O. Egeland Department of Engineering Cybernetics Norwegian Uniersity of Science and Technology N- Trondheim,
More informationVision-based Distributed Coordination and Flocking of Multi-agent Systems
Vision-based Distributed Coordination and Flocking of Multi-agent Systems Nima Moshtagh, Ali Jadbabaie, Kostas Daniilidis GRASP Laboratory Uniersity of Pennsylania Philadelphia, Pennsylania 1914 Email:
More informationUNDERSTAND MOTION IN ONE AND TWO DIMENSIONS
SUBAREA I. COMPETENCY 1.0 UNDERSTAND MOTION IN ONE AND TWO DIMENSIONS MECHANICS Skill 1.1 Calculating displacement, aerage elocity, instantaneous elocity, and acceleration in a gien frame of reference
More informationNon-Collision Conditions in Multi-agent Robots Formation using Local Potential Functions
2008 IEEE International Conference on Robotics and Automation Pasadena, CA, USA, May 19-23, 2008 Non-Collision Conditions in Multi-agent Robots Formation using Local Potential Functions E G Hernández-Martínez
More informationA Guidance Law for a Mobile Robot for Coverage Applications: A Limited Information Approach
Proceedings of the Third International Conference on Adances in Control and Optimization of Dynamical Systems, Indian Institute of Technology anpur, India, March 1-15, 014 Frcsh1.6 A Guidance Law for a
More informationOn the Linear Threshold Model for Diffusion of Innovations in Multiplex Social Networks
On the Linear Threshold Model for Diffusion of Innoations in Multiplex Social Networks Yaofeng Desmond Zhong 1, Vaibha Sriastaa 2 and Naomi Ehrich Leonard 1 Abstract Diffusion of innoations in social networks
More informationUnit 11: Vectors in the Plane
135 Unit 11: Vectors in the Plane Vectors in the Plane The term ector is used to indicate a quantity (such as force or elocity) that has both length and direction. For instance, suppose a particle moes
More informationTarget Localization and Circumnavigation Using Bearing Measurements in 2D
Target Localization and Circumnavigation Using Bearing Measurements in D Mohammad Deghat, Iman Shames, Brian D. O. Anderson and Changbin Yu Abstract This paper considers the problem of localization and
More informationDynamic Vehicle Routing with Moving Demands Part II: High speed demands or low arrival rates
Dynamic Vehicle Routing with Moing Demands Part II: High speed demands or low arrial rates Stephen L. Smith Shaunak D. Bopardikar Francesco Bullo João P. Hespanha Abstract In the companion paper we introduced
More informationDynamic Vehicle Routing with Moving Demands Part II: High speed demands or low arrival rates
ACC 9, Submitted St. Louis, MO Dynamic Vehicle Routing with Moing Demands Part II: High speed demands or low arrial rates Stephen L. Smith Shaunak D. Bopardikar Francesco Bullo João P. Hespanha Abstract
More informationBAYESIAN PREMIUM AND ASYMPTOTIC APPROXIMATION FOR A CLASS OF LOSS FUNCTIONS
TH USHNG HOUS ROCDNGS OF TH ROMANAN ACADMY Series A OF TH ROMANAN ACADMY Volume 6 Number 3/005 pp 000-000 AYSAN RMUM AND ASYMTOTC AROMATON FOR A CASS OF OSS FUNCTONS Roxana CUMARA Department of Mathematics
More informationarxiv: v1 [math.co] 25 Apr 2016
On the zone complexity of a ertex Shira Zerbib arxi:604.07268 [math.co] 25 Apr 206 April 26, 206 Abstract Let L be a set of n lines in the real projectie plane in general position. We show that there exists
More informationAlternative non-linear predictive control under constraints applied to a two-wheeled nonholonomic mobile robot
Alternatie non-linear predictie control under constraints applied to a to-heeled nonholonomic mobile robot Gaspar Fontineli Dantas Júnior *, João Ricardo Taares Gadelha *, Carlor Eduardo Trabuco Dórea
More informationCooperative Target Capturing with Multiple Heterogeneous Vehicles
Cooperative Capturing with Multiple Heterogeneous Vehicles Sangeeta Daingade and Arpita Sinha Abstract This paper presents a Nonlinear Cyclic Pursuit based target capturing strategy for a group of autonomous
More information4. A Physical Model for an Electron with Angular Momentum. An Electron in a Bohr Orbit. The Quantum Magnet Resulting from Orbital Motion.
4. A Physical Model for an Electron with Angular Momentum. An Electron in a Bohr Orbit. The Quantum Magnet Resulting from Orbital Motion. We now hae deeloped a ector model that allows the ready isualization
More informationOn the stability of nonholonomic multi-vehicle formation
Abstract On the stability of nonholonomic multi-vehicle formation Lotfi Beji 1, Mohamed Anouar ElKamel 1, Azgal Abichou 2 1 University of Evry (IBISC EA 4526), 40 rue du Pelvoux, 91020 Evry Cedex, France
More informationPhysics 2A Chapter 3 - Motion in Two Dimensions Fall 2017
These notes are seen pages. A quick summary: Projectile motion is simply horizontal motion at constant elocity with ertical motion at constant acceleration. An object moing in a circular path experiences
More informationStabilization of Collective Motion of Self-Propelled Particles
Stabilization of Collective Motion of Self-Propelled Particles Rodolphe Sepulchre 1, Dere Paley 2, and Naomi Leonard 2 1 Department of Electrical Engineering and Computer Science, Université de Liège,
More information1 Lyapunov theory of stability
M.Kawski, APM 581 Diff Equns Intro to Lyapunov theory. November 15, 29 1 1 Lyapunov theory of stability Introduction. Lyapunov s second (or direct) method provides tools for studying (asymptotic) stability
More informationAstrometric Errors Correlated Strongly Across Multiple SIRTF Images
Astrometric Errors Correlated Strongly Across Multiple SIRTF Images John Fowler 28 March 23 The possibility exists that after pointing transfer has been performed for each BCD (i.e. a calibrated image
More informationOnline Companion to Pricing Services Subject to Congestion: Charge Per-Use Fees or Sell Subscriptions?
Online Companion to Pricing Serices Subject to Congestion: Charge Per-Use Fees or Sell Subscriptions? Gérard P. Cachon Pnina Feldman Operations and Information Management, The Wharton School, Uniersity
More informationA Geometric Review of Linear Algebra
A Geometric Reiew of Linear Algebra The following is a compact reiew of the primary concepts of linear algebra. The order of presentation is unconentional, with emphasis on geometric intuition rather than
More informationNonlinear Trajectory Tracking for Fixed Wing UAVs via Backstepping and Parameter Adaptation. Wei Ren
AIAA Guidance, Naigation, and Control Conference and Exhibit 5-8 August 25, San Francisco, California AIAA 25-696 Nonlinear Trajectory Tracking for Fixed Wing UAVs ia Backstepping and Parameter Adaptation
More informationResidual migration in VTI media using anisotropy continuation
Stanford Exploration Project, Report SERGEY, Noember 9, 2000, pages 671?? Residual migration in VTI media using anisotropy continuation Tariq Alkhalifah Sergey Fomel 1 ABSTRACT We introduce anisotropy
More informationLECTURE 2: CROSS PRODUCTS, MULTILINEARITY, AND AREAS OF PARALLELOGRAMS
LECTURE : CROSS PRODUCTS, MULTILINEARITY, AND AREAS OF PARALLELOGRAMS MA1111: LINEAR ALGEBRA I, MICHAELMAS 016 1. Finishing up dot products Last time we stated the following theorem, for which I owe you
More informationSection 6: PRISMATIC BEAMS. Beam Theory
Beam Theory There are two types of beam theory aailable to craft beam element formulations from. They are Bernoulli-Euler beam theory Timoshenko beam theory One learns the details of Bernoulli-Euler beam
More informationNecessary and Sufficient Graphical Conditions for Formation Control of Unicycles
Necessary and Sufficient Graphical Conditions for Formation Control of Unicycles Zhiyun Lin, Bruce Francis, and Manfredi Maggiore Abstract The feasibility problem is studied of achieving a specified formation
More informationControl of Mobile Robots
Control of Mobile Robots Regulation and trajectory tracking Prof. Luca Bascetta (luca.bascetta@polimi.it) Politecnico di Milano Dipartimento di Elettronica, Informazione e Bioingegneria Organization and
More informationSymmetric Functions and Difference Equations with Asymptotically Period-two Solutions
International Journal of Difference Equations ISSN 0973-532, Volume 4, Number, pp. 43 48 (2009) http://campus.mst.edu/ijde Symmetric Functions Difference Equations with Asymptotically Period-two Solutions
More informationA possible mechanism to explain wave-particle duality L D HOWE No current affiliation PACS Numbers: r, w, k
A possible mechanism to explain wae-particle duality L D HOWE No current affiliation PACS Numbers: 0.50.-r, 03.65.-w, 05.60.-k Abstract The relationship between light speed energy and the kinetic energy
More informationCases of integrability corresponding to the motion of a pendulum on the two-dimensional plane
Cases of integrability corresponding to the motion of a pendulum on the two-dimensional plane MAXIM V. SHAMOLIN Lomonoso Moscow State Uniersity Institute of Mechanics Michurinskii Ae.,, 99 Moscow RUSSIAN
More informationEngineering Notes. CONVENTIONAL streamlined autonomous underwater vehicles. Global Directional Control of a Slender Autonomous Underwater Vehicle
JOURNAL OF GUIDANCE, CONTROL, AND DYNAMICS Vol. 3, No., January February 27 Engineering Notes ENGINEERING NOTES are short manuscripts describing new deelopments or important results of a preliminary nature.
More informationBalanced Partitions of Vector Sequences
Balanced Partitions of Vector Sequences Imre Bárány Benjamin Doerr December 20, 2004 Abstract Let d,r N and be any norm on R d. Let B denote the unit ball with respect to this norm. We show that any sequence
More informationThree-dimensional Guidance Law for Formation Flight of UAV
ICCAS25 Three-dimensional Guidance aw for Formation Flight of UAV Byoung-Mun Min * and Min-Jea Tahk ** * Department of Aerospace Engineering KAIST Daejeon Korea (Tel : 82-42-869-3789; E-mail: bmmin@fdcl.kaist.ac.kr)
More informationLABORATORY VI. ROTATIONAL DYNAMICS
LABORATORY VI. ROTATIONAL DYNAMICS So far this semester, you hae been asked to think of objects as point particles rather than extended bodies. This assumption is useful and sometimes good enough. Howeer,
More informationDynamic Vehicle Routing with Moving Demands Part I: Low speed demands and high arrival rates
ACC 2009, Submitted St. Louis, MO Dynamic Vehicle Routing with Moing Demands Part I: Low speed demands and high arrial rates Shaunak D. Bopardikar Stephen L. Smith Francesco Bullo João P. Hespanha Abstract
More informationbe ye transformed by the renewing of your mind Romans 12:2
Lecture 12: Coordinate Free Formulas for Affine and rojectie Transformations be ye transformed by the reing of your mind Romans 12:2 1. Transformations for 3-Dimensional Computer Graphics Computer Graphics
More informationChapter 1: Kinematics of Particles
Chapter 1: Kinematics of Particles 1.1 INTRODUCTION Mechanics the state of rest of motion of bodies subjected to the action of forces Static equilibrium of a body that is either at rest or moes with constant
More informationNonlinear Lateral Control of Vision Driven Autonomous Vehicles*
Paper Machine Intelligence & Robotic Control, Vol. 5, No. 3, 87 93 (2003) Nonlinear ateral Control of Vision Drien Autonomous Vehicles* Miguel Ángel Sotelo Abstract: This paper presents the results of
More informationThe Riemann-Roch Theorem: a Proof, an Extension, and an Application MATH 780, Spring 2019
The Riemann-Roch Theorem: a Proof, an Extension, and an Application MATH 780, Spring 2019 This handout continues the notational conentions of the preious one on the Riemann-Roch Theorem, with one slight
More informationChapter 4: Techniques of Circuit Analysis
Chapter 4: Techniques of Circuit Analysis This chapter gies us many useful tools for soling and simplifying circuits. We saw a few simple tools in the last chapter (reduction of circuits ia series and
More informationCollective Motion of Ring-Coupled Planar Particles
th IEEE Conf. Decision and Control and European Control Conference, 00 Collective Motion of Ring-Coupled Planar Particles James Jeanne Electrical Engineering Princeton University Princeton, J 08, USA jjeanne@princeton.edu
More informationNetwork Flow Problems Luis Goddyn, Math 408
Network Flow Problems Luis Goddyn, Math 48 Let D = (V, A) be a directed graph, and let s, t V (D). For S V we write δ + (S) = {u A : u S, S} and δ (S) = {u A : u S, S} for the in-arcs and out-arcs of S
More informationTrajectory Estimation for Tactical Ballistic Missiles in Terminal Phase Using On-line Input Estimator
Proc. Natl. Sci. Counc. ROC(A) Vol. 23, No. 5, 1999. pp. 644-653 Trajectory Estimation for Tactical Ballistic Missiles in Terminal Phase Using On-line Input Estimator SOU-CHEN LEE, YU-CHAO HUANG, AND CHENG-YU
More informationInformation Propagation Speed in Bidirectional Vehicular Delay Tolerant Networks
Information Propagation Speed in Bidirectional Vehicular Delay Tolerant Networks Emmanuel Baccelli, Philippe Jacquet, Bernard Mans, Georgios Rodolakis INRIA, France, {firstname.lastname}@inria.fr Macquarie
More informationDynamic Vehicle Routing with Moving Demands Part I: Low speed demands and high arrival rates
Dynamic Vehicle Routing with Moing Demands Part I: Low speed demands and high arrial rates Shaunak D. Bopardikar Stephen L. Smith Francesco Bullo João P. Hespanha Abstract We introduce a dynamic ehicle
More information0 a 3 a 2 a 3 0 a 1 a 2 a 1 0
Chapter Flow kinematics Vector and tensor formulae This introductory section presents a brief account of different definitions of ector and tensor analysis that will be used in the following chapters.
More informationMotion in Two and Three Dimensions
PH 1-1D Spring 013 Motion in Two and Three Dimensions Lectures 5,6,7 Chapter 4 (Halliday/Resnick/Walker, Fundamentals of Physics 9 th edition) 1 Chapter 4 Motion in Two and Three Dimensions In this chapter
More informationThree-Dimensional Motion Coordination in a Spatiotemporal Flowfield
IEEE TRANSACTIONS ON AUTOMATIC CONTROL 1 Three-Dimensional Motion Coordination in a Spatiotemporal Flowfield Sonia Hernandez and Dere A. Paley, Member, IEEE Abstract Decentralized algorithms to stabilize
More informationOn resilience of distributed routing in networks under cascade dynamics
On resilience of distributed routing in networks under cascade dynamics Ketan Sala Giacomo Como Munther A. Dahleh Emilio Frazzoli Abstract We consider network flow oer graphs between a single origin-destination
More informationA Geometric Review of Linear Algebra
A Geometric Reiew of Linear Algebra The following is a compact reiew of the primary concepts of linear algebra. I assume the reader is familiar with basic (i.e., high school) algebra and trigonometry.
More informationPurpose of the experiment
Impulse and Momentum PES 116 Adanced Physics Lab I Purpose of the experiment Measure a cart s momentum change and compare to the impulse it receies. Compare aerage and peak forces in impulses. To put the
More informationNonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems. p. 1/1
Nonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems p. 1/1 p. 2/1 Converse Lyapunov Theorem Exponential Stability Let x = 0 be an exponentially stable equilibrium
More informationGeneral Lorentz Boost Transformations, Acting on Some Important Physical Quantities
General Lorentz Boost Transformations, Acting on Some Important Physical Quantities We are interested in transforming measurements made in a reference frame O into measurements of the same quantities as
More informationDYNAMICS OF ESSENTIALLY NONLINEAR VIBRATION ABSORBER COUPLED TO HARMONICALLY EXCITED 2 DOF SYSTEM
ENOC 008, Saint Petersburg, Russia, June, 0-July, 4 008 DYNAMICS OF ESSENTIALLY NONLINEAR VIBRATION ABSORBER COUPLED TO HARMONICALLY EXCITED DOF SYSTEM Yuli Starosetsky Faculty of Mechanical Engineering
More informationFormation Control of Nonholonomic Mobile Robots
Proceedings of the 6 American Control Conference Minneapolis, Minnesota, USA, June -6, 6 FrC Formation Control of Nonholonomic Mobile Robots WJ Dong, Yi Guo, and JA Farrell Abstract In this paper, formation
More informationInteger Parameter Synthesis for Real-time Systems
1 Integer Parameter Synthesis for Real-time Systems Aleksandra Joanoić, Didier Lime and Oliier H. Roux École Centrale de Nantes - IRCCyN UMR CNRS 6597 Nantes, France Abstract We proide a subclass of parametric
More informationTwo-sided bounds for L p -norms of combinations of products of independent random variables
Two-sided bounds for L p -norms of combinations of products of independent random ariables Ewa Damek (based on the joint work with Rafał Latała, Piotr Nayar and Tomasz Tkocz) Wrocław Uniersity, Uniersity
More informationdifferent formulas, depending on whether or not the vector is in two dimensions or three dimensions.
ectors The word ector comes from the Latin word ectus which means carried. It is best to think of a ector as the displacement from an initial point P to a terminal point Q. Such a ector is expressed as
More informationA spectral Turán theorem
A spectral Turán theorem Fan Chung Abstract If all nonzero eigenalues of the (normalized) Laplacian of a graph G are close to, then G is t-turán in the sense that any subgraph of G containing no K t+ contains
More informationDynamic Vehicle Routing with Heterogeneous Demands
Dynamic Vehicle Routing with Heterogeneous Demands Stephen L. Smith Marco Paone Francesco Bullo Emilio Frazzoli Abstract In this paper we study a ariation of the Dynamic Traeling Repairperson Problem DTRP
More informationarxiv: v1 [math.ds] 19 Jul 2016
Mutually Quadratically Inariant Information Structures in Two-Team Stochastic Dynamic Games Marcello Colombino Roy S Smith and Tyler H Summers arxi:160705461 mathds 19 Jul 016 Abstract We formulate a two-team
More informationThe Inverse Function Theorem
Inerse Function Theorem April, 3 The Inerse Function Theorem Suppose and Y are Banach spaces and f : Y is C (continuousl differentiable) Under what circumstances does a (local) inerse f exist? In the simplest
More informationTHE collective control of multiagent systems is a rapidly
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 52, NO. 5, MAY 2007 811 Stabilization of Planar Collective Motion: All-to-All Communication Rodolphe Sepulchre, Member, IEEE, Derek A. Paley, Student Member,
More informationChapter 1. The Postulates of the Special Theory of Relativity
Chapter 1 The Postulates of the Special Theory of Relatiity Imagine a railroad station with six tracks (Fig. 1.1): On track 1a a train has stopped, the train on track 1b is going to the east at a elocity
More informationMath 425 Lecture 1: Vectors in R 3, R n
Math 425 Lecture 1: Vectors in R 3, R n Motiating Questions, Problems 1. Find the coordinates of a regular tetrahedron with center at the origin and sides of length 1. 2. What is the angle between the
More informationTowards Green Distributed Storage Systems
Towards Green Distributed Storage Systems Abdelrahman M. Ibrahim, Ahmed A. Zewail, and Aylin Yener Wireless Communications and Networking Laboratory (WCAN) Electrical Engineering Department The Pennsylania
More informationAn homotopy method for exact tracking of nonlinear nonminimum phase systems: the example of the spherical inverted pendulum
9 American Control Conference Hyatt Regency Riverfront, St. Louis, MO, USA June -, 9 FrA.5 An homotopy method for exact tracking of nonlinear nonminimum phase systems: the example of the spherical inverted
More informationAn Explicit Lower Bound of 5n o(n) for Boolean Circuits
An Eplicit Lower Bound of 5n o(n) for Boolean Circuits Kazuo Iwama, Oded Lachish, Hiroki Morizumi, and Ran Raz Graduate School of Informatics, Kyoto Uniersity, Kyoto, JAPAN {iwama, morizumi}@kuis.kyoto-u.ac.jp
More informationFinal Exam (Solution) Economics 501b Microeconomic Theory
Dirk Bergemann and Johannes Hoerner Department of Economics Yale Uniersity Final Exam (Solution) Economics 5b Microeconomic Theory May This is a closed-book exam. The exam lasts for 8 minutes. Please write
More informationMath 144 Activity #9 Introduction to Vectors
144 p 1 Math 144 ctiity #9 Introduction to Vectors Often times you hear people use the words speed and elocity. Is there a difference between the two? If so, what is the difference? Discuss this with your
More informationInternational Journal of Scientific & Engineering Research, Volume 7, Issue 11, November-2016 ISSN Nullity of Expanded Smith graphs
85 Nullity of Expanded Smith graphs Usha Sharma and Renu Naresh Department of Mathematics and Statistics, Banasthali Uniersity, Banasthali Rajasthan : usha.sharma94@yahoo.com, : renunaresh@gmail.com Abstract
More informationAvailable online at ScienceDirect. IFAC PapersOnLine 50-1 (2017)
Available online at www.sciencedirect.com ScienceDirect IFAC PapersOnLine 50-1 (2017) 607 612 Distributed Endogenous Internal Model for Modal Consensus and Formation Control S. Galeani M. Sassano Dipartimento
More informationState-space Modelling of Hysteresis-based Control Schemes
European Control Conference (ECC) July 7-9,, Zürich, Switzerland. State-space Modelling of Hysteresis-based Control Schemes Soumya Kundu Ian A. Hiskens Abstract The paper deelops a state-space model for
More informationReversal in time order of interactive events: Collision of inclined rods
Reersal in time order of interactie eents: Collision of inclined rods Published in The European Journal of Physics Eur. J. Phys. 27 819-824 http://www.iop.org/ej/abstract/0143-0807/27/4/013 Chandru Iyer
More informationGenerating Patterns with a Unicycle
Generating Patterns with a Unicycle Twinkle Tripathy and Arpita Sinha Abstract The objective of the paper is to make a unicycle trace hypotrochoid like patterns using a simple range based control scheme.
More informationMath Mathematical Notation
Math 160 - Mathematical Notation Purpose One goal in any course is to properly use the language of that subject. Finite Mathematics is no different and may often seem like a foreign language. These notations
More informationOVERVIEW OF TATE S THESIS
OVERVIEW O TATE S THESIS ALEX MINE Abstract. This paper gies an oeriew of the main idea of John Tate s 1950 PhD thesis. I will explain the methods he used without going into too much technical detail.
More informationSPACE-TIME HOLOMORPHIC TIME-PERIODIC SOLUTIONS OF NAVIER-STOKES EQUATIONS. 1. Introduction We study Navier-Stokes equations in Lagrangean coordinates
Electronic Journal of Differential Equations, Vol. 2013 2013, No. 218, pp. 1 5. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SPACE-TIME HOLOMORPHIC
More informationVehicle Networks for Gradient Descent in a Sampled Environment
Proc. 41st IEEE Conf. Decision and Control, 22 Vehicle Networks for Gradient Descent in a Sampled Environment Ralf Bachmayer and Naomi Ehrich Leonard 1 Department of Mechanical and Aerospace Engineering
More informationOPTIMIZATION OF FLOWS AND ANALYSIS OF EQUILIBRIA IN TELECOMMUNICATION NETWORKS
OPTIMIZATION OF FLOWS AND ANALYSIS OF EQUILIBRIA IN TELECOMMUNICATION NETWORKS Ciro D Apice (a, Rosanna Manzo (b, Luigi Rarità (c (a, (b, (c Department of Information Engineering and Applied Mathematics,
More informationCyclic pursuit without coordinates: convergence to regular polygon formations
Cyclic pursuit without coordinates: convergence to regular polygon formations Maxim Arnold Yuliy Baryshnikov, Daniel Liberzon Abstract We study a multi-agent cyclic pursuit model each of the identical
More informationAETHER THEORY AND THE PRINCIPLE OF RELATIVITY 1
AEHER HEORY AND HE PRINIPLE OF RELAIVIY 1 Joseph Ley 4 Square Anatole France, 915 St Germain-lès-orbeil, France E. Mail: ley.joseph@orange.fr 14 Pages, 1 figure, Subj-lass General physics ABSRA his paper
More informationTowards Universal Cover Decoding
International Symposium on Information Theory and its Applications, ISITA2008 Auckland, New Zealand, 7-10, December, 2008 Towards Uniersal Coer Decoding Nathan Axig, Deanna Dreher, Katherine Morrison,
More informationReview of Matrices and Vectors 1/45
Reiew of Matrices and Vectors /45 /45 Definition of Vector: A collection of comple or real numbers, generally put in a column [ ] T "! Transpose + + + b a b a b b a a " " " b a b a Definition of Vector
More informationOptimal Joint Detection and Estimation in Linear Models
Optimal Joint Detection and Estimation in Linear Models Jianshu Chen, Yue Zhao, Andrea Goldsmith, and H. Vincent Poor Abstract The problem of optimal joint detection and estimation in linear models with
More informationStatement: This paper will also be published during the 2017 AUTOREG conference.
Model Predictie Control for Autonomous Lateral Vehicle Guidance M. Sc. Jochen Prof. Dr.-Ing. Steffen Müller TU Berlin, Institute of Automotie Engineering Germany Statement: This paper will also be published
More informationUNIVERSITY OF TRENTO ITERATIVE MULTI SCALING-ENHANCED INEXACT NEWTON- METHOD FOR MICROWAVE IMAGING. G. Oliveri, G. Bozza, A. Massa, and M.
UNIVERSITY OF TRENTO DIPARTIMENTO DI INGEGNERIA E SCIENZA DELL INFORMAZIONE 3823 Poo Trento (Italy), Via Sommarie 4 http://www.disi.unitn.it ITERATIVE MULTI SCALING-ENHANCED INEXACT NEWTON- METHOD FOR
More information21.60 Worksheet 8 - preparation problems - question 1:
Dynamics 190 1.60 Worksheet 8 - preparation problems - question 1: A particle of mass m moes under the influence of a conseratie central force F (r) =g(r)r where r = xˆx + yŷ + zẑ and r = x + y + z. A.
More informationComputing Laboratory A GAME-BASED ABSTRACTION-REFINEMENT FRAMEWORK FOR MARKOV DECISION PROCESSES
Computing Laboratory A GAME-BASED ABSTRACTION-REFINEMENT FRAMEWORK FOR MARKOV DECISION PROCESSES Mark Kattenbelt Marta Kwiatkowska Gethin Norman Daid Parker CL-RR-08-06 Oxford Uniersity Computing Laboratory
More informationNonlinear Tracking Control of Underactuated Surface Vessel
American Control Conference June -. Portland OR USA FrB. Nonlinear Tracking Control of Underactuated Surface Vessel Wenjie Dong and Yi Guo Abstract We consider in this paper the tracking control problem
More informationParameters Identification of Equivalent Circuit Diagrams for Li-Ion Batteries
Parameters Identification of Equialent Circuit Diagrams for Li-Ion eries Ahmad ahmoun, Helmuth Biechl Uniersity of Applied ciences Kempten Ahmad.ahmoun@stud.fh-empten.de, biechl@fh-empten.de Abstract-eries
More informationNotes on Linear Minimum Mean Square Error Estimators
Notes on Linear Minimum Mean Square Error Estimators Ça gatay Candan January, 0 Abstract Some connections between linear minimum mean square error estimators, maximum output SNR filters and the least square
More informationSpace Probe and Relative Motion of Orbiting Bodies
Space robe and Relatie Motion of Orbiting Bodies Eugene I. Butiko Saint etersburg State Uniersity, Saint etersburg, Russia E-mail: e.butiko@phys.spbu.ru bstract. Seeral possibilities to launch a space
More informationLECTURE 1: INTRODUCTION, VECTORS, AND DOT PRODUCTS
LECTURE 1: INTRODUCTION, VECTORS, AND DOT PRODUCTS MA1111: LINEAR ALGEBRA I, MICHAELMAS 2016 1. Introduction Firstly, I want to point out that I am here to help, so if you hae a question about a lecture
More informationNavigation and Obstacle Avoidance via Backstepping for Mechanical Systems with Drift in the Closed Loop
Navigation and Obstacle Avoidance via Backstepping for Mechanical Systems with Drift in the Closed Loop Jan Maximilian Montenbruck, Mathias Bürger, Frank Allgöwer Abstract We study backstepping controllers
More information