1 Introduction

The fractional-order derivative and integral of order \(\alpha \) of an analog signal \(x_{a}(t)\) are often denoted by the operator \({}_cD_t^\alpha {x_a}(t)\), where \(c\) and \(t\) are the lower and upper limits, respectively. The fractional operator \({}_cD_t^\alpha {x_a}(t)\) appears naturally in fractional order differential equations that best model many systems in various areas of engineering and sciences [4, 17, 27]. Upon zero initial conditions, fractional-order operators are represented by the transfer function

$$\begin{aligned} H_\alpha (s)=s^\alpha . \end{aligned}$$
(1)

In the present study, the order \(\alpha \) is assumed to be a real number, the lower limit \(c\) to be zero, and the fractional-order operator is simply denoted by the operator \(D^\alpha \).

The case \(\alpha >0\) indicates fractional-order differentiation, while the case \(\alpha <0\) indicates fractional-order integration. Fractional-order differentiation/integration-based algorithms have been used to solve many problems in various fields including automatic control [5, 18, 22, 24], digital signal processing [3, 11, 12, 20, 21, 23], and circuit theory and design [15, 26]. The main problem encountered when dealing with fractional-order operator is how to realize it physically. This problem is due to the fact that fractional-order operators possess an infinite memory. Therefore, for physical implementation, approximate models with finite memory such Moving Average (MA), Autoregressive (AR), or Autoregressive Moving Average (ARMA) models are to be used instead. Although many methods have been developed to achieve such approximations with analog or digital models, this important issue in fractional-order calculus applications still needs to be addressed through new approaches that seem to be more promising in terms of approximation accuracy and computational complexity. In this paper, we focus on digital design case. The digital design methods of fractional-order integrator and differentiator can generally be classified into two categories: direct and indirect methods. In indirect methods [6, 16, 33], a rational continuous time model approximation of \(s^\alpha \) is first developed, then the resulting s-transfer function is discretized using an appropriate s-to-z transform, whereas the direct methods substitute for s in \(s^\alpha \) a chosen s-to-z transform, then the resulting non-rational z-transfer functions are approximated with rational ones. In the early direct discretization methods, the first-order s-to-z transforms of Euler, Tustin, and the linear combination of two of them (Al-Alaoui operator), have been used for discretization of \(s^\alpha \). In [7], the authors have proposed two discretization methods of \(s^\alpha \), i.e., a recursive discretization of Tustin operator and direct discretization using Al-Alaoui operator via continuous fraction expansion (CFE)-truncation. In [8] a family of second-order mapping functions obtained by inverting and stabilizing the combination of the numerical integrator rules of trapezoidal and Simpson have been used with CFE to design rational approximation of \(s^\alpha \). The design of finite impulse response (FIR) and infinite impulse response (IIR) fractional-order Simpson integrators using power series expansion (PSE)-truncation approach is proposed in [29].

More recently, higher order s-to-z transforms have been proposed for digital design of \(s^{\alpha }\) in the hope of improving their approximation accuracy. In [14, 30], the authors have proposed the use of higher order s-to-z transforms viz. second-order Schneider operator, and stabilized third-order Al-Alaoui-Schneider-Kaneshige-Groutage (Al-Alaoui-SKG) rule. The obtained approximations have been designed using PSE-truncation approach and compared with Al-Alaoui (CFE)-based approximations. These higher order s-to-z transforms have been modified in [32] to improve the approximations in the low frequencies. However, simulation results showed that the Schneider operator and Al-Alaoui-SKG (PSE-truncation) based approximations possess complex conjugate poles and zeros which may be not desirable since it is well known that, for a better fit to continuous frequency response of \(s^\alpha \), it would be of high interest to obtain discrete approximation with poles and zeros distributed in alternating fashion on the real axis in the unit circle in the z plane [25, 31].

The signal-modeling approach proposed in [9, 10, 13] has proved to be an efficient method for digital rational design of \(s^\alpha \). Indeed, it is computationally efficient and leads to rational approximations with the desired properties, namely, stability, minimum phase and poles- zeros distributed in alternating fashion on the real axis. The contribution of the present study is to improve the rational approximation of \(s^\alpha \) obtained via PSE-signal-modeling approach by using a new second-order s-to-z transform (new mapping function (NMF)) [19]. This s-to-z transform has been derived through inversion and stabilizing of the transfer function of the digital integrator designed using conventional Simpson-integrator rule and fractional delay filter proposed by Tseng in [28]. As it will be shown in the sequel, compared to the magnitude response of the ideal integrator \(1/s\), the magnitude response of the integrator proposed by Tseng outperforms the integrators corresponding to the first and higher order s-to-z transforms mentioned above.

