arxiv: v1 [math.oc] 8 Jan 2016

Transcription

1 arxiv: v1 math.oc 8 Jan 216 An Efficient Algorithm for Periodic Riccati Equation for Spacecraft Attitude Control Using Magnetic Torques Yaguang Yang August 6, 218 Abstract Spacecraft attitude control using only magnetic torques is a periodic time-varying system as the Earth magnetic field in the spacecraft body frame changes periodically while the spacecraft circles around the Earth. The optimal controller design therefore involves the solutions of the periodic Riccati differential or algebraic equations. This paper proposes an efficient algorithm for the periodic discretetime Riccati equation arising from a linear periodic time-varying system (A, B), which explores and utilizes the fact that A is time-invariant and only B is time-varying in the system, a special properties associated with the problem of spacecraft attitude control using only magnetic torques. Keywords: Periodic Riccati equation, spacecraft, attitude control, magnetic torque. 1 Introduction SPACECRAFT attitude control using only magnetic torques has several attractive features, such as low cost, high reliability (without moving mechanical parts), and seamless implementation. Therefore, numerous research papers were focused on the problem of spacecraft attitude control using only magnetic torques in the last twenty five years (see 1, 2, 3, 4, 5, 6, 7, 8, 9, 1, 11, 12 and references therein). Because the Earth s magnetic field in the spacecraft body frame is approximately a periodic function as the spacecraft circles around the Earth, the controller design should be based on a time-varying system. Therefore, state space model is a natural choice. Some researchers 5, 6, 7 proposed direct design methods using Lyapunov stabilization theory. These designs use the nonlinear periodic model. The existence of the solutions for these designs implicitly depends on the controllability for the nonlinear time-varying system. Therefore, Bhat 13 investigated controllability of the nonlinear time-varying systems. However, the condition for the controllability of the nonlinear time-varying systems established in 13 is hard to be verified and is a sufficient condition. In addition, there is no systematic method for the selection of Lyapunov functions. Moreover, these designs do no consider the closed-loop system performances other than the stability. A more realistic design strategy is to use linearized time-varying system models. The standard design methods for these models such as linear quadratic regulator (LQR) 1, 2, 3, 4, 1, 9, 11 and H control 12 are discussed. But two important issues were not addressed in these papers. First, the existence of the solutions of LQR and H control directly depends on the controllability (or a slightly wea condition named stabilizability) of the linear time-varying system which was not established for the spacecraft attitude control system using only magnetic torques. Second, the features and the structure of the spacecraft attitude control using magnetic torque were not explored. Instead, algorithms designed for general linear time-varying systems were used for this very specific problem. Therefore, those algorithms are not optimized for this problem. The first issue is recently addressed in 14 in which the conditions for the controllability of spacecraft attitude control using only magnetic torques were established. The second issue is the focus of this paper, Instrumentation and Control Engineer, Office of Research, US NRC, Two White Flint North Rocville Pie, Rocville, MD Phone: (31) yaguang.yang@verizon.net.

