## Abstract

Based on the control storage function approach, a constructive method for designing simultaneous H∞ controllers for a collection of nonlinear control systems in strict-feedback form is developed. It is shown that under mild assumptions, common control storage functions (CSFs) for nonlinear systems in strict-feedback form can be constructed systematically. Based on the obtained common CSFs, an explicit formula for constructing simultaneous H∞ controllers is presented. Finally, an illustrative example is provided to verify the obtained theoretical results.

### Keywords

- nonlinear control systems
- simultaneous H∞ control
- state feedback
- storage functions
- strict-feedback form

## 1. Introduction

The simultaneous ^{∞} control problem concerns with designing a single controller which simultaneously renders a set of systems being internally stable and satisfying an _{2}-gain specification. In the last decades, there have been some researchers studying the simultaneous ^{∞} control problem in linear case, see references [1–6]. In references [1] and [2], necessary and sufficient conditions for the simultaneous ^{∞} control via nonlinear digital output feedback controllers were derived by using the dynamic programming approach. In reference [3], a numerical design method was proposed for designing simultaneous ^{∞} controllers. In reference [4], it was shown that the simultaneous ^{∞} control problem is equivalent to a strong ^{∞} control problem. In reference [5], linear periodically time-varying controllers were employed for simultaneous ^{∞} control. In reference [6], a simultaneous ^{∞} control problem was solved via the chain scattering framework.

All the results mentioned earlier are derived for linear systems case. Till now, only few results have been reported about simultaneous ^{∞} control of nonlinear systems, see references [7, 8]. In reference [7], a control storage function (CSF) method was developed for designing simultaneous ^{∞} state feedback controllers for a collection of single-input nonlinear systems. Necessary and sufficient conditions for the existence of simultaneous ^{∞} controllers were derived. Moreover, an explicit formula for constructing simultaneous ^{∞} feedback controllers was proposed. The CSF approach was first introduced in reference [9]. It is motivated by the control Lyapunov function (CLF) method (please see references [10–18]) for designing stabilizing controllers of nonlinear control systems. One difficulty in applying CSFs/CLFs for solving control problems is that how to derive CSFs/CLFs for nonlinear systems is an open problem unless they are in some particular forms. No systematic methods for constructing CSFs have been proposed in reference [7]. It is important to identify those nonlinear systems whose corresponding CSFs/CLFs exist and can be constructed systematically. In reference [8], the CSF approach was applied to design simultaneous ^{∞} controllers for a collection of nonlinear control systems in canonical form. It was shown that under mild assumptions, CSFs can be constructed systematically for nonlinear systems in canonical form; and simultaneous ^{∞} control for such systems can be easily achieved. In this chapter, we further study the simultaneous ^{∞} control problem for nonlinear systems in strict-feedback form. It is known that the strict-feedback form is more general than the canonical form. Moreover, a restrictive assumption made in reference [8] is relaxed in this chapter. Based on the CSF approach and by using the backstepping technique, we develop a systematic method for constructing simultaneous ^{∞} state feedback controllers. The proposed results in reference [8] are special cases of the results presented in this chapter.

## 2. Problem formulation and preliminaries

In this section, the simultaneous ^{∞} control problem to be solved will be formulated and some preliminaries will be presented. For simplifying the expressions, we use the same notations * x, u, w*, and

*to denote the states, control inputs, exogenous inputs, and the controlled outputs of all the considered systems.*z

### 2.1. Problem formulation

Consider a collection of nonlinear control systems:

where * w* ∈

R

^{m}is the disturbance input,

*∈*u

*is the control input,*R

*∈*z

R

^{r}is the controlled output,

*th system in Eq. (1) as system*i-

S

_{i}. For all

*=1,…,*i

*, suppose that*q

f

_{i}(0) = 0 and

h

_{1i}(0) = 0. For convenience, define

f

_{i}(

*),*x

g

_{1i}(

*), and*x

g

_{2i}(

*),*x

*=1,…,*i

*, have the following forms:*q

where _{ij}(0) = 0 and * x* ∈

R

^{n}. Assume that all functions

*possible models can be explicitly expressed as*q

Suppose that the following assumption holds.

It is clear that we can always find a positive (semi)definite function * U*(

*) such that, for all*x

*∈{1,…*i

*},*q

The objective of this chapter is to find a continuous function

internally stabilizes the systems in Eq. (3) simultaneously; and, for each * T* > 0 and for each

w

_{i}∈

L

_{2}[0,

*], all closed-loop systems, starting from the initial state*T

*(0) = 0, satisfy (for a given γ > 0)*x

### 2.2. Control storage functions

Here we review some important concepts about the CSF method introduced in references [7, 9].

[7, 9]: Consider the system

S

_{i}in Eq. (1). A smooth, proper, and positive definite function

S

_{i}if, for each

*∈*w

R

^{m},

For ensuring the continuity of the obtained simultaneous ^{∞} controllers, the _{2}* -gain small control property* (

L

_{2}

*) has been introduced in reference [7].*-gain SCP