Simulation results show that the proposed rational approximation of \(s^\alpha \) has better frequency characteristics (magnitude and phase responses) than those based on the widely used Al-Alaoui operator and Euler’s rule, in a wide range of frequencies. It has also better magnitude frequency response than that of Al-Alaoui-Schneider, Hsue operator [14], and Tustin based approximations. The latter, however, has the best phase response.

Furthermore, this paper compares the NMF (PSE-signal modeling)-based approximations to those obtained using PSE-truncation approach used in [14, 29, 30]. The simulation results confirm that the major disadvantage of PSE-truncation approach for rational approximation of \(s^\alpha \) is that it provides models having complex conjugate poles and zeros.

The rest of the paper is organized as follows: In Sect. 2, after a brief introduction of the integer order digital integrator proposed by Tseng in [28], the corresponding new stabilized digital differentiator is presented. Section 3 derives the impulse response of the new digital fractional-order differentiator (NDFOD). Simulation results are presented in Sect. 4, and the impulse response derived in Sect. 3 has been modeled to calculate the IIR models which have been compared to those obtained based on recently used s-to-z transforms. In Sect. 4, we have compared the approximations obtained using PSE-signal modeling with those obtained using PSE-truncation approach. Conclusions are provided in Sect. 5.

2 Novel Stable Second-Order s-to-z Transform

The novel stable second-order s-to-z transform introduced in this paper is obtained by inverting and stabilizing the second-order digital integrator designed from the conventional Simpson integrator and fractional delay filter proposed by Tseng in [28].

2.1 Digital Integrator Proposed by Tseng

In [28], Tseng has proposed a new non-minimum phase integrator in order to improve the magnitude response of the conventional Simpson integrator by reducing the sampling interval from T to \(0.5T\). The whole process can be summarized as follows:

Firstly, replacing T by \(0.5T\) in the expression of the output \(y(n)\) of the conventional Simpson integrator and taking the z transform yield the following z transfer function [28]

$$\begin{aligned} G(z)=\frac{T(1+4z^{-1/2}+z^{-1})}{6(1-z^{-1})} \end{aligned}$$
(2)

The fractional delay element \(z^{-1/2}\) is then implemented with IIR all-pass filter and FIR filter using the design technique of FIR and all-pass fractional delay filter [28].

In this paper, the designed digital integrator obtained by using the following half sample delay IIR all-pass filter [28] is investigated

$$\begin{aligned} z^{-1/2}={\left( {1/3+z^{-1}}\right) } \Big / {\left( {1+(1/3)z^{-1}}\right) } \end{aligned}$$
(3)

Substituting (3) in (2), we obtain the transfer function derived in [28]

$$\begin{aligned} G(z)=\frac{T}{6}\frac{7+16z^{-1}+z^{-2}}{3-2z^{-1}-z^{-2}} \end{aligned}$$
(4)

The integrator in (4) has two real zeros located at \(z=-2.2214\), and \(z=-0.064309\), and two poles at \(z=1\) and \(z=-0.333333\). To illustrate the performance of the integrator in (4), Fig. 1 shows the percent relative error in magnitude defined in (5) between the ideal integrator \(1/s\) and the integrators corresponding to the first and higher order s-to-z transforms [1] listed in Table 1.

$$\begin{aligned} Er={\left( {\left| {Hi} \right| -\left| {H_{app} } \right| }\right) } /{\left| {Hi} \right| }\quad (\% ), \end{aligned}$$
(5)

where \(H_{i=} \left. {s^{-1}} \right| _{s=j2\pi f} \), and \(H_{app} =\left. {\left[ {M(z)} \right] ^{-1}} \right| _{z=e^{j2\pi fT}} \) with \(M(z)\) represents the s-to-z transforms.

Fig. 1
figure 1

Percent relative error of integrators, T = 1s

Table 1 s-to-z transforms

