Journal of Sensors

Volume 2018, Article ID 5738274, 9 pages

https://doi.org/10.1155/2018/5738274

## T-S Fuzzy-Based Optimal Control for Minimally Invasive Robotic Surgery with Input Saturation

^{1}School of Information and Control Engineering, China University of Mining and Technology, No. 1 Daxue Road, Xuzhou 221116, China^{2}Collaborative Innovation Center of Intelligent Mining Equipment, China University of Mining and Technology, No. 1 Daxue Road, Xuzhou 221116, China

Correspondence should be addressed to Hongmei Wang; nc.ude.tmuc@99mhw

Received 23 December 2017; Accepted 25 March 2018; Published 23 April 2018

Academic Editor: Mucheol Kim

Copyright © 2018 Faguang Wang 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.

#### Abstract

A minimally invasive surgery robot is difficult to control when actuator saturation exists. In this paper, a Takagi-Sugeno fuzzy model-based controller is designed for a minimally invasive surgery robot with actuator saturation, which is difficult to control. The contractively invariant ellipsoid theorem is applied for the actuator saturation. The proposed scheme can be derived using the -infinity control theorem and parallel distributed compensation. The result is rebuilt in the form of linear matrix inequalities for easier calculation by computer. Meanwhile, the uniformly ultimately bounded stable and the prescribed -infinity control performance can be guaranteed. The proposed scheme is simulated in a Novint Falcon haptic device system.

#### 1. Introduction

In minimally invasive robotic surgery, the work space is limited precisely. The mechanical structure and the electrical characteristics can be additional constraint boundaries for system inputs and outputs. Therefore, the controller of the surgery robot has a rigid input saturation requirement. However, if input saturation occurs, the output performance of the controlled object cannot satisfy the designed requirement, which can result in the decline of the closed-loop system response. The output overshoot cannot be suppressed well, even becoming unstable [1, 2]. This situation is prohibited in a minimally invasive robotic surgery.

Many researchers investigated the input saturation problem and provided some solutions. Buckley [3] proposed an anti-reset windup method for the integral saturation problem. The error between the controller output and object input was used as a complementary feedback for the controlled system. Hanus et al. [4] proposed the condition technique, where the controller output continuously tracks for a new reference input and is located out of the saturation area to avoid the saturation case. The pole-placement method was applied to the antiwindup control, which assigns the poles of nonlinear system in the desired disk for stable analysis in [5]. Although the variable structure antiwindup controller showed a good performance in the integrator windup case [6], some preset parameters were needed that were difficult to determine because expert knowledge was required. Some antiwindup controllers were also based on observer [7], internal model control [8], saturation feedback control [9], and dynamic complement [10].

The T-S fuzzy theorem, which is an important part of the fuzzy control theorem, was proposed by Takagi and Sugeno in 1985 [11]. It is utilized in both system stable control and model identification [11, 12]. Specifically, it has a good performance in nonlinear system control [12]. The T-S fuzzy model, which is the summation of the product of the T-S fuzzy local models and their corresponding membership functions, can approximate the nonlinear system under an arbitrary degree of accuracy [12]. The T-S fuzzy model is nonlinear, and its controller design is difficult. Consequently, a procedure called parallel distributed compensation (PDC) makes the T-S fuzzy controller design easier. PDC was proposed by Wang et al. in 1995 [13]. The fuzzy sets of the PDC controller are similar with the fuzzy model. Under each controller rule, a controller can be designed for the local T-S model. By summation of the product of these controllers and their corresponding membership functions, the total controller of a nonlinear system can be represented. System stability is usually considered by the Lyapunov function. Although PDC provides a design procedure for the T-S fuzzy controller, the calculation of controller gains for global stability is still difficult, particularly in the presence of many controller rules. A numerical optimization method called linear matrix inequalities (LMIs) solved this kind of problem. LMI was defined by Willems in 1971 [14]. Neestorv and Nemirovskii [15] proposed an interior point method, which can directly solve the LMI convex optimization problem. LMI was first applied to the T-S fuzzy system stabilization analysis in [16]. In the succeeding years, LMI became the focus of increasing number of researchers [17]. Except for a few special cases without analytical solution, LMIs are generally efficient [11]. Furthermore, the LMI toolbox software provides a direct shortcut to the computer solution of LMIs. Because PDC and LMIs provide a better T-S fuzzy system controller design, they are applied in the proposed controller design in this paper.

For the advantage of the T-S fuzzy theorem, it was widely used to deal with the actuator saturation problem. In [18], based on the T-S fuzzy model, a robust dissipative controller was designed for the multiple-input multiple-output (MIMO) system with saturated time-delay input and parameter uncertainty. Their results show that the closed-loop system can be stable, but the stabilization time cannot be guaranteed. For this problem, [19, 20] provided a finite-time control by optimal control and estimated the attraction domain. The combination of the T-S fuzzy model and optimal control show an animated controller design of a nonlinear system with actuator saturation [21]. For optimal control, Hu et al. [22] provided a useful control method for the saturation system with actuator saturation based on a contractively invariant ellipsoid. This study was continued in her work by BMIs [8]. Consequently, many researchers focused on actuator saturation problems, where the T-S fuzzy based controller design method was popular. The Lyapunov stability criterion-based PDC fuzzy controller was designed for the actuator saturation system [23, 24]. Many researchers contributed in completing this theorem [25, 26]. In this paper, the result in Hu et al. [22] was adopted and rebuilt into a set of LMIs. Meanwhile, a predetermined norm was satisfied.

