By Topic

IEEE Quick Preview
  • Abstract

SECTION I

INTRODUCTION

Continuous time variable structure and sliding mode control systems were originally introduced about 60 years ago in Russia [15], [40]. Their exceptional robustness [13] and good computational efficiency, have immediately gained them much interest and many advocates in the control engineering community [12], [14], [18]. A few years later, discrete-time sliding mode control systems have also been proposed [32], [41] and then analyzed in numerous significant studies [1]– [2][3], [5], [10], [11], [16], [17], [19], [20], [23]– [24] [25][26], [28]– [29] [30][31], [33], [35], [42]– [43][44].

Both discrete and continuous time sliding mode controllers push the system representative point (state vector) onto a predetermined hypersurface in the state space. This can be achieved in two different ways. Either assuming a certain control algorithm and demonstrating that this algorithm guarantees stability of the sliding motion on the hypersurface, or applying the reaching law approach. In the latter case the desirable evolution of the sliding variable is first specified, and then a controller which ensures that the variable changes according to the specification is determined. The reaching law approach was first introduced by Gao and Hung for continuous time systems [18]. In that paper, constant, constant plus proportional, and power rate reaching laws were considered. Then, in paper [19] (see also [4] for further comments), the idea of constant plus proportional rate reaching law has been extended to discrete-time systems. Since then the reaching law approach to the control of discrete-time systems has been used by many researchers [9], [20], [22], [28], [31], [33], [34], [38]. Even though much research in this field has already been done, the original approach proposed in [19] is still very popular. Therefore, in this paper, we extend the results of [19] in order to obtain a non-switching discrete-time sliding mode controller [3], [5] and to ensure faster convergence of the controlled system without increasing the magnitude of the control signal. The first of the two objectives is accomplished with the application of the quasi-sliding mode definition proposed in [5], and the latter one is achieved by the introduction of a variable, state dependent convergence rate factor in the proposed reaching law. In the second part of the paper, we apply the proposed reaching law to design a new periodic review inventory replenishment strategy [8], [21], [22], [27], [36], [37], [39] for a warehouse with multiple remote suppliers and delivery channels characterized by different commodity loss factors. We demonstrate favorable properties of the designed strategy which could not be achieved with the application of the original constant plus proportional reaching law. In particular, we show that our reaching law ensures non-negative upper bounded supply orders which do not depend on the warehouse capacity, and therefore are fairly desirable in the considered system. Furthermore, we demonstrate that our reaching law-based controller eliminates the risk of exceeding warehouse capacity and may ensure full customers' demand satisfaction. The work presented in this paper differs from our earlier results [22] in the following three aspects. First, a totally new reaching law appropriate for any dynamic system is proposed in this paper, second, the supply chain model considered here explicitly takes into account transportation losses which was not the case in [22], and finally a novel feasible order allocation among various remote providers is introduced.

SECTION II

NON-SWITCHING REACHING LAW

Let us consider the following discrete-time system: FormulaTeX Source$${\mmb x}\left[(k\!+\!1)T\right]\!=\!{\mmb{Ax}}(kT)\!+\!\Delta{\mmb{Ax}}(kT)\!+\!{\mmb b}u(kT)\!+\!{\mmb f}(kT)\eqno{\hbox{(1)}}$$ where Formula${\mmb x}(k)$ is the state vector Formula$(\dim({\mmb x})=n\times 1)$, Formula${\mmb A}$ is the state matrix, Formula$\Delta{\mmb A}$ is the model uncertainty matrix, Formula${\mmb b}$ is the input vector, Formula$u(kT)$ is a scalar input, and Formula${\mmb f}(kT)$ is a disturbance vector. We denote the demand state vector by Formula${\mmb x}_{\mmb d}$, and define the closed-loop system error as Formula${\mmb e}(kT)={\mmb x}_{\mmb d}-{\mmb x}(kT)$. Then, we select the sliding variable as FormulaTeX Source$$s(kT)={\mmb c}^{T}{\mmb e}(kT).\eqno{\hbox{(2)}}$$

With this choice of variable Formula$s$, equation Formula$s(kT)=0$ determines the sliding hyperplane. The elements Formula$c_{1},c_{2},\ldots c_{n}$ of vector Formula${\mmb c}$ are selected in such a way that Formula${\mmb c}^{T}{\mmb b}\neq 0$ and that the closed-loop system exhibits the desired performance. This can be done in a few ways including quadratic optimization [26], pole placement method [19], dead-beat design [6], [23], etc.

In this paper, the quasi-sliding mode is defined similarly as in [5], i.e., it is such a motion of the system that its representative point (state) remains in a given band around sliding hyperplane Formula$s(kT)=0$, where Formula$s(kT)$ is defined by (2). According to this definition, the representative point (state of the system) in the quasi-sliding mode is confined to a specified vicinity of the hyperplane. Contrary to the definition introduced in [19], in this paper, crossing the hyperplane is allowed but not required.

