Abstract Fractional order calculus is a generalization of due the continuous behavior of the differointegration operator
the familiar integer order calculus in that, it allows for with respect to its order. For instance, considering position
differentiation/integration with orders of any real number. signal as the input, continually varying the order of differen-
The use of fractional order calculus in systems and control
applications provides the user an extra design variable, the tiation order from 1 to 0 acts as changing the properties of
order of differointegration, which can be tuned to improve the a linear mechanical element from a pure dissipation element
desired behavior of the overall system. We propose utilization towards a pure potential energy storage (stiffness) element.
of fractional order models/controllers in haptic systems and Likewise, tuning the differentiation order from 1 to 2 acts
study the effect of fractional differentiation order on the as continually transforming from a pure dissipation element
stability robustness of the overall sampled-data system. Our
results demonstrate that fractional calculus generalization has a towards a pure kinetic energy storage (inertia) element. Note
significant impact on both the shape and area of stability region that dissipation exits for all differentiation orders in the open
of a haptic system and inclusion of fractional order impedances set (0, 2), while pure energy storage takes place only for the
may improve the stability robustness of haptic rendering. Our integer orders of 0 and 2.
results also include experimental verification of the stability The rest of the paper is organized as follows. In Section II
regions predicted by the theoretical analysis.
a literature review on the stability analysis of haptic systems
is provided. Section III summarizes some of the fundamental
I. INTRODUCTION
properties of fractional order calculus and control systems.
The main goal in haptic rendering is to enable a human Section IV introduces the haptic system architecture used for
operator to safely and transparently manipulate a virtual the stability analysis, while Section V provides the stability
environment, through interactions with a robotic interface. analysis of fractional order haptic systems and validates these
During haptic rendering, stability robustness is crucial for results through physical experiments. Finally, Section VI
ensuring the safety of the interaction, while transparency is concludes the paper.
required for the interaction to feel natural. However, since
stability robustness and transparency are competing design II. RELATED WORK
objectives, achieving an optimal trade-off between these two A haptic system is desired to stay stable at all times, for
criteria is one of the major research themes in the field of any human operator, and under any operation/grip conditions.
haptics. The presence of the human operator in the loop significantly
This paper investigates the stability properties of haptic complicates the coupled stability analysis and controller
systems with fractional order controllers/models in their design of haptic systems. First and foremost challenge is
virtual environment. In particular, we analyze the stability to find a simple and reliable model for the human operator,
regions of haptic systems for different differentiation orders since without a model of the human operator, determining
and investigate the robustness of fractional order controllers the coupled stability of the haptic system is not a trivial task.
to the changes in the human operator model. Furthermore, the sampled-data nature of the haptic systems
Fractional order calculus is a generalization of the fa- introduces an additional challenge to the analysis.
miliar integer order calculus in that, it allows for differen- The coupled stability analysis of haptic systems can be
tiation/integration, called differointegration, with orders of loosely categorized into two different approaches. The first
any real number. The use of fractional order calculus in approach focuses on the haptic system alone and aims at
systems and control applications provides the user an extra robust stability of the haptic system for a certain, but a wide,
design variable, the order of differointegration, which can be range of human operator models. On the other hand, the
tuned to improve the desired behavior of the overall system. second approach assumes a model for the human operator
Fractional order models are commonly used for modeling and checks for the overall stability of the system based
viscoelastic materials, while fractional order controllers are on this model. Former is considered as a more reliable
widely employed for motion control, thanks to their favorable analysis method resulting in conservative results, while the
robustness properties. latter method is less conservative and especially useful to
Intuitively, a fractional order derivative behaves as an in- establish an understanding of the underlying relations among
terpolation between the neighboring integer order derivatives, parameters of a haptic system on the overall stability of the
system.
This work was partially supported by TUBITAK Grant 113M422. Robust stability based approaches generally rely on meth-
O. Tokatli and V. Patoglu are with the Faculty of Engineering
and Natural Sciences, Sabanci University, Istanbul, Turkey. {otokatli, ods that do not require a specific model for the human oper-
vpatoglu}@sabanciuniv.edu ator; stability is considered for all possible human models
1173
Fh*(s)
+ The haptic interface is modeled as a rigid robot and it is
(s)
- assumed that the human operator firmly grasps the robot;
hence, xh = xr . The equations of motion for the robot can be
Fh(s) given as
+
Gr(s) X(s)
-
mr xh + br xh = fh + fe (1)
Fe(s)
G(s) The corresponding transfer function of the haptic display
from force to velocity in continuous time is
ZOH
Fe(z) H(z) X(z) T
1
Gr (s) = (2)
Fig. 1. The sampled-data haptic system with ideal sampler and zero order mr s2 + br s
hold.
definitions. In this paper, Caputos definition, is preferred due For coupled stability analysis, the model of the human
to its advantages in terms of computing the Laplace trans- operator is necessary; however, an accurate model for human
formation of functions with fractional order differointegrals. operator is generally non-linear, time varying and requires
tedious experimentation. On the other hand, a simple LTI
Zt mass-spring-damper model is known to be sufficient for
1 f (n) ()
a Dt f (t) =
studying the some of the main aspects of the presence of
d
(n ) (t )n+1
a a human in the control loop. Therefore, the following model
is used for human operator.
for n 1 < < n.
Using Caputos definition for fractional order differointe-
(s) = mh s2 + bh s + kh (3)
gration yields to an important property which vastly reduce
the computational burden of the analysis. The Laplace trans-
form of a fractional order differointegral is defined as If the sampled-data architecture is manipulated for com-
bining the human and robot models, the following resulting
L (a Dt f (t)) = s L ( f (t))
transfer function can be obtained.
1174
and fractional order models. It is important to note that in V. STABILITY ANALYSIS AND EXPERIMENTAL
this virtual wall model, the order of the differentiator is not VERIFICATION
necessarily an integer number. In this paper, we conduct The stability analysis is conducted using the Routh-
the analysis for [0, 2], where = 1 corresponds to the Hurwitz method. The characteristic polynomial of the closed-
classical backward difference differentiator. We also consider loop haptic system with human operator coupled to the haptic
only the positive values of K and B. display can be found in the denominator of (10). Using
Moreover, nondimensional parameters are adapted for the
bilinear transformation, z (1 + w)/(1 w), the discrete-
analysis, since as the differentiation order changes, the phys-
time transfer function is transformed into the proper form
ical meaning, as well as the unit of B changes. Nondimen-
for Routh-Hurwitz test. The stability of this new polynomial,
sional parameters enable comparison of virtual environment
which is in w-plane, implies the stability of the discrete-time
models with different differential orders. The nondimension-
characteristic polynomial in z-plane.
alization is achieved through the following transformations.
Experiments for the uncoupled stability of the haptic
Note that these transformations generalizes the ones noted in
system is conducted on a single DoF voice coil actuated
[9] with the dissipation element. In particular, we generalize
haptic display shown in Fig. 2.
the nondimensionalization of virtual damping to fractional
order dissipative elements as follows
1) End Effector 1
KT 2 BT 2
K = , B = ,
m m 3
bT kT 2 2) Quadrature 3) Voice Coil Actuator
b = , k = (6) Encoder (Fpeak = 31 N)
m m
(500 qc/inches)
T 2 ((2 c2 c3 )c1 + (c2 c3 ) )z Fig. 2. Single DoF voice coil actuated haptic display
G(z) = ...
m 2c1 (z2 (c2 + c3 )z + e )
(2e c3 c2 )c1 + (c3 c2 ) The virtual wall is located at the initial position of the
+ (7)
2c1 (z2 (c2 + c3 )z + e ) end effector, so that there is no impact during the interaction
p of the robot with the virtual environment. During the ex-
where c1 = 2 4, c2 = e( +c1 )/2 , c2 = e( c1 )/2 . periments, the robot pushes the virtual wall with a constant
In order to perform a stability analysis on the fractional force of 1 N and the parameters of the wall are changed
order transfer function, we adopt one of the existing dis- until the interaction becomes unstable. The robot interacts
cretization schemes to represent the fractional order ele- with the virtual wall for 5 s and last 0.4 s of this interaction
ments in terms of their integer order equivalents. Among is considered for the analysis. The criteria for determining
many well-performing methods, the direct method of Muir instability is chosen based on the standard deviation of the
recursion introduced in [32] is adopted for the rest of the end effector position during the last 0.4 s interaction. If the
paper. In particular, the third order polynomial approximation standard deviation is greater than 0.1 mm than the inter-
is chosen so that the degree of the differentiator can be action is marked as unstable. This threshold is determined
kept low, while the approximation error is relatively low. empirically, such that it prevents the end-effector to oscillate
Using this discretization scheme, the fractional order virtual significantly, but it is not very conservative allowing for very
environment model can be written as small amplitude oscillations. In the experiments the sampling
31 z3 + 13 2 z2 z1 + 1
time is set as T = 0.002 s. The apparent inertia of the robot
H(z) = K + B (8) is mr = 65 g and its physical damping is characterized as
T
br = 3.5 103 N s/mm.
while under this discretization scheme, the nondimensional
A. Stability Regions
form of the virtual environment can be given as
The user imposes on the haptic system an impedance,
m 1 3 1 2 2 1
H(z) = 2 + z + z z + 1 (9) consisting of stiffness, damping, and mass. Even though this
T 3 3
impedance can change based on the users grip, it necessarily
Finally, the overall transfer function of the discrete-time contains relatively low stiffness with high inertia and high
system from the exogenous human force to position output damping [10]. One of the worst-case stability scenario takes
of the robot is given by place when there is minimal damping and low inertia with
high stiffness, during which the user is not or is barely
G(z) touching the haptic device, that is, when the user is adding
Gx (z) = (10)
1 + G(z)H(z) negligible impedance to the system. A stronger user grip
imposes additional damping to the system, augmenting the
1175
1.5 0.2
=0
natural damping of the device and may help with coupled = 0.5 =2 0.18
=1
stability. Hence, in practice, a light/no grip represents one of = 1.5
0.16
=2 0.14
0.08
0.02
0 0.01 0.02 0.03 0.04 0.05 0.06 0.07 0.08
2.0 2.0
=1.7
error for differentiation orders up to 1), but the discrepancy
1.5 =1.6 =1.8 between the theoretical and experimental stability regions
1.0
=1.5 increases as the differentiation order increases (displaying
1.5 a 40% mismatch for = 2). The degradation for high
0.5
differentiation orders is mainly due to quantization noise
0.0
0.0 0.5 1.0 1.5 2.0 2.5 3.0 introduced by the encoder and inherent unstable nature of
1.0 differentiation operation. In particular, due to the intrinsic
=1
=1.5 noise amplification property of digital derivative estimators,
the higher the differentiation order becomes, the higher the
0.5 quantization noise amplification takes place. A thorough
analysis of the noise amplification of fractional order dif-
=0.5
=0 ferentiators can be found in [38].
0.0
0 1 2 3 4
Fig. 3. Stability region of haptic system for various differentiation orders B. Sensitivity of Stability Regions to Changes in Model
Parameters
One can observe from Fig. 3 that, for [0, 2] the area
Fig. 5 presents the magnitude plot of the sensitivity
under the stability region increases as the differentiation
function of the fractional order sample-data haptic system
order of the virtual environment increases up = 2. It is
for different differentiation orders. One can observe from this
important to note that when = 2, corresponds to an
figure that as the differentiation order gets smaller, the peak
ideal nondimensional kinetic energy storage (inertia) element
magnitude of the sensitivity function decreases, indicating
and the highest stiffness rendering for the haptic device
that the system becomes more robust to parameter changes.
is achieved when = 2. This observation is in agreement
with the analysis emphasized in [37] and as expected, the 60
fractional order analysis can perfectly recover the results for =0
=0.5
the integer order case. 40
=1
Fig. 4 depicts the results for the Z-width experi- =1.5
20 =2
ments for the voice coil actuated experimental setup intro-
Magnitude [dB]
{0, 0.5, 1, 1.5, 2}, under the same conditions for which the 40
30
5
differentiation order on the stability region. In particular, 0
0
-80
10
1176
range of frequency responses to be synthesized. Fig. 5 is an [12] J.-H. Ryu, D.-S. Kwon, and B. Hannaford, Stable teleoperation with
example of such a case, where decreasing the differentiation time-domain passivity control, IEEE Transactions on Robotics and
Automation, vol. 20, no. 2, pp. 365373, 2004.
order results in favorable stability robustness for the given [13] J.-P. Kim and J. Ryu, Robustly stable haptic interaction control using
set of system parameters. In general, even though it is an energy-bounding algorithm, The International Journal of Robotics
possible to make use of the extra degree of design freedom Research, 2009.
[14] A. Haddadi and K. Hashtrudi-Zaad, Bounded-impedance absolute
introduced by the fractional differentiation order into good stability of bilateral teleoperation control systems, IEEE Transactions
use to achieve favourable system response, the effect of the on Haptics, vol. 3, no. 1, pp. 1527, 2010.
fractional differentiation order on the system response is not [15] R. L. Bagley and P. J. Torvik, Fractional calculus a different
approach to the anaylsis of viscoelastically damped structures, AIAA
trivial and strongly depends on system parameters. J., vol. 21, pp. 741 748, 1983.
VI. CONCLUSIONS [16] D. Craiem and R. L. Magin, Fractional order models of viscoelasticity
as an alternative in the analysis of red blood cell (rbc) membrane
We have proposed utilization of fractional order mod- mechanics, Physical Biology, vol. 7, no. 1, 2010.
els/controllers in haptic systems and analyzed the stability of [17] A. Oustaloup, B. Mathieu, and P. Lanusse, The crone control of
fractional order haptic systems. We have computed stability resonant plants: Application to a flexible transmission, European
Journal of Control, vol. 1, no. 2, pp. 113 121, 1995.
regions for systems with different orders and experimentally [18] I. Podlubny, Fractional-order systems and pi/sup /spl lambda//d/sup
verified these results though a single DoF haptic interface. /spl mu//-controllers, IEEE Transactions on Automatic Control,
Our results indicate the non-dimensional stability region vol. 44, no. 1, pp. 208214, 1999.
[19] B. J. Lurie, Three-parameter tunable tilt-integral-derivative (tid) con-
enlarges as the differentiation order is increased from 0 troller, USA Patent US 5 371 670 A, 1994.
to 2. Furthermore, we have observed that fractional order [20] D. Xue and Y.-Q. Chen, A comparative introduction of four fractional
system order can directly affect the stability robustness under order controllers, in 4th World Congress on Intelligent Control and
Automation, vol. 4, 2002, pp. 32283235 vol.4.
parameter variations. [21] C. Ma and Y. Hori, Fractional-order control: Theory and applications
In general, the extra degree of design freedom introduced in motion control [past and present], IEEE Industrial Electronics
to the control system by the fractional differentiation order Magazine, vol. 1, no. 4, pp. 616, 2007.
[22] N. M. F. Ferreira and J. A. T. Machado, Fractional-order hybrid
seems promising, since it allows one to better shape the control of robotic manipulators, in International Conference on
frequency response of the system to achieve more favorable Advanced Robotics, 2003.
performance characteristics. [23] Y. Luo and Y. Q. Chen, Fractional order motion controls. Wiley,
2012.
Our future works include further study of the effect of [24] I. Petras, Fractional-order nonlinear systems. Springer, 2011.
fractional order on the sensitivity of the system response to [25] C. A. Monje, Y. Q. Chen, B. M. Vinagre, D. Xue, and V. Feliu-Batlle,
parameter variations and to characterize performance trade- Fractional-order systems and controls: fundamentals and applications.
Springer, 2010.
offs that depend on the differentiation order. [26] R. Caponetta, G. Dongola, L. Fortuna, and I. Petras, Fractional order
R EFERENCES systems. World Scientific, 2010.
[27] K. B. Oldham and J. Spanier, The Fractional Calculus. Academic
[1] N. Hogan, Controlling impedance at the man/machine interface, in Press, 1974.
IEEE International Conference on Robotics and Automation, 1989, [28] C. Li and F. Zhang, A survey on the stability of fractional differential
pp. 16261631. equations, The European Physical Journal Special Topics, vol. 193,
[2] R. Anderson and M. Spong, Bilateral control of teleoperators with no. 1, pp. 2747, 2011.
time delay, IEEE Transactions on Automatic Control, vol. 34, no. 5, [29] B. Krishna, Studies on fractional order differentiators and integrators:
pp. 494501, 1989. A survey, Signal Processing, vol. 91, no. 3, pp. 386 426, 2011.
[3] J. E. Colgate and G. G. Schenkel, Passivity of a class of sampled-data [30] J. T. Machado, V. Kiryakova, and F. Mainardi, Recent history
systems: Application to haptic interfaces, Journal of Robotic Systems, of fractional calculus, Communications in Nonlinear Science and
vol. 14, no. 1, pp. 3747, 1997. Numerical Simulation, vol. 16, no. 3, pp. 1140 1153, 2011.
[4] J. Colgate, M. Stanley, and J. Brown, Issues in the haptic display of [31] C. F. Lorenzo and T. T. Hartley, Energy considerations for mechanical
tool use, in IEEE/RSJ International Conference on Intelligent Robots fractional-order elements, Journal of Computational and Nonlinear
and Systems. Human Robot Interaction and Cooperative Robots, Dynamics, vol. 10, 2015.
vol. 3, 1995, pp. 140145. [32] Y.-Q. Chen and K. Moore, Discretization schemes for fractional-order
[5] R. J. Adams and B. Hannaford, Stable haptic interaction with vir- differentiators and integrators, IEEE Transactions on Circuits and
tual environments, IEEE Transactions on Robotics and Automation, Systems I: Fundamental Theory and Applications, vol. 49, no. 3, pp.
vol. 15, no. 3, pp. 465474, 1999. 363367, 2002.
[6] M. Minsky, O.-y. Ming, O. Steele, F. P. Brooks, Jr., and M. Behensky, [33] S. Das and I. Pan, Fractinal Order Signal Processing: Introductory
Feeling and seeing: Issues in force display, in Proceedings of the Concepts and Applications. Springer, 2012.
Symposium on Interactive 3D Graphics, 1990, pp. 235241. [34] M. D. Ortigueira, Fractional Calculus for Scientists and Engineers.
[7] R. B. Gillespie and M. R. Cutkosky, Stable user-specific haptic Springer, 2011.
rendering of the virtual wall, in Proc. Int. Mechanical Engineering [35] Y.-Q. Chen, I. Petras, and D. Xue, Fractional order control - a
Congress and Exhobotion, 1995. tutorial, in American Control Conference, 2009, pp. 13971411.
[8] J. Gil, A. Avello, A. Rubio, and J. Florez, Stability analysis of a 1 dof [36] T. Hulin, A. Albu-Schaffer, and G. Hirzinger, Passivity and stability
haptic interface using the routh-hurwitz criterion, IEEE Transactions boundaries for haptic systems with time delay, IEEE Transactions on
on Control Systems Technology, vol. 12, no. 4, pp. 583588, 2004. Control Systems Technology, vol. 22, no. 4, pp. 12971309, July 2014.
[9] T. Hulin, C. Preusche, and G. Hirzinger, Stability boundary for haptic [37] D. Weir, J. Colgate, and M. Peshkin, Measuring and increasing
rendering: Influence of physical damping, in IEEE/RSJ International z-width with active electrical damping, in Symposium on Haptic
Conference on Intelligent Robots and Systems, 2006, pp. 15701575. interfaces for virtual environment and teleoperator systems, 2008, pp.
[10] N. Diolaiti, G. Niemeyer, F. Barbagli, and J. Salisbury, Stability of 169175.
haptic rendering: Discretization, quantization, time delay, and coulomb [38] D. Liu, O. Gibaru, W. Perruquetti, and T. Laleg-Kirati, Fractional
effects, IEEE Transactions on Robotics, vol. 22, no. 2, pp. 256268, order differentiation by integration and error analysis in noisy envi-
2006. ronment, Automatic Control, IEEE Transactions on, vol. PP, no. 99,
[11] B. Hannaford and J.-H. Ryu, Time-domain passivity control of haptic pp. 11, 2015.
interfaces, IEEE Transactions on Robotics and Automation, vol. 18,
no. 1, pp. 110, 2002.
1177