2 we will explore the features and structure of the problem and propose an efficient algorithm for the design of spacecraft attitude control using only magnetic torques. There are two popular types of models used in spacecraft control system designs. Some of the designs adopted Euler angle models 1, 2, 3, 4, 1 but others used the reduced quaternion models 9, 11, 12. We will adopt a reduced quaternion model because of the merits of the reduced quaternion model discussed in 15, 16, 17. The remainder of the paper is organized as follows. Section 2 provides a description of the linear timevarying model of the spacecraft attitude control system using only magnetic torque. Section 3 derives the controller design algorithm for the linear time-varying system. Section 4 presents a simulation example to demonstrate the effectiveness and efficiency of the design algorithm. The conclusions are summarized in Section 5. 2 Spacecraft Model The linearized continuous-time model for spacecraft attitude control using only magnetic torques can be expressed in a reduced quaternion form. Let J be the inertia matrix of a spacecraft defined by J J 11 J 12 J 13 J 21 J 22 J 23. (1) J 31 J 32 J 33 We will consider the nadir pointing spacecraft. Therefore, the attitude of the spacecraft is represented by the rotation of the spacecraft body frame relative to the local vertical and local horizontal (LVLH) frame. Let ω ω 1,ω 2,ω 3 T be the body rate with respect to the LVLH frame represented in the body frame, ω be the orbit (and LVLH frame) rate with respect to the inertial frame, represented in the LVLH frame. Let q q,q 1,q 2,q 3 T q,q T T cos( α 2 ),êt sin( α 2 )T be the quaternion representing the rotation of the body frame relative to the LVLH frame, where ê is the unit length rotational axis and α is the rotation angle about ê. The control torques generated by magnetic coils interacting with the Earth s magnetic field is given by (see 18) u m b where the Earth s magnetic field in spacecraft coordinates, b(t) b 1 (t),b 2 (t),b 3 (t) T, is computed using the spacecraft position, the spacecraft attitude, and a spherical harmonic model of the Earth s magnetic field 19; and m m 1,m 2,m 3 T is the spacecraft magnetic coils induced magnetic moment in the spacecraft coordinates. The time-variation of the system is an approximate periodic function of b(t) b(t+p) where the orbital period is given by 18 P 2π ω 2π a 3 GM, (2) where a is the orbital radius (for circular orbit) and GM m 3 /s This magnetic field b(t) can be approximately expressed as follows 4: b 1(t) b 2 (t) µ f cos(ω t)sin(i m ) cos(i a b 3 (t) 3 m ), (3) 2sin(ω t)sin(i m ) where i m is the inclination of the spacecraft orbit with respect to the magnetic equator, µ f Wb-m is the field s dipole strength. The time t is measured at the ascending-node crossing of the magnetic equator. Then, the reduced quaternion linear time-varying system is given as follows 14: q 1 q 2 q 3 ω 1 ω 2 ω f 41 f 46 f 52 f 63 f 64 q 1 q 2 q 3 ω 1 ω 2 ω 3 + b 3(t) J 11 b3(t) J 22 b 2(t) J 33 b2(t) J 11 b 1(t) J 22 b1(t) J 33 m 1 m 2 m 3

3 : I 3 Λ 1 Σ 1 q ω + 3 B 2 (t) m Ax+B(t)m, (4) where A I 3 Λ 1 Σ 1 B 2 (t), B 3 B 2 (t) b 42 (t) b 43 (t) b 51 (t) b 53 (t) b 61 (t) b 62 (t), (5), (6) f 41 8(J 33 J 22 )ω/j 2 11 (7) f 46 ( J 11 +J 22 J 33 )ω /J 11 (8) f 64 (J 11 J 22 +J 33 )ω /J 33 (9) f 52 6(J 33 J 11 )ω 2 /J 22 (1) f 63 2(J 11 J 22 )ω/j 2 33 (11) and b 42 (t) 2µ f a 3 J 11 sin(i m )sin(ω t) (12) b 43 (t) µ f a 3 J 11 cos(i m ) (13) b 53 (t) µ f a 3 J 22 sin(i m )cos(ω t) (14) b 51 (t) 2µ f a 3 J 22 sin(i m )sin(ω t) b 42 J 11 J 22 (15) b 61 (t) µ f a 3 J 33 cos(i m ) b 43 J 11 J 33 (16) b 62 (t) µ f a 3 J 33 sin(i m )cos(ω t) b 53 J 22 J 33. (17) It is easy to verify that deta ( 1 2 )3 det(λ 1 ) and A is nonsingular if J 11 J 22, J 11 J 33, and J 33 J 22. Oftentimes, a spacecraft controller is implemented in a computer system which is a discrete system. Therefore, the following discrete model is used for the design in practical implementation: x +1 A x +B m. (18) The system matrices (A,B ) in the discrete model can be derived from (4), (5), and (6) by different methods. Let t s be the sample time, we use the following formulations. A (I+At s ), B B(t s )t s. (19) Note that det(i+at s ) det I.5t s I t s Λ 1 I+t s Σ 1 I.5ts I det 3 I+t s Σ 1.5t 2 s Λ 1 which is invertiable as long as t s is selected small enough. It is worthwhile to mention that in both continuous-time and discrete-time models, the time-varying feature is introduced by time-varying matrices B(t) or B ; the system matrices A and A are constants and invertiable which are important for us to derive an efficient computational algorithm.

