Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
VolumeΒ 2011, Article IDΒ 705346, 12 pages
http://dx.doi.org/10.1155/2011/705346
Research Article

Design of Switching Multiobjective Controller: A New Approach

1Department of Electrical and Computer Engineering, Islamic Azad University, Qazvin Branch, Nokhbegan Boulevard, P.O. Box 34185-1416, Qazvin, Iran
2Control Engineering Group, Department of Computer Science, Electrical and Space Engineering, LuleΓ₯ University of Technology, 971 87 LuleΓ₯, Sweden

Received 11 February 2011; Revised 9 June 2011; Accepted 29 August 2011

Academic Editor: JohnΒ Burns

Copyright Β© 2011 Ahmad Fakharian. 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

Design of switching 𝐻2/𝐻∞ output-feedback controller for discrete-time LTI systems with state-multiplicative noise is considered. The closed loop system achieves a minimum bound on the stochastic 𝐻2 performance level, while satisfying the 𝐻∞ performance. The proposed controller is based on a fuzzy supervisor which manages the combination of two separate 𝐻2 and 𝐻∞ controllers. A convex formulation of the two controllers leads to a structure which benefits from the advantages of both controllers to ensure a good performance in both the transient phase (𝐻2 controller) and the steady phase (𝐻∞ controller). The stability analysis uses the Lyapunov technique, inspired from switching system theory, to prove that the closed loop system with the proposed controller structure remains globally stable despite the configuration changing.

1. Introduction

Systems with stochastic nature have received much attention in the last decade, mainly in the 𝐻∞ control theory framework. Solutions to various control and estimation problems that ensure the worst case performance bound in the 𝐻∞ sense have been derived, in both, the continuous-time framework and the discrete-time counterpart. The modeling of parameter system uncertainties as white-noise processes in a linear setting is encountered in many areas of applications such as nuclear fission, heat transfer, population models, and immunology. In control theory, such models are encountered in gain scheduling when the scheduling parameters are corrupted with measurement noise [1–3]. Following the researches done in 1960s and 1970s, where the main issues were stability and control of continuous-time state multiplicative systems in the stochastic 𝐻2 framework (see [4] and the references therein), researches in the last decade have focused on the 𝐻∞ control setting. Thus, the continuous time stochastic state-multiplicative bounded real lemma (BRL) and the discrete-time counterpart were obtained. In [5], a discrete-time stochastic estimation for a guidance-motivated tracking problem was solved, and its results were shown to achieve better results than those achieved by the Kalman-filter. A parameter dependent approach for designing static output-feedback controller for linear time-invariant systems with state-multiplicative noise is introduced in [2], which achieve a minimum bound on either the stochastic 𝐻2 or the 𝐻∞ performance level. But previous studies paid less attention to mixed 𝐻2/𝐻∞ control of these systems because of their complexity [6].

Combination of different techniques to obtain the different performances is widely used today [4, 7, 8]. This method results in hybrid dynamical systems which include continuous and discrete dynamics and a mechanics (supervisor) managing the interaction between these dynamics [9].

In an actual engineering control problem, various conflicting requirements such as disturbance rejection and robustness to changing conditions and plant uncertainties have to be satisfied. General multiobjective control problems are difficult and remain mostly open up to now. By multiobjective control, we mean synthesis problems with a mix of performances. The mixed 𝐻2/𝐻∞ control is an important robust control method and has been studied by many researchers. The mixed 𝐻2/𝐻∞ control is concerned with the design of a controller that minimizes the 𝐻2 performance of the system with respect to some input noises while it guarantees certain worst case performance with respect to other external disturbances. Compared with the sole 𝐻∞ control, the mixed 𝐻2/𝐻∞ control is more attractive in engineering. Since the former is a worst-case design which tends to be conservative, whereas the later minimizes the average performance with a guaranteed worse-case performance. For the general multiobjective control problem, the usual approach is to design one controller and to force all Lyapunov matrices used to test the several design specifications to be the same. These constraints offer a computationally efficient solution to the control problems with multiple objectives and are thoroughly investigated through the previous works [10]. Designing one controller and specifying the closed-loop objectives in terms of a common Lyapunov function is the core of the Lyapunov-shaping paradigm and constitutes an important source of conservatism [10, 11].

