On Maximizing the Convergence Rate for Linear Systems With Input Saturation

Size: px
Start display at page:

Download "On Maximizing the Convergence Rate for Linear Systems With Input Saturation"

Transcription

1 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 7, JULY On Maxiizing the Convergence Rate for Linear Systes With Inut Saturation Tingshu Hu, Zongli Lin, Yacov Shaash Abstract In this note, we consider a few iortant issues related to the axiization of the convergence rate inside a given ellisoid for linear systes with inut saturation. or continuous-tie systes, the control that axiizes the convergence rate is sily a bang bang control. Through studying the syste under the axial convergence control, we reveal several fundaental results on set invariance. An iortant consequence of axiizing the convergence rate is that the axial invariant ellisoid is roduced. We rovide a sile ethod for finding the axial invariant ellisoid, we also study the deendence of the axial convergence rate on the Lyaunov function. Index Ters Convergence rate, invariant set, saturation, stability. I. INTRODUCTION ast resonse is always a desired roerty for control systes. The tie otial control roble was forulated for this urose (see, e.g., [10] [11]). Although it is well known that the tie otial control is a bang bang control, this control strategy is rarely ileented in real systes. The ain reason is that it is generally iossible to characterize the switching surface. A notion directly related to fast resonse is the convergence rate of the state trajectories. or a linear syste, the convergence rate is erined by the real art of the ole which is closest to the iaginary axis. or linear systes subject to actuator saturation, efforts have been ade to increase the convergence rate in various heuristic ways. or exale, the Q atrix in linear quadratic regulator (LQR) design can be increased iecewisely [12] as the state trajectory converges to the origin. or better understing of the convergence rate its related robles, we need a recise definition of the convergence rate for a general nonlinear syste. Consider a nonlinear syste _x = f (x): Assue that the syste is asytotically stable at the origin. Given a Lyaunov function V (x), let L V () be a level set L V () =fx 2 R n : V (x) g. Suose that _ V (x) < 0 for all x 2 L V () nf0g. Then, the overall convergence rate of V (x) on L V () can be defined as := 1 2 inf 0 _ V (x) V (x) : x 2 L V () nf0g : (1) In recent years, control systes with actuator saturation have been extensively studied (see the secial issue on this toic [1] the references therein). In this note, we will investigate issues related to the axiization of the convergence rate for a linear syste subject to actuator saturation. We will be interested in quadratic Lyaunov functions, whose level sets are ellisoids. A very iortant consequence of Manuscrit received January 19, 2001; revised Seteber 7, 2001 October 28, Recoended by Associate Editor P. A. Iglesias. This work was suorted in art by the Office of Naval Research Young Investigator Progra under Grant N T. Hu Z. Lin are with the Deartent of Electrical Couter Engineering, University of Virginia, Charlottesville, VA USA (e-ail: th7f@virginia.edu; zl5y@virginia.edu). Y. Shaash is with the Deartent of Electrical Engineering, State University of New York, Stony Brook, NY USA (e-ail: yshaash@notes.sunysb.edu). Digital Object Identifier /TAC axiizing the convergence rate is that the axial invariant ellisoid of a given shae is roduced. As ointed out in [2], set invariance is a very iortant notion a owerful tool in studying the stability other erforances of systes (see also [3], [5], the references therein). Recent years have witnessed a surge of interest in this toic. In [3], [4], [6], [8], [9], invariant ellisoids are used to estiate the doain of attraction to study disturbance rejection caability of the closed-loo syste. Various criteria have been derived for erining if an ellisoid is invariant under a given saturated linear feedback law efforts have been ade to design controllers that result in large invariant ellisoids (see, e.g., [4], [6], [8], [9], [12]). To exlore the full otential of saturating actuators, i.e., to design a controller that will roduce the largest invariant ellisoid, we need to answer the fundaental question: what is the largest ellisoid that can be ade invariant with the bounded control delivered by a saturating actuator? We will address this issue in this note through studying the syste under the axial convergence control. It turns out that the axial convergence rate is liited by the shae of the ellisoid, or, the P atrix in the Lyaunov function. We will develo a ethod to raise the liit by suitably choosing the P atrix. This note is organized as follows. Section II shows that the axial convergence control is a bang bang tye control with a sile switching schee that it roduces the axial invariant ellisoid of a given shae. A ethod for erining the largest invariant ellisoid is also given in this section. Section III reveals soe roerties liitations about the overall convergence rate rovides ethods to deal with these liitations. A brief concluding reark is ade in Section IV. Throughout this note, we will use stard notation. or a vector u 2 R, we use juj1 to denote the 1-nor. We use sat(1) to denote the stard saturation function, i.e., fsat(s)g i = sign(s i ) inf1; js i jg. We use sign(1) to denote the sign function which takes value +1or01. II. MAXIMAL CONVERGENCE RATE CONTROL AND MAXIMAL INVARIANT ELLIPSOID Consider a linear syste subject to actuator saturation _x = Ax + Bu x 2 R n u 2 R juj1 1: (2) Assue that the syste is stabilizable that B has a full-colun rank. Denote the ith colun of B as b i. In this note, we study the convergence rate of a quadratic Lyaunov function. Given a ositive definite atrix P > 0, let V (x) =x T Px. or a ositive nuber, the level set associated with V (x) is the ellisoid Along the trajectory of (2) E(P; ) =fx 2 R n : x T Px g: _V (x; u) =2x T P (Ax + Bu) = x T (A T P + PA)x +2 x T Pb i u i : Under the constraint that juj1 1, the control that axiizes the convergence rate, or iniizes _ V (x; u), is sily u i = 0sign bi T Px ; i =1; 2;...;: (3) Under this bang bang control, we have _V (x) =x T (A T P + PA)x 0 2 x T Pb i sign bi T Px : Now, consider the closed-loo syste _x = Ax 0 b i sign b T i Px : (4) /03$ IEEE