4 3 Computational Algorithm for the LQR Design It is well-nown that the LQR design relies on the solution of either the differential Riccati equation (for continuous-time systems) or the discrete Riccati equation (for discrete-time systems) 2. If a system is periodic, such as (4) or (18), the LQR design relies on the periodic solution of the periodic Riccati equation 21. Our discussion about the computational algorithm is focused on the solution of periodic discrete Riccati equation using the special properties of (18), i.e., A is constant and invertiable for. 3.1 Preliminary Results Let L I I R 2n 2n, (2) wherenisthe dimensionofaora in generalcaseandn 6in(4)and(18). Notethat L T L 1 L. Two types of matrices defined below are important to the solutions of the Riccati equations. Definition 3.1 (22) A matrix M R 2n 2n is Hamiltonian if L 1 M T L M. A matrix M R 2n 2n is symplectic if L 1 M T L M 1. Proposition 3.1 If M 1 and M 2 are symplectic, then M 1 M 2 is symplectic. Proof: Since L 1 M T 1 L M 1 1 and L 1 M T 2 L M 1 2, we have L 1 (M 1 M 2 ) T L L 1 M T 2M T 1L L 1 M T 2LL 1 M T 1L M 1 2 M 1 1 (M 1 M 2 ) 1. This concludes the proof. In the sequel, we use λ(m) or simply λ for an eigenvalue of a matrix M and σ(m) for the set of all eigenvalues of M. The following two theorems play essential roles. Theorem 3.1 (23, 24) Let M R 2n 2n is Hamiltonian. Then λ σ(m) implies λ σ(m) with the same multiplicity. Let M R 2n 2n is symplectic. Then λ σ(m) implies 1 λ σ(m) with the same multiplicity. Theorem 3.2 (25) Let M R n n. Then there exists an orthogonal similarity transformation U such that U T MU is quasi-upper-triangular. Moreover, U can be chosen such that the 2 2 and 1 1 diagonal blocs appear in any desired order. Theorem 3.2 is the so called real Schur decomposition. Combining the above two theorems, we conclude that Corollary 3.1 Let M R 2n 2n is Hamiltonian or symplectic. Then there exists an orthogonal similarity transformation U such that T U11 U 12 U11 U M 12 S11 S 12 U 22 U 21 U 22 S 22 U 21 where U 11,U 12,U 21,U 22,S 11,S 12,S 22 R n n, and S 11, S 22 are quasi-upper-triangular. Moreover, 1 if M is Hamiltonian, then σ(s 11 ) (or σ(s 22 ) ) and σ(s 22 ) (or σ(s 11 ) ). 2 if M is symplectic, then σ(s 11 ) lies inside (or outside) the unit circle and σ(s 22 ) lies outside (or inside) the unit circle. The Hamiltonian matrix is used in the derivation of the solution for the continuous-time differential Riccati equation, while the symplectic matrix is used in the derivation of the solution for the discretetime algebraic Riccati equation. In our discussion, therefore, the symplectic matrix plays a fundamental role. (21)

5 3.2 Solution of the Riccati Algebraic Equation For a discrete linear time-varying system (18), the LQR state feedbac control is to find the optimal m to minimize the following quadratic cost function ( ) lim min 1 N 2 xt N Q Nx N + 1 N 1 x T 2 Q x +m T R m (22) where Q, (23) R >, (24) and the initial condition x is given. The controllabilityofspacecraftattitude controlusing only magnetic torques is discussed in 14. Therefore, if (A,Q ) is detectable or Q >, the optimal feedbac m is given by 2, 26 m (R +B T P +1B ) 1 B T P +1A x, (25) wherep is the unique positive semi-definite solutionofthe followingdiscretericcati equation 2, 22, 26 P Q +A T P +1 A A T P +1 B (R +B T P +1 B ) 1 B T P +1 A, (26) withtheboundaryconditionp N Q N. Forthis discretericcatiequation(notnecessarilyperiodic)given as (26), it can be solved using a symplectic system associated with (18) and (22) as follows 22, 26, 27. x+1 x E z +1 E F y F +1 y z (27) where x is the state and y is the costate, I B R 1 E BT A T A F Q I If E is invertiable which is true for det(i+t s Σ t2 sλ 1 ), E 1 I B R 1 BT A T A T a symplectic matrix can be formed 27 as Z E 1 I F B R 1 BT A T A A T Q I A +B R 1 BT A T Q B R 1 BT A T A T Q, (28). (29), A T. (3) It is straghtforward to verify that L 1 Z T L Z 1, therefore, from Corollary 3.1, there exists an orthogonal matrix U such that T U11 U 12 U11 U Z 12 S11 S 12. (31) U 22 U 21 U 22 S 22 U 21 The (steady state) solution of (26) is given as follows 22, Theorem 6. Theorem 3.3 U 11 is invertiale and P U 12 U 1 11 solves (26) with P PT ; σ(s 11 ) σ(a l B (R +B T P B ) 1 B T P A ) σ(a B R 1 BT A T (P Q )) σ(a B R 1 BT (P 1 B R 1 BT ) 1 A ) the closed-loop spectrum. (32)