In order to release these constraints and let several Lyapunov matrices be simultaneously considered in the Multiobjective control synthesis problem, the switching approach is advocated in this paper. Extensive benefits are obtained from this feature in order to offer a less conservative controller parameterization in the multiobjective control synthesis problems. While the new switching controllers release the constraints on the Lyapunov instrumental variable, this is obtained at the expense of designing a controller for each specification and adding a simple constraint to ensure the stability. The number of free parameters is significantly increased as compared with the available techniques. Finally, it can be easily verified that the results obtained with the standard parameterization are always encompassed by the presented switching formulations. In [12, 13], a new framework of switching controller structure for Multiobjective control (mix𝐻2/𝐻∞) of singular perturbation systems has been developed that has a better performance rather than conventional controller structure. In the present paper, the switching 𝐻2 and the 𝐻∞ static control problems for discrete-time linear systems are solved that contain stochastic white-noise parameter uncertainties in the matrices of the state-space model that describe the system. The simple design methods of [2] are applied to derive the static output-feedback gains that satisfy the prescribed 𝐻2 and 𝐻∞ performance criteria, separately. A fuzzy supervisor is proposed for hybrid combination of 𝐻2 and 𝐻∞ controllers to use their advantages and to ensure the required performances and the stability of the closed loop system.

The main contribution of the presented work is combining 𝐻2 and 𝐻∞ controllers using a supervisor, which manages the gradual transition from one controller to another. This method is applied to use the advantages of each controller. The gradual transition attenuates the uncontrollability and instability problems related to the abrupt switch. The control signal is obtained via a weighted sum of the two signals given by the 𝐻2 and the 𝐻∞ controllers. This weighted sum is managed thanks to a fuzzy supervisor, which is adapted to obtain the desired closed loop system performances by benefiting from the advantage of the 𝐻2 in the approaching phase, minimizing the energy of impulse response and the ability of the 𝐻∞ control to eliminate the chattering and to guarantee the system robustness. So, the 𝐻2 mainly acts in the transient phase providing a fast dynamic response and enlarging the stability limits of the system, while the 𝐻∞ control acts mainly in the steady state to reduce chattering and to maintain the tracking performances. Furthermore, the global stability of the system even if the system switches from one configuration to another (transient to steady state and vice versa) is guaranteed.

The structure of the paper is as follows. Section 2 presents the system definition and the controllers used. In Section 3, the fuzzy supervisor and the proposed control law are described. Stability analysis is demonstrated in Section 4. The design procedure is explained in Section 5 and an example is given to illustrate the efficiency of the proposed method, followed by conclusions in Section 6.

Notation 1. Throughout the paper, the superscript β€œπ‘‡β€ stands for matrix transposition, 𝑅𝑛 denotes the 𝑛 dimensional Euclidean space, π‘…π‘›Γ—π‘š is the set of all π‘›Γ—π‘š real matrices, 𝑁 is the set of natural numbers and the notation 𝑃>0, (resp., 𝑃β‰₯0) for π‘ƒβˆˆπ‘…π‘›Γ—π‘› means that 𝑃 is symmetric and positive definite (resp., semipositive definite). The variables {πœπ‘˜} and {πœˆπ‘˜} are zero-mean real scalar white-noise sequences that satisfy 𝐸{πœˆπ‘˜πœˆπ‘—}=π›Ώπ‘˜π‘—, 𝐸{πœπ‘˜πœπ‘—}=π›Ώπ‘˜π‘—, 𝐸{πœπ‘˜πœˆπ‘—}=π›Ώπ‘˜π‘—, for all π‘˜,𝑗β‰₯0. By 𝐿2(Ξ©,𝑅𝑛), the space of square-summable 𝑅𝑛-valued functions on the probability space (Ξ©,𝔽,𝑃) is denoted, where Ξ© is the sample space, 𝔽 is a 𝜎 algebra of a subset of Ξ© called events, and 𝑃 is the probability measure on 𝔽. By (π”½π‘˜)π‘˜βˆˆπ‘, an increasing family of 𝜎-algebras π”½π‘˜βŠ‚π”½ is denoted which is generated by πœˆπ‘—,πœπ‘—,π‘—β‰€π‘˜βˆ’1. ̃𝑙2(𝑁;𝑅𝑛) is the space of non-anticipative stochastic processes {π‘“π‘˜}={π‘“π‘˜}π‘˜βˆˆ[0,∞]βˆˆΜƒπ‘™2(𝑁;𝑅𝑛) in 𝑅𝑛 with respect to (π”½π‘˜)π‘˜βˆˆ[0,∞] satisfying β€–β€–π‘“π‘˜β€–β€–2̃𝑙2ξƒ―=πΈβˆžξ“0β€–β€–π‘“π‘˜β€–β€–2ξƒ°=βˆžξ“0πΈξ‚†β€–β€–π‘“π‘˜β€–β€–2<∞,(1.1) where β€–β‹…β€– is the standard Euclidean norm. By 𝛿𝑖𝑗, the Kronecker delta function is denoted.