2 1250 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 7, JULY 2003 The discontinuity of the bang bang control ay cause technical robles like nonexistence of solution. Since this roble can be hled by using a high gain saturated feedback to relace the bang bang control (see [7] for ore ail), in what follows, we use the bang bang control law to investigate the ossibility that an ellisoid can be ade invariant with a bounded control juj1 1. In the sequal, we sily say a bounded control. Recall that an ellisoid E(P; ) is invariant for a syste _x = f (x) if all the trajectories starting fro it will stay inside of it. It is contractively invariant if _V (x) =2x T Pf(x) < 0 8 x 2E(P; ) nf0g: Since the bang bang control (3) iniizes _ V (x; u) at each x,wehave the following obvious fact. act 1: An ellisoid E(P; ) can be ade contractively invariant for (2) with a bounded control if only if it is contractively invariant for (4), i.e., the following condition is satisfied: _V (x) =x T (A T P + PA)x 0 2 x T Pb i sign b T i Px < 0 8 x 2E(P; ) nf0g: (5) It is clear fro act 1 that the axial convergence rate control roduces the axial invariant ellisoid. or an arbitrary atrix P> 0, there ay exists no such that E(P; ) can be ade invariant. In what follows, we give a condition on P such that E(P; ) can be ade invariant for soe rovide a ethod for finding the largest. Proosition 1: or a given atrix P> 0, the following three stateents are equivalent. a) There exists a >0such that (5) is satisfied. b) There exists an 2 R 2n such that (A + B) T P + P (A + B) < 0: (6) c) There exists a k>0such that (A 0 kbb T P ) T P + P (A 0 kbb T P ) < 0: (7) Proof: b)! a). If (6) is satisfied, then there exists a >0such that E(P; ) fx 2 R n : jxj 1 1g : If x 0 2E(P; ), then under the control u = x, x(t) will stay in E(P; ) we also have juj 1 1 for all t 0. This eans that E(P; ) can be ade contractively invariant with a bounded control. Hence, by act 1, we have (5). c)! b). It is obvious. a)! c). Let us assue that PB = 0 R, where R is an 2 nonsingular atrix. If not so, we can use a state transforation, x = Tx, with T nonsingular such that P! P =(T 01 ) T PT 01 B! B = TB PB! P B =(T 01 ) T PB = 0 R : Recall that we have assued that B has a full-colun rank. Also, let us accordingly artition x as x x A T P + PA P as A T P + PA = Q 1 Q 12 Q T 12 Q 2 P = P 1 P 12 P T 12 P 2 : or all x = x 0 ), wehavex T PB =0. So, if a) is true, then (5) holds for soe >0, which ilies that x T 1 Q 1x 1 < 0, for all x 1 such that x T 1 P 1x 1 =. It follows that Q 1 < 0. Hence, there exists a k>0 such that (A0kBB T P ) T P +P (A 0 kbb T P )= Q1 Q12 Q T 12 Q 2 0 krr T < 0: This shows that c) is true. Now assue that we have a P> 0 such that the conditions in Proosition 1 are satisfied. Given a > 0, we would like to erine if E(P; ) is contractively invariant for the closed-loo syste (4). Let us start with the single inut case. In this case, (5) silifies to _V (x) =x T (A T P + PA)x 0 2x T PBsign(B T Px) < 0 8x 2E(P; ) nf0g: (8) We clai that (8) is equivalent to x T (A T P + PA)x 0 2x T PBsign(B T Px) < 0 8 x ): (9) To see this, we consider kx for k 2 (0; 1] x ). Suose that x T (A T P + PA)x 0 2x T PBsign(B T Px) < 0: Since 02x T PBsign(B T Px) 0, wehave x T (A T P + PA)x 0 2xT PB sign(b T Px) < 0; 8 k 2 (0; 1]: k Therefore (kx) T (A T P + PA)(kx) 0 2(kx) T PBsign(B T Pkx) = k 2 x T (A T P + PA)x 0 2xT PB sign(b T Px) k < 0 for all k 2 (0; 1]. This shows that (8) is equivalent to (9). Based on this equivalence relation, we have the following necessary sufficient condition for the contractive invariance of a given ellisoid. Theore 1: Assue that =1. Suose that E(P; ) can be ade contractively invariant for soe 0 > 0. Let 1 ; 2 ;...; J > 0 be real nubers such that jp 0 A T P 0 PA P 01 PBB T P j P 0 A T =0 (10) P 0 PA B T P (A T P + PA0 j P ) 01 PB > 0: (11) Then, E(P; ) is contractively invariant for (4) iff j 0 B T P (A T P +PA0 jp ) 01 PB < 0 8 j =1; 2;...; J : If there exists no j > 0 satisfying (10) (11), then E(P; ) is contractively invariant. Here, we note that all the j s satisfying (10) are the eigenvalues of the atrix P 0 A T P + P AP 0 0I 0 01 P BB T P P 0 A T P + P AP 0 : Hence, the condition of Theore 1 can be easily checked. In the roof of Theore 1, we will use the following algebraic fact. Suose that X 1 X 4 are square atrices are nonsingular, then X 1 X 2 = (X 1 ) (X 4 0 X 3 X 01 1 X 2 ) X 3 X 4 = (X 4) (X 1 0 X 2X 01 1 X 3): (12) Proof of Theore 1: Denote g(x) = x T (A T P + PA)x 0 2x T PB. By the equivalence of (8) (9), the contractive invariance of E(P; ) is equivalent to ax g(x) : B T Px 0;x T Px = < 0: (13)

3 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 7, JULY Since E(P; ) can be ade contractively invariant for soe >0,we ust have g(x) < 0 for all B T Px =0. In this case, the contractive invariance of E(P; ) is equivalent to that all the extrea of g(x) in the surface x T Px =, B T Px > 0, if any, are less than zero. By the Lagrange ultilier ethod, an extreu of g(x) in the surface x T Px =, B T Px > 0, ust satisfy (A T P + PA0 P )x = PB; x T Px = ; x T PB > 0 (14) for soe real nuber. And at the extreu, we have g(x) = 0 x T PB.If 0, then g(x) < 0 since x T PB > 0. So, we only need to consider >0. Now, suose that >0. ro (A T P + PA 0 P )x = PB,we conclude that (A T P + PA0 P ) 6= 0. To show this, we assue, without loss of generality, that A T P + PA= Q 1 Q 12 Q T 12 q 2 ;P = P 1 P 12 P T 12 2 ;PB= 0 r as in the roof of Proosition 1, it follows that Q 1 < 0. Since >0, Q 1 < 0 P 1 > 0, Q 1 0 P 1 is nonsingular. Let x = x x, x 2 2 R, suose that x 6= 0satisfies then (A T P + PA0 P )x = PB x 1 = 0(Q 1 0 P 1 ) 01 (Q 12 0 P 12 )x 2 0(Q T 12 0 P T 12)(Q 1 0 P 1) 01 2 (Q 12 0 P 12) +q x 2 = r: Multilying both sides with (Q 1 0 P 1) alying (12), we obtain (A T P + PA0 P )x 2 = (Q 1 0 P 1 )r: Since r 6= 0 (Q 1 0 P 1) 6= 0, we ust have (A T P + PA 0 P ) 6= 0. Thus, for all >0 x satisfying (14), we have x =(A T P + PA 0 P ) 01 PB, fro x T Px =, we obtain B T P (A T P + PA0 P ) 01 P (A T P + P AP ) 01 PB = : (15) Denote 8=P 0 A T P 0 PA, then the (15) can be written as B T P 8 01 P 8 01 PB = : By invoking (12), we obtain PB 0B T P 8 01 P 01 =0 0 0 P 01 0 BT P I 0 I PB 0 = B T P PB 0 0 P 0 I =0 P 0 A T P 0 PA P 01 PBB T P P 0 A T P 0 PA =0: This last equation is (10). Also, at the extreu, we have x T PB > 0. This is equivalent to (11) inally, at the extreu B T P (A T P + PA0 P ) 01 PB > 0: g(x) =x T (A T P + PA)x 0 2x T PB = 0 B T P (A T P + PA0 P ) 01 PB: Hence, the result of the theore follows. Recall that (8) is equivalent to (9). This ilies that there is a 3 > 0 such that E(P; ) is contractively invariant if only if < 3. Therefore, the axiu value 3 can be obtained by checking the condition of Theore 1 using bisection ethod. or systes with ultile inuts, we ay divide the ) into subsets. or exale, consider = 2, the surface of E(P; ) can be divided into the following subsets: S 1 = x 2 R n : b T 1 Px =0;b T 2 Px 0; x T Px = ; 0S 1 S 2 = x 2 R n : b T 1 Px 0; b T 2 Px =0;x T Px = ; 0S 2 S 3 = x 2 R n : b T 1 Px > 0; b T 2 Px > 0; x T Px = ; 0S 3 S 4 = x 2 R n : b T 1 Px > 0; b T 2 Px < 0; x T Px = ; 0S 4 : With this artition, E(P; ) is contractively invariant iff ax _V (x) < 0 ax _V (x) < 0 (16) all the local extrea of _ V (x) in S 3 S 4 are negative. In S 1, _ V (x) =x T (A T P + PA)x 0 2x T Pb 2. Let N 2 R n2(n01) be a atrix of rank n01 such that b T 1 PN =0, i.e., fny : y 2 R n01 g is the kernel of b T 1 P. The constraint b T 1 Px = 0can be relaced by x = Ny, y 2 R n01. Thus ax _V (x) = ax y T N T (A T P + PA)Ny 02y T N T Pb 2 : b T 2 PNy 0;y T N T PNy = : This is siilar to the otiization roble (13) in the roof of Theore 1 excet with a reduced order. The second otiization roble in (16) can be hled in the sae way. In S 3, _ V (x) =x T (A T P + PA)x 0 2x T P (b 1 + b 2 ). All the local extrea of _ V (x) in S 3 ( in S 4) can be obtained like those of g(x) in the roof of Theore 1. or systes with ore than two inuts, we need to divide the surface into closed sets like S 1 S 2 2 sets like S 3 S 4 (with all strict inequalities excet for x T Px = ). This indicates that the coutational burden increases exonentially as increases. III. OVERALL CONVERGENCE RATE We now consider (4) under the axial convergence control _x = Ax 0 b i sign(bi T Px): (17) Assue that E(P; ) is contractively invariant for (17). We would like to know the overall convergence rate in E(P; ). We will see later that as decreases (note that a trajectory goes into saller E(P; ) as tie goes by), the overall convergence rate increases but is liited by the shae of E(P; ). This liit can be raised by choosing P roerly. The overall convergence rate, denoted by, is defined by (1) in Section I. Here, we would like to exaine its deendence on, so we write () := 1 _ 2 in 0 V (x) : x 2E(P; ) nf0g : V (x) The ain results of this section are contained in the following theore. Theore 2: a) () = 1 _ 2 in 0 V (x) b) () increases as decreases. c) Let then : x T Px = : (18) 0 = in 0x T (A T P + PA)x : x T Px =1;x T PB =0 li!0 () = 0 2 : (19)

4 1252 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 7, JULY 2003 Proof: a) Consider x ) k 2 (0; 1], _V (kx) 0 V (kx) = 0 k2 x T (A T P + PA)x 0 2k xt Pb i sign(bi T Pkx) k 2 x T Px = 0xT (A T P + PA)x + 2 k xt Pb i sign(bi T Px) x T : (20) Px Since x T Pb i sign(b T i Px) 0 0( _ V (kx))=(v (kx)) increases as k decreases. It follows that the inial value of 0( _ V (x))=(v (x)) is obtained on the boundary of E(P; ), which ilies (18). b) This follows fro the roof of a). c) ro a), we see that 2() = in 0xT (A T P + PA)x +2 : x T Px = = in 0x T (A T P + PA)x + 2 in + 2 x T Pb i sign(b T i Px):x T Px =1 0x T (A T P + PA)x xt Pb i sign(b T i Px) x T Pb i sign(b T i Px):x T Px =1; x T PB =0 = in 0x T (A T P + PA)x : x T Px =1; x T PB =0 = 0 : It then follows that 2() 0 for all >0. To rove (19), it suffices to show that given any ">0, there exists a >0 such that 2() 0 0 ". Denote X 0 = x 2 R n : x T Px =1; x T PB =0 X () = x 2 R n : x T Px =1; jx T PBj1 : It is clear that li!0 dist(x (); X 0 ) = 0, where dist(1; 1) is the Hausdorff distance. 1 By the unifor continuity of x T (A T P + PA)x on the surface fx 2 R n : x T Px = 1g, we have that, given any ", there exists a >0 such that in 0x T (A T P +PA)x : x T Px=1; jx T PBj1 0 0 ": (21) 1 Let X X be two bounded subsets of R. Their Hausdorff distance is defined as where dist(x 1; X 2):=ax ~ d(x 1; X 2); ~ d(x 2; X 1) ~d(x 1; X 2)= su x 2X Here, the vector nor used is arbitrary. inf x 2X jx1 0 x2j: Since xt Pb isign(b T i Px) 0, wehave in 0x T (A T P + PA)x + 2 for all >0. Let x T Pb i sign(b T i Px): x T Px =1; jx T PBj1 0 0 " (22) 1 = in 0x T (A T P + PA)x : x T Px=1; jx T PBj1 : If ", then for all >0 in 0x T (A T P +PA)x+ 2 Cobining this with (22), we have x T Pb i sign(b T i Px) : x T Px =1; jx T PBj ": 2() = in 0x T (A T P + PA)x x T Pb i sign(bi T Px):x T Px =1 0 0 ": (23) for all >0. This shows that 2() 0 0 ", 8 >0. If 1 < 0 0 ", then for <((2)=( ")) 2,wehave in 0x T (A T P +PA)x+ 2 x T Px =1; jx T PBj1 x T Pb i sign(b T i Px): > 0 0 ": Cobining this with (22), we also obtain (23) 2() 0 0 " for <(2=( ")) 2. This coletes the roof. Theore 2 says that the convergence rate increases as the ellisoid becoes saller it aroaches an uer bound 0 =2 as goes to 0. Hence, the convergence rate is bounded by 0 =2 for all. or a given, () can be obtained by couting the axiu of _ V (x) ). or the single inut case, Theore 1 rovides a ethod for erining if this axiu is negative. The exact value of () can be couted with a rocedure siilar to the roof of Theore 1. Since the overall convergence rate is liited by 0 =2, we would like 0 not to be too sall. The following roosition will lead to an LMI aroach to choosing P for axiizing 0. Proosition 2: 0 = su s.t. (A + B) T P + P (A + B) 0P: (24) Proof: Notice that, for any,wehave x T (A + B) T P + P (A + B) x = x T (A T P + PA)x It follows that, hence 0 = in 0x T (A + B) T P +P (A + B)) x : x T Px =1; x T PB =0 in 0x T (A + B) T P +P (A + B)) x : x T Px =1 8 x T PB =0: 0 su in 0x T (A + B) T P + P (A + B) x : x T Px =1 : (25)

5 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 7, JULY We clai that 0 =suin 0x T (A + B) T P + P (A + B) x : x T Px =1 : (26) In view of (25), it suffices to show that for any ">0, there exists an = 0kB T P, with k>0, such that in 0x T (A + B) T P + P (A + B) x : x T Px =1 0 0 ": (27) This can be roven by exloiting the sae idea used in the roof of Theore 2 c). Denote ( ) = in 0x T (A + B) T P + P (A + B) x : ro (26), we have 0 = su ( ). It can be shown that x T Px =1 : ( )=ax :(A + B) T P + P (A + B) 0P : This brings us to (24). The atrix inequality constraint in Proosition 2 indicates that the ellisoid E(P; ) has a convergence rate =2 under the linear state feedback u = x(for any >0). ro Proosition 2 Theore 2, we see that the convergence rate is liited by the axial value which can be achieved with a linear state feedback can actually aroach this axial value as goes to 0. or a fixed P, 0 is a finite value. Assue that (A, B) is controllable, then the eigenvalues of (A + B) can be arbitrarily assigned. If we also take P as a variable, then 0 0=2 can be ade equal to the largest real art of the eigenvalues of A +B (see the definition, as given in Section I, of the overall convergence rate for a linear syste). This eans that 0 can be ade arbitrarily large. But generally, as 0 becoes very large, the atrix P will be badly conditioned, i.e., the ellisoid E(P; ) will becoe very thin in certain direction, hence very sall, with resect to a fixed shae reference set. On the other h, as entioned in [8] [9], if our only objective is to enlarge the doain of attraction with resect to a reference set, soe eigenvalues of A + B will be very close to the iaginary axis, resulting in very sall 0. These two conflicting objectives can be balanced, for exale, by resecifying a lower bound on 0 then axiizing the invariant ellisoid with resect to soe shae reference set. This ixed roble can be described as follows: with two feedback atrices H. We ay actually discard both H but instead use the bang bang control u i = 0sign(b T i Px), i = 1; 2;...;, or the saturated high-gain control u = 0sat(kB T Px). The final outcoe is that under these control laws, the closed-loo syste will have a contractively invariant set E(P; ) a guaranteed liit of the convergence rate 0 =2 =2. IV. CONCLUSION We have studied several issues related to the axiization of the convergence rate for continuous-tie linear systes with inut saturation. These issues include the axial convergence control, the axial ellisoid that can be ade invariant with a bounded control, the control laws that can roduce the axial invariant ellisoid the deendence of the axial convergence rate on the Lyaunov function. The counterart of these issues for discrete-tie syste are studied in [7], where soe of the results are quite different fro those in this note. or exale, the axial convergence control is continuous in the state is erined in a quite different way. REERENCES [1] D. S. Bernstein A. N. Michel, Eds., Int. J. Robust Nonlinear Control: Secial Issue on Saturating Actuators, 1995, vol. 5. [2]. Blanchini, Set invariance in control a survey, Autoatica, vol. 35, no. 11, , [3] S. Boyd, L. El Ghaoui, E. eron, V. Balakrishnan, Linear Matrix Inequalities in Systes Control Theory. Philadelhia, PA: SIAM, [4] J. M. Goes da Silva Jr. S. Tarbouriech, Local stabilization of discrete-tie linear systes with saturating controls: an LMI aroach, IEEE Trans. Autoat. Contr., vol. 46, , Jan [5] P. O. Gutan M. Cwikel, Adissible sets feedback control for discrete-tie linear dynaical systes with bounded control dynaics, IEEE Trans. Autoat. Contr., vol. AC-31, , Ar [6] H. Hindi S. Boyd, Analysis of linear systes with saturating using convex otiization, in Proc. 37th IEEE Conf. Decision Control, Orlo, L, 1998, [7] T. Hu Z. Lin, Control Systes With Actuator Saturation: Analysis Design. Boston, MA: Birkhäuser, [8], On enlarging the basin of attraction for linear systes under saturated linear feedback, Syst. Control Lett., vol. 40, no. 1, , May [9] T. Hu, Z. Lin, B. M. Chen, An analysis design ethod for linear systes subject to actuator saturation disturbance, Autoatica, vol. 38, no. 2, , [10] E. B. Lee L. Markus, oundations of Otial Control. New York: Wiley, [11] J. Macki M. Strauss, Introduction to Otial Control. New York: Sringer-Verlag, [12] G.. Wredenhagen P. R. Belanger, Piecewise-linear LQ control for systes with inut constraints, Autoatica, vol. 30, , su P>0;;;H s.t. a) X R E(P; ) b) (A + B) T P + P (A + B) < 0 c) E(P; ) fx 2 R n : jxj1 1g d) (A + BH) T P + P (A + BH) 0P (28) where X R is a shae reference set (see [7] [9]). The constraint a) eans that E(P; ) contains X R. By axiizing, E(P; ) will be axiized with resect to X R. The constraints b) c) guarantee that E(P; ) can be ade contractively invariant the constraint d) guarantees a lower bound on the convergence rate. This otiization roble can be transfored into one with LMI constraints as those in [7] [9]. By solving (28), we obtain the otial ellisoid E(P; ) along

