Loading [MathJax]/jax/output/SVG/jax.js
Research article Special Issues

Dynamics of T cell receptor distributions following acute thymic atrophy and resumption

  • Received: 29 December 2018 Accepted: 15 July 2019 Published: 23 September 2019
  • Naive human T cells are produced and developed in the thymus, which atrophies abruptly and severely in response to physical or psychological stress. To understand how an instance of stress affects the size and "diversity" of the peripheral naive T cell pool, we derive a mean-field autonomous ODE model of T cell replenishment that allows us to track the clone abundance distribution (the mean number of different TCRs each represented by a specific number of cells). We identify equilibrium solutions that arise at different rates of T cell production, and derive analytic approximations to the dominant eigenvalues and eigenvectors of the mathematical model linearized about these equilibria. From the forms of the eigenvalues and eigenvectors, we estimate rates at which counts of clones of different sizes converge to and depart from equilibrium values-that is, how the number of clones of different sizes "adjusts" to the changing rate of T cell production. Under most physiological realizations of our model, the dominant eigenvalue (representing the slowest dynamics of the clone abundance distribution) scales as a power law in the thymic output for low output levels, but saturates at higher T cell production rates. Our analysis provides a framework for quantitatively understanding how the clone abundance distribution evolves under small changes in the overall T cell production rate.

    Citation: Stephanie M. Lewkiewicz, Yao-Li Chuang, Tom Chou. Dynamics of T cell receptor distributions following acute thymic atrophy and resumption[J]. Mathematical Biosciences and Engineering, 2020, 17(1): 28-55. doi: 10.3934/mbe.2020002

    Related Papers:

    [1] Jingjing Yang, Jianqiu Lu . Stabilization in distribution of hybrid stochastic differential delay equations with Lévy noise by discrete-time state feedback controls. AIMS Mathematics, 2025, 10(2): 3457-3483. doi: 10.3934/math.2025160
    [2] Xiao Yu, Yan Hua, Yanrong Lu . Observer-based robust preview tracking control for a class of continuous-time Lipschitz nonlinear systems. AIMS Mathematics, 2024, 9(10): 26741-26764. doi: 10.3934/math.20241301
    [3] Hany Bauomy . Control and optimization mechanism of an electromagnetic transducer model with nonlinear magnetic coupling. AIMS Mathematics, 2025, 10(2): 2891-2929. doi: 10.3934/math.2025135
    [4] Jenjira Thipcha, Presarin Tangsiridamrong, Thongchai Botmart, Boonyachat Meesuptong, M. Syed Ali, Pantiwa Srisilp, Kanit Mukdasai . Robust stability and passivity analysis for discrete-time neural networks with mixed time-varying delays via a new summation inequality. AIMS Mathematics, 2023, 8(2): 4973-5006. doi: 10.3934/math.2023249
    [5] Limei Liu, Xitong Zhong . Analysis and anti-control of period-doubling bifurcation for the one-dimensional discrete system with three parameters and a square term. AIMS Mathematics, 2025, 10(2): 3227-3250. doi: 10.3934/math.2025150
    [6] Abdul Qadeer Khan, Zarqa Saleem, Tarek Fawzi Ibrahim, Khalid Osman, Fatima Mushyih Alshehri, Mohamed Abd El-Moneam . Bifurcation and chaos in a discrete activator-inhibitor system. AIMS Mathematics, 2023, 8(2): 4551-4574. doi: 10.3934/math.2023225
    [7] Omar Kahouli, Imane Zouak, Ma'mon Abu Hammad, Adel Ouannas . Chaos, control and synchronization in discrete time computer virus system with fractional orders. AIMS Mathematics, 2025, 10(6): 13594-13621. doi: 10.3934/math.2025612
    [8] Zhiqiang Chen, Alexander Yurievich Krasnov . Disturbance observer based fixed time sliding mode control for a class of uncertain second-order nonlinear systems. AIMS Mathematics, 2025, 10(3): 6745-6763. doi: 10.3934/math.2025309
    [9] Sheng-Ran Jia, Wen-Juan Lin . Adaptive event-triggered reachable set control for Markov jump cyber-physical systems with time-varying delays. AIMS Mathematics, 2024, 9(9): 25127-25144. doi: 10.3934/math.20241225
    [10] Hyung Tae Choi, Jung Hoon Kim . An L performance control for time-delay systems with time-varying delays: delay-independent approach via ellipsoidal D-invariance. AIMS Mathematics, 2024, 9(11): 30384-30405. doi: 10.3934/math.20241466
  • Naive human T cells are produced and developed in the thymus, which atrophies abruptly and severely in response to physical or psychological stress. To understand how an instance of stress affects the size and "diversity" of the peripheral naive T cell pool, we derive a mean-field autonomous ODE model of T cell replenishment that allows us to track the clone abundance distribution (the mean number of different TCRs each represented by a specific number of cells). We identify equilibrium solutions that arise at different rates of T cell production, and derive analytic approximations to the dominant eigenvalues and eigenvectors of the mathematical model linearized about these equilibria. From the forms of the eigenvalues and eigenvectors, we estimate rates at which counts of clones of different sizes converge to and depart from equilibrium values-that is, how the number of clones of different sizes "adjusts" to the changing rate of T cell production. Under most physiological realizations of our model, the dominant eigenvalue (representing the slowest dynamics of the clone abundance distribution) scales as a power law in the thymic output for low output levels, but saturates at higher T cell production rates. Our analysis provides a framework for quantitatively understanding how the clone abundance distribution evolves under small changes in the overall T cell production rate.



    Table 1.  Nomenclature.
    b earth's magnetic induction field b0 earth's magnetic induction field in coordinate system
    er unit vector of orbital coordinate system Ji main central inertia moments, i=1,2,3
    Mc magnetic control moment m intrinsic magnetic moment
    r orbital radius ω absolute angular velocity
    ω0 orbital angular velocity θi attitude Euler angles,i=1,2,3
    μE earth's magnetic field constant β inclination angle of orbital plane to the equatorial plane
    Θ direction cosine matrix

     | Show Table
    DownLoad: CSV

    Satellite attitude control system, which is an important guarantee system for satellite normal operation, affects the working performance and on-orbit lifetimes directly. Because of low cost and high reliability, magnetic control technology has been widely applied in the early stages of satellite development [1,2,3]. White, Shigemoyo and Bourquin firstly provided the concept of satellite attitude control, making it possible to achieve orientation of satellites with magnetictorquers. Soon, the first satellite magnetic attitude control method was proposed by Ergin and Wheeler [4], and they gave some advantages of magnetic control. Later, Renard [5] presented method based on averaged models to study the issue of attitude control with magnetic moments. Recently, wide application of periodic control system brings the research and development of magnetic control theory to a new height [6,7,8]. In order to predict the trajectory of a satellite with magnetic moments, numerous efforts have been made to investigate the nonlinear system's stability and controllability, which is based on the following Euler dynamic equation [9,10]

    Jdωdt+ω×Jω=3ω20(er×Jer)+Mc, (1.1)

    where J=diag(J1,J2,J3), ω=[ω1,ω2,ω3]T, ω0=[ω01,ω02,ω03]T, the unit vector er=[0,0,1], and × is the familiar operation of cross product. The control moment Mc is

    Mc=m(t)×b(t),

    where m(t)=[m1,m2,m3]T and b(t)=Θb0(t), b0(t) can be approximated by the direct magnetic dipole as [11],

    b0(t)=μEr3[cosω0tsinβcosβ2sinω0tsinβ].

    Many scholars focused on controllability of satellite magnetic control system based on control theories for nonlinear and linear time-varying continuous systems [12,13,14,15]. However, exact solutions and fundamental solution matrix of these time-varying continuous systems are hard to obtain, although controllability conditions of systems are satisfied. Therefore, the trajectory of satellites can not be predicted correctly. Therefore, numerous studies have been done to deal with the nonlinear second-order time-varying system (1.1) by linearization method [13,15]. With the development of computer technology, quite a number of research works regarding discrete-time systems have been reported in the literature [16,17,18] and the controllability and observability of discrete linear systems have attracted a lot of interest [19,20,21,22,23]. Witczak etc. provided a necessary and sufficient condition for the observability of first-order discrete time-varying linear systems. Mahmudov proposed the controllability and observability conditions of second-order discrete linear time-varying systems in a matrix form. The controllability and observability conditions for the problem of discrete satellite magnetic attitude control have not been presented to the best of our knowledge. Usually, the difference methods based on Taylor series are widely used for approximation discretization of the continuous-time systems [23]. A brief review of the possible approach to discretize linear and nonlinear time-varying systems so far has been presented in [24]. Here, we investigate controllability and observability property of the linearized form of equation (1.1) by transforming it into a discrete time-varying system with second derivation by the forward and backward Euler method. Then, the controllability and observability conditions of a new discrete second-order linear time-varying system are proposed, which are applied to investigate the controllability and observability of the discretized satellite magnetic control system. Different periods τ are chosen to investigate the effect on controllability and observability of the resulting discrete system.

    The rest of this paper is structured as follows. In Section 2, two different discrete schemes of the second-order linear time-varying system represented by the linearized satellite magnetic attitude control motion equation are obtained by Euler method. The linearized satellite magnetic attitude control system is changed into a discrete second-order time-varying system. In Section 3, the controllability conditions of a new discrete second-order linear time-varying system are proposed, which are applied to investigate the controllability of the discretized satellite magnetic control system. Section 4 investigates the observability of the discrete second-order satellite magnetic control system based on corresponding observability conditions. We give concluding remarks in the final section.

    In this section, the nonlinear second-order time-varying system represented by satellite attitude magnetic control motion equation (1.1) is linearized. We obtain two different discrete schemes of the second-order linear time-varying system by Euler method and transform the linearized satellite magnetic attitude control motion equation into a discrete second-order time-varying linear system.

    We assume the mass center of the satellite moving in earth's gravitational field and in a circular orbit. To satellite magnetic attitude control motion equation, the coordinate systems are described as follows:

    (1) orbital system (X,Y,Z). The origin is satellite mass center. The Z-axis points in the direction of the radius vector; the Y-axis is normal to the satellite orbit plane; and the X-axis forms the right-hand trial.

    (2) satellite body frame (x,y,z). The axes are assumed to coincide with the body's principle inertia axes and their origin are still at the center of satellite mass.

    The attitude of system (x,y,z) relative to the orbital system (X,Y,Z) is given by Euler angles θ1,θ2,θ3. Then the components of ω have form [13]

    ω=[ω1ω2ω3]=Cθ3θ2[˙θ1˙θ2˙θ3]+Θ[ω01ω02ω03], (2.1)

    where

    Cθ3θ2=[cosθ2cosθ3sinθ30cosθ2sinθ3cosθ30sinθ201], (2.2)

    and the direction cosine matrix Θ=[Θij] is represented using a 1-2-3 Euler angle rotation sequence as follows

    {Θ11=cosθ2cosθ3,Θ12=cosθ1sinθ3+sinθ1sinθ2cosθ3,Θ13=sinθ1sinθ3cosθ1sinθ2cosθ3,Θ21=cosθ2sinθ3,Θ22=cosθ1cosθ3sinθ1sinθ2sinθ3,Θ23=sinθ1cosθ3+cosθ1sinθ2sinθ3,Θ31=sinθ2,Θ32=sinθ1cosθ2,Θ33=cosθ1cosθ2. (2.3)

    In [15], Morozov and Kalenova gave the following linearized special second-order time-varying system of equation (1.1)

    ¨x(t)+D˙x(t)+Kx(t)=B(t)u(t), (2.4)

    where

    D=[00J1+J32J1ω0000J21J3J3ω000]=[00d1ω0000d3ω000],
    K=[4ω20J32J10003ω20J13J2000ω20J21J3]=[k1ω2000k2ω20000k3ω20],
    B(t)=ω20ϵ[02b1sinω0tb42b2sinω0t0b2cosω0tb5b3cosω0t0],

    and

    x(t)=[θ1,θ2,θ3]Tisthestatevector,ϵ=μEω20r3,d=J2J1+J3,di=dJi(i=1,3),Jij=JiJj(i,j=1,2,3),k1=4J32J1,k2=3J31J2,k3=J12J3,bj=sinβJj(j=1,2,3),b4=cosβJ1,b5=cosβJ3u(t)=m(t)=[m1,m2,m3]Tiscontrolvector,whichallowsthesatelliteattitudepositiontobestabilized.

    The complete linearized derivation of equation (1.1) can be found in [13].

    With certain assumptions, the equation of the measurement yielded by the magnetometer is represented as [25]

    y(t)=C(t)x(t) (2.5)

    where

    C(t)=[α20α1sinω0tα3cosω0t0α2α1cosω0tα3sinω0t]

    and αj(j=1,2,3) are constant quantities determining the position of the orbit in space, x(t)R3,y(t)R2 are state vector and output vector respectively.

    Then we have the following linear satellite magnetic attitude control system with measurement, corresponding coefficient matrices are in accordance with matrices in equation (2.4) and (2.5)

    {¨x(t)+D˙x(t)+Kx(t)=B(t)u(t),y(t)=C(t)x(t). (2.6)

    Firstly, letting t=kτ(k=0,1,2...), we realize an approximate form of ˙x(t) and ¨x(t) using Taylor forward expansion as

    ˙x(t)x((k+1)τ)x(kτ)τ (2.7)

    and

    ¨x(t)x((k+1)τ)2x(kτ)+x((k1)τ)τ2. (2.8)

    Substituting equation (2.7) and (2.8) into system (2.6), we have

    {x((k+1)τ)2x(kτ)+x((k1)τ)τ2+Dx((k+1)τ)x(kτ)τ+Kx(kτ)=B(kτ)u(kτ),y(kτ)=C(kτ)x(kτ). (2.9)

    Then we can get

    {(I3+τD)xk+1+(τ2KτD2I3)xk+xk1=τ2Bkuk,yk=Ckxk, (2.10)

    where I3 denotes the identity matrix of 3 dimension and

    xk=x(kτ),uk=u(kτ),yk=y(kτ),Ck=C(kτ),Bk=B(kτ). (2.11)

    Noting that

    I3+τD=[10d1ω0τ010d3ω0τ01] (2.12)

    and

    det(I3+τD)=1+d1d3ω20τ2>0, (2.13)

    which means the matrix I3+τD is invertible. Therefore, we can rewrite the system (2.10) as the following discrete system

    {xk+1=A0xk1+A1xk+˜Bkuk,yk=Ckxk, (2.14)

    where

    A0=(I3+τD)1=[1d1d3ω20τ2+10d1ω0τd1d3ω20τ2+1010d3ω0τd1d3ω20τ2+101d1d3ω20τ2+1],
    A1=(I3+τD)1(τD+2I3τ2K)=[1+k1ω20τ2+1d1d3ω20τ2+10d1τω0(k3ω20τ2+1)d1d3ω20τ2+10k2ω20τ2+20d3ω0τ(k1ω20τ2+1)d1d3ω20τ2+101+k3ω20τ2+1d1d3ω20τ2+1],
    ˜Bk=(I3+τD)1τ2Bk=τ2ω20ϵ[b5d1ω0τd1d3ω20τ2+12b1sinω0kτb3d1ω0τcosω0kτd1d3ω20τ2+1b4d1d3ω20τ2+12b2sinω0kτ0b2cosω0kτb5d1d3ω20τ2+1(b3cosω0kτ+2b1d3ω0τsinω0kτ)d1d3ω20τ2+1b4d3ω0τd1d3ω20τ2+1].

    Next, by analogy, the system (2.6) can also be discretized with backward Euler method. We can obtain an approximate form of ˙x(t) and ¨x(t) using Taylor backward expansion as

    ˙x(t)x(kτ)x((k1)τ)τ (2.15)

    and

    ¨x(t)x((k+1)τ)2x(kτ)+x((k1)τ)τ2. (2.16)

    Substituting equation (2.15) and (2.16) into system (2.6), letting t=kτ(k=0,1,2...),

    {x((k+1)τ)2x(kτ)+x((k1)τ)τ2+Dx((kτ)x((k1)τ)τ+Kx(kτ)=B(kτ)u(kτ),y(kτ)=C(kτ)x(kτ), (2.17)

    Based on equation (2.11) and (2.17) we get

    {xk+1+(Kτ2+Dτ2I3)xk+(I3Dτ)xk1=τ2Bkuk,yk=Ckxk. (2.18)

    Therefore, we can rewrite the system (2.17) as the following discrete system with backward Euler method,

    {xk+1=˜A0xk1+˜A1xk+˜˜Bkuk,yk=Ckxk, (2.19)

    where

    ˜A0=τDI3=[10d1ω0τ010d3ω0τ01],
    ˜A1=2I3τDτ2K=[k1ω20τ2+20d1ω0τ0k2ω20τ2+20d3ω0τ0k3ω20τ2+2],
    ˜˜Bk=τ2ω20ϵ[02b1sinω0kτb42b2sinω0kτ0b2cosω0kτb5b3cosω0kτ0],k=0,1,2....

    In general, when the sampling period τ is about one tenth of the minimum time constant of the system, the approximation is satisfactory enough. In fact, the error between the exact solution and the numerical solution will be lager if the period is too big, which makes the mathematical precision lower. On the contrary, if the period is too small, then step size increases and the computation is huge. Then, based on the similar form of discrete system (2.14) and (2.19), we can rewrite them as the following general discrete system

    {xk+1=ˆA0xk1+ˆA1xk+ˆBkuk,yk=Ckxk, (2.20)

    where xkRn,ykRr,ukRm(mn) are the state vector, the output vector and the control vector respectively. ˆA0,ˆA1Rn×n, ˆBkRn×m,CkRr×n are coefficient matrices.

    According to the definition of controllability of discrete linear time-varying systems in [26], we present the definition of controllability and uncontrollability of the second-order discrete time-varying linear system (2.20).

    Definition 1. The second-order discrete time-varying linear system (2.20) is said to be controllable to final state xn=xf in finite n steps if it exists an input sequence U={u0,u1,...,un1} which brings the initial state (x1,x0) to a final state xn=xf in the finite discrete time interval [0,n]. Otherwise the system (2.20) is uncontrollable.

    Theorem 1. The linear discrete-time varying system (2.20) is controllable if and only if rankC=n, and the controllability matrix C is defined by

    C=[M(n)n1ˆBn1,M(n)n2ˆBn2,...,M(n)1ˆB1,M(n)0ˆB0], (3.1)

    where

    M(n)i2=M(n)i1ˆA1+M(n)iˆA0,i=2,...,n1,M(n)n2=ˆA1,M(n)n1=In. (3.2)

    Proof Based on the form of the state vector in the system (2.20), we derive the following set of equations

    x1=ˆA0x1+ˆA1x0+ˆB0u0,x2=ˆA0x0+ˆA1x1+ˆB1u1=ˆA0x1+ˆA1(ˆA0x1+ˆA1x0+ˆB0u0)+ˆB1u1=ˆA1ˆA0x1+(ˆA0+ˆA21)x0+ˆA1ˆB0u0+ˆB1u1. (3.3)

    Thus, by iteration, it is finally not difficult to find that in equations (3.3) the kth instant state vector xk starting from initial time k=0 and k=1 is

    xk=Q(k)x1+P(k)x0+k1i=0M(k)iˆBiui, (3.4)

    where Q(k),P(k),M(k)i are polynomial functions consisted of matrices ˆA0,ˆA1, and they satisfy the following important iteration equations

    Q(k)=ˆA0Q(k2)+ˆA1Q(k1),Q(1)=On×n,Q(0)=In,P(k)=ˆA0P(k2)+ˆA1P(k1),P(0)=On×n,P(1)=In,k=2,3,...,M(k)i2=M(k)i1ˆA1+M(k)iˆA0,i=2,...,k1,M(k)k2=ˆA1,M(k)k1=In. (3.5)

    In a general case, the state vector at final time n can be written as

    xn=Q(n)x1+P(n)x0+n1i=0M(n)iˆBiui. (3.6)

    Therefore

    xnQ(n)x1P(n)x0=n1i=0M(n)iˆBiui=M(n)0ˆB0u0+M(n)1ˆB1u1+...+M(n)n1ˆBn1un1=[M(n)n1ˆBn1,M(n)n2ˆBn2,...,M(n)1ˆB1,M(n)0ˆB0][un1un2...u1u0]. (3.7)

    If we denote

    C=[M(n)n1ˆBn1,M(n)n2ˆBn2,...,M(n)1ˆB1,M(n)0ˆB0]

    as the controllability matrix in the sequel, then the equation (3.7) determines the input sequence which transfers the initial state (x1,x0) to the desired state xf=xn in n steps. Thus, these equations will have a solution for any given vector xf if and only if the matrix has full rank, i.e. rankC=n, the discrete system (2.20) is controllable.

    In order to further verify the correctness of the theoretical results, some numerical examples are given.

    Example.1 Let us investigate the controllability of the following system [20]:

    ¨x(t)=[101231452]x(t)+[103]u(t). (3.8)

    Firstly, it is noticed that there is no ˙x(t) in system (3.8), which means the discrete forms with forward and backward method of system (3.8) are equivalent, that is

    xk+1=ˆA0xk1+ˆA1xk+ˆBuk (3.9)

    where

    ˆA1=2I3+τ2A,ˆA0=I3,ˆB=τ2B,A=[101231452],B=[103].

    Letting τ=0.1s, according to Theorem 1, we have

    n=3,M(3)2=I3,M(3)1=ˆA1=[2.0100.010.022.030.010.040.052.02],
    M(3)0=M(3)1ˆA1+M(3)2ˆA0=[3.03970.00050.04030.08123.12040.04030.16020.20253.0795].

    Then

    C=[M(3)2ˆB,M(3)1ˆB,M(3)0ˆB]=τ2[M(3)2B,M(3)1B,M(3)0B]=τ2[B,ˆA1B,(ˆA21+ˆA0)B], (3.10)

    here,

    ˆA1B=[1.980.056.1],(ˆA21+ˆA0)B=[2.91880.20219.3987],

    and

    detC=0.0002210,rankC=3=n. (3.11)

    Therefore, discrete system (3.9) is controllable.

    Example.2 The equations of controlling the motion of a spacecraft between the earth and the moon have the form [25]

    ¨x(t)+2D˙x(t)+Kx(t)=B(t)u(t) (3.12)

    Here,

    D=[0110],K=[α100α2],B(t)=[costsint],α1,α2=const.

    For forward Euler method, the discrete form of system is as follows:

    (I+2τD)xk+1+(τ2K2I2τD)xk+xk1=τ2Bkuk. (3.13)

    Then, choosing τ=0.1s, we have

    I+2τD=[12τ2τ1]=[10.20.21],det(I+2τD)=1+4τ2=1.040,

    which means the inverse matrix of I+2τD exits and

    (I+2τD)1=[11+4τ22τ1+4τ22τ1+4τ211+4τ2][0.96150.19230.19230.9615].

    The discrete system can be represented as

    xk+1=ˆA0xk1+ˆA1xk+ˆBkuk (3.14)

    where

    ˆA0=(I+2τD)1,ˆA1=(I+2τD)1(2I+2τDτ2K),ˆBk=τ2(I+2τD)1B(kτ).

    According to Theorem 1, we have

    n=2,M(2)1=I2,M(2)0=ˆA1.

    Then

    C=[M(2)1ˆB1,M(2)0ˆB0]=[ˆB1,ˆA1ˆB0], (3.15)

    here

    ˆB1[0.009370.00287],ˆB0[0.009620.00192],ˆA1=[2.04+0.01×α11.040.2+0.002×α21.040.20.002×α11.042.04+0.01×α21.04].

    Because of α1=1+2b,α2=1b,0<b<<1, then

    detC0.0001120.0000021α20,rankC=2=n. (3.16)

    Therefore, discrete system (3.13) is controllable. Similarly, we can prove the controllability of system (3.12) with forward Euler discretized form.

    To the specific discrete system (2.19) with backward difference, we have

    M(3)2=I3,
    M(3)1=ˆA1=˜A1=[k1ω20τ2+20d1τω00k2ω20τ2+20d3τω00k3ω20τ2+2],
    M(3)0=M(3)1ˆA1+M(3)2ˆA0=˜A21+˜A0=[(k1ω20τ2+2)2d1d3τ2ω2010d1τω0(k1ω20τ2+k3ω20τ2+3)0(k2ω20τ2+2)210d3τω0(k1ω20τ2+k3ω20τ2+3)0d1d3τ2ω20+(k3ω20τ2+2)21],
    ˆB2=˜˜B2=τ2ω20ϵ[02b1sin2ω0τb42b2sin2ω0τ0b2cos2ω0τb5b3cos2ω0τ0],
    ˆB1=˜˜B1=τ2ω20ϵ[02b1sinω0τb42b2sinω0τ0b2cosω0τb5b3cosω0τ0].
    ˆB0=˜˜B0=τ2ω20ϵ[00b400b2b5b30].
    M(3)1ˆB1=˜A1˜˜B1=τ2ω20ϵ[b5d1ω0τl12b4(k1ω20τ2+2)2b2sinω0τ(k2ω20τ2+2)0b2cosω0τ(k2ω20τ2+2)b5(k3ω20τ2+2)l32b4d3ω0τ]

    where

    {l12=2b1sinω0τ(k1ω20τ2+2)b3d1ω0τcosω0τ,l32=2b1d3ω0τsinω0τb3cosω0τ(k3ω20τ2+2).

    It can be shown

    det(M(3)2ˆB2)=det(ˆB2)=b2(b3b4b1b5)sin4ω0τ=0 (3.17)

    where

    b3b4b1b5=sinβJ3cosβJ1sinβJ1cosβJ3=0. (3.18)

    Based on the results in equation (3.17), the condition of full rank of C is not satisfied when the determinant of matrix C composed of the first three columns. However, if the other three independent columns (such as, 1, 2, 5) are selected, for convenience, we choose τ=0.1 as the period of the discrete system without loss of generality, it is easy to see that det(C)0 on the basic of satellite and its orbit parameters in [27]. Then

    rankC=rank[M(3)2ˆB2,M(3)1ˆB1,M(3)0ˆB0]=3. (3.19)

    According to Theorem 1, the system (2.19) by backward Euler method is controllable.

    Moreover, we make τ=0.2,0.05 respectivly to compute the rank of C and the results show different τ have no effect on the controllability of system (2.19). In the same way, we can also calculate the rank of C for the system (2.14) with Matlab and then prove the discretized system (2.14) by forward Euler method is controllable.

    Based on the definition of observability of discrete linear time-varying systems in [28], we can also present the following definition of observability of system (2.20).

    Definition 2. The second order discrete linear time-varying system (2.20) is observable if for any unknown initial state (x0,x1), there exists a finite kβN(kβ>0) such that (x0,x1) can be determined uniquely from the knowledge of output yk and input uk,k[0,kβ]. Otherwise the system is said to be unobservable.

    Theorem 2. The second-order linear discrete-time system (2.20) is observable if and only if the observability matrix S has rank equal to 2n and

    S=[C0OOC1C2ˆA0C2ˆA1C3ˆA1ˆA0C3(ˆA0+ˆA21)......C2n1Q(2n1)C2n1P(2n1)]

    where the definitions of M(k),P(k) are same as above, and O denotes the relative dimensions of zero matrix.

    Proof Taking k=0,1,... in system (2.20) and equations (3.3), we generate the following sequence

    y0=C0x0,y1=C1x1,y2=C2x2=C2(ˆA0x0+ˆA1x1+ˆB1u1)=C2ˆA0x0+C2ˆA1x1+C2ˆB1u1,y3=C3x3=C3ˆA1ˆA0x0+C3(ˆA0+ˆA21)x1+C3ˆA1ˆB1u1+C3ˆB2u2.

    Then the measurement yk according to the equation (3.4) of state vector xk is

    yk=CkQ(k)x0+CkP(k)x1+k1i=1CkM(k)iˆBiui, (4.1)

    In general, we have

    y2n1=C2n1Q(2n1)x0+C2n1P(2n1)x1+2n2i=1C2n1M(2n1)iˆBiui, (4.2)

    As consequence, equation (4.2) can be rewritten in the following relevant matrix form

    [y0y1y2C2ˆB1u1y3C3ˆA1ˆB1u1C3ˆB2u2......y2n12n2i=1C2n1M(2n1)iˆBiui]=[C0OOC1C2ˆA0C2ˆA1C3ˆA1ˆA0C3(ˆA0+ˆA21)......C2n1Q(2n1)C2n1P(2n1)][x0x1].

    We know from linear algebra that the system of linear algebra equations with 2n unknowns, equation (4.1) has a unique solution (x0,x1) if and only if the system matrix has rank 2n:

    rank[C0OOC1C2ˆA0C2ˆA1C3ˆA1ˆA0C3(ˆA0+ˆA21)......C2n1Q(2n1)C2n1P(2n1)]=2n. (4.3)

    The matrix in (4.3) we denote by S. Then the initial values x0,x1 are determined uniquely, if and only if rankS=2n.

    Analogously, a numerical example is given as follows to verify the validity of observability analysis.

    Example.3 Considering the following system with discrete method [20]

    ¨x(t)=[2134]x(t)+[12]u(t),y(t)=[13]x(t). (4.4)

    The discrete system has the form

    xk+1=ˆA0xk1+ˆA1xk+ˆBuk,yk=Cxk (4.5)

    where

    ˆA0=I2,ˆA1=2I2+τ2A,ˆB=τ2B,A=[2134],B=[12],C=[13]. (4.6)

    Letting τ=0.1s, according to Theorem 2, we have

    n=2,ˆA1=[2.020.010.032.04],ˆA21=[4.08070.04060.12184.1619], (4.7)
    S=[COOCCˆA0CˆA1CˆA1ˆA0C(ˆA0+ˆA21)]=[13000013132.116.132.116.134.446112.5263], (4.8)
    detS=0.040,rankS=4=2n. (4.9)

    Therefore, the discrete system (4.5) is observable.

    To system (2.19), according to equations (3.5), we also have

    Q(2)=ˆA0Q(0)+ˆA1Q(1)=ˆA0,Q(3)=ˆA0Q(1)+ˆA1Q(2)=ˆA1ˆA0,Q(4)=ˆA0Q(2)+ˆA1Q(3)=ˆA20+ˆA21ˆA0,Q(5)=ˆA0Q(3)+ˆA1Q(4)=ˆA0ˆA1ˆA0+ˆA1(ˆA20+ˆA21ˆA0),P(2)=ˆA0P(0)+ˆA1P(1)=ˆA1,P(3)=ˆA0P(1)+ˆA1P(2)=ˆA0+ˆA21,P(4)=ˆA0P(2)+ˆA1P(3)=ˆA0ˆA1+ˆA1ˆA0+ˆA31,P(5)=ˆA0P(3)+ˆA1P(4)=ˆA0(ˆA0+ˆA1ˆA0)+ˆA1(ˆA0ˆA1+ˆA1ˆA0+ˆA31), (4.10)

    and

    ˆA0=˜A0=[10d1ω0τ010d3ω0τ01],
    ˆA1=˜A1=[k1ω20τ2+20d1ω0τ0k2ω20τ2+20d3ω0τ0k3ω20τ2+2],

    and we can rewrite the measurement matrix Ck as the following form

    Ck=[α20α1sinω0kτα3cosω0kτ0α2α1cosω0kτα3sinω0kτ],k=0,1,...,5

    letting

    α1sinω0kτα3cosω0kτ=α21+α23sin(ω0kτ+ϕ)ηk(ϕ),α1cosω0kτα3sinω0kτ=α21+α23sin(ω0kτ+φ)ηk(φ),

    where

    ϕ=arctanα3α1,φ=arctan(α1α3),

    we get

    C0=[α20α30α2α1],C1=[α20η1(ϕ)0α2η1(φ)],C2=[α20η2(ϕ)0α2η2(φ)],

    and

    C2Q(2)=[u510u53u61α2u63],C2P(2)=[u540u56u64u65u66],

    where

    u51=α2+d3ω0τη2(ϕ),u53=α2d1ω0τη2(ϕ),u61=d3ω0τη2(φ),u63=η2(φ),u54=α2(k1ω20τ2+2)d3ω0τη2(ϕ),u56=α2d1ω0τ+(k3ω20τ2+2)η2(ϕ),u64=d3ω0τη2(φ),u65=α2(k2ω20τ2+2),u66=(k3ω20τ2+2)η2(φ).

    The following matrix U is chosen as the first six columns of the observability matrix S

    U=[α20α30000α2α1000000α20η1(ϕ)0000α2η1(φ)u510u53u540u56u61α2u63u64u65u66]. (4.11)

    The determination of matrix U is

    (α22)(α2(u53(u66+(k2ω20τ2+2)η1(φ))u56(α1+u63))+η1(ϕ)(u53u64u54(α1+u63))+α3((α2)(u51(u66+(k2ω20τ2)η1(φ)u56u61)+η1(ϕ)(u51u64u61u54)))).

    Generally speaking, the determination of matrix U is not equal to 0 if and only if αj(j=1,2,3)0, which is valid according to the definition of αj. In addition, using Matlab, choosing τ=0.1, we also have

    rankU=rankS=6. (4.12)

    Based on Theorem 2, the system (2.19) with backward Euler method is observable.

    Moreover, we make τ=0.2,0.05 respectivly to compute the rank of S and the results show different τ have no effect on the observability of system (2.19). The observability of system (2.14) with forward Euler method can be proven similarly.

    In this paper, two different discrete schemes of the second-order linear time-varying system represented by the linearized satellite magnetic attitude control motion equation are obtained by Euler method. Subsequently, the controllability and observability conditions of a new discrete second-order linear time-varying system are proposed, which are applied to investigate the controllability and observability of the discretized satellite magnetic control system. Some numerical examples are given to further verify the correctness of theoretical results. Research results show that, generally speaking, different periods τ and parameters in coefficient matrices have no effect on the controllability and observability of the resulting discrete system.

    This work was supported in part by the National Natural Science Foundation of China (12171196).

    All authors declare no conflicts of interest in this paper.



    [1] K. Murphy, Immunobiology, Garland Science, 2012.
    [2] J. Gameiro, P. Nagib and L. Verinaud, The thymus microenvironment in regulating thymocyte differentiation, Cell Adhes. Migr., 4 (2010), 382–390.
    [3] B. Alberts, A. Johnson, J. Lewis, et al., Molecular Biology of the Cell, Garland Science, 2002.
    [4] A. Corthday, How do regulatory T cells work?, Scand. J. Immunol., 70 (2009), 326–336.
    [5] D. L. Farber, N. A. Yudanin and N. P. Restifo, Human memory T cells: Generation, compartmentalization and homeostasis, Nat. Rev. Immunol., 14 (2014), 24–35.
    [6] Y. Takahama, Journey through the thymus: Stromal guides for T-cell development and selection, Nat. Rev. Immunol., 6 (2006), 127–135.
    [7] C. H. Bassing, W. Swat and F. W. Alt, The mechanism and regulation of chromosomal V(D)J recombination, Cell, 109 (2002), S45–S55.
    [8] D. Mason, A very high level of crossreactivity is an essential feature of the T-cell receptor, Trends Immunol., 19 (1998), 395–404.
    [9] J. Nicolić-Žugić, M. K. Slifka and I. Messaoudi, The many important facets of T-cell repertoire diversity, Nat. Rev. Immunol., 4 (2004), 123–132.
    [10] D. J. Laydon, C. R. M. Bangham and B. Asquith, Estimating T-cell repertoire diversity: Limitations of classical estimators and a new approach, Philos. Trans. R. Soc. B, 370 (2015), 1–11.
    [11] M. S. Chaudhry, E. Velardi, J. A. Dudakov, et al., Thymus: The next (re)generation, Immunol. Rev., 271 (2016), 56–71.
    [12] G. G. Steinmann, B. Klaus and H. K. Müller-Hermelink, The involution of the ageing human thymic epithelium is independent of puberty, Scand. J. Immunol., 22 (1985), 563–575.
    [13] A. Globerson and R. B. Effros, Aging of lymphocytes and lymphocytes in the aged, Immunol. Today, 21 (2000), 515–521.
    [14] A. L. Gruver, L. L. Hudson and J. D. Sempowski, Immunosenescence of aging, J. Pathol., 211 (2007), 144–156.
    [15] D. P. Shanley, D. Aw, N. R. Manley, et al., An evolutionary perspective on the mechanisms of immunosenescence, Trends Immunol., 30 (2009), 374–381.
    [16] A. L. Gruver and G. D. Sempowski, Cytokines, leptin, and stress-induced thymic atrophy, J. Leukocyte Biol., 84 (2008), 915–923.
    [17] J. Dooley and A. Liston. Molecular control over thymic involution: From cytokines and microRNA to aging and adipose tissue, Eur. J. Immunol., 42 (2012), 1073–1079.
    [18] H. Selye, Thymus and the adrenals in the response of the organ to injuries and intoxications, Br. J. Exper. Pathol., 17 (1936), 234–248.
    [19] W. Savino, The thymus is a common target organ in infectious diseases, PLoS Pathog., 2 (2006), e62.
    [20] S. D. Wang, K. J. Huang, Y. S. Lin, et al., Sepsis-induced apoptosis of the thymocytes in mice, J. Immunol., 152 (1994), 5014–5021.
    [21] W. W Grody, S. Fliegiel and F. Naeim, Thymus involution in the acquired immunodeficiency syndrome, Am. J. Clin. Pathol., 84 (1985), 85–95.
    [22] W. Savino, M. Dardenne, L. A. Velloso, et al., The thymus is a common target in malnutrition and infection, Br. J. Nutr., 98 (2007), S11–S16.
    [23] C. L. Mackall, T. A. Fleischer, M. R. Brown, et al., Age, thymopoiesis, and CD4+ T-lymphocyte regeneration after intensive chemotherapy, New Engl. J. Med., 332 (1995), 143–149.
    [24] J. Storek, R. P. Witherspoon and R. Storb, T cell reconstitution after bone marrow transplantation into adult patients does not resemble T cell development in early life, Bone Marrow Transplant., 16 (1995), 413–425.
    [25] A. L. Zoller, F. J. Schnell and G. J. Kersh, Murine pregnancy leads to reduced proliferation of maternal thymocytes and decreased thymic emigration, Immunology, 121 (2007), 207–215.
    [26] T. A. Tibbetts, F. DeMayo, S. Rich, et al., Progesterone receptors in the thymus are required for thymic involution during pregnancy and for normal fertility, PNAS, 96 (1999), 12021–12026.
    [27] A. G. Rijhsinghani, K. Thompson and S. K. Bhatia, Estrogen blocks early T cell development in the thymus, Am. J. Reprod. Immunol., 36 (1996), 269–277.
    [28] J. D. Ashwell, F. W. M. Lu and M. S. Vacchio, Glucocorticoids in T cell development and function, Annu. Rev. Immunol., 18 (2000), 309–345.
    [29] D. A. da Cruz, J. S. Silva, V. C. de Almeida, et al., Altered thymocyte migration during experimental acute trypanosoma cruzi infection: Combined role of fibronectin and the chemokines CXCL12 and CCL4, Eur. J. Immunol., 36 (2006), 1486–1493.
    [30] S. K. Stanley, J. M. McCune, H. Kaneshima, et al., Human immunodeficiency virus infection of the human thymus and disruption of the thymic microenvironment in the SCID-hu mouse, J. Exper. Med., 178 (1993), 1151–1163.
    [31] M. G. Durdov, O. Springer, V. Ćapkun, et al., The grade of acute thymus involution in neonates correlates with the duration of acute illness and with the percentage of lymphocytes in peripheral blood smear, Biol. Neonate, 83 (2003), 229–234.
    [32] J. van Baarlen, H. J. Schuurman, R. Reitsma, et al., Acute thymuc involution during infancy and childhood: Immunohistology of the thymus and peripheral lymphoid tissues after acute illness, Pediat. Pathol., 19 (1989), 261–275.
    [33] E. Juretić, A. Juretić, B. Užarević, et al., Alterations in lymphocyte phenotype of preterm infected newborns, Biol. Neonate, 80 (2001), 223–227.
    [34] S. M. Falkenberg, C. Johnson, F.V. Bauermann, et al., Changes observed in the thymus and lymph nodes 14 days after exposure to BVDV field strains of enhanced or typical virulence in neonatal calves, Vet. Immunol. Immunopathol., 160 (2014), 70–80.
    [35] J. P. L. Rangel, C. S. Galan-Enriquez, M. López-Medina, et al., Bacterial clearance reverses a skewed T-cell repertoire induced by Salmonella infection, Immun., Inflammation Dis., 3 (2015), 209–223.
    [36] S. Yovino, L. Kleinberg, S. A. Grossman, et al., The etiology of treatment-related lymphopenia in patients with malignant gliomas: Modeling radiation dose to circulating lymphocytes explains clinical observations and suggests methods of modifying the impact of radiation on immune cells, Cancer Invest., 31 (2013), 140–144.
    [37] J. S. Mendez, A. Govindan, J. Leong, et al., Association between treatment-related lymphopenia and overall survival in elderly patients with newly diagnosed glioblastoma, J. Neuro-Oncol., 127 (2016), 329–335.
    [38] J. L. Campian, X. Ye, M.Brock, et al., Treatment-related lymphopenia in patients with stage Ⅲ non-small-cell lung cancer, Cancer Invest., 31 (2013), 183–188.
    [39] S. S. Long, Laboratory manifestations of infectious disease, in Principles and Practice of Pediatric Infectious Diseases, 4th edition, Elsevier, (2012), 1400–1412.
    [40] S. M. Ciupe, B. H. Devlin, M. L. Markert, et al., The dynamics of T-cell receptor repertoire diversity following thymus transplantation for digeorge anomaly, PLoS Comput. Biol., 5 (2009), e1000396.
    [41] J. F. Purton, J. A. Monk, D. R. Liddicoat, et al., Expression of the glucocorticoid receptor from the 1A promotor correlates with T lymphocyte sensitivity to glucocorticoid–induced cell death, J. Immunol., 173 (2004), 3816–3824.
    [42] F. K. Kong, C. L. H. Chen and M. D. Cooper, Reversible disruption of thymic function by steroid treatment, J. Immunol., 168 (2002), 6500–6505.
    [43] J. A. Guevara Patiño, M. W. Marino, V. N. Ivanov, et al., Sex steroids induce apoptosis of CD8+ CD4+ double positive thymocytes via TNF-α, Eur. J. Immunol., 30 (2000), 2586–2592.
    [44] P. L. Choyke, R. K. Zemon, J. E. Gootenberg, et al., Thymic atrophy and regrowth in response to chemotherapy: CT evaluation, Am. J. Roentgenol., 149 (1987), 269–272.
    [45] M. Cohen, C. A. Hill, A. Cangir, et al., Thymic rebound after treatment of childhood tumors, Am. J. Roentgenol., 135 (1980), 151–156.
    [46] D. E. DeFriend, J. M. Coote, M. P. Williams, et al., Thymic enlargement in an adult following a severe infection, Clin. Radiol., 56 (2001), 331–333.
    [47] D. W. Gelfand, A. S. Goldman, E. J. Law, et al., Thymic hyperplasia in children recovering from thermal burns, J. Trauma, 12 (1972), 813–817.
    [48] L. M. Bradley, L. Haynes and S. L. Swain, IL-7: Maintaining T-cell memory and achieving homeostasis, Trends Tmmunol., 26 (2005), 172–176.
    [49] J. T. Tan, E. Dudl, E. LeRoy, et al., IL-7 is critical for homeostatic proliferation and survival of naive T cells, Proc. Natl. Acad. Sci., 98 (2001), 8732–8737.
    [50] L. Vivien, C. Benoist and D. Mathis, T lymphocytes need IL-7 but not IL-4 or IL-6 to survive in vivo, Int. Immunol., 13 (2001), 763–768.
    [51] T. J. Fry and C. L. Mackall, The many faces of IL-7: From lymphopoesis to peripheral T cell maintenance, J. Immunol., 174 (2005), 6571–6576.
    [52] S. Xu and T. Chou, Immigration-induced phase transition in a regulated multispecies birth-death process, J. Phys. A: Math. Theor., 51 (2018), 425602.
    [53] J. Hataye, J. J. Moon, A. Khoruts, et al., Naïve and memory CD4+ T cell survival controlled by clonal abundance, Science, 312 (2006), 114–116.
    [54] R. Dessalles, M. D'Orsogna and T. Chou, Exact steady-state distributions of multispecies birth–death–immigration processes: Effects of mutations and carrying capacity on diversity, J. Stat. Phys., 173 (2018), 182–221.
    [55] L. Westera, V. van Hoeven, J. Drylewicz, et al., Lymphocyte maintenance during healthy aging requires no substantial alterations in cellular turnover, Aging Cell, 14 (2015), 219–227.
    [56] H. S. Robins, P. V. Campregher, S. K. Srivastava, et al., Comprehensive assessment of T-cell receptor β-chain diversity in αβ T cells, Blood, 114 (2009), 4099–4107.
    [57] G. Lythe, R. E. Callard, R. L. Hoare, et al., How many TCR clonotypes does a body maintain?, J. Theor. Biol., 389 (2016), 214–224.
    [58] S. Lewkiewicz, Y. L. Chuang and T. Chou, A mathematical model of the effects of aging on naive T cell populations and diversity, Bull. Math. Biol., 81 (2019), 2783–2817.
    [59] N. Vrisekoop, I. den Braber, A. B. de Boer, et al., Sparse production but preferential incorporation of recently produced naive T-cells in the human peripheral pool, Proc. Natl. Acad. Sci., 105 (2008), 6115–6120.
    [60] R. J. de Boer and A. S. Perelson, Quantifying T lymphocyte turnover, J. Theor. Biol., 327 (2013), 45–87.
  • This article has been cited by:

    1. Uliana Vladimirovna Monakhova, Orbital stabilization of dynamically elongated small satellite using active magnetic attitude control, 2024, 20712898, 1, 10.20948/prepr-2024-5
    2. Dmitry Roldugin, Anna Okhitina, Uliana Monakhova, Mikhail Ovchinnikov, Comparison of Feedback Three-Axis Magnetic Attitude Control Strategies, 2023, 10, 2226-4310, 975, 10.3390/aerospace10120975
  • Reader Comments
  • © 2020 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(4737) PDF downloads(484) Cited by(2)

Figures and Tables

Figures(7)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog