ps7sol_6243_2003

ps7sol_6243_2003 - Massachusetts Institute of Technology...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.243j (Fall 2003): DYNAMICS OF NONLINEAR SYSTEMS by A. Megretski Problem Set 7 Solutions 1 Problem 7.1 A stable linear system with a relay feedback excitation is modeled by x ˙( t ) = Ax ( t ) + B sgn( Cx ( t )) , (7.1) where A is a Hurwitz matrix, B is a column matrix, C is a row matrix, and sgn( y ) denotes the sign nonlinearity ⎞ ⎠ 1 , y > , sgn( y ) = , y = , ⎧ − 1 , y < . For T > , a 2 T-periodic solution x = x ( t ) of (7.1) is called a regular unimodal limit cycle if Cx ( t ) = − Cx ( t + T ) > for all t ≤ (0 , T ) , and CAx (0) > | CB | . (a) Derive a necessary and sufficient condition of exponential local stability of the regular unimodal limit cycle (assuming it exists and A, B, C, T are given). x ≤ R n such that C ¯ Let Y denote the set of all ¯ x = 0. Let x = x (0). By assumptions, Cx ( t ) > and Cx ( − t ) = Cx ( T − t + T ) = − Cx ( T − t ) < for t ≤ (0 , T ). Hence Cx (0) = Cx = 0, i.e. x ≤ Y . Let F : R × Y be defined by x ) = e At (¯ F ( t, ¯ x + A − 1 B ) − A − 1 B. 1 Version of November 12, 2003 2 By definition F ( β, ¯ x ) is the value at t = β of the solution z = z ( t ) of the ODE dz/dt = Az + B . Since F ( t, x ) > for t ≤ (0 , T ) and dF (0 , ¯ x + B ) C ( Ax + B ) > x ) = C ( A ¯ dt ¯ x ) > for all whenever x ≤ Y is sufficiently close to x , we conclude that F ( t, ¯ t ≤ (0 , T ) and for all ¯ x ≤ Y sufficiently close to x . On the other hand, dCF ( T, x ) = C ( Ax ( T ) + B ) = − CAx + CB < . dt Hence, by the implicit mapping theorem, for ¯ x ≤ Y sufficiently close to x equation x ) = has a unique solution t ¯ = h (¯ CF ( t, ¯ x ) in a neigborhood of t = T . Consider the map S defined for x 1 ≤ Y in a neigborhood of x by S ( x 1 ) = F ( h ( x 1 ) , x 1 ). Essentially, S is the Poincare map associated with the periodic so- lution x = x ( t ). Local exponential stability of the trajectory of x = x ( t ) is therefore equivalent to local exponential stability of the equilibrium x of S . The differential of S at x is the composition of e AT and the projection on Y parallel to Ax ( T ) + B = B − Ax . In other words, the differential of S has matrix S ˙ ( x ) = e AT − [ C ( B − Ax )] − 1 ( B − Ax ) Ce AT in the standard basis of R n . In order for the limit cycle...
View Full Document

This note was uploaded on 11/07/2011 for the course AERO 16.36 taught by Professor Alexandremegretski during the Spring '09 term at MIT.

Page1 / 7

ps7sol_6243_2003 - Massachusetts Institute of Technology...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online