Control and Stability of the Time-delay Linear Systems

Control and Stability of the Time-delay Linear Systems ISSN 746-7659, England, UK Journal of Inforation and Couting Science Vol., No. 4, 206,.29-297 Control and Stability of the Tie-delay Linear Systes Negras Tahasbi *, Hojjat Ahsani Tehrani Deartent of Matheatics,

More information

WE CONSIDER linear systems subject to input saturation

WE CONSIDER linear systems subject to input saturation 440 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL 48, NO 3, MARCH 2003 Composite Quadratic Lyapunov Functions for Constrained Control Systems Tingshu Hu, Senior Member, IEEE, Zongli Lin, Senior Member, IEEE

More information

Approximation by Piecewise Constants on Convex Partitions

Approximation by Piecewise Constants on Convex Partitions Aroxiation by Piecewise Constants on Convex Partitions Oleg Davydov Noveber 4, 2011 Abstract We show that the saturation order of iecewise constant aroxiation in L nor on convex artitions with N cells

More information

Some simple continued fraction expansions for an in nite product Part 1. Peter Bala, January ax 4n+3 1 ax 4n+1. (a; x) =

Some simple continued fraction expansions for an in nite product Part 1. Peter Bala, January ax 4n+3 1 ax 4n+1. (a; x) = Soe sile continued fraction exansions for an in nite roduct Part. Introduction The in nite roduct Peter Bala, January 3 (a; x) = Y ax 4n+3 ax 4n+ converges for arbitrary colex a rovided jxj

More information

Handout 6 Solutions to Problems from Homework 2

Handout 6 Solutions to Problems from Homework 2 CS 85/185 Fall 2003 Lower Bounds Handout 6 Solutions to Probles fro Hoewor 2 Ait Charabarti Couter Science Dartouth College Solution to Proble 1 1.2: Let f n stand for A 111 n. To decide the roerty f 3

More information

#A62 INTEGERS 16 (2016) REPRESENTATION OF INTEGERS BY TERNARY QUADRATIC FORMS: A GEOMETRIC APPROACH

#A62 INTEGERS 16 (2016) REPRESENTATION OF INTEGERS BY TERNARY QUADRATIC FORMS: A GEOMETRIC APPROACH #A6 INTEGERS 16 (016) REPRESENTATION OF INTEGERS BY TERNARY QUADRATIC FORMS: A GEOMETRIC APPROACH Gabriel Durha Deartent of Matheatics, University of Georgia, Athens, Georgia gjdurha@ugaedu Received: 9/11/15,

More information

Edinburgh Research Explorer

Edinburgh Research Explorer Edinburgh Research Exlorer ALMOST-ORTHOGONALITY IN THE SCHATTEN-VON NEUMANN CLASSES Citation for ublished version: Carbery, A 2009, 'ALMOST-ORTHOGONALITY IN THE SCHATTEN-VON NEUMANN CLASSES' Journal of

More information

EXACT BOUNDS FOR JUDICIOUS PARTITIONS OF GRAPHS

EXACT BOUNDS FOR JUDICIOUS PARTITIONS OF GRAPHS EXACT BOUNDS FOR JUDICIOUS PARTITIONS OF GRAPHS B. BOLLOBÁS1,3 AND A.D. SCOTT,3 Abstract. Edwards showed that every grah of size 1 has a biartite subgrah of size at least / + /8 + 1/64 1/8. We show that

More information

SINCE THE formulation and solution of the problem of

SINCE THE formulation and solution of the problem of IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL 49, NO 11, NOVEMBER 2004 1941 Output Regulation of Linear Systems With Bounded Continuous Feedback Tingshu Hu, Senior Member, IEEE, Zongli Lin, Senior Member,

More information

Blow-up of positive-initial-energy solutions of a nonlinear viscoelastic hyperbolic equation

Blow-up of positive-initial-energy solutions of a nonlinear viscoelastic hyperbolic equation J. Math. Anal. Al. 3 6) 9 95 www.elsevier.co/locate/jaa Blow-u of ositive-initial-energy solutions of a nonlinear viscoelastic hyerbolic equation Sali A. Messaoudi Matheatical Sciences Deartent, KFUPM,

More information

J.B. LASSERRE AND E.S. ZERON

J.B. LASSERRE AND E.S. ZERON L -NORMS, LOG-BARRIERS AND CRAMER TRANSFORM IN OPTIMIZATION J.B. LASSERRE AND E.S. ZERON Abstract. We show that the Lalace aroxiation of a sureu by L -nors has interesting consequences in otiization. For

More information

Input-Output (I/O) Stability. -Stability of a System

Input-Output (I/O) Stability. -Stability of a System Inut-Outut (I/O) Stability -Stability of a Syste Outline: Introduction White Boxes and Black Boxes Inut-Outut Descrition Foralization of the Inut-Outut View Signals and Signal Saces he Notions of Gain

More information

CDS 101: Lecture 5-1 Reachability and State Space Feedback. Review from Last Week

CDS 101: Lecture 5-1 Reachability and State Space Feedback. Review from Last Week CDS 11: Lecture 5-1 Reachability an State Sace Feeback Richar M. Murray 3 October 6 Goals:! Define reachability of a control syste! Give tests for reachability of linear systes an aly to exales! Describe

More information

STATIC OUTPUT FEEDBACK CONTROL FOR NON-LINEAR FLUTTER AND LIMIT CYCLE OSCILLATION.

STATIC OUTPUT FEEDBACK CONTROL FOR NON-LINEAR FLUTTER AND LIMIT CYCLE OSCILLATION. ICSV4 Cairns Australia 9- July, 007 SAIC OUPU FEEDBACK CONROL FOR NON-LINEAR FLUER AND LIMI CYCLE OSCILLAION Morteza Dardel and Firooz Bakhtiari-Nejad PhD Student, Mechanical Engineering, AirKabir Univeity

More information

CONSIDER the Lur e system in Fig. 1, where,

CONSIDER the Lur e system in Fig. 1, where, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL 49, NO 4, APRIL 2004 535 Absolute Stability With a Generalized Sector Condition Tingshu Hu, Senior Member, IEEE, Bin Huang, Student Member, IEEE, Zongli Lin,

More information

Design of Linear-Phase Two-Channel FIR Filter Banks with Rational Sampling Factors

Design of Linear-Phase Two-Channel FIR Filter Banks with Rational Sampling Factors R. Bregović and. Saraäi, Design of linear hase two-channel FIR filter bans with rational saling factors, Proc. 3 rd Int. Sy. on Iage and Signal Processing and Analysis, Roe, Italy, Set. 3,. 749 754. Design

More information

Asymptotic Behaviour Of Solutions For Some Weakly Dissipative Wave Equations Of p-laplacian Type

Asymptotic Behaviour Of Solutions For Some Weakly Dissipative Wave Equations Of p-laplacian Type Alied Matheatics E-Notes, (), 75 83 c IN 67-5 Available free at irror sites of htt://www.ath.nthu.edu.tw/aen/ Asytotic Behaviour Of olutions For oe Weakly Dissiative Wave Equations Of -Lalacian Tye Nour-Eddine

More information

Minimizing Machinery Vibration Transmission in a Lightweight Building using Topology Optimization

Minimizing Machinery Vibration Transmission in a Lightweight Building using Topology Optimization 1 th World Congress on Structural and Multidiscilinary Otiization May 19-4, 13, Orlando, Florida, USA Miniizing Machinery Vibration ransission in a Lightweight Building using oology Otiization Niels Olhoff,

More information

Numerical Method for Obtaining a Predictive Estimator for the Geometric Distribution

Numerical Method for Obtaining a Predictive Estimator for the Geometric Distribution British Journal of Matheatics & Couter Science 19(5): 1-13, 2016; Article no.bjmcs.29941 ISSN: 2231-0851 SCIENCEDOMAIN international www.sciencedoain.org Nuerical Method for Obtaining a Predictive Estiator

More information

New Set of Rotationally Legendre Moment Invariants

New Set of Rotationally Legendre Moment Invariants New Set of Rotationally Legendre Moent Invariants Khalid M. Hosny Abstract Orthogonal Legendre oents are used in several attern recognition and iage rocessing alications. Translation and scale Legendre

More information

A Complete Stability Analysis of Planar Discrete-Time Linear Systems Under Saturation

A Complete Stability Analysis of Planar Discrete-Time Linear Systems Under Saturation 710 IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I: FUNDAMENTAL THEORY AND APPLICATIONS, VOL 48, NO 6, JUNE 2001 A Complete Stability Analysis of Planar Discrete-Time Linear Systems Under Saturation Tingshu

More information

Ayşe Alaca, Şaban Alaca and Kenneth S. Williams School of Mathematics and Statistics, Carleton University, Ottawa, Ontario, Canada. Abstract.

Ayşe Alaca, Şaban Alaca and Kenneth S. Williams School of Mathematics and Statistics, Carleton University, Ottawa, Ontario, Canada. Abstract. Journal of Cobinatorics and Nuber Theory Volue 6, Nuber,. 17 15 ISSN: 194-5600 c Nova Science Publishers, Inc. DOUBLE GAUSS SUMS Ayşe Alaca, Şaban Alaca and Kenneth S. Willias School of Matheatics and

More information

Chordal Sparsity, Decomposing SDPs and the Lyapunov Equation

Chordal Sparsity, Decomposing SDPs and the Lyapunov Equation Chordal Sarsity, Decoosing SDPs and the Lyaunov Equation Richard P. Mason and Antonis Paachristodoulou Abstract Analysis questions in control theory are often forulated as Linear Matrix Inequalities and

More information

[95/95] APPROACH FOR DESIGN LIMITS ANALYSIS IN VVER. Shishkov L., Tsyganov S. Russian Research Centre Kurchatov Institute Russian Federation, Moscow

[95/95] APPROACH FOR DESIGN LIMITS ANALYSIS IN VVER. Shishkov L., Tsyganov S. Russian Research Centre Kurchatov Institute Russian Federation, Moscow [95/95] APPROACH FOR DESIGN LIMITS ANALYSIS IN VVER Shishkov L., Tsyganov S. Russian Research Centre Kurchatov Institute Russian Federation, Moscow ABSTRACT The aer discusses a well-known condition [95%/95%],

More information

The Semantics of Data Flow Diagrams. P.D. Bruza. Th.P. van der Weide. Dept. of Information Systems, University of Nijmegen

The Semantics of Data Flow Diagrams. P.D. Bruza. Th.P. van der Weide. Dept. of Information Systems, University of Nijmegen The Seantics of Data Flow Diagras P.D. Bruza Th.P. van der Weide Det. of Inforation Systes, University of Nijegen Toernooiveld, NL-6525 ED Nijegen, The Netherlands July 26, 1993 Abstract In this article

More information

On spinors and their transformation

On spinors and their transformation AMERICAN JOURNAL OF SCIENTIFIC AND INDUSTRIAL RESEARCH, Science Huβ, htt:www.scihub.orgajsir ISSN: 5-69X On sinors and their transforation Anaitra Palit AuthorTeacher, P5 Motijheel Avenue, Flat C,Kolkata

More information

Frequency Domain Analysis of Rattle in Gear Pairs and Clutches. Abstract. 1. Introduction

Frequency Domain Analysis of Rattle in Gear Pairs and Clutches. Abstract. 1. Introduction The 00 International Congress and Exosition on Noise Control Engineering Dearborn, MI, USA. August 9-, 00 Frequency Doain Analysis of Rattle in Gear Pairs and Clutches T. C. Ki and R. Singh Acoustics and

More information

Quadratic Reciprocity. As in the previous notes, we consider the Legendre Symbol, defined by

Quadratic Reciprocity. As in the previous notes, we consider the Legendre Symbol, defined by Math 0 Sring 01 Quadratic Recirocity As in the revious notes we consider the Legendre Sybol defined by $ ˆa & 0 if a 1 if a is a quadratic residue odulo. % 1 if a is a quadratic non residue We also had

More information

NONNEGATIVE matrix factorization finds its application

NONNEGATIVE matrix factorization finds its application Multilicative Udates for Convolutional NMF Under -Divergence Pedro J. Villasana T., Stanislaw Gorlow, Meber, IEEE and Arvind T. Hariraan arxiv:803.0559v2 [cs.lg 5 May 208 Abstract In this letter, we generalize

More information

Optimal Adaptive Computations in the Jaffard Algebra and Localized Frames

Optimal Adaptive Computations in the Jaffard Algebra and Localized Frames www.oeaw.ac.at Otial Adative Coutations in the Jaffard Algebra and Localized Fraes M. Fornasier, K. Gröchenig RICAM-Reort 2006-28 www.rica.oeaw.ac.at Otial Adative Coutations in the Jaffard Algebra and

More information

DISCRETE DUALITY FINITE VOLUME SCHEMES FOR LERAY-LIONS TYPE ELLIPTIC PROBLEMS ON GENERAL 2D MESHES

DISCRETE DUALITY FINITE VOLUME SCHEMES FOR LERAY-LIONS TYPE ELLIPTIC PROBLEMS ON GENERAL 2D MESHES ISCRETE UALITY FINITE VOLUME SCHEMES FOR LERAY-LIONS TYPE ELLIPTIC PROBLEMS ON GENERAL 2 MESHES BORIS ANREIANOV, FRANCK BOYER AN FLORENCE HUBERT Abstract. iscrete duality finite volue schees on general

More information

Lecture 3: October 2, 2017

Lecture 3: October 2, 2017 Inforation and Coding Theory Autun 2017 Lecturer: Madhur Tulsiani Lecture 3: October 2, 2017 1 Shearer s lea and alications In the revious lecture, we saw the following stateent of Shearer s lea. Lea 1.1

More information

Binomial and Poisson Probability Distributions

Binomial and Poisson Probability Distributions Binoial and Poisson Probability Distributions There are a few discrete robability distributions that cro u any ties in hysics alications, e.g. QM, SM. Here we consider TWO iortant and related cases, the

More information

Constrained interpolation-based control for polytopic uncertain systems

Constrained interpolation-based control for polytopic uncertain systems 2011 50th IEEE Conference on Decision and Control and European Control Conference CDC-ECC Orlando FL USA December 12-15 2011 Constrained interpolation-based control for polytopic uncertain systems H.-N.

More information

Adaptive Stabilization of a Class of Nonlinear Systems With Nonparametric Uncertainty

Adaptive Stabilization of a Class of Nonlinear Systems With Nonparametric Uncertainty IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 46, NO. 11, NOVEMBER 2001 1821 Adaptive Stabilization of a Class of Nonlinear Systes With Nonparaetric Uncertainty Aleander V. Roup and Dennis S. Bernstein

More information

ON THE INTEGER PART OF A POSITIVE INTEGER S K-TH ROOT

ON THE INTEGER PART OF A POSITIVE INTEGER S K-TH ROOT ON THE INTEGER PART OF A POSITIVE INTEGER S K-TH ROOT Yang Hai Research Center for Basic Science, Xi an Jiaotong University, Xi an, Shaanxi, P.R.China Fu Ruiqin School of Science, Xi an Shiyou University,

More information

1 Bounding the Margin

1 Bounding the Margin COS 511: Theoretical Machine Learning Lecturer: Rob Schapire Lecture #12 Scribe: Jian Min Si March 14, 2013 1 Bounding the Margin We are continuing the proof of a bound on the generalization error of AdaBoost

More information

Multi-Dimensional Hegselmann-Krause Dynamics

Multi-Dimensional Hegselmann-Krause Dynamics Multi-Diensional Hegselann-Krause Dynaics A. Nedić Industrial and Enterprise Systes Engineering Dept. University of Illinois Urbana, IL 680 angelia@illinois.edu B. Touri Coordinated Science Laboratory

More information

Scaled Enflo type is equivalent to Rademacher type

Scaled Enflo type is equivalent to Rademacher type Scaled Enflo tye is equivalent to Radeacher tye Manor Mendel California Institute of Technology Assaf Naor Microsoft Research Abstract We introduce the notion of scaled Enflo tye of a etric sace, and show

More information

ACCURACY OF THE DISCRETE FOURIER TRANSFORM AND THE FAST FOURIER TRANSFORM

ACCURACY OF THE DISCRETE FOURIER TRANSFORM AND THE FAST FOURIER TRANSFORM SIAM J. SCI. COMPUT. c 1996 Society for Industrial and Alied Matheatics Vol. 17, o. 5,. 1150 1166, Seteber 1996 008 ACCURACY OF THE DISCRETE FOURIER TRASFORM AD THE FAST FOURIER TRASFORM JAMES C. SCHATZMA

More information

One- and multidimensional Fibonacci search very easy!

One- and multidimensional Fibonacci search very easy! One and ultidiensional ibonacci search One and ultidiensional ibonacci search very easy!. Content. Introduction / Preliinary rearks...page. Short descrition of the ibonacci nubers...page 3. Descrition

More information

DERIVING PROPER UNIFORM PRIORS FOR REGRESSION COEFFICIENTS

DERIVING PROPER UNIFORM PRIORS FOR REGRESSION COEFFICIENTS DERIVING PROPER UNIFORM PRIORS FOR REGRESSION COEFFICIENTS N. van Erp and P. van Gelder Structural Hydraulic and Probabilistic Design, TU Delft Delft, The Netherlands Abstract. In probles of odel coparison

More information

Exploiting Matrix Symmetries and Physical Symmetries in Matrix Product States and Tensor Trains

Exploiting Matrix Symmetries and Physical Symmetries in Matrix Product States and Tensor Trains Exloiting Matrix Syetries and Physical Syetries in Matrix Product States and Tensor Trains Thoas K Huckle a and Konrad Waldherr a and Thoas Schulte-Herbrüggen b a Technische Universität München, Boltzannstr

More information

Computationally Efficient Control System Based on Digital Dynamic Pulse Frequency Modulation for Microprocessor Implementation

Computationally Efficient Control System Based on Digital Dynamic Pulse Frequency Modulation for Microprocessor Implementation IJCSI International Journal of Couter Science Issues, Vol. 0, Issue 3, No 2, May 203 ISSN (Print): 694-084 ISSN (Online): 694-0784 www.ijcsi.org 20 Coutationally Efficient Control Syste Based on Digital

More information

AN EXPLICIT METHOD FOR NUMERICAL SIMULATION OF WAVE EQUATIONS

AN EXPLICIT METHOD FOR NUMERICAL SIMULATION OF WAVE EQUATIONS The 4 th World Conference on Earthquake Engineering October -7, 8, Beiing, China AN EXPLICIT ETHOD FOR NUERICAL SIULATION OF WAVE EQUATIONS Liu Heng and Liao Zheneng Doctoral Candidate, Det. of Structural

More information

PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY

PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY Physical and Matheatical Sciences 13,,. 8 14 M a t h e a t i c s ON BOUNDEDNESS OF A CLASS OF FIRST ORDER LINEAR DIFFERENTIAL OPERATORS IN THE SPACE OF n 1)-DIMENSIONALLY

