
Citation: Samson Z Assefa, Montserrat Diaz-Abad, Emerson M Wickwire, Steven M Scharf. The Functions of Sleep[J]. AIMS Neuroscience, 2015, 2(3): 155-171. doi: 10.3934/Neuroscience.2015.3.155
[1] | Naeem Saleem, Salman Furqan, Mujahid Abbas, Fahd Jarad . Extended rectangular fuzzy $ b $-metric space with application. AIMS Mathematics, 2022, 7(9): 16208-16230. doi: 10.3934/math.2022885 |
[2] | Yaoqiang Wu . On partial fuzzy k-(pseudo-)metric spaces. AIMS Mathematics, 2021, 6(11): 11642-11654. doi: 10.3934/math.2021677 |
[3] | Siniša N. Ješić, Nataša A. Ćirović, Rale M. Nikolić, Branislav M. Ranƌelović . A fixed point theorem in strictly convex $ b $-fuzzy metric spaces. AIMS Mathematics, 2023, 8(9): 20989-21000. doi: 10.3934/math.20231068 |
[4] | Rashid Ali, Faisar Mehmood, Aqib Saghir, Hassen Aydi, Saber Mansour, Wajdi Kallel . Solution of integral equations for multivalued maps in fuzzy $ b $-metric spaces using Geraghty type contractions. AIMS Mathematics, 2023, 8(7): 16633-16654. doi: 10.3934/math.2023851 |
[5] | Abdolsattar Gholidahneh, Shaban Sedghi, Ozgur Ege, Zoran D. Mitrovic, Manuel de la Sen . The Meir-Keeler type contractions in extended modular $ b $-metric spaces with an application. AIMS Mathematics, 2021, 6(2): 1781-1799. doi: 10.3934/math.2021107 |
[6] | Samina Batul, Faisar Mehmood, Azhar Hussain, Dur-e-Shehwar Sagheer, Hassen Aydi, Aiman Mukheimer . Multivalued contraction maps on fuzzy $ b $-metric spaces and an application. AIMS Mathematics, 2022, 7(4): 5925-5942. doi: 10.3934/math.2022330 |
[7] | Afrah Ahmad Noman Abdou . Chatterjea type theorems for complex valued extended $ b $-metric spaces with applications. AIMS Mathematics, 2023, 8(8): 19142-19160. doi: 10.3934/math.2023977 |
[8] | Sumaiya Tasneem Zubair, Kalpana Gopalan, Thabet Abdeljawad, Nabil Mlaiki . Novel fixed point technique to coupled system of nonlinear implicit fractional differential equations in complex valued fuzzy rectangular $ b $-metric spaces. AIMS Mathematics, 2022, 7(6): 10867-10891. doi: 10.3934/math.2022608 |
[9] | Badshah-e-Rome, Muhammad Sarwar, Thabet Abdeljawad . µ-extended fuzzy b-metric spaces and related fixed point results. AIMS Mathematics, 2020, 5(5): 5184-5192. doi: 10.3934/math.2020333 |
[10] | Müzeyyen Sangurlu Sezen . Interpolative best proximity point results via $ \mathbf{\gamma } $-contraction with applications. AIMS Mathematics, 2025, 10(1): 1350-1366. doi: 10.3934/math.2025062 |
Recently, the theory of nonlinear systems with time-delay has been a hot topic, due to its wide application in practical problems, such as physical engineering, biological systems and economic processes. Among these, the Lyapunov-Krasovskii methodology plays a crucial role in dealing with time-delay systems. Based on the above method, Pepe [1] addressed the input state stability of nonlinear systems with time-delay. Zhang [2] designed a stabilized controller for time-delay feed-forward nonlinear systems to achieve system stability. In order to address the stabilization problem of high-order nonlinear systems with time-delay, some researchers try to find new ways to design corresponding controllers. Yang and Sun [3] investigated the state feedback stabilization problem of controlled systems with high-order or/and time-delay via the homogeneous domination idea. With the help of the saturation function technique, homogeneous domination idea and Lyapunov approach, Song [4] studied the stabilization problem of high order feed-forward time-delay nonlinear systems. In addition to the above works, many results in [5,6,7,8,9,10] have established and improved the concept framework of nonlinear systems with time-delay.
Ever since the stochastic stability theory was founded and enriched by Deng and Zhu [11,12], great progress has been made on the global stabilization of stochastic nonlinear systems [13,14,15,16]. Subsequently, Florchinger [17] extended the theory of control with the Lyapunov-Krasovskii functional. With the stochastic stability theory in mind, it is still important and meaningful to address high-order stochastic nonlinear systems with time-delay. Zha [18] investigated the issue of output feedback stabilization. Liu [19] studied the output feedback stabilization problem for time-delay stochastic feed-forward systems. By using a power integrator approach, the work in [20,21,22,23] also considered the state-feedback stabilization problems. However, the state feedback stabilization problem for stochastic high-order and low-order nonlinear systems with time-delay has not been well addressed, which leads us to take the interesting problem into account.
How to deal with the state feedback stabilization problem for high-order and low-order nonlinear systems with time-delay? By using a power integrator approach, Liu & Sun [24] constructed a time-delay independent controller for the aforementioned systems to relax the growth condition and the power order limitations. However, to the best of our knowledge, research on the corresponding stochastic version is limited with scarcely a few convincing results. The main difficulties are explained from two aspects. On one hand, the $ It\hat{o} $ formula brings the gradient terms and the Hessian terms in the Lyapunov analysis. On the other hand, the particularity of its structure has made many traditional methods inapplicable. Therefore, we need to give a new way to consider stochastic nonlinear systems. Inspired by a large number of results in [25,26,27,28,29], stochastic high-order and low-order nonlinear systems with time-delay will be considered as follows:
$ {dxi(t)=xpii+1(t)dt+fi(ˉxi(t),ˉxi(t−τ),t)dt+gTi(ˉxi(t),ˉxi(t−τ),t)dω(t),dxn(t)=upn(t)dt+fn(x(t),x(t−τ),t)dt+gTn(x(t),x(t−τ),t)dω(t), $ | (1.1) |
where $ x(t) = [x_{1}(t), \ldots, x_{n}(t)]^{T} \in R^{n} $ is state, and $ u(t)\in R $ is input; the nonnegative real number $ \tau $ is the time-delay of the states. $ \omega(t) = [\omega_{1}(t), \ldots, \omega_{r}(t)]^{T} $. The high-order can be revealed by $ p_{i}\in R ^{ > 1}_{odd} = :\{\frac{p}{q}|p\geq q > 0 $ $ and\; p, q\; are\; odd \; integers\} $. The drift terms $ f_{i}: R ^{i}\times R ^{i}\times R_{+}\longrightarrow R $ and the diffusion terms $ g_{i}: R^{i}\times R ^{i}\times R_{+}\longrightarrow R ^{r}, \; i = 1, \ldots, n $ are considered as locally Lipschitz with $ f_{i}(0, 0, t) = 0 $ and $ g_{i}(0, 0, t) = 0 $.
The contributions are highlighted in the following:
$ (i) $ Systems considered are more general. Systems in [24] only solve the control issues for deterministic cases. It is more complex to consider the stochastic disturbance. By using the homogeneous domination idea, one can give a novel perspective to generalize the control strategy for deterministic systems to the corresponding stochastic cases.
$ (ii) $ The result extends the works [30,31,32] by relaxing the growth condition and the power order limitations. The low order of the nonlinear terms is successfully relaxed to the high-order and low-order of the nonlinear terms. Based on the above situations, we use a proper Lyapunov-Krasovskii functional to handle the stabilization problem under the weaker assumptions.
Notations: $ R_{+} ≜{x|x≥0,x∈R}, \; R^{n} $$ \triangleq \{x^{n}|x\geq0\} $. For a given vector/matrix $ D $, $ D^{T} $ denotes its transpose, $ Tr\{D\} $ is the trace when $ D $ is square, and the Euclidean norm of a vector $ |D| $. $ \mathcal{C}^{i} $ is composed of continuous and $ i $th partial derivable functions. $ \mathcal{K} $ is composed of continuous functions and strictly increasing; $ \mathcal{K}_{\infty} $ is composed of functions with $ \mathcal{K} $. One sometimes denotes $ X(t) $ by $ X $ to simplify the procedure.
Now, the time-delay stochastic nonlinear systems are addressed as follows:
$ dx(t)=f(ˉxi(t),ˉxi(t−τ),t)dt+gT(ˉxi(t),ˉxi(t−τ),t)dω(t). $ | (2.1) |
$ \{x(s) :−d≤s≤0} = z ∈CbF0 ([-d, 0];R^{n}) $ is an initial data, and $ \omega(t) $ denotes a Brownian motion with dimension $ r $ defined on a complete probability space $ (\Omega, \mathcal{F}, \{\mathcal{F} _{t}\}_{t \geq 0}, P) $.
The following assumptions are needed:
Assumption 1. For $ i = 1, \ldots, n $, there exist two constants $ a_{1} > 0 $ and $ a_{2} > 0 $ such that
$ |fi(ˉxi(t),ˉxi(t−τ),t)|≤a1i∑j=1(|xj(t)|ri+θrj+|xj(t−τ)|ri+θrj)+a1i−1∑j=1(|xj(t)|1pj…pi−1+|xj(t−τ)|1pj…pi−1)+a1(|xi(t)|+|xi(t−τ)|),‖gi(ˉxi(t),ˉxi(t−τ),t)‖≤a2i∑j=1(|xj(t)|2ri+θ2rj+|xj(t−τ)|2ri+θ2rj)+a2i−1∑j=1(|xj(t)|12pj…pi−1+|xj(t−τ)|12pj…pi−1)+a2(|xi(t)|+|xi(t−τ)|), $ | (2.2) |
in which $ \theta $$ = \frac{m}{n}\geq0 $, $ n $ is an odd integer, $ m $ is an even integer, and $ r_{i}'s $ have the following definitions:
$ r1=1,ri=ri−1+θpi−1,i=2,3,…,n+1. $ | (2.3) |
Remark 1. Assumption 1 encompasses and extends high-order and/or low-order results. We discuss this point from two cases.
Case I: Condition (2.2), when $ \tau = 0 $ it reduces to high-order growth condition with $ \theta \geq 0, $
$ |fi(ˉxi(t),t)|≤a1i∑j=1(|xj(t)|ri+θrj+|xj(t)|1pj…pi−1+a1|xi(t)|,‖gi(ˉxi(t),t)‖≤a2i∑j=1(|xj(t)|2ri+θ2rj+|xj(t)|12pj…pi−1+a2(|xi(t)|, $ |
and low-order growth condition with $ \theta = 0 $,
$ |fi(ˉxi(t),t)|≤a1i∑j=1|xj(t)|1pj…pi−1+a1|xi(t)|,‖gi(ˉxi(t),t)‖≤a2i∑j=1|xj(t)|12pj…pi−1+a2(|xi(t)|. $ |
We further discuss its significance from value ranges of both low-order and high-order. From $ \theta \in (- \frac{1}{p_{j}\ldots p_{i-1}}, 0] $, it is easy to see that $ 0 < \frac{r_{i}+\theta}{r_{j}} \leq\frac{1}{p_{j}\ldots p_{i-1}} $, which implies that both low-order and high-order in Assumption 1 can take any value in $ (0, \frac{1}{p_{j}\ldots p_{i-1}}], [\frac{1}{p_{j}\ldots p_{i-1}}, +\infty) $, respectively.
Case II: When $ \tau\neq 0 $, several new results [18,19,20,21,22] have been achieved on feedback stabilization of high-order nonlinear time-delay systems. The nonlinearities in [18,19,20,21,22] only have high-order terms. The nonlinearities in [24] include linear and nonlinear parts, and their nonlinear parts only allow low-order $ \frac{1}{p_{j}\ldots p_{i-1}} $ and high-order $ \frac{r_{i}+\theta}{r_{j}} $ with $ \theta\geq0 $.
While in this paper, (2.2) not only includes time-delays but relaxes the intervals of low-order and high-order.
Remark 2. When $ p_{i} = 1, i = 1, 2, \ldots, n-1 $, and $ \tau = 0 $, equation (1) reduces to the well-known form, for which the feedback control problem has been well developed in recent years[16,24,26].
Proposition 1. For $ r_{1}, \ldots, r_{n} $ and $ \sigma = p_{1}\ldots p_{n}r_{n+1} $ having the following properties:
● $ r_{k}\in R^{\geq1}_{odd}, \; \frac{\sigma}{r_{k}}\in R^{\geq1}_{odd}, \; \sigma \in R^{\geq1}_{odd}, \; \frac{\sigma}{r_{k}p_{k-1}\;\ldots\; p_{1}}\in R^{\geq1}_{odd} $.
● $ \sigma \geq max_{1\leq k\leq n}\{r_{k}+\theta\} $.
● There hold
$ 4≤4−1p1…pk−1+rk+1pkrkpk−1…p1,4σ−rk+1pkrkpk−1…p1+1p1…pk−1≤4σrkpk−1…p1; $ |
$ 4≤4−1p1…pk−1+rk+1pk2rkpk−1…p1,4σ−rk+1pk2rkpk−1…p1+12p1…pk−1≤4σrkpk−1…p1. $ |
● For $ i = 1, \ldots, k-1 $, one has
$ 4≤4rk+1pk…p1ripi−1…p1,4σripi−1…p1≤4σripi−1…p1. $ |
Remark 3. It is not difficult to see that system (1.1) is a class of high-order and low-order stochastic nonlinear systems with time-delay satisfying Assumption 1. Compared with [30], it is significant to point out that system (1.1) addressed here is more general. The systems can be composed by time-delay and the coupling of the high-order and low-order terms. Moreover, if $ g = 0 $, Assumption 1 will generate the same assumption as in [24]. When $ p_{i} > 3 $, the state feedback stabilization problem under constraint $ p_{i} = p $ can give similar results as [19]. Under Assumption 1 with $ \tau = 0 $, we can obtain the same results with [30], if there are no low-order nonlinearities.
Remark 4. For the case of $ \tau = 0 $ in system (1.1), with the help of adding a power integrator, fruitful results have been achieved over the past years. However, for the case of $ \tau\neq0 $, some essential difficulties will inevitably be encountered in constructing the desired controller. For instance, the time-delay effect will make the common assumption on the high-order system nonlinearities infeasible, and what conditions should be placed to the nonlinearities remains unanswered. Second, due to the higher power, time-delay and assumptions on the nonlinearities, it is more complicated to find a Lyapunov-Krasovskii functional which can be behaved well in theoretical analysis.
For ease of the controller design, some helpful definitions are presented.
Definition 1. [19] Consider the stochastic system $ dx(t) = f(x, t)dt+g(x, t)d\omega $. For any given $ C^{2} $ function $ V(x, t) $, the differential operator $ \mathcal{L} $ is defined as follows:
$ LV=∂V∂t+∂V∂xf(x,t)+12Tr{gT∂2V∂2tg}, $ |
where $ \frac{1}{2}Tr\{g^{T}\frac{\partial^{2}V}{\partial^{2}t}g\} $ is called the Hessian term of $ \mathcal{L} $.
Definition 2. [25] There exists coordinate $ (x_{1}, \ldots, x_{n})\in R^{n}, \; h_{i} > 0, \; i = 1, \ldots, n $, for arbitrarily $ \varepsilon > 0 $.
$ \bullet $ The dilation $ \Delta_{\varepsilon}(x) = (\varepsilon^{h_{1}} x_{1}, \ldots, \varepsilon^{h_{n}}x_{n}), $ and $ h_{i} $ is referred to as the weights. And one defines dilation weight as $ \triangle = (h_{1}, \ldots, h_{n}) $.
$ \bullet $ A function $ U\in \mathcal{C}(R^{n}, R) $ is considered as homogeneous of degree $ \mu $, if $ \mu \in R $, then $ U(\Delta_{\varepsilon}(x)) = \varepsilon^{\mu}U(x_{1}, \ldots, x_{n}), $ for arbitrarily $ x\in R^{n}\setminus\{0\} $.
$ \bullet $ A vector field $ f_{i} \in \mathcal{C}(R^{n}, R) $ is considered as homogeneous of degree $ \mu $, if $ \mu \in R $, then $ f_{i}(\Delta_{\varepsilon}(x)) = \varepsilon^{\mu+h_{i}}f_{i}(x) $, for arbitrarily $ x\in R^{n}\setminus\{0\}, $ $ i = 1, \ldots, n $.
$ \bullet $ A homogeneous $ \gamma $-norm is considered as $ \|x\|_{\triangle, \gamma} = (\sum_{i = 1}^{n}|x_{i}|^{\frac{\gamma}{h_{i}}})^{\frac{1}{\gamma}} $, for any $ x\in R^{n} $, where $ \gamma\geq1 $. We use $ \|x\|_{\triangle} $ or $ \|x\|_{\triangle, 2} $ to a exhibit 2-norm.
With the above definitions, we give some lemmas which will be crucial for controller design.
Lemma 1. [13] For $ m \in R^{\geq1}_{odd} $, $ \forall a\in R\; and\; \forall b \in R $, there hold
$ (|a|+|b|)1m≤|a|1m+|b|1m≤2m−1m(|a|+|b|)1m, $ |
$ |a−b|m≤2m−1|am−bm|. $ |
Lemma 2. [13] For given $ a, b\geq0 $ and a given positive function $ f(x, y) $, there exists a positive function $ g(x, y) $, such that
$ |f(x,y)xayb|≤g(x,y)|x|a+b+ba+b(a(a+b)g(x,y))ab|f(x,y)|a+bb|y|a+b,∀x,y∈R. $ |
Lemma 3. [13] For a continuous function $ g $, if it is monotone, and $ g(s) = 0 $, then
$ |∫tsg(x)dx|≤|g(t)|⋅|t−s|. $ |
Lemma 4. [19] Given $ \tau_{i}\in R, \; i = 1, \ldots, n $ satisfying $ 0\leq\tau_{1}\leq\ldots\leq\tau_{n} $ and for given nonnegative functions $ a_{i}(x, y), \; i = 1, \ldots, n, $ there holds
$ a1(x,y)|x|τ1+an(x,y)|x|τn≤n∑j=1aj(x,y)|x|τj≤(|x|τ1+|x|τn)n∑j=1aj(x,y),∀x,y∈R. $ |
Consider the stochastic high-order and low-order nonlinear systems with time-delay as follows:
$ {dxi=(xpii+1+fi)dt+gidω(t),i=1,…,n−1,dxn=upndt. $ | (3.1) |
Step 0: To begin with, introducing the complete form of the controller,
$ {zi(t)=xp1…pi−1i(t)−αp1…pi−1i−1(t),i=1,…,n,αi(t)=−ϱ1p1…pii(zi(t)+zri+1pirii(t))1p1…pi,i=1,…,n,u(t)=αn(t). $ | (3.2) |
The purpose of this work is to construct a state controller to render system $ (1.1) $ globally asymptotically stable in probability. To achieve this goal, propositions are presented as follows.
Proposition 2. For $ c_{1} > 0 $, $ c_{2} > 0 $, $ i = 1, \dots, n $, there hold
$ |fi(t,ˉxi(t),ˉxi(t−τ))|≤c1i∑j=1(|zj(t)|1p1…pi−1+|zj(t)|ri+θrjp1…pi−1)+c1i∑j=1(|zj(t−τ)|1p1…pi−1+|zj(t−τ)|ri+θrjp1…pi−1)‖gi(t,ˉxi(t),ˉxi(t−τ))‖≤c2i∑j=1(|zj(t)|12p1…pi−1+|zj(t)|2ri+θ2rjp1…pi−1)+c2i∑j=1(|zj(t−τ)|12p1…pi−1+|zj(t−τ)|2ri+θ2rjp1…pi−1). $ | (3.3) |
Step 1. First, we will construct a Lyapunov-candidate-function $ V_{1} = \int_{0}^{x_{1}} s^{3}ds+\int_{0}^{x_{1}} s^{\frac{4\sigma-r_{2}p_{1}}{r_{1}}} ds+n\int _{t-\tau}^{t} ({z_{1}^{4}(l)+z_{1}^{\frac{4\sigma}{r_{1}}}(l))dl} $. Along the solution of (3.1), one has
$ LV1=x31(xp12+f1)+x4σ−r2p1r11(xp12+f1)+n(z41(t)+z4σr11(t))−n(z41(t−τ)+z4σr11(t−τ))+Ψ1, $ |
where $ \Psi_{1} = \frac{1}{2}Tr\{g_{1}^{T}\frac{\partial ^{2}V_{1}}{\partial x_{1}^{2}}g_{1}\} $, which leads to
$ LV1=(z31+z4σ−r2p1r11)(xp12−αp11)+(z31+z4σ−r2p1r11)αp11+(z31+z4σ−r2p1r11)f1+n(z41(t)+z4σr11(t))−n(z41(t−τ)+z4σr11(t−τ))+Ψ1. $ | (3.4) |
With Proposition 2, Lemma 1 and Lemma 2 in mind, one has
$ (z31+z4σ−r2p1r11)f1≤c1(|z1|3+|z1|4σ−r2p1r1)(|z1|+|z1|r2p1r1+|z1(t−τ)|+|z1(t−τ)|r2p1r1)≤c1(|z1|4+|z1|4σ−r2p1r1z1+|z1|r2p1r1z31+|z1|4σr1)+c1(|z1|3|z1(t−τ)|+|z1|3|z1(t−τ)|r2p1r1+|z1|4σ−r2p1r1z1|z1(t−τ)|+|z1|4σ−r2p1r1|z1(t−τ)|r2p1r1); $ | (3.5) |
with the help of Lemma 4, we can see it satisfies $ |z_{1}|^{\frac{r_{2}p_{1}}{r_{1}}}z_{1}^{3}\leq|z_{1}|^{\frac{r_{2}+\theta+3r_{1}}{r_{1}}}\leq|z_{1}|^{4+\theta}\leq z_{1}^{4}+z_{1}^{\frac{4\sigma}{r_{1}}} $ when $ 4\leq 4+\theta\leq\frac{2r_{2}p_{1}}{\sigma}+3\leq\frac{4\sigma}{r_{1}} $. Similarly, one can obtain
$ (z31+z4σ−r2p1r11)f1≤β1(z41+z4σr11)+(z1(t−τ)4+z1(t−τ)4σr1), $ | (3.6) |
where $ \beta_{1} = 4c_{1}+2c_{1}^{2}+\frac{4\sigma-r_{2}p_{1}}{\sigma}(\frac{2r_{2}p_{1}}{\sigma})^{\frac{r_{2}p_{1}}{4\sigma-r_{2}p_{1}}}c_{1}^{{\frac{2\sigma}{4\sigma-r_{2}p_{1}}}} $. Now, one designs the virtual controller $ \alpha_{1} $ as
$ αp11(x1)=−(2n+β1)(z1+zr2p1r11)=−ϱ1(z1+zr2p1r11), $ | (3.7) |
where $ \varrho_{1} > 1 $ is a positive constant. Noticing that
$ −ϱ1z1+4σ−r2p1r11≤0,−ϱ1z1+r2p1r11≤0, $ |
and using (4.1) and (3.7) with (3.4) after complex calculations, one finally obtains
$ LV1≤−n(z41+z4σr11)+(z31+z4σ−r2p1r11)(xp12−αp11)−(n−1)(z41(t−τ)+z4σr11(t−τ))+Ψ1. $ | (3.8) |
To complete the induction, at the $ k $th step, we now define
$ WLk=∫xkαk−1(sp1…pk−1−αp1…pi−1k−1)4−1p1…pi−1dsWHk=∫xkαk−1(sp1…pk−1−αp1…pi−1k−1)4σ−rk+1pkrkp1…pi−1dsWDk=(n−k+1)∫tt−τ(z4k(l)+z4σrkp1…pi−1k(l))dl. $ |
Lyapunov function $ V_{k} = V_{k-1}+W_{Lk}+W_{Hk}+W_{Dk} $ is $ C^{2} $, proper and positive definite. Moreover, for $ i = 1, \ldots, k-1 $, $ W_{Lk}(\cdot), \; W_{Hk}(\cdot), \; W_{Dk}(\cdot) $ satisfy
$ ∂WLk∂xk=z4−1p1…pi−1k,∂WHk∂xk=z4σ−rk+1pkrkp1…pi−1k,frac∂2WLk∂x2k=(4−1p1…pi−1)z3−1p1…pi−1k(p1…pk−1)xp1…pk−1−1 $ | (3.9) |
$ ∂2WHk∂x2k=(4σ−rk+1pkrkp1…pi−1)z4σ−rk+1pkrkp1…pi−1−1k(p1…pk−1)xp1…pk−1−1∂WLk∂xi=−(4−1p1…pi−1)∫xkαk−1(sp1…pk−1−αp1…pi−1k−1)3−1p1…pi−1…pi−1ds∂αp1…pi−1k−1∂xi∂2WLk∂xkxi=−(4−1p1…pi−1)z3−1p1…pi−1k∂αp1…pi−1k−1∂xi,∂2WHk∂xkxi=−(4σ−rk+1pkrkp1…pi−1)z4σ−rk+1pkrkp1…pi−1−1k∂αp1…pi−1k−1∂xi∂2WLk∂x2i=∫xkαk−1(4−1p1…pi−1)(3−1p1…pi−1)(sp1…pk−1−αp1…pi−1k−1)2−1p1…pi−1…pi−1ds(∂αp1…pi−1k−1∂xi)2+∫xkαk−1(4−1p1…pi−1)(sp1…pk−1−αp1…pi−1k−1)3−1p1…pi−1…pi−1ds(∂2αp1…pi−1k−1∂x2i)∂WHk∂xi=−(4σ−rk+1pkrkp1…pi−1)∫xkαk−1(sp1…pk−1−αp1…pi−1k−1)4σ−rk+1pkrkp1…pi−1−1ds∂αp1…pi−1k−1∂xi∂2WHk∂x2i=∫xkαk−1(4σ−rk+1pkrkp1…pi−1)(4σ−rk+1pkrkp1…pi−1−1)(sp1…pk−1−αp1…pi−1k−1)4σ−rk+1pkrkp1…pi−1−2ds(∂αp1…pi−1k−1∂xi)2+∫xkαk−1(4σ−rk+1pkrkp1…pi−1)(sp1…pk−1−αp1…pi−1k−1)4σ−rk+1pkrkp1…pi−1−1ds(∂2αp1…pi−1k−1∂x2i). $ | (3.10) |
Step k (k = 2, 3, …, n): As in step k-1, there exists Lyapunov-candidate-function $ V_{k-1} $, implying
$ LVk−1≤−(n−k+2)k−1∑i=1(z4i+z4σripi−1…p1i)−(n−k+1)k−1∑i=1(z4i(t−τ)+z4σripi−1…p1i(t−τ))+(z4−1p1…pk−2k−1+z4σ−rkpk−1rk−1pk−2…p1k−1)(xpk−1k−αpk−1k−1)+Ψk−1, $ | (3.11) |
where $ \Psi_{k-1} $$ = $ $ \frac{1}{2}Tr\{\bar{\psi}_{k-1}^{T} $ $ \frac{\partial ^{2}V_{k-1}}{\partial \bar{x}_{k-1}^{2}} $ $ \bar{\psi}_{k-1}\} $, $ \bar{\psi}_{k-1} $ $ = $ $ (g_{1} $, $ \ldots $, $ g_{k-1}). $ Hence, one will consider $ V_{k} = V_{k-1}+W_{Lk}+{W_{Hk}+W_{Dk}} $ and define an appropriate virtual controller $ \alpha_{k} $. Similar to step $ 1 $, one can obtain
$ LVk≤−(n−k+2)k−1∑i=1(z4i+z4σripi−1…p1i)−(n−k+1)k−1∑i=1(z4i(t−τ)+z4σripi−1…p1i(t−τ))+(n−k+1)(z4k+z4σrkpk−1…p1k)+(z4−1p1…pk−1k+z4σ−rkpk−1rkpk−1…p1k)(xpk−1k+1−αpkk)+(z4−1p1…pk−1k+z4σ−rkpk−1rkpk−1…p1k)αpkk+(z4−1p1…pk−1k+z4σ−rkpk−1rkpk−1…p1k)fk+(z4−1p1…pk−2k−1+z4σ−rkpk−1rk−1pk−2…p1k−1)(xpk−1k−αpk−1k−1)+k−1∑i=1(∂WLk∂xi+∂WHk∂xi)(xpii+1+fi)+Ψk, $ | (3.12) |
where $ \Psi_{k} = \frac{1}{2}Tr\{\bar{\psi}_{k}^{T} \frac{\partial ^{2}V_{k}}{\partial \bar{x}_{k}^{2}} \bar{\psi}_{k}\} $, $ \bar{\psi}_{k} = (g_{1}, \ldots, g_{k}). $ Obviously, the virtual controller $ \alpha_{k} $ is used to eliminate the last three terms of (3.12). In light of (3.2) and Lemma 1, it yields that
$ xpk−1k−αpk−1k−1≤|(xp1…pk−1k)1p1…pk−2−(αp1…pk−1k−1)1p1…pk−2|≤23−1p1…pk−2|zk|1p1…pk−2. $ |
In the case of $ 4\sigma-\theta\leq4\sigma $, by Lemma 2, one obtains that
$ (z4−1p1…pk−2k−1+z4σ−rkpk−1rk−1pk−2…p1k−1)(xpk−1k−αpk−1k−1)≤21−1p1…pk−2|zk|1p1…pk−2(|zk−1|4−1p1…pk−2+|zk−1|4σ−rkpk−1rk−1pk−2…p1)≤βk1(z4k+z4σrkpk−1…p1k)+13(z4k−1+z4σrk−1pk−2…p1k−1), $ | (3.13) |
where $ \beta_{k1} $ denotes a positive constant. On the basis of Proposition 2 and Lemma 3, one has
$ (z4−1p1…pk−2k−1+z4σ−rkpk−1rk−1pk−2…p1k−1)fk≤12k−2∑i=1(z4i+z4σripi−1…p1i)+13(z4k−1+z4σrk−1pk−2…p1k−1)+12k−1∑i=1(z4i(t−τ)+zi(t−τ)4σripi−1…p1)+z4k(t−τ)+zk(t−τ)4σrkpk−1…p1+βk2(z4k+z4σrkpk−1…p1k), $ | (3.14) |
where $ \beta_{k2} $ denotes a positive constant. In the sequel, one estimates the last term. With the help (3.2), Lemmas 2 and 4, it is not hard to achieve
$ ∫xkαk−1(sp1…pk−1−αp1…pk−1k−1)3−1p1…pk−1ds≤|zk|3−1p1…pk−1⋅|xk−αk−1|≤23−1p1…pk−1|zk|. $ | (3.15) |
Similarly, one can obtain
$ ∫xkαk−1(sp1…pk−1−αp1…pk−1k−1)4σ−rk+1pkrkpk−1…p1−1ds≤23−1p1…pk−1|zk|4σ−θrkpk−1…p1−1. $ | (3.16) |
On the basis of the previous inequality, one has
$ (∂WLk∂xi+∂WHk∂xi)(xpii+1+fi)≤λk(|zk|+|zk|4σ−θrkpk−1…p1−1)|∂αp1…pk−1k−1∂xi|(xpii+1+fi)≤dki(z4k+z4σrkpk−1…pk−1k)+12(k−1)(k−2∑j=1(z4j+z4σrjp1…pj−1j)+13(k−1)(z4k−1+z4σrk−1p1…pk−2k−1)+12(k−1)k−1∑j=1(z4j(t−τ)+z4σrjp1…pj−1j(t−τ)), $ | (3.17) |
in which $ d_{ki} $ denotes a positive constant. Define $ \beta_{k} = \beta_{k1}+\beta_{k2}+\beta_{k3} $ with $ \beta_{k3} = \sum_{i = 1}^{k-1}d_{ki} $ and choose the virtual controller $ \alpha_{k} $ as
$ αp1…pkk(Xk)=−ϱk(zk+zrk+1pkrkk). $ | (3.18) |
By Lemma 2, one can arrive at
$ (z4−1p1…pk−1k+z4σ−rk+1pkrkpk−1…p1k)αpkk≤−(2(n−k+1)+βk)(z4k+z4σrkpk−1…p1k). $ | (3.19) |
Substituting (3.13)–(3.18) into (3.12) yields
$ LVk≤−(n−k+1)k∑i=1(z4i+z4σripi−1…p1i)−(n−k)k∑i=1(z4i(t−τ)+z4σripi−1…p1i(t−τ))+(z4−1p1…pk−1k+z4σ−rk+1pkrkpk−1…p1k)(xpkk+1−αpkk)+Ψk. $ |
It is shown that the above formula holds for $ k = n $ with virtual controllers (3.18). Similarly, we choose $ V_{n}(x) = \sum_{i = 1}^{n}(W_{Li}(\cdot)+W_{Hi}(\cdot)+W_{Di}(\cdot)) $. There is an actual control law
$ u(x)=−ϱ1p1…pnn(zn+zrn+1pnrnn)1p1…pn, $ | (3.20) |
such that
$ LVk≤−n∑i=1(z4i+z4σripi−1…p1i). $ | (3.21) |
Until now, the recursive design has been completed. Under the new coordinates
$ ξ1=x1,ξi=xiLki,νp=upLkn+1, $ | (3.22) |
where $ k_{1} = 0 $, $ k_{i} = \frac{k_{i-1}+1}{p_{i-1}} $, $ i = 2, \;\ldots\;, n $ and $ L > 1 $ is a constructed constant, system $ (1.1) $ can be rewritten in the form
$ dξi=Lξpii+1dt+fi(⋅)Lkidt+gi(⋅)Lkidω(t),dξn=Lνpnndt+fn(⋅)Lkndt+gn(⋅)Lkndω(t). $ | (3.23) |
By (3.18) and (3.20), the system $ (3.1) $ can be integrated into the complex format
$ dξ=LR(ξ)dt+T(t,ξ,ξ(t−τ))dt+ψT(t,ξ,ξ(t−τ))dω(t), $ | (3.24) |
where $ \xi =(ξ1,…,ξn)T$,$R(ξ) = (\xi_{2}^{p} $, $ \;\ldots\;, \xi_{n}^{p} $, $ \nu^{p})^{T} $, $ T(t, \xi $, $ \xi(t-\tau)) =(f1$,$f2Lk2,…$,$fnLkn)T$,$ψ(t,ξ,ξ(t−τ)) = (g_{1} $, $ \frac{g_{2}}{L^{k_{2}}}, \;\ldots\; $, $ \frac{g_{n}}{L^{k_{n}}}) $. Introducing the dilation weight $ \triangle $$ = (r_{1}, r_{2}, \;\ldots\;, r_{n}) $, one gets
$ Vn(△ε(ξ))=n∑i=1∫εrixiεriαi−1(sp1…pi−1−εripi−1…p1αp1…pi−1i−1)4−1p1…pi−1ds+n∑i=1∫εrixiεriαi−1(sp1…pi−1−εripi−1…p1αp1…pi−1i−1)4σ−rk+1pkrkpk−1…p1ds+(n−k+1)∫tt−τ(z4k(s)+z4σrkpk−1…p1k(s))ds=n∑i=1∫xiαi−1(εripi−1…p1(ζp1…pi−1−αp1…pi−1i−1))4−1p1…pi−1εripi−1…p1dζ+n∑i=1∫εrixiαi−1(sp1…pi−1−εripi−1…p1αp1…pi−1i−1)4σ−rk+1pkrkpk−1…p1εripi−1…p1dζ=ε4σ−θVn(ξ), $ | (3.25) |
where $ s $ is defined as $ s = r_{i}\zeta $. With the help of the above formula and Definition 2, it can be concluded that $ V_{n}(\xi) $ is homogeneous of degree $ 4\sigma-\theta $.
The main result of this manuscript will be stated as follows.
Theorem 1. Suppose Assumptions 1 apply to stochastic system $ (1) $, under the state feedback controller $ u^{p} = L^{k_{n}+1}\nu^{p} $ and (3.20), then:
$ (i) $ There exists a unique solution on $ [-d, \infty) $;
$ (ii) $ The equilibrium at the origin is globally asymptotically stable in probability.
Proof. Four steps are used to verify Theorem 1.
Step 1: By the definition of $ \varrho > 0 $, we know that $ {p_{1}\;\ldots\; p_{j-1}-1} > 1 $, which implies that $ 4-\frac{1}{p_{1}\;\ldots\; p_{k-1}-1} > 2 $, $ \frac{4\sigma-r_{k+1}\;p_{k}}{r_{k}p_{k-1}\;\ldots\; p_{1}} > 2 $. Therefore, $ \frac{\partial\alpha_{i}^{p_{1}\;\ldots\; p_{i}}(t)}{\partial x_{j}(t)} $ is continuous, and $ u^{p_{n}} = L^{k_{n+1}}\nu^{p_{n}} $ is $ \mathcal{C} $. As is known to all, the function is $ \mathcal{C} $. The closed-loop system satisfies the locally Lipschitz condition based on $ f_{i} $ and $ g_{i} $ being locally Lipschitz.
Step 2: Consider the Lyapunov-candidate-function:
$ V(ξ)=Vn(ξ)+n∑i=1h1+h21−γ∫tt−τ‖ξ‖4σ△dη, $ | (3.26) |
where $ h_{1} $ and $ h_{2} $ are positive parameters. It is straightforward to prove that $ V(\xi) $ is $ \mathcal{C}^{2} $ on $ \xi $. Since $ V_{n}(\xi) $ is continuous, positive definite and radially unbounded, from Lemma 1, one can have
$ α20(|ξ|)≤V(ξ)≤α21(|ξ|), $ | (3.27) |
where $ \alpha_{20} $ and $ \alpha_{21} $ are $ \mathcal{K}_{\infty} $ functions. With the help of the homogeneous theory, one finally has
$ ˉc0‖ξi‖4σΔ≤U(ξ)≤c_0‖ξi‖4σΔ, $ | (3.28) |
in which $ \bar{c}_{0} > 0 $, $ \underline{c}_{0} > 0 $, and $ U(\xi) $ denotes a positive definite function of the $ 4\sigma $ homogeneous degree. Hence, one has the formula
$ α20(|ξ|)≤U(ξ)≤α21(|ξ|). $ | (3.29) |
(3.29) leads to
$ h1+h21−γ∫tt−τ‖ξ‖4σ△dη≤˜c∫tt−τˉα22(|ξi|)dη≤˜c∫0−τα21(|ξi(t+s)|)d(t+s)≤csup−τ≤s≤0ˉα22(|ξi(s+t)|)≤α22(sup−τ≤s≤0|ξi(s+t)|), $ | (3.30) |
where $ \eta = s+t $, $ \tilde{c} > 0 $, $ c > 0 $ and $ \alpha _{22} $ is a class $ \mathcal{K}_{\infty} $ function. Since
$ |ξ|≤(sup−τ≤s≤0|ξ(s+t)|),α21|ξ|≤α21(sup−τ≤s≤0|ξ(s+t)|). $ |
Defining $ \beta_{2} = \alpha_{21}+\alpha_{22} $, by (3.26)-(3.30), one gets
$ β1(|ξ|)≤V(|ξ|)≤β2(sup−τ≤s≤0|ξ(s+t)|). $ |
Step 3: With the help of Lemma 1 and (3.20), $ c_{01} $ is a positive constant, and one has
$ ∂Vn(ξ)∂ξLR(ξ)≤−c01L‖ξ‖4σΔ. $ | (3.31) |
By Proposition 2 and $ L > 1 $, one can have
$ |fi(t,ˉξ(t),ˉξ(t−τ))Lki|≤ˉδ1L1−γi1(i∑j=1|ξ(t)|ri+θrj+i∑j=1|ξ(t−τ)|ri+θrj)≤δ1L1−γi1(‖ξ(t)‖ri+θ△+‖ξ(t−τ)‖ri+θ△), $ | (3.32) |
in which $ \bar{\delta}_{1}, \delta_{1} > 0 $. With the help of Lemmas 1, 2 and (3.32), one can obtain
$ |∂Vn∂ξ(t)T(t,ξ(t),ξ(t−τ))|≤˜c02L1−¯γ0(n∑i=1‖ξ(t)‖4σ−ri−θ△‖ξ(t)‖ri+θ△+i∑j=1‖ξ(t−τ)‖4σ−ri−θ△‖ξ(t−τ)‖ri+θ△)≤L1−¯γ0(ˉc02‖ξ(t)‖4σ△+ˉc02‖ξ(t)‖4σ△‖ξ(t−τ)‖4σ△), $ | (3.33) |
where $ c_{02}, $ $ \bar{c}_{02}, $ $ \tilde{c}_{02} $ and $ \bar{\gamma_{0}} = \min\limits_{1\leq i\leq n}{\gamma_{i1}} $ are positive constants. Similar to (3.32), we use $ \delta_{2} $ and $ \gamma_{i2} < 1/2 $ to show that
$ |gi(t,ˉξ(t),ˉξ(t−τ))Lki|≤1Lkic2i∑j=1(|zj(t)|12p1…pi−1+|zj(t)|2ri+θ2rjp1…pi−1)+1Lkic2c2i∑j=1(|zj(t−τ)|12p1…pi−1+|zj(t−τ)|2ri+θ2rjp1…pi−1)≤L12−γi2(‖ξ(t)‖+‖ξ(t−τ)‖)ri+θ2≤δ2L12−γi2(‖ξ(t)‖ri+θ2△+‖ξ(t−τ)‖ri+θ2△). $ |
Using Lemma 1, Lemma 3, Lemma 4 and (3.34), one obtains
$ 12Tr{ψ(t,ξ(t),ξ(t−τ))∂2Vn∂ξ2⋅ψT(t,ξ(t),ξ(t−τ))}≤12r√rn∑i,j=1|∂2Vn∂ξ2||ψT(t,ξ(t),ξ(t−τ))||ψ(t,ξ(t),ξ(t−τ))|≤˜c03L1−¯γ0n∑i,j=1‖ξ(t)‖4σ−ri−rj−θ△×(‖ξ(t−τ)‖ri+θ2△+‖ξ(t)‖ri+θ2△)×(‖ξ(t)‖rj+θ2△+‖ξ(t−τ)‖rj+θ2△)≤˜c03L1−¯γ0(c03‖ξ(t)‖4σ△+˜c03ˉc03‖ξ(t)‖4σ△‖ξ(t−τ)‖4σ△)≤L1−¯γ0(c03‖ξ(t)‖4σ△+ˉc03‖ξ(t)‖4σ△‖ξ(t−τ)‖4σ△), $ | (3.34) |
in which $ \tilde{\gamma}_{0} = \min\limits_{1\leq i, j\leq n}\{\gamma_{i2}+\gamma_{j2}\} > 0 $, $ c_{03} > 0, $ $ \bar{c}_{03} > 0 $ and $ \tilde{c}_{03} > 0 $ are constants. Based on $ L > 1 $, we have
$ V(ξ)≤Vn(ξ)+h1+h21−γL1−γ0∫tt−τ‖ξ‖4σΔdη. $ |
By Definition 1, (3.26), (3.31), (3.33) and (3.34), one has
$ LV≤∂Vn∂ξLR(ξ)+∂Vn(ξ)∂ξT(t,ξ(t),ξ(t−τ)+12Tr{ψT(t,ξ(t),ξ(t−τ))∂2Vn∂ξ2ψ(t,ξ(t),ξ(t−τ))}+(h1+h2)L1−γ0⋅(11−γ‖ξ(t)‖4σ△−‖ξ(t−τ)‖4σ△)≤−L(c01−(c02+c03+h1+h21−γ)L−γ0)⋅‖ξ‖4σ△, $ | (3.35) |
which satisfies $ \gamma_{0} =min \{\bar{\gamma}_{0} $, $ \tilde{\gamma}_{0}\} < 1 $. Because $ c_{01} $ is a constant independent of $ c_{02}, \; c_{03} $, we choose $ L > L^{\ast} =max \{(\frac{c_{02}+c_{03}+\frac{h_{1}+h_{2}}{1-\gamma}}{c_{1}})^{\frac{1}{\gamma_{0}}}, 1\} $, and there exists a constant $ B = c_{01}-(c_{02}+c_{03}+\frac{h_{1}+h_{2}}{1-\gamma})L^{-\gamma_{0}} > 0 $, such that
$ LV≤−LB‖ξ‖4σ△=−c0|ξ‖4σ△. $ |
With the help of the above formula and (3.28), one obtains
$ LV(ξ(t))≤−(c0˜c)α_22|(|ξ(t)|). $ |
Briefly, following Steps $ 1 $–$ 3 $, the system has a unique solution on $ [-d, \infty] $, and $ \xi(t) = 0 $ is globally asymptotically stable in probability.
Step 4: Because (3.20) is an equivalent transformation, the system composed by $ (1) $ and $ u^{p} = L^{k_{n+1}}v^{p} $ is similar to the systems (3.20) and (3.22).
Remark 5. Compared with [24], we construct a state-feedback controller independent of time delays for the stochastic nonlinear system. Compared with [30], we use the methods of adding a power integrator to relax the nonlinear growth condition to cover both high-order and low-order nonlinearities. Not only does it not need to know anything information about the unknown function, but also it can reduce burdensome computations.
Remark 6. The homogeneous domination method is used for the first time to solve the stabilization problem of stochastic high-order and low-order nonlinear system (1.1) with time-delay.
Remark 7. In this paper, it is hard to adopt a Lyapunov-Krasovskii functional. In order to solve the above the problem, a suitable Lyapunov-candidate-function is designed to guarantee good system performance, and stabilization analysis is proposed to save better resources
Remark 8. The construction of the controller effectively keeps away from the zero-division problem of $ \frac{\partial^{2}\xi_{i}^{\ast\mu/r_{i}}}{\partial\xi^{2}_{j}} $. It need be noted that the non-zero-division problem and the locally Lipschitz condition (see Step 1 in the proof of Theorem $ 1 $) should to be guaranteed simultaneously, which will increase more difficulties.
Consider the following stochastic high-order and low-order nonlinear systems with time-delay:
$ {dx1(t)=[x32(t)+x22(t)x1(t−1)]dt+14x1(t)sinx1(t−1)dω(t),dx2(t)=[u3(t)+x2(t)cosx2(t−1)]dt. $ | (4.1) |
One can see that Assumption 1 is satisfied with $ p_{1} = p_{2} = 3, \tau = 1, C = 1, r_{1} = 1, \theta = \frac{2}{5} $. One can easily get
$ |f1|≤(|z1|+|z1|75+|z1(t−1)|+|z1(t−1)|75)/5, $ |
$ |g1|≤(|z1|+|z1|165+|z1(t−1)|+|z1(t−1)|165)/8, $ |
$ |f2|≤(|z1|13+|z1|1345+|z2|13+|z2|136+|z1(t−1)|13+|z1(t−1)|1345+|z2(t−1)|13+|z2(t−1)|136)/5. $ | (4.2) |
In this simulation, we choose $ V_{1}(z_{1}) = \frac{1}{5}z_{1}^{5}+\frac{1}{10}z_{1}^{10}+2\int_{t-1}^{t}(z_{1}^{4}+z_{1}^{\frac{4\sigma}{r_{1}}})dl $. Several calculations lead to
$ LV1≤−2(z41+z5251)−(z41(t−1)+z1(t−1)525)+(z1+z91)(x32−α31), $ | (4.3) |
where $ \alpha^{p_{1}} = -(2n+\beta_{1})(z_{1}^{3}+z_{1}^{\frac{7}{5}}) $. By choosing $ V_{2}(\overline{\eta}_{2}) = V_{1}(\eta_{1})+W_{L2}+W_{H2}+W_{D2} $, a direct calculation leads to
$ LV2≤−(z41+z5251)−(z42+z26072). $ | (4.4) |
From the previous manipulations, one obtains the following actual controller
$ u(t)=−ϱ19(z2+z13452)19=−306.771(z2+z13452)19. $ | (4.5) |
The initial condition can be given as $ \xi_{0}(\theta)\equiv[1, -1]^{T} $. Figure 1 illustrates that the globally asymptotically stable in probability has been achieved and the responses of (4.7) is given in Figure 2.
In this technical note, we investigate the state feedback stabilization problem of stochastic high-order and low-order nonlinear systems with time-delay successfully. According to the homogeneous domination method and the design of integral Lyapunov functions, the control strategy is achieved with the controller design. The above results indicate that the closed-loop system is globally asymptotically stable in probability. There still remain problems to be investigated, such as how to take into account output feedback control and how to extend our results under weaker conditions.
This work is supported by National Natural Science Foundation of China under Grant 62173208, Taishan Scholar Project of Shandong Province of China under Grant tsqn202103061, Shandong Qingchuang Science and Technology Program of Universities under Grant 2019KJN036.
The authors declare no conflicts of interest.
[1] | Rechtschaffen A (1971) The control of sleep. In Hynt WA (ed): Human Behavior and its control. Cambridge, MA; Shenkman Publishing Company, Inc. |
[2] | Rechtschaffen (1998) Current perspectives on the function of sleep. Perspect Biol Med 41(3): 359 (32). |
[3] | Destexhe A, Contreras D, Steriade M (1999) Spatiotemporal analysis of local field potentials and unit discharges in cat cerebral cortex during natural wake and sleep states. J Neurosci 19(11):4595-4608. |
[4] | Borbely AA (1982) A two process model of sleep regulation. Hum Neurobiol 1: 195-204. |
[5] | Aristotle (1908) On sleep and sleeplessness; Translated by John Isaac Beare; 2014; Kindle Edition. |
[6] | Piéron H (1912) Le problème Physiologique du Sommeil Paris; Maison Et Cie; Editeurs; Libraires de L'Académie de Médicine |
[7] |
Morrison AR (2013) Coming to grips with a “new” state of consciousness: the study of Rapid Eye Movement Sleep in the 1960's. J Hist Neurosci 22: 392-407. doi: 10.1080/0964704X.2013.777230
![]() |
[8] | Shepard JW, Biysse DJ, Chesson AL Jr, et al. (2005) History of the development of sleep medicine in the United States. J Clin Sleep Med 1: 61-82. |
[9] | Schmidt MH (2014) The energy allocation function of sleep: A unifying theory of sleep, torpor, and continuous wakefulness. Neurosci Biobehav Rev 47(0): 122-153. |
[10] | Weitzman E D, Nogeire C, Perlow M, et al. (1974) Effects of a prolonged 3-hour sleep-wake cycle on sleep stages, plasma cortisol, growth hormone and body temperature in man. J Clin Endoc Metab 38(6): 1018-1030. |
[11] | Guyon A, Balbo M, Morselli, et al. (2014) Adverse effects of two nights of sleep restriction on the hypothalamic-pituitary-adrenal axis in healthy men. J Clin Endoc Metab 99(8): 2861-2868. |
[12] | Van Cauter E, Plat L (1996) Physiology of growth hormone secretion during sleep. J Pediatr 128(5 Pt 2): S32-37. |
[13] | Van Cauter E, Blackman JD, Roland D, et al. (1991) Modulation of glucose regulation and insulin secretion by circadian rhythmicity and sleep. J Clin Invest 88(3): 934-942. |
[14] | Spiegel K, Luthringer R, Follenius M, et al. (1995) Temporal relationship between prolactin secretion and slow-wave electroencephalic activity during sleep. Sleep 18(7): 543-548. |
[15] | Luboshitzky R, Herer P, Levi, et al. (1999) Relationship between rapid eye movement sleep and testosterone secretion in normal men. J Androlo 20(6): 731-737. |
[16] | Jung CM, Melanson EL, Frydendall EJ, et al. (2011) Energy expenditure during sleep, sleep deprivation and sleep following sleep deprivation in adult humans. J Physiolo 589 (Pt 1): 235-244. |
[17] | Klingenberg L, Sjodin A, Holmback U, et al. (2012) Short sleep duration and its association with energy metabolism. Obesity Reviews: An Official Journal of the International Association for the Study of Obesity 13(7): 565-577. |
[18] | Spiegel K, Tasali E, Penev P, et al. (2004) Brief communication: sleep curtailment in healthy young men is associated with decreased leptin levels, elevated ghrelin levels, and increased hunger and appetite. Ann Int Medi 141(11): 846-850. |
[19] | Spaeth AM, Dinges DF, Goel N (2013) Effects of experimental sleep restriction on weight gain, caloric intake, and meal timing in healthy adults. Sleep 36(7): 981-990. |
[20] | Lange T, Dimitrov S, Bollinger, et al. (2011) Sleep after vaccination boosts immunological memory. J Immunol (Baltimore, Md.: 1950), 187(1): 283-290. |
[21] | Irwin MR, Wang M, Campomayor CO, et al. (2006) Sleep deprivation and activation of morning levels of cellular and genomic markers of inflammation. Arch Int Med 166(16): 1756-1762. |
[22] | Tamakoshi A, Ohno Y, JACC Study Group (2004) Self-reported sleep duration as a predictor of all-cause mortality: Results from the JACC study, japan. Sleep 27(1): 51-54. |
[23] | Rod NH, Kumari M, Lange T, et al. (2014) The joint effect of sleep duration and disturbed sleep on cause-specific mortality: Results from the whitehall II cohort study. PloS One 9(4): e91965. |
[24] | Altman NG, Izci-Balserak B, Schopfer E, et al. (2012) Sleep duration versus sleep insufficiency as predictors of cardiometabolic health outcomes. Sleep Med 13(10): 1261-1270. |
[25] | Van Leeuwen WM, Lehto M, Karisola P, et al. (2009) Sleep restriction increases the risk of developing cardiovascular diseases by augmenting proinflammatory responses through IL-17 and CRP. PloS One 4(2): e4589. |
[26] | Spiegel K, Leproult R, Van Cauter E (1999) Impact of sleep debt on metabolic and endocrine function. Lancet 354(9188): 1435-1439. |
[27] | Tochikubo O, Ikeda A, Miyajima E, et al. (1996) Effects of insufficient sleep on blood pressure monitored by a new multibiomedical recorder. Hypertension 27(6), 1318-1324. |
[28] | Banks S, Dinges DF (2007) Behavioral and physiological consequences of sleep restriction. J Clin Sleep Med: JCSM: Official Publication of the American Academy of Sleep Medicine 3(5): 519-528. |
[29] | Walker MP, Brakefield T, Morgan A, et al. (2002) Practice with sleep makes perfect: Sleep-dependent motor skill learning. Neuron 35(1): 205-211. |
[30] | Nishida M, Walker MP (2007) Daytime naps, motor memory consolidation and regionally specific sleep spindles. PloS One 2(4): e341. |
[31] | Gais S, Molle M, Helms K, et al. (2002) Learning-dependent increases in sleep spindle density. J Neurosci: The Official Journal of the Society for Neuroscience 22(15): 6830-6834. |
[32] | Marshall L, Helgadottir H, Molle M, et al. (2006) Boosting slow oscillations during sleep potentiates memory. Nature 444(7119): 610-613. |
[33] | Astill RG, Piantoni G, Raymann RJ, et al. (2014) Sleep spindle and slow wave frequency reflect motor skill performance in primary school-age children. Frontiers Hum Neurosci 8: 910. |
[34] | De Koninck J, Lorrain D, Christ, et al. (1989) Intensive language learning and increases in rapid eye movement sleep: Evidence of a performance factor. Int J Psychophysiol: Official Journal of the International Organization of Psychophysiology 8(1): 43-47. |
[35] | Abel T, Havekes R, Saletin, et al. (2013) Sleep, plasticity and memory from molecules to whole-brain networks. Curr Biolo: CB 23(17): R774-788. |
[36] |
Walker MP (2009) The Year in Cognitive Neuroscience. Ann NY Acad Sci 1156: 168-197. doi: 10.1111/j.1749-6632.2009.04416.x
![]() |
[37] | Goldstein AN, Walker MP (2014) The role of sleep in emotional brain function. Ann Rev Clin Psycholo 10: 679-708. |
[38] | Lim J, Dinges D F (2010) A meta-analysis of the impact of short-term sleep deprivation on cognitive variables. Psycholo Bulletin 136(3): 375-389. |
[39] | Belenky G, Wesensten NJ, Thorne DR, et al. (2003) Patterns of performance degradation and restoration during sleep restriction and subsequent recovery: A sleep dose-response study. J Sleep Res 12(1): 1-12. |
[40] | Dinges D, Powell J (1985) Microcomputer analyses of performance on a portable, simple visual RT task during sustained operations. Behav Res Method Instrum Comput 17(6): 652-655. |
[41] | Van Dongen HP, Maislin G, Mullington JM, et al. (2003) The cumulative cost of additional wakefulness: Dose-response effects on neurobehavioral functions and sleep physiology from chronic sleep restriction and total sleep deprivation. Sleep 26(2): 117-126. |
[42] | Rupp TL, Wesensten NJ, Bliese PD, et al. (2009) Banking sleep: Realization of benefits during subsequent sleep restriction and recovery. Sleep 32(3): 311-321. |
[43] |
Meddis R (1975) On the function of sleep. Animal Behav 23: 676-691. doi: 10.1016/0003-3472(75)90144-X
![]() |
[44] |
Webb W (1974) Sleep as an adaptive response. Perceptual Motor Skills 38: 1023-1027. doi: 10.2466/pms.1974.38.3c.1023
![]() |
[45] | Webb WB (1979) Theories of sleep functions and some clinical implications. The Functions of Sleep: 19-35. |
[46] | Siegel JM (2009) Sleep viewed as a state of adaptive inactivity. Nat Rev Neurosci 10: 747-753 |
[47] | Berger RJ, Phillips NH (1993) Sleep and energy conservation. Physiolo 8: 276-281. |
[48] | Berger RJ, Phillips NH (1995) Energy conservation and sleep. Behav Brain Res 69(1-2): 65-73. |
[49] |
Adam K (1980) Sleep as a restorative process and a theory to explain why. Prog Brain Res 53: 289-305. doi: 10.1016/S0079-6123(08)60070-9
![]() |
[50] | Oswald I (1980) Sleep as restorative process: Human clues. Prog Brain Res 53: 279-288. |
[51] | Clugston GA, Garlick P J (1982) The response of protein and energy metabolism to food intake in lean and obese man. Hum Nutr: Clin Nutr 36(1): 57-70. |
[52] | Karnovsky M L, Reich P, Anchors JM, et al (1983) Changes in brain glycogen during slow-wave sleep in the rat. J Neurochem 41(5): 1498-1501. |
[53] | Benington JH, Heller HC (1995) Restoration of brain energy metabolism as the function of sleep. Prog Neurobiolo 45(4): 347-360. |
[54] | Benington JH (2000) Sleep homeostasis and the function of sleep. Sleep 23(7): 959-966. |
[55] | Reimund E (1994) The free radical flux theory of sleep. Med Hypotheses 43(4): 231-233. |
[56] | Siegel JM (2005) Clues to the functions of mammalian sleep. Nature 437(7063): 1264-1271. |
[57] | Xie L, Kang H, Xu Q, et al. (2013) Sleep drives metabolite clearance from the adult brain. Science (New York, N.Y.) 342(6156): 373-377. |
[58] | Moruzzi G (1966) Functional significance of sleep for brain mechanisms. In: Eccles JC, ed. Brain and conscious experience. Berlin: Springer-Verlag: 345-388. |
[59] | Moruzzi G (1972) The sleep-waking cycle. Ergeb Physiol 64: 1-165 |
[60] | Krueger JM, Obal F (1993) A neuronal group theory of sleep function. J Sleep Res 2(2): 63-69. |
[61] | Kavanau JL (1996) Memory, sleep, and dynamic stabilization of neural circuitry: evolutionary perspectives. Neurosci Biobehav Rev 20: 289-311. |
[62] | Kavanau JL (1997a) Memory, sleep and the evolution of mechanisms of synaptic efficacy maintenance. Neurosci 79: 7-44. |
[63] | Kavanau JL (1997b) Origin and evolution of sleep: roles of vision and endothermy. Brain Res Bulletin 42: 245-264. |
[64] | Kavanau JL (1994) Sleep and dynamic stabilization of neural circuitry: A review and synthesis. Behav Brain Res 63(2): 111-126. |
[65] | Jouvet M (1975) The function of dreaming: a neurophysiologist's point of view. In: Gazzaniga, M.S., Blakemore, C. (Eds.), Handbook of Psychobiology. Academic Press, Inc., New York, pp. 499-527. |
[66] | Crick F, Mitchison G (1983) The function of dream sleep. Nature 304(5922): 111-114. |
1. | Lulu Wu, 2024, Chapter 40, 978-981-97-3339-2, 450, 10.1007/978-981-97-3340-8_40 | |
2. | Jinping Jia, Hao Dai, Fandi Zhang, Jianwen Huang, Dynamic output feedback stabilization for a class of nonsmooth stochastic nonlinear systems perturbed by multiple time-varying delays, 2024, 112, 0924-090X, 7093, 10.1007/s11071-024-09377-2 |