Let us now consider the following reaching law FormulaTeX Source$$\displaylines{s\left[(k+1)T\right]=\left\{1-q\left[s(kT)\right]\right\}s(kT) -\mathtilde{S}(kT)-\mathtilde{F}(kT)\hfill\cr\hfill+F_{1}+S_{1}\quad\hbox{(3)}}$$ where FormulaTeX Source$$\mathtilde{S}(kT)=\mathtilde{S}\left[{\mmb x}(kT)\right]={\mmb c}^{T}\Delta{\mmb{Ax}}(kT)\eqno{\hbox{(4)}}$$ represents the influence of the model uncertainty on the sliding variable evolution and FormulaTeX Source$$\mathtilde{F}(kT)={\mmb c}^{T}{\mmb f}(kT)\eqno{\hbox{(5)}}$$ denotes the effect of disturbance on this variable. Furthermore, Formula$S_{1}$ and Formula$F_{1}$ are the mean values of Formula$\mathtilde{S}$ and Formula$\mathtilde{F}$, namely FormulaTeX Source$$S_{1}={S_{U}+S_{L}\over 2},\quad F_{1}={F_{U}+F_{L}\over 2}\eqno{\hbox{(6)}}$$ where Formula$S_{U},S_{L}$ are upper and lower bounds of Formula$\mathtilde{S}$, and Formula$F_{U},F_{L}$ are upper and lower bounds of Formula$\mathtilde{F}$, i.e., FormulaTeX Source$$S_{L}\leq\mathtilde{S}\leq S_{U},\quad F_{L}\leq\mathtilde{F}\leq F_{U}.\eqno{\hbox{(7)}}$$ The notation used in (4)(7) is adopted from [19].

Convergence rate factor Formula$q[s(kT)]$ in (3) is given by FormulaTeX Source$$q\left[s(kT)\right]={s_{0}\over s_{0}+\left\vert s(kT)\right\vert}\eqno{\hbox{(8)}}$$ where Formula$s_{0}$ is a design constant. The constant is chosen so that Formula$s_{0}>S_{2}+F_{2}$, where Formula$S_{2}$ and Formula$F_{2}$ represent the greatest possible deviation of Formula$\mathtilde{S}$ and Formula$\mathtilde{F}$ from their mean values Formula$S_{1},F_{1}$ FormulaTeX Source$$S_{2}={S_{U}-S_{L}\over 2},\quad F_{2}={F_{U}-F_{L}\over 2}.\eqno{\hbox{(9)}}$$

Appropriate choice of Formula$s_{0}$ allows to find a satisfactory compromise between excessive magnitudes of the control signal generated in the system, and sluggish convergence to the vicinity of Formula$s(kT)=0$. The proposed reaching law has two major advantages over the one presented in [19]. First, it does not contain a discontinuous term, so it does not lead to chattering. Second, since Formula$q[s(kT)]$ increases with the decrease of Formula$s(kT)$, our reaching law results in faster convergence and better robustness with the same bounds on the control signal magnitude.

In order to find the control signal Formula$u(kT)$ which ensures that the sliding variable evolution is indeed described by (3), we use (1) to rewrite (2) as follows: FormulaTeX Source$$\displaylines{s\left[(k+1)T\right]={\mmb c}^{T}{\mmb x}_{\mmb d} -{\mmb c}^{T}\left[{\mmb{Ax}}(kT)+\Delta{\mmb{Ax}}(kT)+{\mmb b}u(kT)\right.\hfill\cr\hfill\left.+{\mmb f}(kT)\right].\quad\hbox{(10)}}$$ Then, comparing (3) and (10), we obtain FormulaTeX Source$$\displaylines{u(kT)=-{({\mmb c}^{T}{\mmb b})}^{-1}\left\{\left[1-q\left(s(kT)\right)\right]s(kT)+{\mmb c}^{T}{\mmb{Ax}}(kT)\right.\hfill\cr\hfill\left.+F_{1}+S_{1}-{\mmb c}^{T}{\mmb x}_{d}\right\}.\quad\hbox{(11)}}$$ Since all terms in (11) are either constants, or variables which do not depend on unknown terms Formula$\Delta{\mmb A}$ or Formula${\mmb f}(kT)$, this is a feasible control signal which can actually be implemented in the system considered in this paper.

In the next two theorems, we demonstrate that once the representative point of system (1) has reached a band around the sliding hyperplane Formula$s(kT)=0$, it remains inside the band, and also that the proposed reaching law makes the point always move towards this band.

Theorem 1

If the following inequality: FormulaTeX Source$$\left\vert s(kT)\right\vert\leq{s_{0}(S_{2}+F_{2})\over s_{0}-(S_{2}+F_{2})}\eqno{\hbox{(12)}}$$ is satisfied at some instant Formula$k=k_{0}$, then it is also true for any Formula$k>k_{0}$.