More information

POWER RESIDUES OF FOURIER COEFFICIENTS OF MODULAR FORMS

POWER RESIDUES OF FOURIER COEFFICIENTS OF MODULAR FORMS POWER RESIDUES OF FOURIER COEFFICIENTS OF MODULAR FORMS TOM WESTON Abstract Let ρ : G Q > GL nq l be a otivic l-adic Galois reresentation For fixed > 1 we initiate an investigation of the density of the

More information

Parallelizing Spectrally Regularized Kernel Algorithms

Parallelizing Spectrally Regularized Kernel Algorithms Journal of Machine Learning Research 19 (2018) 1-29 Subitted 11/16; Revised 8/18; Published 8/18 Parallelizing Sectrally Regularized Kernel Algoriths Nicole Mücke nicole.uecke@atheatik.uni-stuttgart.de

More information

FRESNEL FORMULAE FOR SCATTERING OPERATORS

FRESNEL FORMULAE FOR SCATTERING OPERATORS elecounications and Radio Engineering, 70(9):749-758 (011) MAHEMAICAL MEHODS IN ELECROMAGNEIC HEORY FRESNEL FORMULAE FOR SCAERING OPERAORS I.V. Petrusenko & Yu.K. Sirenko A. Usikov Institute of Radio Physics

More information

The Fundamental Basis Theorem of Geometry from an algebraic point of view

The Fundamental Basis Theorem of Geometry from an algebraic point of view Journal of Physics: Conference Series PAPER OPEN ACCESS The Fundaental Basis Theore of Geoetry fro an algebraic point of view To cite this article: U Bekbaev 2017 J Phys: Conf Ser 819 012013 View the article

More information

Lecture 16 Analysis of systems with sector nonlinearities

Lecture 16 Analysis of systems with sector nonlinearities EE363 Winter 2008-09 Lecture 16 Analysis of systems with sector nonlinearities Sector nonlinearities Lur e system Analysis via quadratic Lyaunov functions Extension to multile nonlinearities 16 1 Sector

More information

Null Controllability and Stabilization of Linear Systems Subject to Asymmetric Actuator Saturation Tingshu Hu, Achilleas N. Pitsillides & Zongli Lin Department of Electrical Engineering, University of

More information

Stability Analysis for Linear Systems under State Constraints

Stability Analysis for Linear Systems under State Constraints Stabilit Analsis for Linear Sstems under State Constraints Haijun Fang Abstract This paper revisits the problem of stabilit analsis for linear sstems under state constraints New and less conservative sufficient

More information

A Subspace Iteration for Calculating a Cluster of Exterior Eigenvalues

A Subspace Iteration for Calculating a Cluster of Exterior Eigenvalues Advances in Linear Algebra & Matrix heory 05 5 76-89 Published Online Seteber 05 in SciRes htt://wwwscirorg/ournal/alat htt://dxdoiorg/0436/alat0553008 A Subsace Iteration for Calculating a Cluster of

More information

Mistiming Performance Analysis of the Energy Detection Based ToA Estimator for MB-OFDM

Mistiming Performance Analysis of the Energy Detection Based ToA Estimator for MB-OFDM IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS Mistiing Perforance Analysis of the Energy Detection Based ToA Estiator for MB-OFDM Huilin Xu, Liuqing Yang contact author, Y T Jade Morton and Mikel M Miller

More information

Kernel Methods and Support Vector Machines

Kernel Methods and Support Vector Machines Intelligent Systes: Reasoning and Recognition Jaes L. Crowley ENSIAG 2 / osig 1 Second Seester 2012/2013 Lesson 20 2 ay 2013 Kernel ethods and Support Vector achines Contents Kernel Functions...2 Quadratic

More information

5. Dimensional Analysis. 5.1 Dimensions and units

5. Dimensional Analysis. 5.1 Dimensions and units 5. Diensional Analysis In engineering the alication of fluid echanics in designs ake uch of the use of eirical results fro a lot of exerients. This data is often difficult to resent in a readable for.

More information

arxiv: v4 [math.st] 9 Aug 2017

arxiv: v4 [math.st] 9 Aug 2017 PARALLELIZING SPECTRAL ALGORITHMS FOR KERNEL LEARNING GILLES BLANCHARD AND NICOLE MÜCKE arxiv:161007487v4 [athst] 9 Aug 2017 Abstract We consider a distributed learning aroach in suervised learning for

More information

SHOUYU DU AND ZHANLE DU

SHOUYU DU AND ZHANLE DU THERE ARE INFINITELY MANY COUSIN PRIMES arxiv:ath/009v athgm 4 Oct 00 SHOUYU DU AND ZHANLE DU Abstract We roved that there are infinitely any cousin ries Introduction If c and c + 4 are both ries, then

More information

Analytical Analysis and Feedback Linearization Tracking Control of the General Takagi-Sugeno Fuzzy Dynamic Systems