2. Problem Statement

The following linear system is considered:π‘₯π‘˜+1=𝐴+π·πœˆπ‘˜ξ€Έπ‘₯π‘˜+𝐡1πœ”π‘˜+𝐡2+πΊπœπ‘˜ξ€Έπ‘’π‘˜,π‘₯0𝑦=0,π‘˜=𝐢2π‘₯π‘˜+𝐷21π‘›π‘˜,(2.1) with the objective vectorπ‘§π‘˜=𝐢1π‘₯π‘˜+𝐷12π‘’π‘˜,(2.2) where {π‘₯π‘˜}βˆˆπ‘…π‘› is the system state vector, {πœ”π‘˜}βˆˆπ‘…π‘ž is the exogenous disturbance signal, {π‘›π‘˜}βˆˆπ‘…π‘ is the measurement noise sequence, {π‘’π‘˜}βˆˆπ‘…π‘™ is the control input, {π‘¦π‘˜}βˆˆπ‘…π‘š is the measured output, and {π‘§π‘˜}βˆˆπ‘…π‘ŸβŠ‚π‘…π‘› is the state combination (objective function signal) to be regulated. The state-multiplicative white-noise sequences are defined in the notation subsection. The matrices in (2.1) and (2.2) are assumed to be constant matrices of appropriate dimensions.

In each stage, a constant output-feedback controllerπ‘’π‘˜=πΎπ‘¦π‘˜(2.3) is sought to achieve a certain performance requirement. The following performance criterion is treated.

The stochastic 𝐻2/𝐻∞ control problem: {πœ”π‘˜},{π‘›π‘˜} are realizations of a unit variance, stationary, white-noise sequences that are uncorrelated with {πœˆπ‘˜},{πœπ‘˜}. The exogenous disturbance signal is energy bounded; the following performance index should be minimized, which is useful to handle stochastic aspects such as measurement noises or random disturbances:𝐽2=πΈπœ”,π‘›ξ‚»β€–β€–π‘§π‘˜β€–β€–2̃𝑙2ξ‚Ό,(2.4) while for a prescribed scalar 𝛾>0 and for all nonzero {πœ”π‘˜}βˆˆπ‘…π‘ž, {π‘›π‘˜}βˆˆπ‘…π‘, guarantees that 𝐽∞<0 where 𝐽∞=β€–β€–π‘§π‘˜β€–β€–2̃𝑙2βˆ’π›Ύ2ξ‚Έβ€–β€–πœ”π‘˜β€–β€–2̃𝑙2+β€–β€–π‘›π‘˜+1β€–β€–2̃𝑙2ξ‚Ή.(2.5)

That is useful for disturbance rejection, reference tracking, low-energy consumption, bandwidth limitation, low steady state control error, and robust stability. 𝐻∞ norm measures the system input-output gain for finite energy or finite rms input signals.

Interconnection of (2.1) and (2.2) is denoted by the Redheffer star product to include π‘¦π‘˜. The augmented state vector πœ‰π‘˜=col{π‘₯π‘˜,π‘¦π‘˜} is defined, and the following representation is obtained to the closed loop system:πœ‰π‘˜+1=ξ‚π΄πœ‰π‘˜+ξ‚π΅ξ‚πœ”π‘˜+ξ‚π·πœ‰π‘˜πœˆπ‘˜+ξ‚πΊπœ‰π‘˜πœπ‘˜,πœ‰0𝑧=0,π‘˜=ξ‚πΆπœ‰π‘˜,(2.6) whereξ‚πœ”π‘˜=βŽ‘βŽ’βŽ’βŽ£πœ”π‘˜π‘›π‘˜+1⎀βŽ₯βŽ₯⎦,ξ‚βŽ‘βŽ’βŽ’βŽ£π΄=𝐴𝐡2𝐾𝐢2𝐴𝐢2𝐡2𝐾⎀βŽ₯βŽ₯⎦,ξ‚βŽ‘βŽ’βŽ’βŽ£πΆπ·=𝐷02⎀βŽ₯βŽ₯⎦,ξ‚βŽ‘βŽ’βŽ’βŽ£π·0𝐺=0𝐺𝐾0𝐢2⎀βŽ₯βŽ₯⎦,ξ‚βŽ‘βŽ’βŽ’βŽ£π΅πΊπΎπ΅=10𝐢2𝐡1𝐷21⎀βŽ₯βŽ₯⎦,𝐢𝐢=1𝐷12𝐾.(2.7) The Lyapunov functions 𝑉𝑖=πœ‰π‘‡ξ‚π‘ƒπ‘–πœ‰, 𝑖=2,∞ are considered with:𝑃𝑖=βŽ‘βŽ’βŽ’βŽ£π‘ƒπ‘–βˆ’π›½βˆ’1𝑃𝑖𝐢𝑇2π›½βˆ’1𝐢2π‘ƒξπ‘ƒπ‘–βŽ€βŽ₯βŽ₯⎦,ξπ‘ƒπ‘–βˆˆπ‘…π‘šΓ—π‘šπ‘ƒπ‘–βˆˆπ‘…π‘›Γ—π‘›,𝑃𝑖>0.(2.8) While the parameter 𝛽 is an important positive scalar tuning parameter and𝑄𝑖=ξ‚π‘ƒπ‘–βˆ’1=βŽ‘βŽ’βŽ’βŽ£π‘„π‘–πΆπ‘‡2ξ‚Šπ‘„π‘–ξ‚Šπ‘„π‘–πΆ2π›½ξ‚Šπ‘„π‘–βŽ€βŽ₯βŽ₯⎦,π‘„π‘–βˆˆπ‘…π‘›Γ—π‘›ξ‚Šπ‘„π‘–βˆˆπ‘…π‘šΓ—π‘š.(2.9)