We can observe from this figure that the integrator in (4) presents the smallest error over almost the whole frequency range, especially at high frequencies where it overlaps the Al-Alaoui-SKG curve.

2.2 New Stable Digital Differentiator

The direct inversion of the transfer function \(G(z)\) in (4) leads to instable recursive differentiator since \(G(z)\) is non-minimum phase as one zero (\(z=-2.2214)\) lies outside the unit circle in the z plane.

Let \(H(z)\) be the transfer function defined by

$$\begin{aligned} H(z)=\frac{1}{G(z)}=\frac{6}{T}\frac{3-2z^{-1}-z^{-2}}{7+16z^{-1}+z^{-2}} \end{aligned}$$
(6)

This may be written in factorizing form as

$$\begin{aligned} H(z)=\frac{1}{G(z)}=\left( {\frac{18}{7T}}\right) \frac{(1-z_1 z^{-1})(1-z_2 z^{-1})}{(1-p_1 z^{-1})(1-p_2 z^{-1})} \end{aligned}$$
(7)

with \(z_1 =1\) and \(z_2 =-0.333333, \, p_1 =-2.2214\) and \(p_2=-0.064309\). Notice that \(p_1\) is an instable pole. Thus applying the pole reflection method used in [1, 2], by inverting \(p_1 \) from radius \(r=2.2214\) to radius \(1/r\) and compensating the resulting change in magnitude, we obtain the following new stable digital differentiator.

$$\begin{aligned} s\approx H(z)\!=\!\left( {\frac{18}{7T(-p_1 )}}\right) ( {{( {1-z_1 z^{-1}})( {1\!-\!z_2 z^{-1}})} / {( {( {1\!-\!(1/p_1 )z^{-1}})( {1-p_2 z^{-1}})})}}) \end{aligned}$$
(8)

To illustrate the performance of the new stable digital differentiator (NMF) in (8), Fig. 2 shows the percent relative error in magnitude between the ideal differentiator \(s\) and the new stable differentiator in (8) and the s-to-z transforms listed in Table 1.

Fig. 2
figure 2

Percent relative error of differentiators, T \(=\) 1s

We can observe from Fig. 2 that the NMF in (8) presents the smallest relative error over almost the whole frequency range. Indeed, the NMF approximates the ideal differentiator favorably, with \(E_r \le 2.91\,\%.\)

The NDFOD is obtained by taking the \(\alpha \,th\) power of the novel s-to-z transform given in (8) as follows:

$$\begin{aligned}&s^\alpha \approx H^\alpha (z)=\left( {\frac{18}{7T(-p_1 )}}\right) ^\alpha \left( \left( {1-z_1 z^{-1}}\right) ^\alpha \right. \nonumber \\&\quad \left. \left( {1-z_2 z^{-1}}\right) ^\alpha \right) \Big / {\left( {\left( {1-\frac{z^{-1}}{p_1 }}\right) ^\alpha \left( {1-p_2 z^{-1}}\right) ^\alpha }\right) } \end{aligned}$$
(9)

As can be seen, the expression in (9) is irrational function. The aim of this work is to transform it into rational transfer function (10), using PSE-signal-modeling technique, as follows:

$$\begin{aligned} F(z)={B(z)} / {A(z)}={\left( {\sum \limits _{i=0}^q {b_i z^{-i}} }\right) }\Big / {\left( {1+\sum \limits _{i=1}^p {a_i z^{-i}} }\right) } \end{aligned}$$
(10)

The unknown coefficients \(a_{i} \, and \, b_{i}\) are to be determined such that the impulse response \(h_F (n)\), the inverse z-transform of \(F(z)\) in (10), best approximates the desired one \(h_\alpha (n)\), the inverse z- transform of \(H^\alpha (z)\) in (9), in some sense.

3 Derivation of the Impulse Response

In this section we derive the desired impulse response of the NDFOD. Rewriting first equation (9) in the factorizing form as

$$\begin{aligned} S^\alpha \approx \left( {\frac{18}{7T(-p_1 )}}\right) ^\alpha ( {1-{z_{1}} z^{-1}})^\alpha ( {1-z_2 z^{-1}})^\alpha \left( {1-\frac{z^{-1}}{p_1 }}\right) ^{-\alpha }( {1-{p_{2}} z^{-1}})^{-\alpha } \end{aligned}$$
(11)