6 3.3 Solution of the Periodic Riccati Algebraic Equation Now, we consider the periodic time-varying system where A A A +p, (33) B B +p, (34) Q Q Q +p, (35) R R +p >, (36) only B (and possibly R ) are priodic with period p. It is worthwhile to mention that A and Q are actually constant matrices. The optimal feedbac given by (25) is periodic with P P +p, a unique periodic positive seme-definite solution of the periodic Riccati equation (cf. 21). Therefore, using the similar process for general discrete Riccati equation, and noticing that F F is a constant matrix because A and Q are constant matrices, we have This gives with E z +1 Fz (37) E +1 z +2 Fz +1 (38).. (39) E +p 1 z +p Fz +p 1. (4) z +p Π z, (41) Π E 1 +p 1 F...E 1 +1 FE 1 F. (42) Using Proposition 3.1, we conclude that Π is a symplectic matrix. Therefore, there is an orthogonal matrix T such that T T11 T 12 T11 T Π 12 S11 S T 21 T 12. (43) 22 T 21 T 22 S 22 Finally, using Theorem 3.3, we have, for each sampling period {,1,...,p 1} the steady state solution of the Riccati equation corresponding to (41) is given by P T 21 T (44) In view of that F is invertiable in the problem of spacecraft attitude control using only magnetic torques, this method is more efficient than the one in 27 because the latter is designed for singular F. But the method of calculating (42), (43), and (44) as described above (proposed in 26) is not the best way for the problem of spacecraft attitude control using only magnetic torques. As a matter of the fact, equation (41) can be written as x x+p z y Γ z +p Γ (45) y +p with the initial state x, the boundary condition 2 y N Q N x N, (46) and Γ F 1 E F 1 E +1...,F 1 E +p 2 F 1 E +p 1. (47) Remar 3.1 It is worthwhile to note that forming Γ needs no inversion of E for any and F 1 needs to be computed only one time. Therefore, the computation of Γ is much more efficient than the computation of Π. We will show that the rest computation will be similar to the method proposed in 22).

7 Since F 1 M F 1 E A 1 Q A 1 A 1 Q A 1 A 1 Q A 1 I I, I B R 1 BT A T A 1 B R 1 BT Q A 1 B R 1 BT +AT, (48) which is a similar formula as given in 23. It is straghtforward to verify that M is symplectic. In fact, L 1 M T I A T L A T Q I B R 1 BT A T A +B R 1 BT A T Q L B R 1 BT A T A B R 1 BT A T Q I A T A T Q I A +B R 1 BT A T Q B R 1 BT A T A T Q A T M 1. (49) Since M is symplectic, using Proposition 3.1 again, Γ is symplectic. Let V11 V V 12 V 21 V 22 be a matrix that transform Γ into a Jordon form, we have Γ V V 1 where is the Jordan bloc matrix of the n eigenvalues outside of the unit circle. One of the main results of this paper is the following theorem. Theorem 3.4 The solution of the Riccati equation corresponding to (45) is given by (5) P V 21 V 1 11,,...,p 1. (51) Proof: The proof uses similar ideas of 23, 2. Since the periodicity of the system, the Riccati equation corresponding to (45) represents any one of {,1,...,p 1} equations which has a sample period increasing by p with the patent, +p, +2p,..., +lp,... In the following discussion, we consider one Riccati equation and drop the subscript to simplify the notation to,p,2p,...,lp,... To mae the notation simpler, we will drop p and use l for this step increment. Assume that the solution has the form y l Px l. (52) Further, we assume for simiplisity that the eigenvalues of Γ are distinct, therefore, is diagonal. For any integer l, let xl V11 V 12 tl, (53) y l V 22 s l from (45), (5) and (53), we have tl xl xl+1 tl+1 V Γ ΓV V s l y l y l+1 s l+1 1 V 21 tl+1, s l+1 which is equivalent to tl s l 1 tl+1 s l+1.