Lemma 2.1 (the stochastic 𝐻2 control). Consider systems (2.1), (2.2). The output-feedback control law (2.3) achieves a prescribed 𝐻2-norm bound 𝛿>0, if there exist π‘„βˆˆπ‘…π‘›Γ—π‘›,ξπ‘„βˆˆπ‘…π‘šΓ—π‘š,π‘Œβˆˆπ‘…π‘™Γ—π‘š, and π»βˆˆπ‘…(π‘ž+𝑝)Γ—(π‘ž+𝑝) that, for some tuning scalar 𝛽>0, the following LMIs are satisfied: [2] ξ‚βŽ‘βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ£Ξ“=βˆ’π‘„βˆ’πΆπ‘‡2𝑄Γ13Γ14𝑄Γ00000βˆ—βˆ’π›½23Γ2400000βˆ—βˆ—βˆ’π‘„βˆ’πΆπ‘‡2𝑄Γ35𝑄𝐷𝑇Γ37𝐢𝑇2π‘Œπ‘‡πΊπ‘‡ξ‚Ξ“39ξπ‘„ξ‚Ξ“βˆ—βˆ—βˆ—βˆ’π›½45𝑄𝐢2𝐷𝑇Γ47π›½π‘Œπ‘‡πΊπ‘‡ξ‚Ξ“49βˆ—βˆ—βˆ—βˆ—βˆ’πΌπ‘Ÿ0000βˆ—βˆ—βˆ—βˆ—βˆ—βˆ’π‘„βˆ’πΆπ‘‡2𝑄00βˆ—βˆ—βˆ—βˆ—βˆ—βˆ—βˆ’π›½π‘„00βˆ—βˆ—βˆ—βˆ—βˆ—βˆ—βˆ—βˆ’π‘„βˆ’πΆπ‘‡2ξπ‘„ξπ‘„βŽ€βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ¦ξ‚βŽ‘βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ£π»βˆ—βˆ—βˆ—βˆ—βˆ—βˆ—βˆ—βˆ—βˆ’π›½,(2.10)Ξ“<0,11𝐻12𝐡𝑇1𝐡𝑇1𝐢𝑇2βˆ—π»220𝐷𝑇21βˆ—βˆ—π‘„πΆπ‘‡2ξπ‘„ξπ‘„βŽ€βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ¦βˆ—βˆ—βˆ—π›½>0,trace(𝐻)<𝛿2,(2.11) where ⎑⎒⎒⎣𝐻𝐻=11𝐻12𝐻21𝐻22⎀βŽ₯βŽ₯⎦, Γ37=𝑄𝐷𝑇𝐢𝑇2,Γ23=𝐢2𝐴𝑄+𝐢2𝐡2π‘ŒπΆ2βˆ’ξπ‘„πΆ2ξ‚„+𝑄𝐢2,Γ13=𝐴𝑄+𝐡2π‘ŒπΆ2,Γ39=𝐢𝑇2π‘Œπ‘‡πΊπ‘‡πΆπ‘‡2,Γ47=𝑄𝐢2𝐷𝑇𝐢𝑇2,Γ24=𝐢2𝐴𝐢𝑇2+𝛽𝐢2𝐡2ξπ‘„ξ‚„ξξ‚Ξ“π‘Œβˆ’π›½+𝛽𝑄,45=π›½π‘Œπ‘‡π·π‘‡12+𝑄𝐢2𝐢𝑇1,Γ49=π›½π‘Œπ‘‡πΊπ‘‡πΆπ‘‡2,Γ14=𝛽𝐡2π‘Œ+𝐴𝐢𝑇2Γ𝑄,35=𝑄𝐢𝑇1+𝐢𝑇2π‘Œπ‘‡π·π‘‡12.(2.12) If a solution to the latter LMIs exists, the gain matrix 𝐾 that stabilizes the system and achieves the required performance is given by 𝐾2𝑄=π‘Œβˆ’1.