Proof

From (3), we observe that Formula$\vert s[(k+1)T]\vert$ increases with the increase of Formula$\vert s(kT)\vert$. Therefore, even assuming the most disadvantageous possible influence of the disturbance and model uncertainty, if (12) is satisfied for some Formula$k$, then from (3), we obtain FormulaTeX Source$$\eqalignno{\left\vert s\left[(k\!+\!1)T\right]\right\vert\!\leq\!&\,{{s_{0}^{2}(S_{2}+F_{2})^{2}\over\left[s_{0}-(S_{2}+F_{2})\right]^{2}}\over s_{0}(S_{2}\!+\!F_{2})/\left[s_{0}\!-\!(S_{2}\!+\!F_{2})\right]\!+\!s_{0}}\!+\!(S_{2}\!+\!F_{2})\cr\!=\!&\,(S_{2}+F_{2})^{2}/\left[s_{0}-(S_{2}+F_{2})\right]+(S_{2}+F_{2})\cr\!=\!&\,{s_{0}(S_{2}+F_{2})\over\left[s_{0}-(S_{2}+F_{2})\right]}.&\hbox{(13)}}$$ Using this observation and assumption (12) by virtue of the principle of mathematical induction, we conclude that (12) indeed holds for all Formula$k>k_{0}$.

Theorem 2

If the absolute value of Formula$s(kT)$ is greater than the right hand side of (12), then Formula$s(kT)$ converges, at least asymptotically, to the band specified by (12).

Proof

In the proof, we will consider two cases, namely, the positive and negative values of Formula$s(kT)$.

A. Case 1

If FormulaTeX Source$$s(kT)={s_{0}(S_{2}+F_{2})\over s_{0}-(S_{2}+F_{2})}+\delta>{s_{0}(S_{2}+F_{2})\over s_{0}-(S_{2}+F_{2})}=s^{\ast}>0\eqno{\hbox{(14)}}$$ then using (3), we obtain FormulaTeX Source$$\eqalignno{&{\hskip-10pt}s\left[(k+1)T\right]-s(kT)\cr&\quad{\hskip-10pt}\!\!=-{s_{0}(s^{\ast}+\delta)\over s_{0}+s^{\ast}+\delta}-\mathtilde{S}-\mathtilde{F}+S_{1}+F_{1}\cr&{\hskip-10pt}\quad\!\!={-s_{0}^{2}(S_{2}+F_{2}+\mathtilde{S}+\mathtilde{F}-S_{1}-F_{1})\over s_{0}^{2}+\delta\left[s_{0}-(S_{2}+F_{2})\right]}\cr&{\hskip-10pt}\qquad\!\!-{\delta(s_{0}-S_{2}-F_{2})(s_{0}+\mathtilde{S}+\mathtilde{F}-S_{1}-F_{1})\over s_{0}^{2}+\delta\left[s_{0}-(S_{2}+F_{2})\right]}\cr&{\hskip-10pt}\quad\!\!\leq-{\delta(s_{0}-S_{2}-F_{2})(s_{0}+\mathtilde{S}+\mathtilde{F}-S_{1}-F_{1})\over s_{0}^{2}+\delta\left[s_{0}-(S_{2}+F_{2})\right]}.&\hbox{(15)}}$$ Since Formula$s_{0}>S_{2}+F_{2}\geq\mathtilde{S}+\mathtilde{F}-S_{1}-F_{1}$, the difference Formula$s(k+1)-s(k)$ is negative and it approaches zero only if Formula$\delta$ tends to zero. This proves that if initial value of Formula$s(k)$ is positive, then it asymptotically converges to the band specified by relation (12).

B. Case 2

Similarly if FormulaTeX Source$$s(kT)=-{s_{0}(S_{2}+F_{2})\over s_{0}-(S_{2}+F_{2})}-\delta<-{s_{0}(S_{2}+F_{2})\over s_{0}-(S_{2}+F_{2})}=-s^{\ast}\eqno{\hbox{(16)}}$$ then again, using (3), we obtain FormulaTeX Source$$s\left[(k+1)T\right]-s(kT)\!\geq\!{\delta(s_{0}\!-\!S_{2}\!-\!F_{2})(s_{0}\!+\!\mathtilde{S}\!+\!\mathtilde{F}\!-\!S_{1}\!-\!F_{1})\over s_{0}^{2}+\delta\left[s_{0}-(S_{2}+F_{2})\right]}.\eqno{\hbox{(17)}}$$ Inequality (17) shows, that if (16) is satisfied, then difference Formula$s(k+1)-s(k)$ is positive and it approaches zero only if Formula$\delta$ tends to zero.

Taking into account the conclusions of both cases, we find that if Formula$s(kT)$ lies outside the band around Formula$s(kT)=0$ specified by (12), then it asymptotically converges to this band.

SECTION III

INVENTORY SUPPLY MODEL

In this section, we consider an inventory management system with Formula$m$ remote providers. The transportation channel between the Formula$p$th provider Formula$(p=1,\ldots, m)$ and the warehouse is characterized by its lead time Formula$L_{p}$ and commodity loss factor Formula$\alpha_{p}\in(0,1]$. Furthermore, each of the providers has its own maximum admissible supply rate, i.e., the greatest amount of goods that it can send during one review period. This amount, for the Formula$p$th provider is denoted by Formula$u_{\max p}$.

The commodities obtained from the providers are used to satisfy an a priori unknown consumers' demand. The orders for the commodities are generated by the controller located at the distribution center. The control signal Formula$u$ determines the total amount of supplies requested from all of the providers. This value is distributed among the providers, proportionally to the maximum amount of goods they can send, i.e., supplier Formula$p$ receives an order equal to Formula$u\cdot u_{\max p}/\sum_{i=1}^{i=m}u_{\max i}$. The block diagram of the periodic review inventory system considered in this section is shown in Fig. 1. It is assumed, that each lead time Formula$L_{p}$ is a multiple of the review period Formula$T$, i.e., Formula$L_{p}=\mu_{p}T$, where Formula$\mu_{p}$ is a positive integer. In fact, this is a well justified assumption, since even if the actual order procurement time is a non-integer multiple of the review period, still the arrival of goods at the warehouse is detected by the enterprise management system only at discrete-time instants. Therefore, this time is actually rounded up to the nearest integer multiple of Formula$T$. The warehouse stock level at time Formula$kT$ is denoted by Formula$y(kT)$. The consumers' demand is modeled by an a priori unknown function of time Formula$d(kT)$, bounded by a known constant Formula$d_{\max}$. If the amount of stored goods is insufficient, the demand cannot be fully covered. Therefore, an additional function Formula$h(kT)$ is introduced, which represents the amount of goods actually sold to the customers. For any Formula$k\geq 0$, the following inequalities hold: FormulaTeX Source$$0\leq h(kT)\leq d(kT)\leq d_{\max}.\eqno{\hbox{(18)}}$$

Figure 1
Fig. 1. Inventory supply model.

The warehouse is assumed to be empty prior to the beginning of the control process, i.e., Formula$y(kT<0)=0$. Moreover, the first order is sent at Formula$kT=0$, i.e., Formula$u(kT<0)=0$. The inventory stock level for Formula$kT>0$ can therefore be obtained as the difference between all acquired and sold goods FormulaTeX Source$$y(kT)=\sum_{p=1}^{m}\sum_{j=0}^{k-1}\alpha_{p}\gamma_{p}u(jT-L_{p})-\sum_{j=0}^{k-1}h(jT)\eqno{\hbox{(19)}}$$ where Formula$\gamma_{p}=u_{\max p}/\sum_{i=1}^{m}u_{\max i}$.

We can represent all providers with equal lead times as a single “aggregate” supplier, so as to get a simplified, equivalent version of the system model. The amount of commodities that arrive at the distribution center from this “aggregate” supplier is equal to Formula$a_{i}u$, where FormulaTeX Source$$a_{i}={\sum\limits_{p:m_{p}=i}\alpha_{p}u_{\max p}\over\sum\limits_{i=1}^{m}u_{\max i}}\eqno{\hbox{(20)}}$$ for Formula$i=1,\ldots, n-1$ and Formula$n=\max(\mu_{p})+1$. Naturally, if no provider has the lead time Formula$iT$, then the corresponding coefficient Formula$a_{i}=0$. Now, we can express the stock level as follows:FormulaTeX Source$$y(kT)=\sum_{i=1}^{n-1}\sum_{j=0}^{k-1}a_{i}u\left[(j-i)T\right]-\sum_{j=0}^{k-1}h(jT).\eqno{\hbox{(21)}}$$

We can also represent the above relation in the standard state space form FormulaTeX Source$$\eqalignno{{\mmb x}\left[(k+1)T\right]=&\,{\mmb{Ax}}(kT)+{\mmb b}u(kT)+{\mmb w}h(kT)\cr y(kT)=&\,{\mmb r}^{T}{\mmb x}(kT)&\hbox{(22)}}$$ where Formula${\mmb x}(kT)=[x_{1}(kT)\ x_{2}(kT)\ \ldots\ x_{n}(kT)]^{T}$ is the state vector, Formula$y(kT)=x_{1}(kT)$ is the on-hand stock level. The remaining state variables are the delayed values of the control signal, i.e., FormulaTeX Source$$x_{i}(kT)=u\left[(k-n+i-1)T\right]\eqno{\hbox{(23)}}$$ for Formula$i=2,\ldots, n$. Formula${\mmb A}$ is Formula$n\times n$ state matrix FormulaTeX Source$${\mmb A}=\left[\matrix{1&a_{n-1}&a_{n-2}&&a_{1}\cr 0&0&1&\cdots&0\cr&\vdots&&\ddots&\vdots\cr 0&0&0&\cdots&1\cr 0&0&0&&0}\right]\eqno{\hbox{(24)}}$$ and Formula${\mmb b}$, Formula${\mmb w}$, and Formula${\mmb r}$ are Formula$n\times 1$ vectors FormulaTeX Source$${\mmb b}=\left[\matrix{0\cr\vdots\cr 0\cr 1}\right]\quad{\mmb w}=\left[\matrix{-1\cr 0\cr\vdots\cr 0}\right]\quad{\mmb r}=\left[\matrix{1\cr 0\cr\vdots\cr 0}\right].\eqno{\hbox{(25)}}$$

The desired state of the system is Formula${\mmb x}_{\mmb d}=[y_{d}0\ldots 0]$, where Formula$y_{d}$ is the demand level of the on-hand stock. In general, the bigger parameter Formula$y_{d}$ is chosen, the greater amount of goods has to be accommodated in the warehouse and the better demand satisfaction is achieved. Still, the effect of this parameter on the overall system performance will be more precisely analyzed in the next section.

Closer analysis of the system described in this paper reveals that its total control signal is limited by the following constraint: Formula$u(kT)\in[0,\sum_{p=1}^{p=m}u_{\max p}]$. This precludes the use of a linear controller, as the magnitude of its output would strongly depend on the initial conditions of the system and could not satisfy the constraint. Therefore, in the next section, we propose a nonlinear sliding mode controller.

SECTION IV

CONTROLLER DESIGN

In this section, we will develop a sliding mode controller that ensures the desired sliding variable evolution. We begin by selecting the elements of vector Formula${\mmb c}$, which describe the sliding hyperplane, so that the closed-loop system exhibits dead-beat characteristics. First, we calculate the control signal needed to satisfy Formula$s[(k+1)T]=0$ as FormulaTeX Source$$u(kT)={({\mmb c}^{T}{\mmb b})}^{-1}{\mmb c}^{T}\left[{\mmb x}_{d}-{\mmb{Ax}}(kT)\right]\eqno{\hbox{(26)}}$$ and substitute it into (22). This results in the following state matrix of the closed-loop system: FormulaTeX Source$$\eqalignno{{\mmb A}_{\mmb c}=&\,\left[{\mmb I}_{\mmb n}-{\mmb b}{({\mmb c}^{T}{\mmb b})}^{-1}{\mmb c}^{T}\right]{\mmb A}\cr=&\,\left[\matrix{1&a_{n-1}&a_{n-2}&&a_{1}\cr 0&0&1&\cdots&0\cr&\vdots&&\ddots&\vdots\cr 0&0&0&\cdots&1\cr-{c_{1}\over c_{n}}&-{a_{n-1}c_{1}\over c_{n}}&-{a_{n-2}c_{1}+c_{2}\over c_{n}}&&-{a_{1}c_{1}+c_{n-1}\over c_{n}}}\right]\cr&&\hbox{(27)}}$$ which has the following characteristic polynomial FormulaTeX Source$$\displaylines{\det(z{\mmb I}_{\mmb n}-{\mmb A}_{\mmb c})=z^{n}+z^{n-1}\left({c_{1}a_{1}+c_{n-1}-c_{n}\over c_{n}}\right)+\cdots\hfill\cr\hfill+\left({c_{1}a_{n-1}-c_{2}\over c_{n}}\right)z.\quad\hbox{(28)}}$$ We have already assumed that Formula${\mmb c}^{T}{\mmb b}\neq 0$. This condition and relation (25), imply Formula$c_{n}\neq 0$. A linear discrete-time system is asymptotically stable if and only if all of its eigenvalues lie inside a unit circle on the Formula$z$-plane. Moreover, to obtain finite time error convergence to zero the characteristic polynomial (28) should have the following form: FormulaTeX Source$$\det(z{\mmb I}_{\mmb n}-{\mmb A}_{\mmb c})=z^{n}.\eqno{\hbox{(29)}}$$ We find that (28) reduces to (29) when vector Formula${\mmb c}$ is chosen as follows: FormulaTeX Source$$\cases{\hfill c_{1}=1\hfill\cr c_{i}=\sum\limits_{j=1}^{i-1}a_{n-j},&for $i=2,\cdots, n$}.\eqno{\hbox{(30)}}$$ We observe, that with this choice of vector Formula${\mmb c}$ the variable Formula$s(kT)$ has a clear physical meaning, i.e., it represents the difference between the desired warehouse stock level and the sum of amounts of goods in the warehouse and currently in transit.