8 Hence, tl s l N l (N l) Using the boundary condition (46) and (53), we have tn s N, (54) this gives or equivalently Combining (54) and (55) yields Q N (V 11 t N +V 12 s N ) Q N x N y N V 21 t N +V 22 s N, (V 21 Q N V 11 )t N (V 22 Q N V 12 )s N, s N (V 22 Q N V 12 ) 1 (V 21 Q N V 11 )t N : Ht N. (55) s l (N l) s N (N l) Ht N (N l) H (N l) t l : Gt l, with G (N l) H (N l). Finally, using this relation, (53), and (52), we conclude that y l V 21 t l +V 22 s l (V 21 +V 22 G)t l Px l P(V 11 t l +V 12 s l ) P(V 11 +V 12 G)t l holds for all t l, therefore or (V 21 +V 22 G) P(V 11 +V 12 G) Note that G as N. This finishes the proof. P (V 21 +V 22 G)(V 11 +V 12 G) 1. (56) Since the eigen-decomposition is not numerically stable. We suggest using the Schur decomposition instead. Since Γ is symplectic, Corollary 3.1 claims that there is an orthogonal matrix W such that T W11 W 12 W11 W Γ 12 S11 S W 21 W 12, (57) 22 W 21 W 22 S 22 where S 11 is upper-triangular and has all of its eigenvalues outside the unique circle. We have the main result of the paper as follows. Theorem 3.5 Let the Schur decomposition of Γ is given by (57). The solution of the Riccati equation corresponding to (45) is given by P W 21 W 1 11 (58) Proof: The proof follows exactly the same argument of 22, Remar 1 and it is provided here for completeness. From (5), we have V11 V11 Γ V 21 V. (59) 21 From (57), we have W11 W11 Γ S W 21 W Let T be an invertiable transformation matrix such that T 1 S 11 T, then we have W11 W11 Γ T TT W 21 W 1 W11 S 11 T T 21 W (6) 21

9 Comparing (59) and (6) we must have W11 V11 T D W 21 V 21 where D is a diagonal and invertiable matrix. Thus This finishes the proof. W 21 W 1 11 V 21DT 1 TD 1 V 1 11 V 21V Using either eigen-decomposition or Schur decomposition leads to the solution for (45). But the formula of (58) is more stable than the formula of (51) because Schur decomposition is a more stable process than eigen-decomposition. We summarize the algorithm as follows. Algorithm 3.1 Step Data: J, i m, Q, R, altitude of the spacecraft, and select sample period. Step 1 Calculate A and B using (5-19). Step 2 Calculate E and F using (28-29). Step 3 Calculate Γ using (47). Step 4 Use Schur decomposition (57) to get W. Step 5 Calculate P using (58). 4 Simulation test The proposed design algorithm has been tested for the following problem. Let the spacecraft inertia matrix be J diag(25,15,1)g m 2. The orbital inclination i m 57C o, the orbit is circular with the altitude 657 m. In view of equation (2), the orbital period is 5863 seconds, and the orbital rate is ω.11 rad/second. Assuming that the total number of samples taen in one orbit is 1, then, each sample period is second. Select Q diag( , , ,.1,.1,.1) and R diag(2 1 3,2 1 3,2 1 3 ). We have calculated and stored P for,1,2,...,99 using Algorithm 3.1. Assuming that the initial quaternion error is (.1,.1,.1) and the initial body rate is (.1,.1,.1) radians per second, applying the feedbac (25) to the system (18), the simulated spacecraft attitude response is given in Figures 1-6. The designed controller stabilizes the spacecraft using only magnetic torques. This shows the effectiveness of the design method. Since this time-varying system has a long period 5863 seconds and the number of samples in each period is 1, this means that using Γ in (47) instead of Π in (42) saves about 1 matrix inverses, a significant saving in the computation comparing to the well-nown algorithm 26! 5 Conclusion In this paper, we proposed a new algorithm for the design of the periodic controller for the spacecraft using only magnetic torques. The proposed method is more efficient than existing methods because it maes full use of the information associated with this particular time-varying system. A simulation example is provided to demonstrate the effectiveness and fficiency of the algorithm. Although the algorithm is motivated by the problem of spacecraft attitude control using only magnetic torques, it can be used in any time-verying system (A, B(t)) where only B(t) is a periodically time-varying matrix.