Denoting the four terms in (11) as follows

$$\begin{aligned} A_1 (z)=( {1-z_{1} z^{-1}})^\alpha ,\quad A_2 (z)=( {1-{z_{2}} z^{-1}})^\alpha ,\\ \quad A_3 (z)=\left( {1-\frac{z^{-1}}{p_1 }}\right) ^{-\alpha },\quad A_4 (z)=( {1-{p_{2}} z^{-1}})^{-\alpha } \end{aligned}$$

we can write

$$\begin{aligned} S^\alpha \approx \left( {\frac{18}{7T(-p_1 )}}\right) ^\alpha A_1 (z)A_2 (z)A_3 (z)A_4 (z) \end{aligned}$$
(12)

By taking the PSE of each factor \(A_i (z)\) in (12), we get

$$\begin{aligned} A_i (z)=\sum \limits _{n=1}^\infty {h_i (n)z^{-n}} \quad \quad \quad \quad i=1,2,3,4 \end{aligned}$$
(13)

where \(h_i (n)\) represent the inverse z-transforms of \(A_i(z).\) The first L values of the desired impulse response, required for the computation of the rational approximation of \(H^\alpha (z)\), can be computed via the discrete convolution of the first L values of \(h_i(n),i\) =1,2,3,4, i.e.,

$$\begin{aligned} h(n)=h_1 (n)*h_2 (n)*h_3 (n)*h_4 (n)\quad and\quad h_\alpha (n)=\left( {\frac{-18}{7Tp_1 }}\right) ^\alpha h(n) \end{aligned}$$
(14)

Once the desired impulse response has been computed, a signal modeling technique is then applied to estimate the coefficients \(a_{i}\) and \(b_{i}\) of the transfer function \(F(z)\) approximating \(H^\alpha (z)\) . The degrees of the denominator and numerator polynomials p and q, respectively, are to be chosen by the designer. Many signal-modeling techniques such as Padé approximant, Prony, Shanks, or Steiglitz Mc-Bride methods can be used to estimate these coefficients. Simulation experiments showed that the Steiglitz–Mc Bride method can provide slight improvement in low frequencies as compared to non-iterative ones (Prony, Shanks). Therefore, in this paper, the coefficients \(a_{i}\) and \(b_{i}\) are obtained by modeling the impulse response \(h_\alpha (n)\), using Steiglitz–Mc-Bride method. This method is implemented in Matlab by the function stmcb.m. Based on the above equations, the desired impulse response of the new digital half differentiator /integrator for \(L=500,T=1s\) is plotted in Fig. 3. This impulse response will be modeled in the next section to calculate the coefficients of the rational approximation of NDFOD.

Fig. 3
figure 3

Impulse response of the NDFOD, L = 500, T = 1 s, a  \(\alpha =0.5\), b  \(\alpha =-0.5\)

4 Simulation Results and Comparisons

4.1 Rational Approximation of \(s^\alpha \) Using PSE-Signal modeling

In this section, we present simulation results for digital rational approximation (IIR filters) of continuous half differentiator \(s^{0.5}\) and half integrator \(s^{-0.5}\) sampled at \(T=1s,\) for \(p=q=5\). The fifth-order models of half differentiator and half integrator based on NMF are obtained by modeling the impulse response presented in Fig. 3 using the Matlab’s mfile stmcb.m. For comparison purposes, the Al-Alaoui, Tustin, Euler, Hsue, and Al-Alaoui-Schneider operators based rational models are designed using the same method. The coefficients \(a_{i}\) and \(b_{i}\) of the obtained rational approximations are reported in Table 2.

Table 2 Coefficients of the rational approximations \(B(z)/A(z)\) using PSE-signal modeling

Figure 4 compares the magnitude and phase frequency responses of the rational approximations (in Table 2) with the ideal half differentiator \(s^{0.5}\) and half integrator \(s^{-0.5}\).

Fig. 4
figure 4

Magnitude and phase responses of \(s^{\alpha }\) and the corresponding approximations obtained using Steiglitz Mc-Bride based on first-order operators, Al-Alaoui-Schneider operator, and NMF a \(\alpha \) = 0.5, b \(\alpha \) = \(-\)0.5