We will now implement the proposed reaching law to derive the controller that steers the representative point of the system to the proximity of the sliding hyperplane Formula${\mmb c}^{T}{\mmb e}(kT)=0$, where Formula${\mmb c}$ is given by (30). For the considered periodic review inventory system, the perturbations of the sliding variable caused by the model uncertainty and disturbance are FormulaTeX Source$$S_{1}=S_{2}=0,\quad F_{1}=-{d_{\max}\over 2},\quad F_{2}={d_{\max}\over 2}.\eqno{\hbox{(31)}}$$ Using (2) and (31) with (11), we obtain FormulaTeX Source$$\eqalignno{u(kT)=&\,-{({\mmb c}^{T}{\mmb b})}^{-1}\left\{\left\{1-q\left[s(kT)\right]\right\}s(kT)+c^{T}{\mmb{Ax}}(kT)\right.\cr&\left.{\hskip 55pt}-{\mmb c}^{T}{\mmb x}_{d}-d_{\max}/2\right\}\cr=&\,{(c^{T}{\mmb b})}^{-1}\left\{q\left[s(kT)\right]s(kT)-{\mmb c}^{T}({\mmb A}-{\mmb I}_{\mmb n}){\mmb x}(kT)\right.\cr&\left.{\hskip 50pt}+d_{\max}/2\right\}.&\hbox{(32)}}$$ One can easily notice, that by selecting Formula${\mmb c}$ according to (30), we have obtained Formula${\mmb c}^{T}({\mmb A}-{\mmb I}_{n})=[0\ldots 0]$. Therefore, using (25) and (30), we can obtain the control signal, which ensures the desired sliding variable evolution asFormulaTeX Source$$u(kT)={q\left[s(kT)\right]s(kT)+d_{\max}/2 \over\sum\limits_{i=1}^{n-1}a_{i}}.\eqno{\hbox{(33)}}$$

Let us notice at this point, that any other choice of vector Formula${\mmb c}$ would lead to a more convoluted expression determining Formula$u(kT)$ and less computationally efficient controller. Moreover, it is worth to point out that application of other hyperplane design methods (pole placement or quadratic optimization) in conjunction with the reaching law approach is redundant as both the reaching law approach and these methods are used primarily to satisfy input and state constraints of the controlled systems. These observations justify the choice of the sliding hyperplane determined by (30).

In the remainder of this section, important properties of the proposed control strategy will be stated in three theorems and proved. In the first one, we will demonstrate, that control signal (33) is always non-negative and upper bounded by an a priori known constant. Since this signal directly corresponds to the amounts of goods sent by the providers, both of these features are essential for the practical application of the proposed strategy.

Theorem 3

For any Formula$k\geq 0$, control signal (33) satisfies the following two inequalities: FormulaTeX Source$$0\leq u(kT)\leq{{s_{0}y_{d}\over y_{d}+s_{0}}+{d_{\max}\over 2} \over\sum\limits_{i=1}^{n-1}a_{i}}.\eqno{\hbox{(34)}}$$

Proof

As shown in Theorems 1 and 2, sliding variable Formula$s(kT)$ will start at some initial value Formula$s(0)$, and in each consecutive step its absolute value will decrease unless (12) is satisfied. Moreover, once (12) becomes true, it will hold for the rest of the control process. For the system under consideration FormulaTeX Source$$s(0)={\mmb c}^{T}{\mmb x}_{d}=y_{d}.\eqno{\hbox{(35)}}$$ Using (12), (31), and (35), we observe that FormulaTeX Source$$s(kT)\in\left[-{s_{0}d_{\max}\over 2s_{0}-d_{\max}},y_{d}\right]\eqno{\hbox{(36)}}$$ for all Formula$k\geq 0$.

We now notice, that the value of the control signal (33) is always increasing with the increase of Formula$s(kT)$. Therefore, its minimum value will be generated for the smallest possible Formula$s(kT)$, and the maximum value for the greatest Formula$s(kT)$. This observation allows us to simply substitute the limits of interval (36) into (33) and conclude that (34) indeed holds.

We have assumed that the requests for goods are distributed among the providers according to the maximum amount of goods that they can deliver. Therefore, if Formula$s_{0}$ is selected in such a way that the right-hand side of (34) is equal to Formula$\sum_{p=1}^{p=m}u_{\max p}$, then no supplier will be requested to send more goods, than it is actually able to provide.

Any successful inventory management strategy should guarantee that all of the incoming goods can be stored in the distribution center. In the following theorem, we will determine the upper bound of the on-hand stock. Therefore, if warehouse capacity equal to or greater than this bound is secured, then there will be no risk of hiring (usually very costly) emergency storage space.

Theorem 4

With the application of the proposed control strategy, for every Formula$k\geq 0$, the inventory stock level will satisfy the following condition: FormulaTeX Source$$y(kT)\leq y_{d}+{s_{0}d_{\max}\over 2s_{0}-d_{\max}}.\eqno{\hbox{(37)}}$$

Proof

