Research Article | Open Access

Wei Kang, Hao Chen, Kaibo Shi, Jun Cheng, "Further Results on Reachable Set Bounding for Discrete-Time System with Time-Varying Delay and Bounded Disturbance Inputs", *Complexity*, vol. 2018, Article ID 9259284, 11 pages, 2018. https://doi.org/10.1155/2018/9259284

# Further Results on Reachable Set Bounding for Discrete-Time System with Time-Varying Delay and Bounded Disturbance Inputs

**Academic Editor:**Eulalia Martínez

#### Abstract

This paper investigates the problem of reachable set bounding for discrete-time system with time-varying delay and bounded disturbance inputs. Together with a new Lyapunov-Krasovskii functional, discrete Wirtinger-based inequality, and reciprocally convex approach, sufficient conditions are derived to find an ellipsoid to bound the reachable sets of discrete-time delayed system. The main advantage of this paper lies in two aspects: first, the initial state vectors are not necessarily zero; second, the obtained criteria in this paper do not really require all the symmetric matrices involved in the employed Lyapunov-Krasovskii functional to be positive definite. Finally, two numerical examples are provided to illustrate the effectiveness of the proposed method.

#### 1. Introduction

The reachable set of dynamic system is defined as a collection of system state vectors in presence of all admissible input disturbances. As is known to all, the phenomenon of disturbance inputs is usually unavoidable in engineering and practical systems because of data transformation, measurement errors, linearisation approximations, and some unknown disturbances. Therefore, the reachable set bounding for dynamic systems with input disturbances is an important and challenging research topic in robust control theory and practical engineering. Then, applications of reachable set bounding can be found in various fields such as peak-to-peak minimization, aircraft collision avoidance, parameter estimation, and constrained control design [1–3]. On the other hand, time delay often occurs in various real-world systems and the existence of it may lead to instability, oscillation, or bad system performance [4–6]. Thus, stability and control of time-delay systems plays an important role in the field of engineering. As a result, many scholars have devoted themselves to the study of time-delay systems [7–18] and varieties of methods have been introduced to solve the stability analysis and control synthesis of delayed systems, such as delay-partitioning method [10, 11], reciprocally convex approach [13], and the free-weighting matrices technique [14].

In many practical applications, we often require to find a bound of a set of all the states that are reachable from a given set. Two definitions on forward and backward reachable sets are introduced in [18–20]. Those notions have been widely applied to state bounding observers, safety verification, and model checking. Forward reachable set with regard to a given initial set of a dynamic system is the set of all the states starting from the given initial set. It should be pointed out that reachable set defined in [21–25] is a special case of forward reachable set when the given initial set contains only the origin point. Most of existing results about forward reachable set bounding were reported for dynamic systems without time delay. As for the reachable set bounding problem of time-delay systems, it was firstly solved by Fridman and Shaked in [2] based on Lyapunov-Razumikhin approach. Then, some excellent achievements on reachable set bounding for dynamical systems have been proposed in the literature [21–31]. By using an enlarging Lyapunov-Krasovskii functional and delay-partitioning method, an improved condition was provided in [21]. Zuo et al. introduced the maximal Lyapunov functional method to deal with the problem of reachable set bounding for linear systems in [22]. Subsequently, the maximal Lyapunov functional approach has been adopted to research the reachable set estimation for delayed neural network [23]. In [25], the authors studied the problem of reachable set estimation and synthesis for delayed systems by using delay-decomposition technique and reciprocally convex approach. Recently, the problem of reachable set estimation for delayed singular systems was considered in [31] based on Lyapunov method. In [27], new explicit delay-independent conditions are obtained by utilizing a novel method which does not involve the Lyapunov-Krasovskii functional way. In [32], the authors presented a new approach to obtain the smallest box which bounds all reachable sets of a class of nonlinear system. The problem of state bounding for homogeneous positive nonlinear systems was studied in [33]. In this paper, we will further study the forward reachable set bounding problem for delayed system.

It is worth noting that all the above-mentioned research has been focused on continuous-time systems. However, with the progress of computer-based computational techniques, discrete-time systems play a considerable role in many practical applications. Therefore, the stability and control of discrete-time delayed systems is an important issue and has been studied by many researchers [34–40]. Up to now, there are few papers considering the reachable set estimation of discrete-time systems with time-varying delay. In [38], an ellipsoidal-like bounding of the reachable set for discrete-time system with time-varying delay is shown by using the delay-decomposition and the free-weighting matrix techniques. In [39], the problem of reachable set bounding for discrete-time polytopic systems with multiple constant delays was studied; delay-dependent conditions were derived in the form of relaxed matrix inequalities. Compared with the results in [38, 39], some less conservative conditions are obtained in [40] by employing a novel Lyapunov-Krasovskii functional combining with delay-decomposition technique and reciprocally convex method. In [41], the reachable set estimation of delayed discrete-time T-S fuzzy systems was considered. The reachable set estimation problem for discrete-time Markovian jump neural networks was firstly investigated in [42]. However, there is still much room to investigate the problem of forward reachable set bounding for discrete-time system with time-varying delay, which is our motivation.

In this paper, we concentrate on the forward reachable set bounding problem for discrete-time system with time-varying delay. The ellipsoidal reachable set estimation conditions of discrete-time linear systems are obtained by using discrete Wirtinger-based inequality and reciprocally convex approach. The novelty of this paper is three aspects: first, a relaxed Lyapunov-Krasovskii functional, which does not require all the involved symmetric matrices to be positive definite, is employed to solve the addressed problem; second, the initial state vectors are not necessarily zero, which is more general than the existing results [38, 39]; third, discrete Wirtinger-based inequality is taken into account in this paper to deal with the problem of reachable set bounding for delayed discrete-time systems. Finally, two numerical examples are provided to validate the effectiveness of the proposed method.

*Notations*. Throughout this paper, means that the matrix is positive definite (positive semidefinite, negative definite, and negative semidefinite); is the set of real matrices; the superscripts and denote the inverse and transpose of a matrix, respectively; denotes the symmetric block in symmetric matrix; denotes the identity matrix with compatible dimensions; denotes the set of natural number; and denotes the set of integers.

#### 2. Problem Statement and Preliminaries

We consider the following discrete-time system with time-varying delay:where is the state vector of the system, , , and are known constant matrices with appropriate dimensions, is the time-varying delay and satisfies , and represents a disturbance which satisfies is the initial condition function satisfyingDefine that , which satisfiesIn this paper, we denote reachable set of system (1) asOur aim is to find an ellipsoid to bound the reachable set of system (1).

In addition, we give some lemmas which will be used in deriving our results.

Lemma 1. *Let be a positive-definite function with satisfying ; if there exists a scalar , such thatthen, we have .*

*Proof. *From (6), we can get then, we have then, we can get This completes the proof.

Lemma 2 (see [18]). *For a given matrix , and three given nonnegative integers satisfying , vector function , , we denote then, we havewhere .*

Lemma 3 (see [13]). *Let have positive values in an open subset and ; then, the reciprocally convex combination of over satisfies *

#### 3. Main Results

Before main results, we define block entry matrices as (e.g., ). The other vectors are defined as

Theorem 4. *For given scalar , if there exist positive scalars , , , , , symmetric matrices , , , , , , and matrices , , , , such thatthen, the reachable set of system (1) is contained in the following ellipsoid: where *

*Proof. *We construct the following Lyapunov-Krasovskii functional for system (1):where First of all, the functional is required to be positive definite. By using Jensen inequality [37], the following can be obtained:Noticing thatwe haveIt follows from (23)–(25) thatwhereFrom condition (15), we haveTogether with (26)–(28), we can getThen, taking the forward difference of with respect to (1), we can getBased on Lemma 2, we haveWhen , by using Lemma 2, we obtainwhere , , , and .

Noting and and using Lemma 3, we have where and .

If , we have , ; if , we also have , . Accordingly, when or , (33) still holds.

Thus, we obtainFrom (30)–(34), we havewhere .

For any matrices with appropriate dimensions, we haveFrom (35)-(36), we can getNoting that , we obtainFurthermore, we describe the initial value of Lyapunov functional as By condition (17) and Lemma 1, we have . Then, together with (15), it is implied that . Thus, this means that the reachable set of system (1) is contained in the ellipsoid defined by (19). This completes the proof.