A zoomed view of the magnitude responses shows that the NMF improves the high frequency magnitude response comparatively to the Al-Alaoui Schneider, Al-Alaoui, Tustin, Euler, and Hsue operators. Also, the approximations based on NMF have better phase response than those based on the Al-Alaoui operator and Euler’s rule in high frequency range and the phase is closer to the ideal one for larger range of frequencies using Tustin operator.

To see how well the magnitude frequency response is approximated in all the range of frequencies for half differentiator as well as half integrator, Fig. 5 shows the percent relative error in magnitude between the ideal continuous fractional-order operator \(s^\alpha ,\alpha =\pm 0.5\) and the approximations defined by the coefficients given in Table 2.

Fig. 5
figure 5

Percent relative error corresponding to NMF, Al-Alaoui-Schneider, and first-order operators a \(\alpha =0.5\), b \(\alpha =-0.5\)

We can observe from Fig. 5 that the NMF accomplishes better magnitude response fit with the smallest relative error which remains within about \(Er=\pm 2.39\,\% \) for \(s^\alpha , \alpha =\pm 0.5\). In order to check for the stability of the obtained approximations, poles-zeros plots are shown in Fig. 6.

Fig. 6
figure 6

Poles-zeros diagram, a  \(\alpha =0.5\), b \(\alpha =-0.5\)

We can see that the poles and zeros are inside the unit circle in the z plane and distributed in alternating fashion that is the obtained rational approximations are stable and minimum phase. Considering now distinct order of differentiators and integrators, Figures 7 and 8 show the percent relative errors in magnitude of the rational approximations of \(s^\alpha \), for \(\alpha =\pm \)0.7 and \(\alpha =\pm \)0.3, respectively.

Fig. 7
figure 7

Percent relative error corresponding to NMF, Al-Alaoui-Schneider, and first-order operators a \(\alpha \) = 0.7, b \(\alpha \) = \(-\)0.7

Fig. 8
figure 8

Percent relative error corresponding to NMF, Al-Alaoui-Schneider, and first-order operators a \(\alpha \) = 0.3, b \(\alpha \) = \(-\)0.3

From the error plots, it can be observed that the differentiator and integrator of order \(\alpha =0.3\) and \(\alpha =0.7\) obtained by using NMF have the smallest error compared to those based on the others operators.

To further investigate the performance of the proposed approach, let us compare the existing third-order model of one-third integrator based on Hsue operator obtained using CFE, proposed in [14], with the third-order approximation obtained using NMF (PSE-signal modeling), suggested in this paper. From [14], the transfer function of the third-order model based on Hsue operator is given in (15), with \(T=0.001s\).

$$\begin{aligned} H_{\mathrm{Hsue-cfe}-\frac{1}{3}} =0.0794\frac{( {1-0.793z^{-1}})( {1-0.2646z^{-1}})( {1+0.1922z^{-1}})}{( {1-0.9108z^{-1}})( {1-0.4548z^{-1}})( {1+0.07365z^{-1}})} \end{aligned}$$
(15)

The transfer function of the third-order model of one-third integrator obtained using NMF (PSE-signal modeling) is given in equation (16).

$$\begin{aligned} H_{\mathrm{NMF-PSE-signal\;modeling}-\frac{1}{3}} =\frac{0.0952-0.1964z^{-1}+0.1174z^{-2}-0.0161z^{-3}}{1-2.4474z^{-1}+1.9240z^{-2}-0.4766z^{-3}}\nonumber \\ \end{aligned}$$
(16)

The magnitude and phase responses corresponding to the transfer functions (15) and (16) along with that of the ideal continuous one-third integrator are presented in Fig. 9.

Figure 10 shows the percent relative error in magnitude between the ideal continuous one-third integrator and the approximations defined by eqs. (15) and (16). It is clear that the one-third integrator based on NMF has smaller approximation error than that of Hsue operator.

Fig. 9
figure 9

Magnitude and phase responses of \(s^{-1/3}\) and the approximations obtained using NMF (PSE-signal modeling) and Hsue (CFE), for T = 0.001s, q = p = 3

Fig. 10
figure 10

Percent relative error corresponding to NMF (PSE-signal modeling) and Hsue (CFE)

4.2 PSE-signal Modeling Versus PSE-Truncation

