Research Article Volume 5 Issue 2
Immersion and invariance based adaptive attitude control of asteroid-orbiting spacecraft using modified Rodrigues parameters
Sahjendra N Singh,2
Regret for the inconvenience: we are taking measures to prevent fraudulent form submissions by extractors and page crawlers. Please type the correct Captcha word to see email ID.
Keum W Lee1
1Professor, Department of Electronic Engineering, Catholic Kwandong University, Republic of Korea
2Professor, Department of Electrical and Computer Engineering, University of Nevada Las Vegas, USA
Correspondence: Sahjendra N Singh, Professor, Department of Electrical and Computer Engineering, University of Nevada Las Vegas, Las, Vegas, NV 89154
Received: June 11, 2021 | Published: July 30, 2021
Citation: Lee KW, Singh SN. Immersion and invariance based adaptive attitude control of asteroid-orbiting spacecraft using modified Rodrigues parameters. Aeron Aero Open Access J. 2021;5(2):57-64. DOI: 10.15406/aaoaj.2021.05.00128
Download PDF
Abstract
The attitude control of an asteroid-orbiting spacecraft based on immersion and invariance (I&I) theory is the subject of this paper. It is assumed that the moment of inertia matrix and the gravitational parameters are not known. The objective is to attain nadir pointing attitude on an elliptic orbit. First, based on the I&I principle, an adaptive attitude control system using the Modified Rodrigues Parameters (MRPs) is derived. Through the Lyapunov stability analysis, the asymptotic convergence of the MRP trajectories to the origin is established. Interestingly, in contrast to traditional adaptive systems, the trajectories of the closed-loop system converge to an attractive manifold in an extended state space. Then, for the purpose of comparison, this MRPs-based control law and a quaternions-based control system (also designed using the I&I principle) are simulated for the attitude control of the spacecraft in eccentric orbits around asteroid 433 Eros. It is observed that while each I&I-based control law can accomplish precise attitude control, for identical design parameters in these two control systems, the MRPs-based control law requires smaller control magnitude and accomplishes smoother convergence of trajectories to the attractive manifold, but requires larger settling time for the attitude trajectories, compared with the quaternions-based adaptive control law.
Keywords: asteroid-orbiting spacecraft, adaptive attitude control, immersion and invariance, parameter identifier, gravitational potential, nonlinear system
Introduction
For scientific exploration, missions to small bodies in the solar system, such as asteroids and comets, are extremely important. There have been several successful missions, such as NEAR, Hayabusa I, and Rosetta, and future missions (DART, Lucy, and Psyche) have been planned. Transporting near-Earth asteroids to halo orbits in the Earth-Moon system is of special interest to NASA. Additionally, transmitters can be stationed on asteroids for interplanetary flights.
Asteroids have irregular shapes and non-uniform density, and their gravitational force varies with the spatial coordinates of orbiting spacecraft. Researchers have analyzed the effect of the non-uniform gravity field of asteroids on attitude dynamics.1-4 It has been found that certain combinations of orbital and asteroid rotational rates can cause pitch resonance.1,2 Based on the Poincare section, the attitude motion of spacecraft has been analyzed.3 The authors have analyzed orbit-attitude coupled dynamics around small bodies and obtained a natural Sun-synchronous orbit and Sun-tracking attitude.4 For a linear time-varying model, an inverse control law for the yaw, pitch, and roll angle control has been designed.2 A nonlinear attitude control law for spacecraft with a large captured object (asteroid) has been derived.5 Researchers have also designed control systems for position and attitude control of spacecraft operating in the vicinity of asteroids.6-11 The design proposed by authors7 yields a finite time control law. Also, an adaptive sliding mode controller,8 a robust adaptive system,9 and a nonlinear control law based on the Lyapunov theory10 for orbit and attitude control have been derived. Based on a Hamiltonian representation of the coupled orbit-attitude dynamics, a control law has been obtained.11
For the control of nonlinear uncertain systems, a design methodology based on the notion of immersion and invariance (I&I) has been developed by Astolfi and Ortega12 and Astolfi et al.13 This design method yields a noncertainty-equivalence adaptive (NCEA) control system. Unlike traditional certainty-equivalence adaptive (CEA) schemes,14 the I&I-based designed identifier provides a net parameter estimate as a sum of a signal derived from an integral adaptation rule and an algebraic function. The identifier of NCEA systems provides stronger stability properties in a closed-loop system. The original design methodology, developed by the authors,13,14 requires solution of a partial differential (matrix) inequality, which is not an easy task. Seo and Akella15 proposed use of the filtered signals to overcome this difficulty and designed a quaternion-based NCEA law for the attitude control of a rigid body. The solvability requirement of the partial differential inequality can also be avoided by using dynamic scaling.13 A dynamic scaling-based NCEA attitude control law has been developed.16 An NCEA law has been designed for the pose control of a 6-DOF Earth-orbiting spacecraft described by dual quaternion.17 Also, a filter-free NCEA attitude control system has been proposed, which yields faster responses, compared with a controller with filters.18 NCEA laws have also been considered for hovering and the orbit control in the vicinity of asteroids.19,20 Recently, I&I-based adaptive control systems for the regulation of the yaw, pitch, and roll angles21 and quaternion trajectory22 of asteroid-orbiting spacecraft have been developed. A supertwisting control system for the control of spacecraft orbiting around asteroid has been developed.23 In a recent paper, based on the immersion and invariance principle, a generalized composite adaptive control law for asteroid-orbiting spacecraft has been designed.24
The attitude parameterization using a quaternion vector of dimension four is often made. However, for simplicity, the modified Rodrigues parameter (MRP) vector consisting of only three elements can be used for attitude representation. But the modified Rodrigues parameters (MRPs) are limited to eigen-axis rotations in the interval [0; 360) degrees. Of course, this limitation can be overcome by the use of shadow MRP.25,26 The authors have proposed sliding mode, CEA, and passifying control systems for MRP attitude control.27-29 It appears from the literature that an MRP-based NCEA attitude control law has not been designed for asteroid-orbiting spacecraft. Because NCEA laws provide parameter estimators with stronger stability properties, it is of interest to design an MRP-based attitude control system for asteroid related missions.
In this paper, the development of an adaptive attitude control law for nadir pointing of spacecraft - orbiting in elliptic orbits around rotating asteroids-is considered. This is important for the continuous observation of specific region of asteroid. It is assumed that the moment of inertia matrix of the spacecraft and asteroid's gravity field parameters are unknown.
The contribution of this paper is three-fold. First, an I&I-based NCEA attitude control law for the spacecraft model-including kinematics described by the MRPs-is designed. For the derivation of control law, a backstepping design method is adopted. Second, the asymptotic regulation of the MRP trajectory to the origin using Lyapunov stability analysis is established. Interestingly, unlike classical CEA systems, closed-loop system's trajectories converge to a manifold ℳa (to be defined later) in an extended-state space. Third, numerical results are presented for the MRP trajectory regulation of a spacecraft orbiting in eccentric orbits around asteroid 433 Eros. The results show precise attitude control despite uncertainties in the model. Also, for the purpose of comparison, the closed-loop system including the I&I-based adaptive law22-designed for quaternion trajectory control-is simulated. The results show that for identical feedback gains in the two control systems, the MRP-based control law requires a smaller control magnitude and achieves smoother convergence of trajectories to the manifold ℳa compared with the quaternion-based controller, but the settling time for the attitude trajectories is larger.
Asteroid-orbiting satellite dynamics
The spacecraft orbiting in an equatorial orbit - around an irregularly-shaped asteroid-is shown in Figure 1. In the figure, (XI, YI, ZI), (X0, Y0, Z0), and (XB, YB, ZB) represent an inertial frame (with its origin at the center of mass of the asteroid), an orbital frame, and a body-fixed frame (both centered at the center of the mass of the satellite), respectively. The asteroid is rotating about ZI normal to the equatorial plane with a constant rate Ω. Another frame , fixed to the asteroid (not shown in the figure), is aligned with the three centroidal principal axes of the asteroid. The axis X0 is in the orbital plane and points in the transverse direction; Z0 is along the radial line pointing towards the asteroid's center of mass; and Y0 = Z0 X0 is normal to the orbit plane. For equatorial orbits, (X0, Y0, Z0) frame is obtained from (XI, YI, ZI) by a single rotation angle equal to the true anomaly η.
Figure 1 Asteroid-orbiting spacecraft.
For this study, the dynamical model of the spacecraft, developed by Reyhanoglu et al.10, is considered, but their model uses a four dimensional quaternion vector qa to represent the kinematic equations. In this paper, it is of interest to describe the attitude, using the MRP vector
for simplicity. Therefore, certain modifications in the spacecraft dynamical model10 will be necessary. Now, the attitude of the spacecraft with respect to the orbital frame is described by the MRP vector
, which satisfies:
(1)
where
and Φ are Euler's principal rotation axis and principal angle of rotation, respectively. Thus, Eq. (1) has singularity at Φ= ±360 [deg]. However, this limitation can be removed by switching σ to the shadow MRP
, when
.25,26 The direction cosine matrix
from the orbital frame to the frame (XB, YB, ZB) can be written in a compact form as:26
(2)
where
, and for any vector
is the skew-symmetric matrix defined as:
The angular velocity of the orbital frame with respect to the inertial frame expressed in the orbital frame is
, where η is the true anomaly. Let the angular velocity of the spacecraft with respect to the inertial frame (expressed in the body frame (XB, YB, ZB)) be
. Also, denote the relative angular velocity of the spacecraft with respect to the orbital frame as
. Then
can be written as:
(3)
where
and
is the ith column of
. (Often the arguments of functions and matrices are suppressed for simplicity.)
The MRP vector σ satisfies the following differential equation:26
(4)
Where:
(5)
The rotational equations of motion of the spacecraft are:
(6)
where u = [u1, u2, u3]T, J = diag{J1, J2, J3}, Mg = [Mg1, Mg2, Mg3]T, and
are the control torque vector, principal inertia matrix, gravity gradient torque vector, and disturbance input, respectively.
For the computation of Mg, the following functions are introduced:10
(7)
where λc is longitude of the center of mass of the satellite, Rc is the radial distance between the centers of mass of the asteroid and the spacecraft, and r0 is the characteristic length. Here, only the most significant spherical harmonic coefficients C20 and C22 of the gravitational potential are considered.10 (Of course, the design method is applicable, if additional coefficients are used.) The gravitational parameter of the asteroid is μ = GMa, where G is the universal gravitational constant, and Ma is the mass of the asteroid. Here, the satellite's orbit in the equatorial plane is considered. For prograde orbits, one has
, where is the asteroid's constant angular rate.
The gravity torque Mgi, (i = 1, 2, 3), derived by Reyhanoglu et al.10, are considered for design, but now, the MRP-dependent matrix
is used for computation. Thus, Mgi(σ); (i = 1, 2, 3) are given by:
(8)
(9)
(10)
where
is the ijth element of matrix
, and:
is assumed to be an unknown parameter vector. Define a regressor matrix
. Then, the gravity torque takes a compact form as:
(11)
Substituting Eq. (11) in (6) and assuming that disturbance input d is zero, one obtains:
(12)
The objective is to design a control law for the system (4) and (12) such that
asymptotically converges to zero, despite uncertainties in the parameter vector p. Then, it follows that the spacecraft will attain a nadir pointing attitude.
MRP trajectory control system design
The design is based on a backstepping method. For the design, it is assumed that the disturbance torque d(t) is zero. (Later, robustness of control law will be examined by simulation for d ≠ 0).
Step 1
With an objective to regulate σ to zero, consider a Lyapunov function:
(13)
Its derivative along the solution of Eq. (4) is:
(14)
Using B from Eq. (5), one can verify that:
(15)
Let
be a virtual stabilizing signal, and define the error
. Then, using Eq. (15), Eq. (14) gives:
(16)
Selecting
as:
(17)
and then, substituting Eq. (17) in Eq. (16) gives
(18)
Step 2
Now, it is essential to regulate the error
(19)
to zero. Noting that
, the derivative of
can be written as:
(20)
Next, differentiating and using Eq. (12) gives:
(21)
where
The remaining part of the derivation of the control law is similar to Lee and Singh,22 in which quaternions have been used as attitude parameters. Of course, differences arise in the computation of the regressor matrix by the use of MRP. Therefore, the derivation will be presented briefly.
Let s be the Laplace variable or a differential operator. By adding and subtracting
in Eq. (21), and defining:
and
, one obtains:
(22)
where α, k2, and k3 are positive design parameters.
For the design of control input, a filtered version of Eq. (22), using a transfer function
, is considered. The filtered signals satisfy the following equations:
(23)
(24)
(25)
Then, filtering both sides of Eq. (22) with H(s), gives:
(26)
Now, in view of Eq. (26), uf is chosen as:
(27)
where
is the net estimate of the unknown parameter vector p. The component β is an algebraic vector function, and is the partial estimate of p. This choice of full estimate
differs from the parameter estimate of CEA systems. In CEA systems, β is zero. The use of an algebraic function in the net estimate provides stronger stability properties in the closed-loop system.
Define the parameter error as
. Then, substituting the control signal in Eq. (26) gives:
(28)
For stability analysis, consider a Lyapunov function:
With the choice of
, after some manipulations, one can show that22:
(29)
Parameter estimation
Now, the derivation of parameter estimate is considered. The algebraic component β is chosen as:
(30)
For the derivation of an update law for
, consider the dynamics of the parameter error
. Its derivative using Eq. (28) takes the form:
(31)
where one has
from Eq. (23). Now, an update law is selected as:
(32)
Next, substituting Eq. (32) in (31) gives:
(33)
To examine the stability of the estimator, consider a Lyapunov function
with v > 0. Its derivative is:
(34)
where
and
denote minimum and maximum eigenvalues of
, respectively. Since
, it follows that z is bounded.
Closed-loop system stability
Now, the stability of the closed-loop system is examined. For this purpose, consider a composite Lyapunov function:
(35)
Using Eqs.(29) and (34), after some simplification, the derivative of W takes the form:
(36)
Note that v is a free parameter. Thus, for a sufficiently large v, there exists l* > 0 such that:
(37)
Because W is positive definite and
, the signals σ,
, z, and
are bounded. Of course, the boundedness of the filtered signal
implies that the input
is bounded. This also implies the boundedness of
. Thus, all the signals in the closed-loop system are bounded. Now, based on the boundedness of the derivatives of the signals, using Barbalat's lemma, one can prove that
converge to zero. Furthermore, using arguments similar to those of Lee and Singh,22 one shows that σ and
asymptotically converge to zero. Thus, the controller accomplishes nadir pointing control.
Remark 1: It is interesting to note that in the closed-loop system, the trajectories converge to a manifold ℳa defined as:
(38)
This property of the NCEA system is not possible in CEA systems using the classical update law.
Now, for the implementation of the controller, computation of u from uf is considered. Using Eqs. (25) and (27) gives:
(39)
Computing the derivative of β given in Eq. (30) and using Eqs. (23) and (32) in (39) gives the control law:
(40)
This completes the design of the controller based on MRP attitude parameters.
Simulation results
This section presents the results of simulation. It is assumed that the satellite is in an equatorial elliptic orbit around asteroid 433 Eros. Simulation is done using the MRP control law as well as the I&I-based adaptive control law of Ref.22–designed for quaternion vector
control. The quaternions satisfy:26
The MRP vector σ is defined in terms of quaternions as follows:
It is assumed that (J1, J2, J3) = (33, 33, 50) [Kg.m2], and the mass of the spacecraft is 600 [kg]. The remaining parameters of the model are: r0 = 9:933 [km], C20 = -0.0878, and C22 = 0.0439.22 The gravitational parameter of 433 Eros and its rotation rate used for simulation are μ = 4.4650×10-4 [km3/s2] and Ω = 3:312×10-4[rad/s], respectively. The radial distance Rc and the orbital rate are:
where a is the semi-major axis, e is the eccentricity, and
is the semilatus rectum. The initial conditions are qi(0) = 0.5, (i = 1, .., 4) and ω(0) = (0.0004, 0.0004, 0.0004)T [rad/s]. Thus, one has σi(0) = 0.5/1.5, (i = 1, 2, 3).
The selected feedback gains are k1 = 0.1, k2 = 0.3; k3 = 0.2, and the filter parameter α is 0.5. The adaptation gain is set as γ = 5500. The initial value of the parameter estimate is arbitrarily set as
. The filter initial values are
and
.
It is assumed that the spacecraft is in a prograde elliptic orbit. The semi-major axis is 40 [km] and eccentricity is 0.3 or 0.4. It should be noted that for the purpose of comparison, the design parameters of this controller have been set equal to those of Ref.22, which was designed for quaternion control.
Case A. Adaptive MRP and quaternion control of spacecraft in prograde elliptic orbits: e = 0.3, 0.4, a = 40 [km], d = 0
The simulated responses of the closed-loop systems for MRP (left column) and quaternions (right column) control for (a = 40 [km], e = 0.3, d(t) = 0) are shown in Figure 2. It is observed that σ and q converge to zero in about 30 and 20 [sec], respectively. Also, q4 converges to one. The maximum magnitudes (umax, ωmax) of (u, ω) are ([1.2369, 1.2012, 1.5021]T [Nm], [5.1234, 4.6384, 4.7175]T [deg/s]) for σ control, and ([2.6971, 2.5942, 3.3546]T [Nm], [8.0291, 7.4175, 7.6238]T [deg/s]) for qa control, respectively.
Figure 2 Adaptive control of spacecraft in prograde elliptic orbit (Rc = 40 [km], e = 0.3; d = 0): (a) MRP control (b) Quaternion control.
Simulation was also done for larger eccentricity (e = 0.4). The responses are shown in Figure 3. One observes that despite large eccentricity, responses are somewhat similar to those of Figure 2. It is seen in Figures 2 & 3 that for both eccentricities, compared with the quaternion-based control law, the MRP-based control system achieves attitude control with smaller control magnitude, but requires larger settling time. Additionally, the convergence of trajectories to the manifold ℳa for σ control is smoother (see the plots for
in Figures 2 and 3).
Figure 3 Adaptive control of spacecraft in prograde elliptic orbit (Rc = 40 [km], e = 0.4; d = 0): (a) MRP control (b) Quaternion control.
Case B. Adaptive MRP and quaternion control in prograde elliptic orbit: e = 0.4, a = 40 [km], d ≠ 0
For simulation, random signals di, (i = 1, 2, 3), were generated by passing white noise through a filter transfer function
. The mean value and the variance of the white noise were assumed to be 0 and 1, respectively. The signals di, (i = 1, 2, 3), are shown in Figure 4. (Disturbance torque caused by solar radiation pressure can be expected to be of similar order (10-3) [Nm] or even smaller.4) Simulated responses for (a = 40 [km], e = 0.4) are shown in Figure 4. It is observed that σ and q converge to zero despite the parametric uncertainties and random disturbance torque.
Figure 4 Adaptive control of spacecraft in prograde elliptic orbit (Rc = 40 [km], e = 0.4; d ≠ 0): (a) MRP control (b) Quaternion control.
Conclusion
In this paper, an I&I-based adaptive controller was designed for the attitude control of spacecraft orbiting around asteroid. For the representation of attitude, the modified Rodrigues parameters were used. The inertia matrix and the gravity field parameters were assumed to be unknown. By the Lyapunov analysis, the convergence of the MRPs and system's trajectories to the origin and to the manifold ℳa, respectively, was accomplished. Also, for the purpose of comparison, the quaternion-based NCEA law22 was simulated. The responses showed that with identical design parameters in these two control laws, the MRP-based control law required smaller control magnitude and accomplished smoother convergence of trajectories to the manifold ℳa, but required larger settling time for the attitude trajectories.
Acknowledgments
Conflicts of interest
The authors declare that there is no conflict of interest.
References
- Misra AK, Panchenko Y. Attitude dynamics of satellites orbiting an asteroid. Journal of the Astronautical Sciences. 2006;(54)(3-4):369‒381.
- Kumar KD. Attitude dynamics and control of satellites orbiting rotating asteroids. Acta Mechanica. 2008;198(1-2):99‒118.
- Wang Y, Xu S. Analysis of the attitude dynamics of a spacecraft on a stationary orbit around an asteroid via Poincare section. Aerospace Science and Technology. 2014;39:538‒545.
- Kikuchi S, Howell KC, Tsuda Y, et al. Orbit-attitude coupled motion around small bodies: Sun-synchronous orbits with sun-tracking attitude motion. Acta Astronautica. 2017;140:34‒48.
- Bandyopadhyay S, Chung SJ, Hadaegh FY. Nonlinear attitude control of spacecraft with a large captured object. J Guid Control Dyn. 2016;39(4):754‒769.
- Lee D, Sanyal AK, Butcher EA, et al. Almost global asymptotic tracking control for spacecraft body-fixed hovering over an asteroid. Aerospace Science and Technology. 2014;38:105‒115.
- Lee D, Sanyal AK, Butcher EA, et al. Finite-time control for spacecraft body-fixed hovering over an asteroid. IEEE Trans Aerosp Electronic Systems. 2015;51(1):506‒520.
- Lee D, Vukovich, G. Adaptive sliding mode control for spacecraft body-fixed hovering in the proximity of an asteroid. Aerospace Science and Technology. 2015;46:471‒483.
- Vukovich G, Gui H. Robust adaptive tracking of rigid-body motion with application to asteroid proximity operations. IEEE Trans on Aerospace and Electronic Systems. 2017;53(1):419‒430.
- Reyhanoglu M, Kamran N, Takahiro K. Orbital and attitude control of a spacecraft around an asteroid. 12th International Conference on Control, Automation and Systems: Jeju Island, South Korea; 2012.
- Wang Y, Xu S. Body-fixed orbit-attitude hovering control over an asteroid using non-canonical Hamiltonian structure. Acta Astronautica. 2015;117:450‒468.
- Astolfi A, Ortega R. Immersion and invariance: A new tool for stabilization and adaptive control of nonlinear systems. IEEE Trans Autom Control. 2003;48(4):590‒606.
- Astolfi A, Karagiannis D, Ortega R. Nonlinear and adaptive control with applications. Springer-Verlag: London; 2008.
- Ioannou P, Sun J. Robust adaptive control. Prentice-Hall: Englewood Cliffs, NJ; 2013.
- Seo D, Akella MR. High-performance spacecraft adaptive attitude-tracking control through attracting-manifold design. J Guid Control Dyn. 2008;31(4):884‒891.
- Yang S, Akella MR, Mazenc F. Dynamically scaled immersion and invariance adaptive control for Euler-Lagrange mechanical system. J Guid Control Dyn. 2017;40(11):2844‒2856.
- Seo D. Fast adaptive pose tracking control for satellites via dual quaternion upon non-certainty equivalence principle. Acta Astronautica. 2015;115:32‒39.
- Wen H, Yue X, Li P, et al. Fast spacecraft adaptive attitude tracking control through immersion and invariance design. Acta Astronautica. 2017;139:77‒84.
- Zhang B, Cai Y. Immersion and invariance vased adaptive backstepping control for body-fixed hovering over an asteroid. IEEE Access. 2019;7:34850‒34861.
- Lee KW, Singh SN. Immersion-and invariance-based adaptive control of asteroidorbiting and - hovering spacecraft. J Astronaut Sci. 2019;66:537‒553.
- Lee KW, Singh SN. Noncertainty-equivalence adaptive attitude control of satellite orbiting around an asteroid. Acta Astronautica. 2019;161:24‒39.
- Lee KW, Singh SN. Quaternion-based adaptive attitude control of asteroid-orbiting spacecraft via immersion and invariance. Acta Astronautica. 2020;167:164‒180.
- Lee KW, Singh SN. Adaptive and Super-Twisting Adaptive Spacecraft Orbit Control Around Asteroids. ASCE Journal of Aerospace Engineering. 2019;32(4):04019042.
- Lee KW, Singh SN. Generalized Composite Noncertainty-Equivalence Adaptive Control of Orbiting Spacecraft in Vicinity of Asteroid. The Journal of the Astronautical Sciences. 2020;67(3):1021‒1043.
- Schaub H, Junkins JL. Stereographic orientation parameters for attitude dynamics: A generalization of the Rodrigues parameters. Journal of Astronautical Sciences. 1996;44(1):1‒19.
- Schaub H, Junkins JL. Analytical mechanics of space systems. 3rd ed. AIAA Education Series: Reston, VA; 2014.
- Crassidis JL, Markley FL. Sliding mode control using modified Rodrigues parameters. Journal of Guidance, Control, and Dynamics. 1996;19(6):1381‒1383.
- Schaub H, Akella MR, Junkins JL. Adaptive control of nonlinear attitude motions realizing linear closed loop dynamics. Journal of Guidance, Control, and Dynamics. 2001;24(1):95‒100.
- Tsiotras P. Further passivity results for the attitude control problem. Journal of Guidance, Control, and Dynamics. 1998;43(11):1597‒1600.
©2021 Lee, et al. This is an open access article distributed under the terms of the,
which
permits unrestricted use, distribution, and build upon your work non-commercially.