*Remark 5. *The difficulty of this paper is how to handle the term and the term . In this paper, we using discrete Wirtinger-based inequality instead of discrete Jensen inequality [38–40] to deal with the term . Then, by using reciprocally convex approach and discrete Wirtinger-based inequality, the new inequality (33) is introduced to deal with the term .

*Remark 6. *It is worth pointing out that our results are more relaxed and general compared with the results in [38], because the initial condition is not required to be zero in system (1). In the case where the initial set contains only the origin point, that is, , it is easy to get without needing (17). Therefore, we can obtain reachable set bounding for discrete-time system with time-varying delay and it is stated in the following theorem.

Theorem 7. *For given scalars , if there exist symmetric matrices , , , , , and matrices , , , , such thatthen, the reachable set of system (1) is contained in the following ellipsoid:where are defined in Theorem 4.*

*Remark 8. *Traditionally, it was always assumed that each of the involved symmetric matrices must be positive, which ensured that the corresponding Lyapunov-Krasovskii functional would be positive, while, in this paper, we relaxed these conditions. Particularly, we established a novel Lyapunov-Krasovskii functional that the involved matrices such as , , and may be nonpositive.

*Remark 9. *The difficulty of this method lies in how to prove that the relevant Lyapunov-Krasovskii functional must be positive definite. In order to overcome this difficulty, we take full advantage of Jensen’s inequality; then, one can obtain the conditions (15), which ensure . If the methods in [38] are followed, all the involved symmetric matrices in Lyapunov-Krasovskii functional being positive definite implies that . We can easily obtain the following corollaries.

Corollary 10. *For given scalars , if there exist positive scalars , , , , , symmetric matrices , , , , , and matrices , , , , such thatthen, the reachable set of system (1) is contained in the following ellipsoid:where are defined in Theorem 4.*

Corollary 11. *For given scalars , if there exist symmetric matrices , , , , , and matrices , , , , such thatthen, the reachable set of system (1) is contained in the following ellipsoid:where are defined in Theorem 4.*

*Remark 12. *To get the smallest possible ellipsoid with the shortest major axis, we consider the matrix as a decision variable and satisfying , which is equivalent to where . Then the smallest possible ellipsoid can be obtained when is minimum.

*Remark 13. *In order to solve matrix inequalities (14)–(18) with 6 parameters , , , , , and , we first simplify them into linear matrix inequalities (LMIs). For example, matrix inequality is represented as linear matrix inequality , where . Similarly, matrix inequalities (16) are also represented as LMIs. Then, by fixing parameter , matrix inequalities (15), (17), and (18) are reduced to LMIs. Thus, to compute the smallest bound of a reachable set for discrete-time systems (1), we solve the optimization problem for a parameter :

#### 4. Numerical Examples

In this section, we present two examples to demonstrate the effectiveness of our results.

*Example 14. *Consider the discrete-time system (1) with the following parameters: and and . The time-varying delay satisfied , by applying Theorem 7 with the Matlab LMI tool box, the minimal is obtained when , and some of the obtained decision variables are

The eigenvalues of are −0.2325 and 0.2127. Obviously, the matrix is not positive definite. Hence, there really exist nonpositive-definite matrices such that the LKF in (21) is positive definite. Moreover, by the method in [40], the minimal is obtained. Figure 1 gives a more intuitive comparison of the reachable sets by different methods; it is clear that our method in this paper yields much tighter bounds than that of [40]. Therefore, it can be seen that our results are less conservative than the ones in [40]. Figure 2 shows the reachable set when and ; from Figure 2, we can see that the reachable set of the system is related to the time delay.

*Example 15. *Consider the discrete-time system (1) with the following parameters: and and . The system has been considered in some existing works [38, 40]. The allowable maximal values of are listed in Table 1 with different . Therefore, our conditions proposed in Corollary 11 provide a better range for the time-varying delay as shown in Table 1.

#### 5. Conclusions

In this paper, the problem of reachable set bounding for discrete-time system with time-varying delay and bounded disturbance inputs has been investigated, by establishing a novel Lyapunov-Krasovskii functional, which does not require all the involved symmetric matrices to be positive definite. Then, we present some new criteria based on discrete Wirtinger-based inequality and reciprocally convex method. Two numerical examples are provided to validate the effectiveness of the proposed methods.

#### Conflicts of Interest

The authors declare that they have no conflicts of interest.

#### Acknowledgments