In the rest of this section we will compare the performance of the PSE-signal modeling and PSE-truncation for rational approximation of \(s^\alpha \). An example is used for rational approximation of \(s^\alpha ,\alpha =\pm 1/4\). Table 3 presents the coefficients of rational approximations of \(s^\alpha ,\alpha =\pm 1/4\) obtained using PSE-signal modeling and PSE-truncation approaches based on NMF for \(p=q=5, T=1s, L=500\).

Table 3 Coefficients of the rational approximations obtained using PSE- truncation and PSE-signal modeling based on NMF

Figure 11 presents the magnitude and phase frequency responses of the rational approximations (in Table 3) along with that of the ideal fractional-order operator \(s^\alpha , \alpha =1/4\) and \(\alpha =-1/4\).

Fig. 11
figure 11

Magnitude and phase responses of \(s^\alpha \) and the approximations obtained using PSE-signal modeling and PSE-truncation based on NMF a \(\alpha =1/4\), b \(\alpha =-1/4\)

Figure 12 presents the percent relative error in magnitude, between the ideal continuous fractional-order operator \(s^\alpha , \alpha =\pm 1/4\) and the magnitude of the approximations obtained using PSE-signal modeling and PSE-truncation.

Fig. 12
figure 12

Percent relative error, a \(\alpha =1/4\), b \(\alpha =-1/4\)

Figure 12 shows clearly that the error corresponding to PSE-signal modeling is smaller than that of the PSE-truncation. To check for the stability of the obtained approximations, Fig. 13 presents poles-zeros diagram of the approximations based on NMF.

Fig. 13
figure 13

Poles-zeros diagram, a PSE-signal modeling, b PSE-truncation

We can deduce that PSE-signal modeling and PSE-truncation provide stable minimum phase filters since all poles and zeros are inside the unit circle. But unlike PSE-signal modeling, the PSE-truncation provides approximations which possess complex conjugate poles and zeros. The latter may not be desirable for approximation of \(s^\alpha \).

Now, let us compare the previous methods using the first-order Al-Alaoui operator. The rational models based on the Al-Alaoui operator using PSE-signal modeling and PSE-truncation for \(\alpha =0.5, \, p=q=5, T=1s, L=500\) are defined by the coefficients given in Table 4.

Table 4 Coefficients of the rational approximations based on Al-Alaoui’s operator

The magnitude and phase frequency responses of the obtained approximations are shown in Fig. 14 and compared to models obtained using PSE-truncation with \(p=q=40\) . The checking of the pole-zero maps shows that the poles and zeros are complex when using PSE-truncation.

Fig. 14
figure 14

Magnitude and phase responses of \(s^\alpha \) and the approximations obtained using PSE-signal modeling and PSE-truncation based on Al-Alaoui’s operator

Figure 15 presents the percent relative error in magnitude. We can observe that PSE-signal modeling presents the smallest error. Also, we can deduce that increasing the truncation order (\(q\) and \(p\)) of numerator and denominator results in slight improvement in the quality of the magnitude approximation using PSE- truncation.

Fig. 15
figure 15

Percent relative error for \(\alpha =0.5\)

5 Conclusion

An improved digital rational approximation of \(s^\alpha \) obtained via PSE-signal-modeling technique by using a new second-order s-to-z transform was presented and compared to recently used s-to-z transforms based models. Moreover, PSE-signal modeling has also been compared to PSE-truncation technique. The main advantages of the proposed approach are the following:

  • The new second-order s-to-z transform has better magnitude response in almost over the full Nyquist band than the recently used first-order and higher order s-to-z transforms with the lower relative error in magnitude which is preferred for real-time application.

  • The PSE-signal-modeling techniques (Prony, Shanks, Padé, and Steiglitz MC-Bride) of the fractional power of second-order operator (FPSOO) can be accomplished and lead to stable models .The drawback is that the approach requires more arithmetic operations to compute the FPSOO’s impulse response as compared to the computation of the first-order operators’ impulse response.

  • In contrast to the recently used method based on PSE-truncation, PSE-signal-modeling approach does not lead to approximation with complex conjugate poles and zeros using first-order or second-order operators.

  • Simulation results of magnitude response, phase response, and relative error show that the rational approximations obtained using PSE-signal modeling outperform those obtained using PSE-truncation based on first or second-order s-to-z transforms.