This paper is organized as follows. The basic T-S fuzzy theorem is presented in Section 2. The proposed solution for the actuator saturation problem is presented in Section 3. The simulation is presented in Section 4. The paper concludes in Section 5.

#### 2. General T**-**S Fuzzy Model and Control

In this paper, the considered nonlinear system with disturbance is where , , , , and and is the boundary of disturbance. In the T-S fuzzy model, the premise variables of the T-S fuzzy rules must be measurable, and they can represent some properties of the nonlinear system. Therefore, a suitable selection of these variables is very important for the accuracy and reliability of the T-S fuzzy model. When the T-S fuzzy premise variables have been defined, a corresponding local model can be provided by these variable values. The th rule of the T-S fuzzy system for a nonlinear system is as follows:

The th rule: If is , …, and is , then where is the rule number, and are the local model parameter matrices, are the premise variables, and are the fuzzy sets. The nonlinear system can be approximated by the overall T-S fuzzy system where and , in which is the grade of the membership of in . Note that the membership function should satisfy the following equation:

Currently, the nonlinear system of (1) is changed to the T-S fuzzy model (3). Because the local T-S model of (2) is linear, its feedback controller can be designed easily as where and . By PDC and similar fuzzy rules of (2), the overall T-S fuzzy controller is designed as

#### 3. Robust Controller Design for Input Saturation

The traditional T-S fuzzy theorem cannot provide results in the control problem for a nonlinear system with input saturation. In this study, the proposed method can solve the input saturation problem. The controlled closed-loop system can be uniformly ultimately bounded (UUB) stable, and the prescribed -infinity norm can be guaranteed. Furthermore, the result is shown in LMIs, which can be directly solved by programming.

Considering the saturation and uncertainty, the nonlinear system of (1) can be where , is the boundary value of the saturation function, and the other symbols are similar with (1). Following (3), the T-S fuzzy model can be where

Based on the work of Hu et al. [1], for the feedback controller, , if the ellipsoid is contractively invariant, and matrixes , , and ( matrix) make the initial value of and
where the polyhedron and is the *j*th row of . The saturation feedback controller satisfies
where is an -by- diagonal matrix (diagonal elements are 0 or 1) and with .

If it is only applied to the T-S fuzzy local model, the global stability of the nonlinear system cannot be satisfied. For global stability, some changes are needed. By (7) and (9), the nonlinear system with disturbance is as follows: Equation (12) can be guaranteed if each satisfies the following inequality: where

Some , , , and can be found and satisfy the following inequality: where and .

control performance is defined as
where is the terminal time, is a positive-definite matrix, and is the prescribed norm, which is greater than 0 and less than 1. If is minimized, the effect of on is minimized. Considering the initial condition, (17) can be changed as
where is some symmetric positive-definite weighting matrix. Set the Lyapunov function as
where . For simplicity, (*t*) is omitted in the following sections. Then, the following theorem can be obtained.

Theorem 1. *Under condition (11), if controller (12) is applied to a nonlinear system (7) and there exists a positive-definite matrix , such that the following matrix inequalities
are satisfied for each , , and , then the closed-loop system is UUB, and the control performance (18) is guaranteed as prescribed .*

*Proof 1. *Using (14), the derivative of is
Using (16), (21) can be
Under the th rule, if there is
where and , there is
for the nonlinear system. If , (24) can be the control performance defined in (17). Therefore, for each simulation time, the control performance defined as (17) can be guaranteed. Then, in the total simulation, a prescribed norm can be guaranteed. Meanwhile, (18) can be as follows:
If
there is
By integrating (27), the following result can be obtained:
The Lyapunov function (19) can be 0 when the system is stable. Therefore,
The above equation is the performance defined in (25), which satisfies (18). Note that the norm is changed to .

End of proof.

In Theorem 1, it is difficult to find the solution for (20). Therefore, the transformation of inequality (20) into LMIs is necessary. By setting and left and right multiplication of *R*, (20) can be

Let , , and . By Schur complements, (30) can be changed as where , and are unknown. Condition (11) is equal to where is the th row of . Therefore, the following theorem is given.

Theorem 2. *For nonlinear system (7) with controller (12), if there exists
then the closed-loop system is UUB and the control performance (18) is guaranteed as prescribed .*

By this theorem, the optimization problem can be changed to a constrained optimization problem by LMIs.

#### 4. Numerical Example

In minimally invasive surgery, haptic tracking is very important. Novint Falcon is a simple arm robot with force feedback ability, which benefited from parallel architecture, and can be applied in minimally invasive surgery. The Novint Falcon structure is shown in Figure 1.