From (36), we obtain FormulaTeX Source$$s(kT)\geq-{s_{0}d_{\max}\over 2s_{0}-d_{\max}}\eqno{\hbox{(38)}}$$ for any Formula$k\geq 0$. Using (2) and (23), we can rewrite (38) as FormulaTeX Source$$y(kT)\leq y_{d}+{s_{0}d_{\max}\over 2s_{0}-d_{\max}}-\sum_{i=2}^{n}c_{i}u\left[(k-n+i-1)T\right].\eqno{\hbox{(39)}}$$ We have already proven that the control signal is always non-negative. Therefore, we conclude that (39) implies (37).

In order to obtain the greatest possible profit, one may wish to eliminate lost sales risk. Therefore, it is reasonable to establish conditions ensuring that the consumers' demand is always fully satisfied. For that purpose, in the last theorem, we determine the smallest value of the demand inventory stock level ensuring that after some initial time, the warehouse will not be empty. We can notice from (21) that this implies full satisfaction of the customers' demand.

Theorem 5

If the following condition is satisfied: FormulaTeX Source$$y_{d}> {d_{\max}\sum\limits_{i=1}^{n-1}ia_{i}\over\sum\limits_{i=1}^{n-1}a_{i}} +{s_{0}d_{\max}\over 2s_{0}-d_{\max}}\eqno{\hbox{(40)}}$$ then Formula$y(kT)>0$ for any Formula$k\geq k_{0}+n-1$, where Formula$k_{0}$ is the first time instant when (12) is true.

Proof

Using (12), for any Formula$k\geq k_{0}$, we obtain FormulaTeX Source$$y(kT)\geq y_{d}-\sum_{i=2}^{n}c_{i}u\left[(k-n+i-1)T\right]-{s_{0}d_{\max}\over 2s_{0}-d_{\max}}.\eqno{\hbox{(41)}}$$ Moreover, substituting (12) into (33), we get FormulaTeX Source$$u(kT)\leq{d_{\max}\over\sum\limits_{i=1}^{n-1}a_{i}}\eqno{\hbox{(42)}}$$ which is also true for any Formula$k\geq k_{0}$. By combining (41) and (42), we arrive at FormulaTeX Source$$y(kT)\geq y_{d}- {d_{\max}\sum\limits_{i=1}^{n-1}ia_{i}\over\sum\limits_{i=1}^{n-1}a_{i}} -{s_{0}d_{\max}\over 2s_{0}-d_{\max}}\eqno{\hbox{(43)}}$$ for any Formula$k\geq k_{0}+n-1$. Therefore, if (40) holds, then the right-hand side of the above inequality is always strictly positive.

SECTION V

SIMULATION RESULTS

In order to verify the properties of the proposed control law computer simulations of an inventory system with three suppliers were performed. The review period Formula$T=1$ day and the parameters of the suppliers and transportation channels are shown in Table I. The greatest lead time equals 11 days, which implies Formula$\max(\mu_{p})=11$, and Formula$n=12$. The elements Formula$a_{i}$ of the first row of matrix Formula${\mmb A}$ are Formula$a_{6}=0.302$, Formula$a_{8}=0.152$, Formula$a_{11}=0.517$, and the remaining elements Formula$a_{i}$ are equal to zero. The maximum daily consumers' demand Formula$d_{\max}=50\ {\rm items}$. The actual evolution of the demand in the simulation example is shown in Fig. 2. The demand exhibits abrupt changes between small and large values, which reflect the most adverse conditions that can appear in the considered system. The total amount of goods, which can be provided by all suppliers on a single day is Formula$\sum_{p=1}^{p=m}u_{\max p}=65\ {\rm items}$. Therefore, in order to ensure that the control signal never exceeds this value, we select Formula$s_{0}=41.03\ {\rm items}$. As–according to Theorem 5–the minimum demand value of the stock level that ensures full consumers' demand satisfaction is 513 items, we select Formula$y_{d}$ equal to 530 items. The simulation results are presented in Figs. 35. The control signal is shown in Fig. 3. One can easily see that it is always non-negative and smaller than or equal to Formula$\sum_{p=1}^{p=m}u_{\max p}=65\ {\rm items}$. Therefore, no supplier is at any time expected to provide more commodities than it is really able to. Furthermore, comparing Figs. 2 and 3, we notice that the supply orders are significantly smoother than the consumers' demand is. This shows that our strategy attenuates the highly undesirable bullwhip effect. The inventory stock level is illustrated in Fig. 4. As stated in Theorems 4 and 5 it never exceeds 594 items, and after some initial time it does not drop to zero any more. This means, that the risk of hiring costly emergency storage is eliminated, and full consumers' demand satisfaction is ensured. The evolution of the sliding variable is shown in Fig. 5. As determined by Theorems 1 and 2 the variable converges to the band Formula$\vert s(kT)\vert\leq 63.9$ (the band limits are shown by dashed lines), and after reaching the band, the variable does not leave it for the rest of the control process.