This study is supported by the Natural Science Foundation of the Anhui Higher Education Institutions of China (KJ2016A555, KJ2016A625), the Program for Innovative Research Team of the Higher Education Institutions of Hubei Province (T201812), the Natural Science Foundation of the Hubei Province of China (2016CFB211), Program for Excellent Young Talents in University of Anhui Province (gxyq2017158), and Provincial Natural Science Foundation of Anhui (1708085MF155).

#### References

- J. Abedor, K. Nagpal, and K. Poolla, “A linear matrix inequality approach to peak-to-peak gain minimization,”
*International Journal of Robust and Nonlinear Control*, vol. 6, no. 9-10, pp. 899–927, 1996. View at: Publisher Site | Google Scholar | MathSciNet - E. Fridman and U. Shaked, “On reachable sets for linear systems with delay and bounded peak inputs,”
*Automatica*, vol. 39, no. 11, pp. 2005–2010, 2003. View at: Publisher Site | Google Scholar | MathSciNet - J.-H. Kim, “Improved ellipsoidal bound of reachable sets for time-delayed linear systems with disturbances,”
*Automatica*, vol. 44, no. 11, pp. 2940–2943, 2008. View at: Publisher Site | Google Scholar | MathSciNet - A. Bellen, N. Guglielmi, and A. E. Ruehli, “Methods for linear systems of circuit delay differential equations of neutral type,”
*IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications*, vol. 46, no. 1, pp. 212–216, 1999. View at: Publisher Site | Google Scholar | MathSciNet - B. Wang, J. Yan, J. Cheng, and S. Zhong, “New criteria of stability analysis for generalized neural networks subject to time-varying delayed signals,”
*Applied Mathematics and Computation*, vol. 314, pp. 322–333, 2017. View at: Publisher Site | Google Scholar | MathSciNet - Y. Liu, W. Ma, M. S. Mahmoud, and S. . Lee, “Improved delay-dependent exponential stability criteria for neutral-delay systems with nonlinear uncertainties,”
*Applied Mathematical Modelling: Simulation and Computation for Engineering and Environmental Systems*, vol. 39, no. 10-11, pp. 3164–3174, 2015. View at: Publisher Site | Google Scholar | MathSciNet - F. Li, X. Meng, and Y. Cui, “Nonlinear stochastic analysis for a stochastic SIS epidemic model,”
*Journal of Nonlinear Sciences and Applications*, vol. 10, no. 9, pp. 5116–5124, 2017. View at: Publisher Site | Google Scholar - Z. Wu, P. Shi, H. Su, and J. Chu, “Stability and dissipativity analysis of static neural networks with time delay,”
*IEEE Transactions on Neural Networks and Learning Systems*, vol. 23, no. 2, pp. 199–210, 2012. View at: Publisher Site | Google Scholar - O. M. Kwon, M. J. Park, J. H. Park, S. M. Lee, and E. J. Cha, “New criteria on delay-dependent stability for discrete-time neural networks with time-varying delays,”
*Neurocomputing*, vol. 121, pp. 185–194, 2013. View at: Publisher Site | Google Scholar - S. Zhu, Z. Li, and C. Zhang, “Delay decomposition approach to delay-dependent stability for singular time-delay systems,”
*IET Control Theory & Applications*, vol. 4, no. 11, pp. 2613–2620, 2010. View at: Publisher Site | Google Scholar | MathSciNet - O. M. Kwon, M. J. Park, J. H. Park, S. M. Lee, and E. J. Cha, “New delay-partitioning approaches to stability criteria for uncertain neutral systems with time-varying delays,”
*Journal of The Franklin Institute*, vol. 349, no. 9, pp. 2799–2823, 2012. View at: Publisher Site | Google Scholar | MathSciNet - L. V. Hien and V. N. Phat, “Exponential stability and stabilization of a class of uncertain linear time-delay systems,”
*Journal of The Franklin Institute*, vol. 346, no. 6, pp. 611–625, 2009. View at: Publisher Site | Google Scholar | MathSciNet - P. Park, J. W. Ko, and C. Jeong, “Reciprocally convex approach to stability of systems with time-varying delays,”
*Automatica*, vol. 47, no. 1, pp. 235–238, 2011. View at: Publisher Site | Google Scholar | MathSciNet - Y. He, Q.-G. Wang, L. Xie, and C. Lin, “Further improvement of free-weighting matrices technique for systems with time-varying delay,”
*Institute of Electrical and Electronics Engineers Transactions on Automatic Control*, vol. 52, no. 2, pp. 293–299, 2007. View at: Publisher Site | Google Scholar | MathSciNet - A. Seuret and F. Gouaisbaut, “Wirtinger-based integral inequality: application to time-delay systems,”
*Automatica*, vol. 49, no. 9, pp. 2860–2866, 2013. View at: Publisher Site | Google Scholar | MathSciNet - M. Park, O. Kwon, J. H. Park, S. Lee, and E. Cha, “Stability of time-delay systems via Wirtinger-based double integral inequality,”
*Automatica*, vol. 55, pp. 204–208, 2015. View at: Publisher Site | Google Scholar | MathSciNet - P. T. Nam, P. N. Pathirana, and H. Trinh, “Discrete Wirtinger-based inequality and its application,”
*Journal of The Franklin Institute*, vol. 352, no. 5, pp. 1893–1905, 2015. View at: Publisher Site | Google Scholar | MathSciNet - H. Trinh, P. T. Nam, P. N. Pathirana, and H. . Le, “On backwards and forwards reachable sets bounding for perturbed time-delay systems,”
*Applied Mathematics and Computation*, vol. 269, pp. 664–673, 2015. View at: Publisher Site | Google Scholar | MathSciNet - I. M. Mitchell and C. J. Tomlin, “Overapproximating reachable sets by Hamilton-Jacobi projections,”
*Journal of Scientific Computing*, vol. 19, no. 1-3, pp. 323–346, 2003. View at: Publisher Site | Google Scholar | MathSciNet - P. T. Nam, P. N. Pathirana, and H. Trinh, “Partial state bounding with a pre-specified time of non-linear discrete systems with time-varying delays,”
*IET Control Theory & Applications*, vol. 10, no. 13, pp. 1496–1502, 2016. View at: Publisher Site | Google Scholar | MathSciNet - P. T. Nam and P. N. Pathirana, “Further result on reachable set bounding for linear uncertain polytopic systems with interval time-varying delays,”
*Automatica*, vol. 47, no. 8, pp. 1838–1841, 2011. View at: Publisher Site | Google Scholar | MathSciNet - Z. Zuo, D. W. Ho, and Y. Wang, “Reachable set bounding for delayed systems with polytopic uncertainties: the maximal Lyapunov-Krasovskii functional approach,”
*Automatica*, vol. 46, no. 5, pp. 949–952, 2010. View at: Publisher Site | Google Scholar | MathSciNet - Z. Zuo, Z. Wang, Y. Chen, and Y. Wang, “A non-ellipsoidal reachable set estimation for uncertain neural networks with time-varying delay,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 19, no. 4, pp. 1097–1106, 2014. View at: Publisher Site | Google Scholar | MathSciNet - Z. Zuo, Y. Chen, Y. Wang, D. W. Ho, M. Z. Chen, and H. Li, “A note on reachable set bounding for delayed systems with polytopic uncertainties,”
*Journal of The Franklin Institute*, vol. 350, no. 7, pp. 1827–1835, 2013. View at: Publisher Site | Google Scholar | MathSciNet - Z. Feng and J. Lam, “An improved result on reachable set estimation and synthesis of time-delay systems,”
*Applied Mathematics and Computation*, vol. 249, pp. 89–97, 2014. View at: Publisher Site | Google Scholar | MathSciNet - O. M. Kwon, S. M. Lee, and J. H. Park, “On the reachable set bounding of uncertain dynamic systems with time-varying delays and disturbances,”
*Information Sciences*, vol. 181, no. 17, pp. 3735–3748, 2011. View at: Publisher Site | Google Scholar | MathSciNet - L. V. Hien and H. M. Trinh, “A new approach to state bounding for linear time-varying systems with delay and bounded disturbances,”
*Automatica*, vol. 50, no. 6, pp. 1735–1738, 2014. View at: Publisher Site | Google Scholar | MathSciNet - Z. Zuo, Y. Fu, and Y. Wang, “Results on reachable set estimation for linear systems with both discrete and distributed delays,”
*IET Control Theory & Applications*, vol. 6, no. 14, pp. 2346–2350, 2012. View at: Publisher Site | Google Scholar | MathSciNet - Z. Zuo, D. W. Ho, and Y. Wang, “Reachable set estimation for linear systems in the presence of both discrete and distributed delays,”
*IET Control Theory & Applications*, vol. 5, no. 15, pp. 1808–1812, 2011. View at: Publisher Site | Google Scholar | MathSciNet - C. Shen and S. Zhong, “The ellipsoidal bound of reachable sets for linear neutral systems with disturbances,”
*Journal of The Franklin Institute*, vol. 348, no. 9, pp. 2570–2585, 2011. View at: Publisher Site | Google Scholar | MathSciNet - Z. Feng and J. Lam, “On reachable set estimation of singular systems,”
*Automatica*, vol. 52, pp. 146–153, 2015. View at: Publisher Site | Google Scholar | MathSciNet - P. T. Nam, P. N. Pathirana, and H. Trinh, “Reachable set bounding for nonlinear perturbed time-delay systems: the smallest bound,”
*Applied Mathematics Letters*, vol. 43, pp. 68–71, 2015. View at: Publisher Site | Google Scholar | MathSciNet - N. Zhang, Y. Sun, and P. Zhao, “State bounding for homogeneous positive systems of degree one with time-varying delay and exogenous input,”
*Journal of The Franklin Institute*, vol. 354, no. 7, pp. 2893–2904, 2017. View at: Publisher Site | Google Scholar | MathSciNet - Y. Zhang, P. Shi, S. K. Nguang, and Y. Song, “Robust finite-time H
_{∞}control for uncertain discrete-time singular systems with Markovian jumps,”*IET Control Theory & Applications*, vol. 8, no. 12, pp. 1105–1111, 2014. View at: Publisher Site | Google Scholar | MathSciNet - F. Amato and M. Ariola, “Finite-time control of discrete-time linear systems,”
*Institute of Electrical and Electronics Engineers Transactions on Automatic Control*, vol. 50, no. 5, pp. 724–729, 2005. View at: Publisher Site | Google Scholar | MathSciNet - W. Kang, S. Zhong, K. Shi, and J. Cheng, “Finite-time stability for discrete-time system with time-varying delay and nonlinear perturbations,”
*ISA Transactions*, vol. 60, pp. 67–73, 2016. View at: Publisher Site | Google Scholar - W. Kang, S. Zhong, and J. Cheng, “Relaxed passivity conditions for discrete-time stochastic delayed neural networks,”
*International Journal of Machine Learning and Cybernetics*, vol. 7, no. 2, pp. 205–216, 2016. View at: Publisher Site | Google Scholar - N. D. That, P. T. Nam, and Q. P. Ha, “Reachable set bounding for linear discrete-time systems with delays and bounded disturbances,”
*Journal of Optimization Theory and Applications*, vol. 157, no. 1, pp. 96–107, 2013. View at: Publisher Site | Google Scholar | MathSciNet - J. Lam, B. Zhang, Y. Chen, and S. Xu, “Reachable set estimation for discrete-time linear systems with time delays,”
*International Journal of Robust and Nonlinear Control*, vol. 25, no. 2, pp. 269–281, 2015. View at: Publisher Site | Google Scholar | MathSciNet - L. V. Hien, N. T. An, and H. Trinh, “New results on state bounding for discrete-time systems with interval time-varying delay and bounded disturbance inputs,”
*IET Control Theory & Applications*, vol. 8, no. 14, pp. 1405–1414, 2014. View at: Publisher Site | Google Scholar | MathSciNet - Z. Feng, W. X. Zheng, and L. Wu, “Reachable set estimation of T-S fuzzy systems with time-varying delay,”
*IEEE Transactions on Fuzzy Systems*, vol. 25, no. 4, pp. 878–891, 2017. View at: Publisher Site | Google Scholar - Z. Xu, H. Su, P. Shi, R. Lu, and Z.-G. Wu, “Reachable Set Estimation for Markovian Jump Neural Networks with Time-Varying Delays,”
*IEEE Transactions on Cybernetics*, vol. 47, no. 10, pp. 3208–3217, 2017. View at: Publisher Site | Google Scholar

#### Copyright

Copyright © 2018 Wei Kang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.