Lemma 2.2 (the stochastic 𝐻∞ problem). Consider the system of (2.1), (2.2). The control law (2.3) achieves a prescribed 𝐻∞-norm bound 𝛾>0, if there exist, π‘„βˆˆπ‘…π‘›Γ—π‘›,ξπ‘„βˆˆπ‘…π‘šΓ—π‘š,π‘Œβˆˆπ‘…π‘™Γ—π‘š that, for some scalar 𝛽>0, the following LMI is satisfied: [2] βŽ‘βŽ’βŽ’βŽ’βŽ’βŽ’βŽ’βŽ£ξ‚Ξ“βŽ‘βŽ’βŽ’βŽ’βŽ’βŽ£π΅10𝐢2𝐡1𝐷21⎀βŽ₯βŽ₯βŽ₯βŽ₯⎦00βˆ—βˆ’π›Ύ2πΌπ‘ž+π‘βŽ€βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯βŽ₯⎦<0,(2.13) where Γ is defined in (2.11) and πΎβˆžξπ‘„=π‘Œβˆ’1.

3. Fuzzy Supervisor

𝐻2 control provides a fast dynamic response, a stable control system, and a simple implementation. Conversely, this control strategy has some drawbacks that appear in the steady state. The 𝐻∞ techniques are alternatives that can guarantee the robustness and the global stability. In order to take advantage of both controllers, 𝐻2 during the transient time and 𝐻∞ control during the steady state, their control actions are combined by means of a weighting factor, ξ‚ƒξ‚„π›Όβˆˆ01, representing the output of a fuzzy logic supervisor that takes the tracking error e and its time derivatives ̇𝑒,Μˆπ‘’,…,π‘’π‘›βˆ’1 as inputs. The global control scheme of the proposed approach is illustrated in Figure 1.

705346.fig.001
Figure 1: The control scheme of the proposed method.

The fuzzy system is constructed from a collection of fuzzy rules whose 𝑗th component can be given in the formIf𝑒is𝐻𝑗1And…Andπ‘’π‘›βˆ’1is𝐻𝑗𝑛Then𝛼=𝛼𝑗,(3.1) where 𝐻𝑗𝑖 is a fuzzy set and 𝛼𝑗 is a singleton.

It is easy to see that it can be considered as a fuzzy rule of a Takagi-Sugeno fuzzy system. The fuzzy implication uses the product operation rule. The connective AND is implemented by means of the minimum operation, whereas fuzzy rules are combined by algebraic addition. Defuzzification is performed using the centroid method, which generates the gravity centre of the membership function of the output set. Since the membership functions that define the linguistic terms of the output variable are singletons, the output of the fuzzy system is given byβˆ‘π›Ό=π‘šπ‘–=1π›Όπ‘–βˆπ‘›π‘—=1πœ‡π‘—π‘–βˆ‘π‘šπ‘–=1βˆπ‘›π‘—=1πœ‡π‘—π‘–,(3.2) where πœ‡π‘—π‘– is the degree of membership of 𝐻𝑗𝑖 and π‘š is the number of fuzzy rules used.

The objective of this fuzzy supervisor is to determine the weighting factor, 𝛼, which gives the participation rate of each control signal. Indeed, when the norm of the tracking error 𝑒 and its time derivatives ̇𝑒,Μˆπ‘’,…,π‘’π‘›βˆ’1 are small, the plant is governed by the 𝐻∞ controller (𝛼=1). Conversely, if the error and its derivatives are large, the plant is governed by the 𝐻2 (𝛼=0). The control action, 𝑒, is determined by 𝑒=(1βˆ’π›Ό)𝑒𝐻2+π›Όπ‘’π»βˆž.(3.3)

Remark 3.1. In the case of a large rule base, some techniques can be employed to significantly reduce the number of rules activated at each sampled time by using the system position in the state space. Indeed, it is demonstrated that using a strict triangular partitioning allows guaranteeing that, at each sampling time, each input variable is described with two linguistic terms at the most [6]. Thus, the output generated by the fuzzy system with 𝑛 inputs is then reduced to that produced by the subsystem composed of the 2𝑛 fired rules.

4. Stability Analysis