Figure 2
Fig. 2. Consumers' demand.
Figure 3
Fig. 3. Control signal.
Figure 4
Fig. 4. On-hand stock level.
Figure 5
Fig. 5. Sliding variable evolution.
Table 1
Table I Simulation Parameters

We also consider the performance of the system when all its parameters, and the consumers' demand transient are the same as in the first scenario, but initially the warehouse is not empty. We analyze two cases: the first one when the initial stock level Formula$x_{1}(0)=297\ {\rm items}$ is equal to the half of its maximum value, and the second one when the level Formula$x_{1}(0)=594\ {\rm items}$ equals its maximum value. Since the initial on-hand stock affects only the beginning of the control process, in Figs. 68, we depict the transients until the 25th day. This is justified by the fact, that later on the transients are almost identical to each other and also to those shown in Figs. 35.

Figure 6
Fig. 6. Control signal for: (a) Formula$x_{1}(0)=297\ {\rm items}$ and (b) Formula$x_{1}(0)=594\ {\rm items}$.
Figure 7
Fig. 7. On-hand stock level for: (a) Formula$x_{1}(0)=297\ {\rm items}$ and (b) Formula$x_{1}(0)=594\ {\rm items}$.
Figure 8
Fig. 8. Sliding variable evolution for: (a) Formula$x_{1}(0)=297\ {\rm items}$ and (b) Formula$x_{1}(0)=594\ {\rm items}$.

As we can observe from Figs. 68 all of the advantageous properties of the proposed controller mentioned before, hold also for nonzero initial stock values. Comparing Fig. 3 and Fig. 6(a), we can notice that the initial value of the control signal only marginally depends on the initial conditions, in fact much less as compared to a linear controller. Furthermore, we can observe from Fig. 7 that if the initial stock level is sufficiently high, then it will not drop to zero, even before the start of the quasi-sliding motion, and full consumer demand satisfaction will be ensured for any Formula$k\geq 0$.

SECTION VI

CONCLUSION

In this work, a new reaching law for discrete-time sliding mode control of dynamic plants has been introduced and applied to design a feasible management strategy for periodic review inventory systems with multiple suppliers and transportation losses. The reaching law introduced in this paper, as opposed to the ones previously proposed in literature does not require crossing the sliding hyperplane in each successive control step of the quasi-sliding motion. This property eliminates chattering and allows fast convergence with limited control signal. The proposed reaching law based inventory management strategy ensures non-negative and upper bounded supply orders, eliminates the risk of costly emergency storage, and may ensure that no business opportunities are lost. These important properties have been proved analytically and verified by computer simulations. Our further research efforts will be focused on inventory systems with different customer classes, i.e., customers whose orders can be backordered and those whose orders must be rejected if they cannot be satisfied immediately from on-hand inventory [7]. We will also employ the reaching law proposed in this paper for other applications. This is possible as our reaching law is not customized, but may be directly used with all other types of hyperplanes or even nonlinear hypersufaces.

Footnotes

This work was supported in part by the National Science Centre of Poland under decision number DEC 2011/01/B/ST7/02582 under the framework of project “Optimal Sliding Mode Control of Time Delay Systems” and in part by the Foundation for Polish Science under the Mistrz grant.

This paper was recommended for publication by Associate Editor A.-S. Jia and Editor L. Shi upon evaluation of the reviewers' comments.

References

No Data Available

Authors

Andrzej Bartoszewicz

Andrzej Bartoszewicz

Andrzej Bartoszewicz received the M.Sc. degree in 1987 and the Ph.D. degree in 1993, both from the Łódź University of Technology, Łódź, Poland, and the Postdoctoral degree in control engineering and robotics from the Academy of Mining and Metallurgy, Cracow, Poland.

He was a Visiting Scholar at Purdue University, West Lafayette, IN, USA, and at Strathclyde University, Glasgow, U.K. Then, for one year he was with the University of Leicester, U.K. Currently, he is a Professor with the Technical University of Łódź, a Vice Dean of the Faculty of Electrical, Electronic, Computer and Control Engineering, the Head of the Electric Drive and Industrial Automation Group, and a Vice-Director of the Institute of Automatic Control. He has published three monographs and over 250 papers, primarily in the field of sliding mode control.

Piotr Leśniewski

Piotr Leśniewski

Piotr Leśniewski received the M.S. degree in control engineering and robotics from the Łódź University of Technology, Łódź, Poland, in 2012. Currently, he is working towards the Ph.D. degree at the Łódź University of Technology.

His main research interests include discrete-time sliding mode control and time-delay systems.

Cited By

No Data Available

Keywords

Corrections

None

Multimedia

No Data Available
This paper appears in:
No Data Available
Issue Date:
No Data Available
On page(s):
No Data Available
ISSN:
None
INSPEC Accession Number:
None
Digital Object Identifier:
None
Date of Current Version:
No Data Available
Date of Original Publication:
No Data Available

Text Size