[7]: A CSF

S

_{i}satisfies the

L

_{2}

*gain SCP if for each ε > 0, there is a δ*-

_{1}> 0 and a δ

_{2}> 0 such that, if

*≠ 0 satisfies*x

*satisfies*w

*with |*u

*| < ε satisfying*u

## 3. Main results

For a single system, it has been shown in reference [7] that the existence of CSFs is a necessary and sufficient condition for the existence of ^{∞} controllers. Therefore, for the existence of simultaneous ^{∞} controllers for the systems in Eq. (3), the existence of CSFs for these systems is necessary. In references [7] and [9], no systematic methods have been proposed for constructing CSFs. Here, based on the backstepping method, we first derive CSFs explicitly for the systems in Eq. (3).

Let

It is easy to show that we can find a function

For * j*=2,…,

*, let*n

Similarly, we can find functions

Then, it is clear that the function

is positive definite, and radially unbounded.

Now, we discuss the existence of common CSFs for the systems in Eq. (3). For convenience, we say that a continuous function * c* > 0 such that

Consider the systems in Eq. (3). Suppose that

*holds. If the functions*Assumption 1

*=1,…,*j

*-1, are such that*n

*that satisfies the*CSF

L

_{2}-

*for all the systems in Eq. (3).*gain SCP

* Proof:* Let

*> 0 will be specified later. For system*K

S

_{i}, define the corresponding Hamiltonian function as

By the backstepping method, we can show that

After some manipulations, we have

where

Therefore, _{i} if

As * K* > 0 such that

Notice that _{i}(* x*) = 0 if and only if

s

_{n}(

*) = 0. Therefore,*x

This shows that * V*(

*) is a CSF for the*x

*-th system in Eq. (3). Since Eq. (7) holds for all*i

*∈ {1,…,*i

*},*q

*(*V

*) is a common CSF for all the systems in Eq. (3).*x

Now we prove that * V*(

*) satisfies the*x

L

_{2}

*gain SCP. Note that if we can find a continuous stabilizing feedback law*-

d

_{i}(

*) with*x

d

_{i}(0) = 0 such that

*∈*w

R

^{m}, then

*(*V

*) satisfies the*x

L

_{2}

*gain SCP. Let*-

where the continuous function _{n}(* x*) ≠ 0, and

Note that such _{i}(* x*) is continuous in

R

^{n}and

d

_{i}(0) = 0. By Eq. (6), we have

This implies that * V*(

*) satisfies the*x

L

_{2}-gain SCP and completes the proof.

To derive simultaneous ^{∞} controllers, define (for * i*=1,…,

*)*q

where β_{i} > 0, * i*=1,…,

*, are given constants. Since*q

*(*V

*) satisfies the*x

L

_{2}-gain SCP, the functions

p

_{i}(

*),*x

*=1,…,*i

*, are continuous in*q

R

^{n}[16]. We have the following results.

Consider the collection of systems in Eq. (3). Suppose that

*holds. If the functions*Assumption 1

L

_{2}-gain requirement specified in Eq. (5). In this case,

is a simultaneous ^{∞} controller for all the systems in Eq. (3).

* Proof*: Since the functions

p

_{i}(

*),*x

*=1,2,…,*i

*, are continuous in*q

R

^{n}, from the definition of

*(*p

*), its continuity is obvious. In the following, we first prove the achievement of*x

L

_{2}-gain requirement [Eq. (5)], and then the internal stability of all the closed-loop systems.

A. _{2}-gain requirement

Since

Then, with the controller defined in Eq. (8), all the closed-loop systems satisfy the _{2}-gain requirement specified in Eq. (5).

_{n}(* x*) = 0 and

*≠ 0.*x

In this case, * u* =

*(*p

*) = 0 and*x

b

_{i}(

*) = 0. Then, by Eq. (7),*x

In this case, since _{i }(* x*) > 0, we have

_{n}(* x*) < 0

Similarly, in this case we can show that

These discussions imply that Eq. (9) holds. That is, all the possible closed-loop systems satisfy the _{2}-gain requirement specified in Eq. (5).

B. Internal stability

To prove internal stability, notice that Eq. (6) implies that, along the trajectories of system _{i} under * w* = 0,

That is, for each * i* ∈ {1,…,

*}, along the trajectories of system*q

S

_{i}, we have

This shows that all the closed-loop systems are internally stable.

The systems considered in reference [8] are special cases of the systems considered in this chapter. If we let

*=1,2,…,*j

*-1, the systems in Eq. (3) will reduce to the systems considered in reference [8]. On the other hand, in reference [17], it is assumed that*n

*(*U

*) is in quadratic form. In this chapter, we relax this restrictive assumption.*s

In this chapter, we consider the case that the controlled output

*is independent of the control input*z

*. In this situation, a much simpler formula (not a special case of the formula in reference [7]) is proposed for constructing simultaneous*u

H