The theorem of Essounbouli et al. [7] is used to prove the global stability of the system governed by the control law (3.3). Similar to [7], using 𝐻2 and 𝐻∞ controls, this theorem is rewritten as follows.

Theorem 4.1. Consider a combined fuzzy logic control system as described in this work. If (1)there exists a positive definite, continuously differentiable, and radially unbounded scalar function 𝑉 for each subsystem;(2)every fuzzy subsystem gives a negative definite ̇𝑉 in its active region;(3)the weighted sum defuzzification method is used, such that for any output 𝑒𝑒min𝐻2,π‘’π»βˆžξ€Έξ€·π‘’β‰€π‘’β‰€max𝐻2,π‘’π»βˆžξ€Έ.(4.1)
Then the resulting control 𝑒, given by (3.3), guarantees the global stability of the closed loop system.

Proof. Satisfying the two first conditions guarantees the existence of a Lyapunov function in the active region which is a sufficient condition for ensuring the asymptotic stability of the system during the transition from the 𝐻2 control to the 𝐻∞ one. Consider the Lyapunov function 𝑉2=πœ‰π‘‡π‘ƒ2πœ‰ where 𝑃2=𝑃 is a positive definite matrix and the solution of (2.11) and we have πœ†min(𝑃2)πœ‰π‘‡πœ‰β‰€πœ‰π‘‡π‘ƒ2πœ‰, where πœ†min(𝑃2) is the minimal eigenvalue of 𝑃2. In Lemma 2.1, it was shown that the synthesized 𝐻2 control ensures the decrease of the Lyapunov function 𝑉2. Consider the Lyapunov function π‘‰βˆž=πœ‰π‘‡π‘ƒβˆžπœ‰ where π‘ƒβˆž=𝑃 is a positive definite matrix and the solution of (2.13) and we have πœ‰π‘‡π‘ƒβˆžπœ‰β‰€πœ†max(π‘ƒβˆž)πœ‰π‘‡πœ‰, where πœ†max(π‘ƒβˆž) is the maximal eigenvalue of π‘ƒβˆž. In Lemma 2.2, it was shown that the synthesized 𝐻∞ control ensures the decrease of the Lyapunov function π‘‰βˆž.
To satisfy the second condition of the theorem, it is enough to choose 𝑃2,π‘ƒβˆž such that πœ†maxξ€·π‘ƒβˆžξ€Έβ‰€πœ†min𝑃2ξ€Έ.(4.2) This condition guarantees that in the neighborhood of the steady state (𝐻∞ control), the value of the Lyapunov function 𝑉2 is greater than that of π‘‰βˆž. To guarantee the third condition, the balancing term 𝛼 takes its values in the interval [01]. Consequently, the three conditions of the above theorem are satisfied and the global stability of the system is guaranteed. So, The Problem formulation (switching 𝐻2/𝐻∞ control) will be as: minimize𝐽2(2.11)⟢𝐾2⎧βŽͺ⎨βŽͺ⎩𝐽subjectto∢∞(<02.13)βŸΆπΎβˆžπœ†maxξ€·π‘ƒβˆžξ€Έβ‰€πœ†min𝑃2ξ€Έ(4.2)(4.3)𝑃2andπ‘ƒβˆž, which influence the stability and relation (4.2) are dependent on 𝛽. Genetic algorithm is used to find optimal 𝛽 that solve the above problem.

Remark 4.2. It should be noted that the proof of stability in this case is similar to those used for switching system theory [7, 11]. Indeed, the energy of the system corresponding to the 𝐻∞ controller is less than that for 𝐻2, guaranteeing the stability of the closed loop system during the transition from 𝐻2 to 𝐻∞. In the event of large external disturbance, which forces the system back to a transient phase, the proposed controller adjusts the weighting factor in a way that the system remains stable in the new configuration until returning to the steady state, which implies a new variation of the control signal.

5. Design Procedure

In order to minimize the online computing time of the proposed method and to simplify its real time implementation, the design procedure implies an offline processing step and an online step during control execution. In the offline step, the gains and 𝛽 are defined in order to satisfy (4.3). The supervisor design is essentially based on the available information of the process under study. Indeed, when a sufficient amount of information is available, it becomes possible to reduce the number of inputs and the fuzzy rules.

To construct the fuzzy supervisor, firstly, the fuzzy sets are defined for each input (the error and its derivatives) and output; then, the rule base is elaborated. For the online step, the error vector is computed and then is injected in the supervisor to determine the value of 𝛼 to apply the global control signal.

