Marine Engineering and ApplicationsView this Special Issue
Research Article | Open Access
Variance and Passivity Constrained Fuzzy Control for Nonlinear Ship Steering Systems with State Multiplicative Noises
The variance and passivity constrained fuzzy control problem for the nonlinear ship steering systems with state multiplicative noises is investigated. The continuous-time Takagi-Sugeno fuzzy model is used to represent the nonlinear ship steering systems with state multiplicative noises. In order to simultaneously achieve variance, passivity, and stability performances, some sufficient conditions are derived based on the Lyapunov theory. Employing the matrix transformation technique, these sufficient conditions can be expressed in terms of linear matrix inequalities. By solving the corresponding linear matrix inequality conditions, a parallel distributed compensation based fuzzy controller can be obtained to guarantee the stability of the closed-loop nonlinear ship steering systems subject to variance and passivity performance constraints. Finally, a numerical simulation example is provided to illustrate the usefulness and applicability of the proposed multiple performance constrained fuzzy control method.
In the literature, the problem of controlling surface ships in maneuvering situations has been receiving more and more attention from the operational safety and environmental viewpoints [1–8]. For ship steering, the stochastic disturbances are waves, wind gusts, and observation errors, and the deterministic disturbances are current, mean wind, and curvature of the prespecified track. In order to deal with the complex disturbances, the adaptive control approach was developed to solve the ship steering control problem [1–4]. In , an output feedback control problem was studied by using the vectorial observer backstepping technique. Applying the sliding mode control, a multivariable performance-constrained controller was developed in  for the dynamic ship positioning systems. In [1–6], the dynamic ship steering systems were approximated by the linearized models that may have sacrificed some nonlinear characteristics. In order to reserve the characteristics of original nonlinear systems, the authors of [7, 8] used the Takagi-Sugeno (T-S) fuzzy model to represent the nonlinear dynamic ship steering systems. Without loss of generality, the T-S fuzzy model [7, 8] can approximate a wide class of nonlinear systems by mixing several linear subsystems with IF-THEN rules.
In control engineering, it is always required to develop some methodologies for designing controllers to achieve multiple performance requirements. In addition to the stability performance constraint, the individual state variance constraint and passivity constraint are usually considered for the control problem of linear and nonlinear systems. The individual state variance performance requirements of engineering systems are usually expressed as upper bounds on the steady-state variances for the stochastic control systems. Current control design techniques, such as Linear Quadratic Gaussian (LQG) and design methods, do not seem to give a direct solution to this kind of design problem since they lack a convenient avenue for imposing design objectives stated in terms of upper bounds on the variance values. The covariance control theory developed in  provided a more direct methodology for achieving the individual variance constraints than the LQG control theory. The idea of covariance control theory has been widely applied in solving multiobjective control problems as well as filtering problems see [6, 10–13], for instance. In addition to the individual variance constraint, the passivity constraint is also considered in this paper. In the literature, the passivity concept [14–21] is presented to issue stability analysis and synthesis of linear or nonlinear systems. It is well known that the passive theory uses the behaviors of energy dissipative between input and output of systems. The most important definitions of the passive theory are storage function [16, 20] and power supply [16, 21] for decision the property of passivity. As for a storage function in passive theory, it measures the amount of energy stored in the internal of the system; hence it is naturally described by using internal variables of system state variables. To the authors’ knowledge, so far, the variance and passivity constrained stabilization problem of nonlinear stochastic ship steering systems with multiplicative noises has not been investigated. It is also an open problem to discuss the variance and passivity constrained fuzzy controller design for the stochastic T-S fuzzy models with multiplicative noises. For this reason, this paper tries to develop an applicable fuzzy control methodology for achieving the individual variance constraints and passivity constraints, simultaneously.
The control problem for the systems with multiplicative noise has recently received a great deal of attention. Such models are found in many physical systems, such as aerospace engineering systems , signal processing systems , and biological movement systems [24, 25]. Different from the traditional additive noise, multiplicative noise is more practical, since it allows the statistical description of the noise to be unknown a prior but depend on the control and state solution. So far, many researchers have been working on various kinds of investigation of filtering and control for the control systems with multiplicative noise. Thus, there have been several approaches for dealing with this problem, including the linear matrix inequality (LMI) approach , the Riccati difference equation approach , the game theoretic approach , and the fuzzy control approach [19, 27–29]. Since this model reflects more realistic properties in engineering, a complete theory which includes control and estimation is worthy to be developed.
The contribution of this paper is to develop a methodology to design a fuzzy controller such that the stability constraint, individual variance constraint, and passivity constraint are simultaneously achieved for the nonlinear stochastic ship steering systems with multiplicative noise. The T-S fuzzy model is used to represent the nonlinear stochastic ship steering systems with multiplicative noise. According to the T-S fuzzy model with multiplicative noise, there are few approaches investigated to simultaneously achieve multiple performance requirements such as stability constraint, individual variance constraint, and passivity constraint. Therefore, the multiobjective fuzzy control methodology presented in this paper is worthy of the attention of control engineers. According to the T-S fuzzy model [30, 31], a parallel distributed compensation (PDC)  based fuzzy controller is designed via the Lyapunov theory in this paper. Subject to the individual variance constraint and passivity constraint, new sufficient conditions are derived by assigning a common upper bound matrix for the state covariance matrices of all fuzzy rules. By using the LMI technique  to solve the previous sufficient conditions, a PDC-based fuzzy controller can be obtained to guarantee the individual variance constraint and passivity constraint, simultaneously. Finally, a numerical example for controlling a nonlinear stochastic ship steering system with multiplicative noise is given to demonstrate the applicability and effectiveness of the proposed fuzzy controller design approach.
2. System Description and Problem Statement
Consider a nonlinear stochastic system, which is constructed by a continuous-time T-S fuzzy model with multiplicative noise as follows.
Rule i: where are the premise variables that may be functions of the state variables, is the fuzzy set, is the premise variable number, is the number of fuzzy rules, is the state vector, is the input vector, is the output vector, and the processes and are mutually independent zero-mean Gaussian white noise with intensities and 1, respectively. Referring to , it is assumed that and . The matrices , , , , , and are constant.
Without loss of generality, it is assumed that the premise variables of the previous T-S fuzzy model are measurable. Given the pair , the overall fuzzy model can be described as follows: where , , , and .
Considering each subsystem of the T-S fuzzy model (5), the steady-state covariance matrix of the state vector has the following form: where and is the unique solution of the following Lyapunov equation for each rule : The state variance constraint considered in this paper is defined as follows: where denotes the kth diagonal element of matrix and , denote the root-mean-squared constraints for the variance of system states. In addition to the previous individual state variance constraints (8), the passivity constraint introduced in the following definition is also considered in this paper.
Definition 1 (see ). The system (5) with external disturbance and output is called strictly input passive if there exists a positive scalar and symmetric positive definite matrix such that for all and .
The purpose of this paper is to find feedback gains that can be used to construct the PDC-based fuzzy controller (3) or (4) such that the individual state variance constraint (8) and passivity constraint (9) are all satisfied, simultaneously.
3. Fuzzy Controller Design for T-S Fuzzy Models with Multiplicative Noises
The sufficient conditions for guaranteeing the stability, individual variance constraint, and passivity constraint of closed-loop T-S fuzzy model with multiplicative noise are derived in this section. By assigning a common upper bound matrix of the state covariance matrices for all fuzzy rules, the sufficient conditions are derived based on the Lyapunov theory and passivity theory. According to the closed-loop T-S fuzzy model (5), the sufficient conditions for achieving the stability, individual variance constraint, and passivity constraint are derived in the following theorem.
Theorem 2. If there exist positive definite matrices and and feedback gains and dissipative rate satisfying the following sufficient conditions, then and the closed-loop system (5) is strictly input passive and asymptotically stable: where and denotes a diagonal matrix with the diagonal elements .
Proof. To analyze the stability of the closed-loop T-S fuzzy system (5), a Lyapunov function is chosen as , where . The expected value of differential of the Lyapunov function along the trajectories of (5) is given as follows:
Due to and , one has
It is obvious that if condition (10) is satisfied, then one has Let and multiplying each item of the previous inequality from left-hand side and right-hand side by , then one can obtain the following inequality: Besides, multiplying both sides of (11) by , one has It is obvious that if the conditions (17) and (18) are satisfied, then can be obtained from (14). Thus, one can conclude that if conditions (10) and (11) are satisfied, then the closed-loop system (5) is asymptotically stable.
Subtracting (7) from (15), one has Due to the fact that conditions (10) and (11) are satisfied, one can obtain that the closed-loop system (5) is stable and the closed-loop system matrix is stable. In this case, it can be concluded that via inequality (19). From the condition (12) and , one has
For achieving the attenuating performance, the passivity theory provides a useful and effective tool to design the controller to achieve the energy constraints for the closed-loop systems. Considering the passivity constraint defined in Definition 1, one can define a performance function such as where Using inequality (14) and Schur complement , one has
Due to the fact and it is obvious that condition (10) implies Multiplying inequality (24) on the left-hand and right-hand sides by , then one can obtain the following inequality via : If conditions (18) and (25) hold, then one can obtain . From (22), the inequality implies for all nonzero external disturbance. From Definition 1, it can be thus concluded that if conditions (10) and (11) are satisfied, then the closed-loop system (5) is strictly input passive.
Theorem 2 provides the sufficient conditions for solving the state feedback gains such that the closed-loop system (5) is asymptotically stable subject to individual state variance constraints and passivity constraint. The conditions derived in Theorem 2 cannot be solved by the LMI technique  because they are of the bilinear matrix inequality forms. In order to apply the LMI technique to solve the present problem, the conditions of Theorem 2 can be rewritten in the following corollary by using the matrix transform technique.
Corollary 3. If there exist positive definite matrices and and dissipative rate and matrices satisfying condition (12) and the following sufficient conditions, then and the closed-loop system (5) is strictly input passive and asymptotically stable: where .
Proof. Consider conditions (10) and (11) of Theorem 2. By setting new variables , conditions (10) and (11) can be rewritten as (27) and (28), respectively. It is obvious that conditions (12) and (27)-(28) are of LMI forms for the desired parameters and .
Based on the conditions of Corollary 3, the fuzzy control gains can be solved via LMI technique  by using MATLAB LMI-Toolbox. In order to demonstrate the applicability and effectiveness of the proposed fuzzy controller design approach, a numerical example for the controller design problem of a nonlinear ship steering system is considered in the next section.
4. Constrained Fuzzy Controller Design for Nonlinear Ship Steering Systems
Consider a nonlinear ship steering system with state multiplicative noises. It is customary to write the dynamic equations using a coordinate frame fixed to the ship such as Figure 1. Its dynamic equation can be written as follows : where and are the earth-fixed positions is yaw angle of the ships, is surge, is sway, is yaw modes, and is the control and moment by the thruster system. Besides, the processes , , and are all mutually independent zero-mean Gaussian white noise with intensity 1.
In this paper, the previous nonlinear ship steering system is modeled by a T-S fuzzy model  by assuming that the yaw angle changes between . The membership function of state is given in Figure 2. The T-S fuzzy model for nonlinear ship steering systems contains the following rules.
where and and
In general, the PDC approach is a popular T-S fuzzy controller design method. In the PDC concept, one needs to first design a linear controller for each rule, after which the controller of the entire nonlinear system can be made by blending the linear controllers of all rules. The fuzzy controller produced using PDC is represented as follows.
Rule 4: where , , are the desired feedback gains for the fuzzy controller design.
For starting the fuzzy controller design, we select the supply rate , with compatible dimension and assign the individual state variance constraints as , , , , , and . Solving the sufficient conditions of Corollary 3 via LMI technique , the matrix and can be obtained as follows:
The simulation responses of states are shown in Figures 3, 4, 5, 6, 7, 8 with initial condition . Besides, the external disturbances , , and are chosen as zero-mean white noises with variance one. From the simulation results, the effect of the external disturbance on the proposed system can be criticized as follows: The ratio value of (33) is bigger than determined dissipation rate ; one can find that condition (9) of Definition 1 is satisfied. Besides, the variances of states , , , , , and are , , , , , and , respectively. It is obvious that the individual state variance constraints are all satisfied. Therefore, the nonlinear ship steering system (29a), (29b), (29c), (29d), (29e), and (29f) controlled by the proposed fuzzy controller (31a), (31b), (31c), and (31d) is asymptotically stable subject to individual state variance constraints and strictly input passivity constraint.
The performance-constrained fuzzy controller design problem for the nonlinear ship steering system has been studied in this paper. The nonlinear ship steering system was modeled by a stochastic T-S fuzzy model with state multiplicative noises. This paper also considered the individual state variance constraint and passivity constraint. Based on the PDC concept, the proposed fuzzy controller design approach was carried out by solving the LMI stability conditions. On the other hand, these LMI stability conditions can be solved by the convex optimal programming algorithm. In the numerical example, a nonlinear ship steering system has been introduced to illustrate the usefulness and effectiveness of the proposed fuzzy control methodology.
The authors would like to express their sincere gratitude to anonymous reviewers who gave them some constructive comments, criticisms, and suggestions. This work was supported by the National Science Council of the Republic of China under Contract NSC101-2221-E-019-036.
- P. T. K. Fung and M. J. Grimble, “Dynamic ship positioning using a self-tuning kalman filter,” IEEE Transactions on Automatic Control, vol. AC-28, no. 3, pp. 339–350, 1983.
- J. V. Aneronger, “Adaptive steering of ships-a model reference approach,” Automatica, vol. 20, no. 1, pp. 3–14, 1984.
- R. E. Reid, A. K. Tugcu, and B. C. Mears, “The use of wave filter design in kalman filter state estimation of the automatic steering problem of a tanker in a seaway,” IEEE Transactions on Automatic Control, vol. AC-29, no. 7, pp. 577–584, 1984.
- J. M. Godhavn, T. I. Fossen, and S. P. Berge, “Non-linear and adaptive backstepping designs for tracking control of ships,” International Journal of Adaptive Control and Signal Processing, vol. 12, no. 8, pp. 649–670, 1998.
- T. I. Fossen and A. Grovlen, “Nonlinear output feedback control of dynamically positioned ships using vectorial observer backstepping,” IEEE Transactions on Control Systems Technology, vol. 6, no. 1, pp. 121–128, 1998.
- W. J. Chang and K. Y. Chang, “Multivariable performance-constrained sliding mode control for ship Yaw-motion systems with perturbations,” International Journal of Adaptive Control and Signal Processing, vol. 14, no. 4, pp. 393–409, 2000.
- H. Y. Chung, S. M. Wu, and W. J. Chang, “Regional fuzzy control for nonlinear ship steering systems,” International Journal of Innovative Computing, Information and Control, vol. 4, no. 7, pp. 1635–1646, 2008.
- W. J. Chang, H. J. Liang, and C. C. Ku, “Fuzzy controller design subject to actuator saturation for dynamic ship positioning systems with multiplicative noises,” Proceedings of the Institution of Mechanical Engineers. Part I: Journal of Systems and Control Engineering, vol. 224, no. 6, pp. 725–736, 2010.
- A. Hotz and R. E. Skelton, “Covariance control theory,” International Journal of Control, vol. 46, no. 1, pp. 13–32, 1987.
- W. J. Chang and H. Y. Chung, “A study of norm and variance-constrained design using dynamic output feedback for linear discrete systems,” International Journal of Control, vol. 57, no. 2, pp. 473–483, 1993.
- W. J. Chang and J. N. Lin, “Robust dynamic controller design with multi-constraints for linear perturbed discrete systems,” Asia Journal of Control, vol. 5, no. 4, pp. 235–241, 1997.
- Y. Hung and F. Yang, “Robust filtering with error variance constraints for uncertain discrete time-varying systems with uncertainty,” Automatica, vol. 39, no. 7, pp. 1185–1194, 2003.
- S. Baromand and H. Khaloozadeh, “On the closed-form model for state covariance assignment problem,” IET Control Theory & Applications, vol. 4, no. 9, pp. 1678–1686, 2010.
- C. I. Byrnes, A. Isidori, and J. C. Willems, “Passivity, feedback equivalence, and the global stabilization of minimum phase nonlinear systems,” IEEE Transactions on Automatic Control, vol. 36, no. 11, pp. 1228–1240, 1991.
- L. Xie, M. Fu, and H. Li, “Passivity analysis and passification for uncertain signal processing systems,” IEEE Transactions on Signal Processing, vol. 46, no. 9, pp. 2394–2403, 1998.
- R. Lozano, B. Brogliato, O. Egeland, and B. Maschke, Dissipative Systems Analysis and Control Theory and Application, Springer, London, USA, 2000.
- W.-J. Chang, C. C. Ku, and W. Chang, “Analysis and synthesis of discrete nonlinear passive systems via affine T-S fuzzy models,” International Journal of Systems Science, vol. 39, no. 8, pp. 809–821, 2008.
- W.-J. Chang, C.-C. Ku, and P.-H. Huang, “Robust fuzzy control for uncertain stochastic time-delay Takagi-Sugeno fuzzy models for achieving passivity,” Fuzzy Sets and Systems, vol. 161, no. 15, pp. 2012–2032, 2010.
- W. J. Chang, S. S. Jheng, and C. C. Ku, “Fuzzy control with robust and passive properties for discrete-time Takagi-Sugeno fuzzy systems with multiplicative noises,” Proceedings of the Institution of Mechanical Engineers. Part I: Journal of Systems and Control Engineering, vol. 226, no. 4, pp. 476–485, 2012.
- O. Kaneko and T. Fujii, “On discrete time nonnegative storage functions and state functions,” in Proceedings of the 39th IEEE Confernce on Decision and Control, vol. 4, pp. 3169–3174, December 2000.
- J. Mohseni, E. Yaz, and K. Olejniczak, “State-dependent LMI control of discrete-time nonlinear systems,” in Proceedings of the 37th IEEE Conference on Decision and Control (CDC '98), pp. 4626–4627, December 1998.
- S. M. Joshi, “On optimal control of linear systems in the presence of multiplicative noise,” IEEE Transactions on Aerospace and Electronic Systems, vol. AES-12, no. 1, pp. 80–85, 1976.
- E. Gershon, U. Shaked, and I. Yaesh, “ control and filtering of discrete-time stochastic systems with multiplicative noise,” Automatica, vol. 37, no. 3, pp. 409–417, 2001.
- C. M. Harris and D. M. Wolpert, “Signal-dependent noise determines motor planning,” Nature, vol. 394, no. 6695, pp. 780–784, 1998.
- E. Todorov, “Stochastic optimal control and estimation methods adapted to the noise characteristics of the sensorimotor system,” Neural Computation, vol. 17, no. 5, pp. 1084–1108, 2005.
- Y. A. Phillis, “Estimation and control of systems with unknown covariance and multiplicative noise,” IEEE Transactions on Automatic Control, vol. 34, no. 10, pp. 1075–1078, 1989.
- W. J. Chang, W. Y. Wu, and C. C. Ku, “ constrained fuzzy control via state observer feedback for discrete-time Takagi-Sugeno fuzzy systems with multiplicative noises,” ISA Transactions, vol. 50, no. 1, pp. 37–43, 2011.
- W. J. Chang, L. Z. Liu, and C. C. Ku, “Passive fuzzy controller design via observer feedback for stochastic Takagi-Sugeno fuzzy models with multiplicative noises,” International Journal of Control, Automation, and Systems, vol. 9, no. 3, pp. 550–557, 2011.
- H. T. Yau, C. C. Wang, C. T. Hsieh, and C. C. Cho, “Nonlinear analysis and control of the uncertain micro-electro-mechanical system by using a fuzzy sliding mode control design,” Computers and Mathematics with Applications, vol. 61, no. 8, pp. 1912–1916, 2011.
- L. Huang, K. Wang, P. Shi, and H. R. Karimi, “A novel identification method for generalized T-S fuzzy systems,” Mathematical Problems in Engineering, vol. 2012, Article ID 893807, 12 pages, 2012.
- K. Tanaka and H.O. Wang, Fuzzy Control Systems Design and Analysis: A Linear Matrix Inequality Approach, John Wiley & Sons, 2001.
- S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, vol. 15, SIAM, Philadelphia, Pa, USA, 1994.
- G. Eli, S. Uri, and Y. Isaac, H∞ Control and Estimation of State-Multiplicative Linear Systems, Springer, London, UK, 2005.
- H. Y. Chung and W. J. Chang, “Constrained variance design for bilinear stochastic continuous systems,” IEE Proceedings D, vol. 138, no. 2, pp. 145–150, 1991.
Copyright © 2013 Wen-Jer Chang and Bo-Jyun Huang. 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.