^{∞}controllers. In the case that the controlled output

*depends on*z

*, necessary and sufficient conditions for the existence of simultaneous*u

H

^{∞}controllers and a formula for constructing simultaneous

H

^{∞}controllers can be derived by the results in reference [7].

## 4. An illustrative example

Consider the following nonlinear systems:

where

It can be shown that

with

Let γ = 3. It can be verified that * Assumption 1* holds. Let

Then,

is positive, definite, and radially unbounded. By choosing * K* = 10, it can be shown that

Therefore,

is a common CSF for the three systems in Eq. (10). For * i* = 1, 2, and 3, define

and (with β_{1} = β_{2 }= β_{3} = 0.1)

From * Theorem 2*, the following controller

is a simultaneous ^{∞} controller for the three systems in Eq. (10). With arbitrarily chosen disturbance inputs, Figures 1–3 show the states, control inputs, disturbance inputs, and controlled outputs of these three systems starting at different initial states with the same controller defined in Eq. (11). It can be seen that all the three closed-loop systems are internally stable and satisfy the required _{2}-gain specification. That is, the controller defined in Eq. (11) is indeed a simultaneous ^{∞} controller for the three systems in Eq. (10).

## 5. Conclusions

In this chapter, a systematic way for constructing simultaneous ^{∞} state feedback controllers of nonlinear control systems in strict-feedback form is proposed. It is shown that the existence of common CSFs guarantees the existence of simultaneous ^{∞} controllers. An explicit formula for constructing simultaneous ^{∞} controllers is derived. The simulation example is given for verifying the theoretical results. The simulation results show, as expected, that the designed controller can simultaneously stabilize the considered systems and such that all closed-loop systems satisfy the specified disturbance attenuation requirement. Possible further works include considering nonlinear control systems in more general forms, applying the approach to time-varying case, and considering the output feedback case.

## References

- 1.
Savkin, A. V. (1998). Simultaneous H ^{∞}control of a finite collection of linear plants with a single nonlinear digital controller. Systems & Control Letters.33 :281-289. - 2.
Savkin, A. V. (1999). The problem of simultaneous H ^{∞}control. Applied Mathematics Letters.12 (1):53-56. - 3.
Sebe, N. (1999). A design of controllers for simultaneous H ^{∞}control problem. International Journal of Systems Science.30 :25-31. - 4.
Cao, Y. Y. and Lam, J. (2000). On simultaneous H ^{∞}control and strong H^{∞}stabilization. Automatica.36 :859-865. - 5.
Miller, D. E. and Chen, T. (2002). Simultaneous stabilization with near-optimal H ^{∞}performance. IEEE Transactions on Automatic Control.47 :1986-1998. - 6.
Lee, P. H. and Soh, Y. C. (2004). Simultaneous H ^{∞}stabilization. International Journal of Control.77 :111-117. - 7.
Wu, J. L. (2009). Simultaneous H ^{∞}control for nonlinear systems. IEEE Transactions on Automatic Control.54 (3):606-610. - 8.
Wu, J. L. and Yung, C. F. (2010). Simultaneous H ^{∞}control for a collection of nonlinear systems in canonical form. The 19th Chinese Control Conference. Beijing, China. July 2010. - 9.
Yung, C. F. and Wu, J. L. (2006). Control storage function approach to nonlinear L _{2}-gain control problem. The 6th Asian Control Conference, 71-77. Bali, Indonesia. July 2006. - 10.
Artstein, Z. (1983). Stabilization with relaxed control. Nonlinear Analysis, Theory, Methods & Applications. 7 :1163-1173. - 11.
Battilotti, S. (1999). Robust stabilization of nonlinear systems with pointwise norm-bounded uncertainties: A control Lyapunov function approach. IEEE Transactions on Automatic Control. 44 :3-17. - 12.
Kokotovic, P. P. and Arcak, M. (2001). Constructive nonlinear control: a historical perspective. Automatica. 37 :637-662. - 13.
Krstic, M., Kanellakopoulos, I., & Kokotovic, P. (1995). Nonlinear and Adaptive Control Design. John Wiley & Sons, Inc. New York. - 14.
Malisoff, M. and Sontag, E. D. (2000). Universal formulas for feedback stabilization with respect to Minkowski balls. Systems & Control Letters. 40 :247-260. - 15.
Sontag, E. D. (1983). A Lyapunov-like characterization of asymptotic controllability. SIAM Journal of Control and Optimization. 21 :462-471. - 16.
Sontag, E. D. (1989). A ‘universal’ constructive of Artstein's theorem on nonlinear stabilization. Systems & Control Letters. 12 :542-550. - 17.
Tsinias, J. (1990). Asymptotic feedback stabilization: A sufficient condition for the existence of control Lyapunov functions. Systems & Control Letters. 15 :441-448. - 18.
Wu, J. L. (2005). Simultaneous stabilization for a collection of single input nonlinear systems. IEEE Transactions on Automatic Control. 50 (3):328-337.