Example 5.1. To demonstrate the solvability of the various LMIs, simplicity and low conservatives of the proposed method, a third-order, two-output, one-input example is considered and a switching output feedback controllers is sought ⎑⎒⎒⎒⎒⎣⎀βŽ₯βŽ₯βŽ₯βŽ₯⎦⎑⎒⎒⎒⎒⎣⎀βŽ₯βŽ₯βŽ₯βŽ₯⎦,𝐡𝐴=0.98130.3421.39860.00520.984βˆ’0.1656000.5488,𝐷=000000000.41=⎑⎒⎒⎒⎒⎣⎀βŽ₯βŽ₯βŽ₯βŽ₯⎦0.01980.00340.01560.00010.0198βˆ’0.0018000.015,𝐷12=⎑⎒⎒⎒⎒⎣001⎀βŽ₯βŽ₯βŽ₯βŽ₯⎦,𝐷21𝐡=0,2=⎑⎒⎒⎒⎒⎣⎀βŽ₯βŽ₯βŽ₯βŽ₯βŽ¦βˆ’1.47βˆ’0.06040.4512,𝐢2=⎑⎒⎒⎣⎀βŽ₯βŽ₯⎦100010,𝐢1=⎑⎒⎒⎒⎒⎣⎀βŽ₯βŽ₯βŽ₯βŽ₯⎦100010001,𝐺=0.(5.1) Based on the proposed control scheme, the following results are obtained:
applying the genetic algorithm and solving (4.3) a minimum 𝐻2-norm bound of 𝛿=0.0449 and a minimum value of 𝛾=0.8916 is obtained for 𝛽=2.4. The corresponding controllers are 𝐾2=0.34690.6216 and 𝐾∞=0.35671.2622.

Consider multiobjectiveminimize𝐽2subjectto∢𝐽∞<0for𝛾=0.8916(5.2) Solving (5.2) based on the Lyapunov-shaping paradigm that is given in [2] yields 𝛿=0.0528 as the best constrained 𝐻2 performance, which is 17.69% higher than the optimal value 0.0449 due to the use of one controller for each objective and different Lyapunov functions. We can summarize the results in Table 1.

tab1
Table 1: The simulation result.

According to Table 1, we can see that by a similar constraint on 𝐻∞ norm of closed loop system, by using our proposed method 𝐻2 norm of closed loop system will be 17.69% lower than the conventional Multiobjective method [2], that it is satisfactory.

The output response of Example 5.1 by using both conventional and our proposed switching method has been depicted in Figure 2. The solid line graph is our proposed method response, and the dash line graph is output response of conventional optimal method. As we see, it is clear that output regulation of our proposed method is much better than the conventional method, that it is satisfactory.

fig2
Figure 2: The output response of  Example 5.1.

The fuzzy supervisor is constructed by using three fuzzy sets zero, medium, and large for the tracking error and its time derivative. The corresponding membership functions are triangular, as shown in Figure 3. For the output, five singletons are selected: very large (VL), large (L), medium (M), small (S), and zero (Z), corresponding to 1, 0.75, 0.5, 0.25, and 0, respectively. The fuzzy rule base is depicted in Figure 2. Rules are defined by a table; for example, a rule in the table can be stated as follows: β€œif the norm of the error is medium and the norm of the error derivative is large, then 𝛼 is zero.”

fig3
Figure 3: The structure of the proposed fuzzy supervisor.

Results show that 𝐻2 and the combined controller provide a fast dynamic response compared to 𝐻∞ and that 𝐻∞ and the combined controller provide a smooth variation of the control signal. Hence, the proposed control set-up benefits from the advantages of both 𝐻∞ and 𝐻2, in terms of tracking performance and the robustness to external perturbations, which is ensured by 𝐻∞ control in the steady state (The fuzzy supervisor favors 𝐻∞ to reach the steady state with a fast dynamic). As it is shown, the conservatism introduced by means of the proposed methodology is significantly decreased in comparison with the Lyapunov-shaping methods which oblige the designer to employ a common Lyapunov matrix for all the performance criteria and design one controller that satisfy all the objectives. The applied control signal forces the system to remain stable and attain the desired trajectory. Thus, an intermediate dynamics whose advantage is to have a compromise between the settling time and the actuator solicitations is obtained. Comparing the results shows that the proposed controller ensures a good convergence towards the desired trajectory. The conditions of Theorem 4.1. are satisfied, and the system global stability is guaranteed despite the configuration changing.

6. Conclusions

A convex programming method is presented which provides an efficient design of switching robust static output-feedback controllers for linear systems with state multiplicative noise. Sufficient conditions are derived for the existence of switching controller that stabilizes the system and achieves a prescribed bound on its performance. The stochastic 𝐻2/𝐻∞ performance criterion is considered.