10 time (hours) Figure 1: Attitude response q 1. References 1 Musser, K.L., and Ebert, W.L., Autonomous spacecraft attitude control using magnetic torquing only, Proceedings of the Flight Mechanics and Estimation Theory Symposium, NASA Goddard Apce Flight Center, Greenbelt, MD, pp , Pittelau, M.E., Optimal periodic control for spacecraft pointing and attitude determination, Journal of Guidance, Control, and Dynamics, Vol. 16, No. 6, 1993, pp Wisniewsi, R., Linear time varying approach to satellite attitude control using only electromagnetic actuation, Proceedings of the AIAA Guidance, Navigation, and Control Conference, New Orleans, 1997, pp Paiai, M.L., Magnetic torque attitude control via asymptotic period linear quadratic requlation, Journal of Guidance, Control, and Dynamics, Vol. 24, No. 2, 21, pp Lovera, M., and Astolfi, A., Spacecraft attitude control using magnetic actuators, Automatica, Vol. 4, 24, pp Silani, E., and Lovera, M., Magnetic spacecraft attitude control: a survey and some new results, Control Engineering Practice, Vol. 13, 25, pp Lovera, M., and Astolfi, A., Global magnetic attitude control of spacecraft in the presence of gravity gradient, IEEE Transactions on Aerospace and Electronic System, Vol. 42, No.3, 26, pp Yan, H., Ross, I.M., and Alfriend, K.T., Pseudospectral feedbac control for three-axes magnetic attitude stabilization in elliptic orbits, Journal of Guidance, Control, and Dynamics, Vol. 3, No. 4, 27, pp

11 time (hours) Figure 2: Attitude response q 2. 9 Pulecchi, T., Lovera, M., and Varga, A., Optimal discrete-time design of three-axis magnetic attitude control laws, IEEE Transactions on Control System Technology, Vol. 18, No. 3, 21, pp Chen X., and Wu, X., Model predictive control of cube satellite with magnet-torque, Proceedings of the 21 IEEE International Conference on Information and Automation, Harbin, China, 21, pp Rehanoglu M., and Hervas, J.R., Three-axis magnetic attitude control algorithm for small satellites, Proceeding of the 5th International Conference on Recent Advance Technologies, Istanbul, 211, pp Zanchettin, A.M., and Lovera, M., H attitude control of magnetically actuated satellite, Proceedings of 18th IFAC World Congress, Milano, Italy, 211, pp Bhat, S.P., Controllability of nonlinear time-varying systems: application to spacecraft attitude control using magnetic actuation, IEEE Transactions on Automatic Control, Vol. 5, No. 11, 25, pp Yang, Y., Controllability of spacecraft using only magnetic torques, to appear in IEEE Transactions on Aerospace and Electronic System, available in arxiv: , Yang, Y., Quaternion based model for momentum biased nadir pointing spacecraft, Aerospace Science and Technology, Vol. 14, No. 3, 21, Yang, Y., Analytic LQR design for spacecraft control system based on quaternion model, Journal of Aerospace Engineering, Vol. 25, No. 3, 212, pp Yang, Y., Quaternion based LQR spacecraft control design is a robust pole assignment design, Journal of Aerospace Engineering, Vol. 27, No. 1, 214,, pp

12 time (hours) Figure 3: Attitude response q Sidi, M.J., Spacecraft Dynamics and Control: A Practical Engineering Approach, Cambridge University Press, Cambridge, UK, Wertz, J., Spacecraft Attitude Determination and Control, Kluwer Academic Publishers, Dordrecht, Holland, Lewis, F.L., Vrabie, D., and Syrmos, V.L., Optimal Control, 3rd Edition, John Wiley & Sons, Inc., New Yor, USA, Bittanti, S., Periodic Riccati equation, The Riccati Equation, edited by S. Bittanti, et. al, Spriner, Berlin, 1991, pp Laub, A.J., A Schur method for solving algebraic Riccati equations, IEEE Transactions on Automatic Control, Vol. 24, No. 6, 1979, pp Vaughan D.R. A nonrecursive algebraic solution for the discrete Riccati equation, IEEE Transactions on Automatic Control, Vol. 15, No. 5, 197, pp Laub, A.J., Canonical forms for σ-symplectic matrices, M.S. thesis, School of Mathematics, Univ. of Minnesota, MN, Murnaghan, F.D., and Wintner, A., A canonical form for real matrices under orthogonal transformations, Proc. Nat. Acad. Sci., Vol. 17, 1931, pp Hench, J.J., and Laub, A.J., Numerical solution of the discrete-time periodic Riccati equation, IEEE Transactions on Automatic Control, Vol. 39, No.6, 1994, pp Pappas, T., Laub, A.J., and Sandell, N.R., On the numerical solution of the discrete-time algebraic Riccati equation, IEEE Transactions on Automatic Control, Vol. 25, No.4, 198, pp

13 3 x rad/second time (hours) Figure 4: Body rate response ω 1. rad/second x time (hours) Figure 5: Body rate response ω 2.

14 2 x rad/second time (hours) Figure 6: Body rate response ω 3.