Analytical Analysis and Feedback Linearization Tracking Control of the General Takagi-Sugeno Fuzzy Dynamic Systems 290 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS PART C: APPLICATIONS AND REVIEWS, VOL. 29, NO., FEBRUARY 999 In order to verify the erforance of the roosed ethod, exerients with the NIST nueral

More information

1. (2.5.1) So, the number of moles, n, contained in a sample of any substance is equal N n, (2.5.2)

1. (2.5.1) So, the number of moles, n, contained in a sample of any substance is equal N n, (2.5.2) Lecture.5. Ideal gas law We have already discussed general rinciles of classical therodynaics. Classical therodynaics is a acroscoic science which describes hysical systes by eans of acroscoic variables,

More information

Modi ed Local Whittle Estimator for Long Memory Processes in the Presence of Low Frequency (and Other) Contaminations

Modi ed Local Whittle Estimator for Long Memory Processes in the Presence of Low Frequency (and Other) Contaminations Modi ed Local Whittle Estiator for Long Meory Processes in the Presence of Low Frequency (and Other Containations Jie Hou y Boston University Pierre Perron z Boston University March 5, 203; Revised: January

More information

Uniform Approximation and Bernstein Polynomials with Coefficients in the Unit Interval

Uniform Approximation and Bernstein Polynomials with Coefficients in the Unit Interval Unifor Approxiation and Bernstein Polynoials with Coefficients in the Unit Interval Weiang Qian and Marc D. Riedel Electrical and Coputer Engineering, University of Minnesota 200 Union St. S.E. Minneapolis,

More information

Answers to Econ 210A Midterm, October A. The function f is homogeneous of degree 1/2. To see this, note that for all t > 0 and all (x 1, x 2 )

Answers to Econ 210A Midterm, October A. The function f is homogeneous of degree 1/2. To see this, note that for all t > 0 and all (x 1, x 2 ) Question. Answers to Econ 20A Midter, October 200 f(x, x 2 ) = ax {x, x 2 } A. The function f is hoogeneous of degree /2. To see this, note that for all t > 0 and all (x, x 2 ) f(tx, x 2 ) = ax {tx, tx

More information

The Methods of Solution for Constrained Nonlinear Programming

The Methods of Solution for Constrained Nonlinear Programming Research Inventy: International Journal Of Engineering And Science Vol.4, Issue 3(March 2014), PP 01-06 Issn (e): 2278-4721, Issn (p):2319-6483, www.researchinventy.co The Methods of Solution for Constrained

More information

Intelligent Systems: Reasoning and Recognition. Perceptrons and Support Vector Machines

Intelligent Systems: Reasoning and Recognition. Perceptrons and Support Vector Machines Intelligent Systes: Reasoning and Recognition Jaes L. Crowley osig 1 Winter Seester 2018 Lesson 6 27 February 2018 Outline Perceptrons and Support Vector achines Notation...2 Linear odels...3 Lines, Planes

More information

New upper bound for the B-spline basis condition number II. K. Scherer. Institut fur Angewandte Mathematik, Universitat Bonn, Bonn, Germany.

New upper bound for the B-spline basis condition number II. K. Scherer. Institut fur Angewandte Mathematik, Universitat Bonn, Bonn, Germany. New upper bound for the B-spline basis condition nuber II. A proof of de Boor's 2 -conjecture K. Scherer Institut fur Angewandte Matheati, Universitat Bonn, 535 Bonn, Gerany and A. Yu. Shadrin Coputing

More information

Null controllable region of LTI discrete-time systems with input saturation

Null controllable region of LTI discrete-time systems with input saturation Automatica 38 (2002) 2009 2013 www.elsevier.com/locate/automatica Technical Communique Null controllable region of LTI discrete-time systems with input saturation Tingshu Hu a;, Daniel E. Miller b,liqiu

More information

INTERIOR BALLISTIC PRINCIPLE OF HIGH/LOW PRESSURE CHAMBERS IN AUTOMATIC GRENADE LAUNCHERS

INTERIOR BALLISTIC PRINCIPLE OF HIGH/LOW PRESSURE CHAMBERS IN AUTOMATIC GRENADE LAUNCHERS XXXX IB08 19th International Syosiu of Ballistics, 7 11 May 001, Interlaken, Switzerland INTERIOR BALLISTIC PRINCIPLE OF HIGH/LOW PRESSURE CHAMBERS IN AUTOMATIC GRENADE LAUNCHERS S. Jaraaz1, D. Micković1,

More information

The Distribution of the Covariance Matrix for a Subset of Elliptical Distributions with Extension to Two Kurtosis Parameters

The Distribution of the Covariance Matrix for a Subset of Elliptical Distributions with Extension to Two Kurtosis Parameters journal of ultivariate analysis 58, 96106 (1996) article no. 0041 The Distribution of the Covariance Matrix for a Subset of Elliptical Distributions with Extension to Two Kurtosis Paraeters H. S. Steyn

More information

Chapter 6 1-D Continuous Groups

Chapter 6 1-D Continuous Groups Chapter 6 1-D Continuous Groups Continuous groups consist of group eleents labelled by one or ore continuous variables, say a 1, a 2,, a r, where each variable has a well- defined range. This chapter explores:

More information

Chaotic Coupled Map Lattices

Chaotic Coupled Map Lattices Chaotic Coupled Map Lattices Author: Dustin Keys Advisors: Dr. Robert Indik, Dr. Kevin Lin 1 Introduction When a syste of chaotic aps is coupled in a way that allows the to share inforation about each

More information

4 A Survey of Congruent Results 12

4 A Survey of Congruent Results 12 4 A urvey of Congruent Results 1 ECTION 4.5 Perfect Nubers and the iga Function By the end of this section you will be able to test whether a given Mersenne nuber is rie understand what is eant be a erfect

More information

Guaranteed stability regions of linear systems with actuator saturation using the low-and-high gain technique

Guaranteed stability regions of linear systems with actuator saturation using the low-and-high gain technique Guaranteed stability regions of linear systems with actuator saturation using the low-and-high gain technique M.C. Turner I. Postlethwaite Dept. of Engineering, University of Leicester, Leicester, LE 7RH,

More information

Suppress Parameter Cross-talk for Elastic Full-waveform Inversion: Parameterization and Acquisition Geometry

Suppress Parameter Cross-talk for Elastic Full-waveform Inversion: Parameterization and Acquisition Geometry Suress Paraeter Cross-talk for Elastic Full-wavefor Inversion: Paraeterization and Acquisition Geoetry Wenyong Pan and Kris Innanen CREWES Project, Deartent of Geoscience, University of Calgary Suary Full-wavefor

More information

Principles of Optimal Control Spring 2008

Principles of Optimal Control Spring 2008 MIT OpenCourseWare http://ocw.it.edu 16.323 Principles of Optial Control Spring 2008 For inforation about citing these aterials or our Ters of Use, visit: http://ocw.it.edu/ters. 16.323 Lecture 10 Singular

More information

CALIFORNIA INSTITUTE OF TECHNOLOGY

CALIFORNIA INSTITUTE OF TECHNOLOGY CALIFORNIA INSIUE OF ECHNOLOGY Control and Dynaical Systes Course Project CDS 270 Instructor: Eugene Lavretsky, eugene.lavretsky@boeing.co Sring 2007 Project Outline: his roject consists of two flight

More information

Design of Robust Reference Input Tracker via Delayed Feedback Control Method

Design of Robust Reference Input Tracker via Delayed Feedback Control Method Design of Robust Reference Inut Tracker via Delayed Feedback Control Method Zahed Dastan, Mahsan Tavakoli-Kakhki * Faculty of Electrical Engineering, KN Toosi University of Technology, Tehran, Iran * Eail:

More information

Introduction to Discrete Optimization

Introduction to Discrete Optimization Prof. Friedrich Eisenbrand Martin Nieeier Due Date: March 9 9 Discussions: March 9 Introduction to Discrete Optiization Spring 9 s Exercise Consider a school district with I neighborhoods J schools and

More information

Fixed-to-Variable Length Distribution Matching

Fixed-to-Variable Length Distribution Matching Fixed-to-Variable Length Distribution Matching Rana Ali Ajad and Georg Böcherer Institute for Counications Engineering Technische Universität München, Gerany Eail: raa2463@gail.co,georg.boecherer@tu.de

More information

Analysis of low rank matrix recovery via Mendelson s small ball method

Analysis of low rank matrix recovery via Mendelson s small ball method Analysis of low rank atrix recovery via Mendelson s sall ball ethod Maryia Kabanava Chair for Matheatics C (Analysis) ontdriesch 0 kabanava@athc.rwth-aachen.de Holger Rauhut Chair for Matheatics C (Analysis)

More information

arxiv: v1 [cs.ds] 29 Jan 2012

arxiv: v1 [cs.ds] 29 Jan 2012 A parallel approxiation algorith for ixed packing covering seidefinite progras arxiv:1201.6090v1 [cs.ds] 29 Jan 2012 Rahul Jain National U. Singapore January 28, 2012 Abstract Penghui Yao National U. Singapore

More information

A Note on Scheduling Tall/Small Multiprocessor Tasks with Unit Processing Time to Minimize Maximum Tardiness

A Note on Scheduling Tall/Small Multiprocessor Tasks with Unit Processing Time to Minimize Maximum Tardiness A Note on Scheduling Tall/Sall Multiprocessor Tasks with Unit Processing Tie to Miniize Maxiu Tardiness Philippe Baptiste and Baruch Schieber IBM T.J. Watson Research Center P.O. Box 218, Yorktown Heights,

More information

STABILITY AND STABILIZATION OF A CLASS OF NONLINEAR SYSTEMS WITH SATURATING ACTUATORS. Eugênio B. Castelan,1 Sophie Tarbouriech Isabelle Queinnec

STABILITY AND STABILIZATION OF A CLASS OF NONLINEAR SYSTEMS WITH SATURATING ACTUATORS. Eugênio B. Castelan,1 Sophie Tarbouriech Isabelle Queinnec STABILITY AND STABILIZATION OF A CLASS OF NONLINEAR SYSTEMS WITH SATURATING ACTUATORS Eugênio B. Castelan,1 Sophie Tarbouriech Isabelle Queinnec DAS-CTC-UFSC P.O. Box 476, 88040-900 Florianópolis, SC,

More information

EGN 3353C Fluid Mechanics

EGN 3353C Fluid Mechanics Lecture 4 When nondiensionalizing an equation, nondiensional araeters often aear. Exale Consider an object falling due to gravity in a vacuu d z ays: (1) the conventional diensional aroach, and () diensionless

More information

Topic 5a Introduction to Curve Fitting & Linear Regression

Topic 5a Introduction to Curve Fitting & Linear Regression /7/08 Course Instructor Dr. Rayond C. Rup Oice: A 337 Phone: (95) 747 6958 E ail: rcrup@utep.edu opic 5a Introduction to Curve Fitting & Linear Regression EE 4386/530 Coputational ethods in EE Outline

More information

MULTIPLIER IDEALS OF SUMS VIA CELLULAR RESOLUTIONS

MULTIPLIER IDEALS OF SUMS VIA CELLULAR RESOLUTIONS MULTIPLIER IDEALS OF SUMS VIA CELLULAR RESOLUTIONS SHIN-YAO JOW AND EZRA MILLER Abstract. Fix nonzero ideal sheaves a 1,..., a r and b on a noral Q-Gorenstein colex variety X. For any ositive real nubers

More information

Hybrid System Identification: An SDP Approach

Hybrid System Identification: An SDP Approach 49th IEEE Conference on Decision and Control Deceber 15-17, 2010 Hilton Atlanta Hotel, Atlanta, GA, USA Hybrid Syste Identification: An SDP Approach C Feng, C M Lagoa, N Ozay and M Sznaier Abstract The

More information

Optimization of Dynamic Reactive Power Sources Using Mesh Adaptive Direct Search

Optimization of Dynamic Reactive Power Sources Using Mesh Adaptive Direct Search Acceted by IET Generation, Transission & Distribution on 6/2/207 Otiization of Dynaic Reactive Power Sources Using Mesh Adative Direct Search Weihong Huang, Kai Sun,*, Junjian Qi 2, Jiaxin Ning 3 Electrical

More information

ON THE TWO-LEVEL PRECONDITIONING IN LEAST SQUARES METHOD

ON THE TWO-LEVEL PRECONDITIONING IN LEAST SQUARES METHOD PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY Physical and Matheatical Sciences 04,, p. 7 5 ON THE TWO-LEVEL PRECONDITIONING IN LEAST SQUARES METHOD M a t h e a t i c s Yu. A. HAKOPIAN, R. Z. HOVHANNISYAN

More information

Feature Extraction Techniques

Feature Extraction Techniques Feature Extraction Techniques Unsupervised Learning II Feature Extraction Unsupervised ethods can also be used to find features which can be useful for categorization. There are unsupervised ethods that

More information

Lecture 21. Interior Point Methods Setup and Algorithm

Lecture 21. Interior Point Methods Setup and Algorithm Lecture 21 Interior Point Methods In 1984, Kararkar introduced a new weakly polynoial tie algorith for solving LPs [Kar84a], [Kar84b]. His algorith was theoretically faster than the ellipsoid ethod and

More information

Review from last time Time Series Analysis, Fall 2007 Professor Anna Mikusheva Paul Schrimpf, scribe October 23, 2007.

Review from last time Time Series Analysis, Fall 2007 Professor Anna Mikusheva Paul Schrimpf, scribe October 23, 2007. Review fro last tie 4384 ie Series Analsis, Fall 007 Professor Anna Mikusheva Paul Schrif, scribe October 3, 007 Lecture 3 Unit Roots Review fro last tie Let t be a rando walk t = ρ t + ɛ t, ρ = where

More information

ADVANCES ON THE BESSIS- MOUSSA-VILLANI TRACE CONJECTURE

ADVANCES ON THE BESSIS- MOUSSA-VILLANI TRACE CONJECTURE ADVANCES ON THE BESSIS- MOUSSA-VILLANI TRACE CONJECTURE CHRISTOPHER J. HILLAR Abstract. A long-standing conjecture asserts that the polynoial p(t = Tr(A + tb ] has nonnegative coefficients whenever is

More information

Conjugate convex Lyapunov functions for dual linear differential inclusions

Conjugate convex Lyapunov functions for dual linear differential inclusions Conjugate convex Lyapunov functions for dual linear differential inclusions Rafal Goebel, Andrew R. Teel 2, Tingshu Hu 3, Zongli Lin 4 Abstract Tools from convex analysis are used to show how stability

More information

RESOLVENT ESTIMATES FOR ELLIPTIC SYSTEMS IN FUNCTION SPACES OF HIGHER REGULARITY

RESOLVENT ESTIMATES FOR ELLIPTIC SYSTEMS IN FUNCTION SPACES OF HIGHER REGULARITY Electronic Journal of Differential Equations, Vol. 2011 2011, No. 109,. 1 12. ISSN: 1072-6691. URL: htt://ejde.ath.txstate.edu or htt://ejde.ath.unt.edu ft ejde.ath.txstate.edu RESOLVENT ESTIMATES FOR

More information

Dolph-Chebyshev Pattern Synthesis for Uniform Circular Arrays

Dolph-Chebyshev Pattern Synthesis for Uniform Circular Arrays 1 Dolh-Chebyshev Pattern Synthesis for Unifor Circular Arrays Tin-Ei Wang, Russell Brinkan, and Kenneth R. Baker, Sr. Meber, IEEE Interdiscilinary Telecounications Progra UCB 530, University of Colorado,

More information

Fourier Series Summary (From Salivahanan et al, 2002)

Fourier Series Summary (From Salivahanan et al, 2002) Fourier Series Suary (Fro Salivahanan et al, ) A periodic continuous signal f(t), - < t

More information

Filter Design for Linear Time Delay Systems

Filter Design for Linear Time Delay Systems IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 49, NO. 11, NOVEMBER 2001 2839 ANewH Filter Design for Linear Time Delay Systems E. Fridman Uri Shaked, Fellow, IEEE Abstract A new delay-dependent filtering

More information

CONTROL SYSTEMS, ROBOTICS, AND AUTOMATION Vol. IX Uncertainty Models For Robustness Analysis - A. Garulli, A. Tesi and A. Vicino

CONTROL SYSTEMS, ROBOTICS, AND AUTOMATION Vol. IX Uncertainty Models For Robustness Analysis - A. Garulli, A. Tesi and A. Vicino UNCERTAINTY MODELS FOR ROBUSTNESS ANALYSIS A. Garulli Dipartiento di Ingegneria dell Inforazione, Università di Siena, Italy A. Tesi Dipartiento di Sistei e Inforatica, Università di Firenze, Italy A.

More information