In this work, a hybrid robust controller is developed. The main idea is the use of a fuzzy supervisor to manage efficiently the action of two controllers based on 𝐻2 and 𝐻∞, in a way that the system remains stable with good performance and low conservatives despite the plant switching from one mode to a new one. Furthermore, this structure allows us to take the advantage of both controllers and to efficiently eliminate their drawbacks. Simulation results showed the efficiency and the design simplicity of the proposed approach. Indeed, the 𝐻2 provides good performances in the transient state (a fast dynamic response, enlarged stability limits of the system), while the 𝐻∞ control acts mainly in the steady state (reduces chattering and the effect of the external disturbances). This work can be generalized to multiple controllers, more than two, managed by the same fuzzy supervisor. Indeed, the structure of the fuzzy supervisor allows partitioning the state into different substates. An adequate controller can be defined for each substate to ensure the desired performances. The rule base of the fuzzy supervisor will be reconstructed so that the premise part defines the subspace and the conclusion part defines the corresponding control law and the applied control signal will be a weighted sum of all the controllers used.

References

  1. E. Gershon, D. J. N. Limebeer, U. Shaked, and I. Yaesh, β€œStochastic H tracking with preview for state-multiplicative systems,” IEEE Transactions on Automatic Control, vol. 49, no. 11, pp. 2061–2068, 2004. View at Publisher Β· View at Google Scholar Β· View at MathSciNet
  2. E. Gershon and U. Shaked, β€œStatic H2 and H output-feedback of discrete-time LTI systems with state multiplicative noise,” Systems & Control Letters, vol. 55, no. 3, pp. 232–239, 2006. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  3. X. Chen, T. Liu, and J. Zhao, β€œA logic-based switching control approach to active queue management for transmission control protocol,” International Journal of Innovative Computing, Information and Control, vol. 4, no. 7, pp. 1811–1820, 2008. View at Google Scholar
  4. R. A. DeCarlo, S. H. Zak, and G. P. Matthews, β€œVariable structure control of non-linear multivariable systems: a tutorial,” in Proceedings of the IEEE Conference on Decision and Control (CDC '88), pp. 212–232, 1988.
  5. E. Gershon, U. Shaked, and I. Yaesh, β€œRobust H estimation of stationary discrete-time linear processes with stochastic uncertainties,” Systems & Control Letters, vol. 45, no. 4, pp. 257–269, 2002. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  6. M. C. de Oliveira, J. C. Geromel, and J. Bernussou, β€œLMI optimization approach to multiobjective controller design for discrete-time systems,” in Proceedings of the 38th IEEE Conference on Decision and Control (CDC '99), pp. 3611–3616, Phoenix, Ariz, USA, December 1999. View at Scopus
  7. N. Essounbouli, N. Manamanni, A. Hamzaoui, and J. Zaytoon, β€œSynthesis of switching controllers: a fuzzy supervisor approach,” Nonlinear Analysis: Theory, Methods & Applications, vol. 65, no. 9, pp. 1689–1704, 2006. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  8. V. Dragan and T. Morozan, β€œThe linear quadratic optimization problem for a class of discrete-time stochastic linear systems,” International Journal of Innovative Computing, Information and Control, vol. 4, no. 9, pp. 2127–2137, 2008. View at Google Scholar
  9. C. Y. Chen, β€œHybrid controller design for a mechanical transmission system with variable compliance and uncertainties,” International Journal of Innovative Computing, Information and Control, vol. 4, no. 8, pp. 1821–1834, 2008. View at Google Scholar
  10. C. Scherer, P. Gahinet, and M. Chilali, β€œMultiobjective output-feedback control via LMI optimization,” IEEE Transactions on Automatic Control, vol. 42, no. 7, pp. 896–911, 1997. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  11. P. P. Khargonekar and M. A. Rotea, β€œMixed H2/H control: a convex optimization approach,” IEEE Transactions on Automatic Control, vol. 36, no. 7, pp. 824–837, 1991. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  12. F. Jamshidi, A. Fakharian, and M. T. H. Beheshti, β€œFuzzy supervisor approach on logic-based switching H2/H,” Proceedings of the Institution of Mechanical Engineers. Part I: Journal of Systems and Control Engineering, vol. 224, no. 1, pp. 11–19, 2010. View at Publisher Β· View at Google Scholar
  13. A. Fakharian, F. Jamshidi, M. Taghi, and H. Beheshti, β€œLogic based switching H2/H controller design for linear singular perturbation systems: a fuzzy supervisor approach,” in Proceedings of the 8th IEEE International Conference on Control and Automation (ICCA '10), pp. 1311–1315, Xiamen, China, June 2010. View at Publisher Β· View at Google Scholar