International Journal of Differential Equations

Volume 2014 (2014), Article ID 102653, 13 pages

http://dx.doi.org/10.1155/2014/102653

Research Article

Further Stability Analysis on Neutral Systems with Actuator Saturation and Time-Delays

Xinghua Liu

Department of Automation, School of Information Science and Technology, University of Science and Technology of China, Anhui 230027, China

Received 13 January 2014; Revised 3 April 2014; Accepted 7 April 2014; Published 4 May 2014

Academic Editor: Kartik Ariyur

Copyright © 2014 Xinghua Liu. 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.

This paper is concerned with the asymptotic stability analysis for a class of neutral systems with time-delay and saturating actuators, which is further to reduce the conservatism of neutral system. Based on the model transformation and the delay-dividing approach, a new type of augmented Lyapunov functional is constructed, which has fully exploited the information on the lower bound of the delay. Then the delay-dependent conditions for asymptotic stability are derived by applying some integral inequalities and Lyapunov theory. Finally, numerical examples are provided to show that the proposed results significantly improve the allowed upper bounds of the delay size over some existing ones in the literature.

1. Introduction

As is well known, time-delay is often encountered in various mechanical and engineering systems, such as aircraft stabilization, manual control, microwave oscillator, models of lasers, rolling mill systems, and neural network. Since it is shown that the existence of delays may result in instability, oscillations, or poor performances, the problem of stability analysis of time-delay systems has received considerable attention over the decades. Various approaches have been proposed in the literature to obtain stability criteria for delay systems, such as the Lyapunov technique, characteristic equation method, and state solution approaches. In the real world, there are many practical systems containing time-delay of neutral type, that is, the derivative of the past state; we called them neutral systems. Such systems can be found in population ecology [1], processes including steam or water pipes, heat exchanges [2], and other areas [3]. Existing stability criteria of delay systems can be classified into two categories, that is, delay-independent ones and delay-dependent ones. It is generally recognized that delay-independent ones are more conservative than the delay-dependent ones. So, in the literature of these years, the attention was mainly focused in giving delay-dependent stability conditions for neutral systems; see, for example, [4–17] and references therein for more details. However, there is some room for further investigation to reduce the conservatism of neutral systems by novel method.

Besides delays, the saturated controller is apt to cause instability as well. In various practical systems, actuator saturation and time-delays are often observed together in control systems and they are frequently a source of instability. Therefore, much attention has been paid to derive some delay-dependent stability conditions for the time-delay systems with actuator saturation. Based on the Lyapunov-Krasovskii functional, the sufficient conditions have been discussed in [18–23] and the references therein. The controller is constructed in terms of the solution to a set of linear matrix inequalities by employing descriptor model transformation of the systems in [21]. The Lyapunov-Krasovskii functional is employed to investigate the problem of delay-dependent robust stabilization of uncertain neutral systems with saturating actuators in [20], just to name a few. However, to the author’s knowledge, it seems that the stability and control synthesis problem of neutral systems in the presence of actuator saturation has not been fully investigated and it is very challenging.

This paper is concerned with the asymptotic stability problem of neutral systems with actuator saturation and the objective is to propose some new delay-dependent conditions, which are less conservative than some existing ones in the literature. The design approach is dependent on the discrete time-delay and neutral time-delay. Applying the delay-dividing approach, the asymptotic stability conditions are formulated as linear matrix inequalities (LMIs) by the model transformation and Lyapunov method. Facing the uncertain case, we obtain the robust asymptotic stability conditions under such hypothesis condition that the system has the norm bounded uncertainties. At last, examples are provided to demonstrate the reduced conservativeness of the proposed criteria by numerically comparing with those reported previously in the literature. The main contributions of this paper can be summarized as follows: (i) model transformation is considered in this paper, but we employ a new stability condition of the transformation operator to reduce the conservatism; (ii) the bound of the delay is fully utilized in this paper, that is, improved bounding technique or delay-dividing approach is used to reduce the conservatism; (iii) the constructed Lyapunov functional is novel and very effective in the reduction of conservatism, which has not appeared in the context of neutral systems with time-delay and actuator saturation before; (iv) numerical examples and simulations are provided to verify that the proposed result in this paper is less conservative than some existing ones.

The remainder of this paper is organized as follows: Section 2 contains the problem statement and preliminaries; Section 3 presents the main results; Section 4 provides some numerical examples to verify the effectiveness of the results; Section 5 draws a brief conclusion.

1.1. Notations

In this paper, denotes the elements below the main diagonal of a symmetric block matrix, denotes the dimensional Euclidean space, and is for the set of all real matrices. denotes the identity matrix with proper dimensions. is the set of all continuous functions from to and is constant neutral time-delay. is the transpose of matrix . , with . For real symmetric matrices and , the notation (resp., ) means that the matrix - is positive semidefinite (resp., positive definite). means the eigenvalue of matrix with maximum (minimum) real part. means the Euclidean norm of vector , , while is spectral norm of matrix , . denotes a block-diagonal matrix decided by the corresponding elements in the brace. In addition, if not explicitly stated, matrices are assumed to have compatible dimensions.

2. Problem Statement and Preliminaries

In this paper, the investigated neutral systems with time-delay and actuator saturation are described by the following:

where is the system state and is the control input. is a constant discrete time-delay and is a constant neutral time-delay. , , , and are known real constant parameter matrices of appropriate dimensions. To apply the Lyapunov stability theorem [2] we assume that . The initial condition is a continuously differentiable vector-valued function. The continuous norm of is defined as

Linear state feedback is described by the following:

the linear state feedback gain is denoted as

The notation Sat is to denote the standard saturation function (Figure 1) defined as :

Figure 1: A saturation function .

Here we have slightly abused the notation by using to denote both a scalar valued and a vector valued function. We have also assumed a unity saturation level for the saturation function without loss of generality. Let us decompose the saturation nonlinear function as the sum of a linear part and another nonlinear part.

Definition 1. Nonlinear part , where

Making use of nonlinear part , we rewrite the saturated system in the following form:

where .

The purpose of this paper is to investigate the sensitivity of stability to variations in the parameters and in the delays. Notice that the stability of a neutral system requires a necessary condition to guarantee the stability of the associated difference operator [24]. Under normal circumstances, we deal with the difference operator given by

Then the stability of operator is ensured if . However, in this paper we introduce a model transformation, which imply the stability of the original model and can be studied by means of Lyapunov-Krasovskii functional.

Utilizing the model transformation, the neutral system (7) can be written as

where , .

Remark 2. The proposed model transformation which uses Leibnitz’s rule does not induce any additional dynamics in the characteristic equation for the system without uncertainties (see more details [25, 26]).

It is not difficult to verify that every solution of the neutral system (7) is also solution of (9); then the stability of (9) implies the stability of (7); see [27]. However, the stability of operator is required, and it is more difficult to tackle than the untransformed system. In order to give the less conservative stability condition, we introduce Definition 3 and Lemma 4.

Definition 3 (see [24]). The operator is said to be stable if the zero solution of the homogeneous difference equation

is uniformly asymptotically stable. The stability of operator is necessary for the stability of neutral system (1) with (3), which is always satisfied when .

Lemma 4 (see [28]). For given positive scalars and , the operator defined by

is stable if there exists a positive-definite matrix such that

Remark 5. As said in [28], the above criterion (12) is less conservative than the well-known criterion for the stability of the operator given in [24]. So the criterion (12) is exploited in this paper to reduce the conservatism of the neutral system with time-delay and actuator saturation.

Then we give the following two lemmas before proceeding main results.

Lemma 6 (see [29]). Let and , and let . Then we have

Considering a matrix and defining the following polyhedral set

where is the row vector of matrix , the following Lemma 7 concerning the nonlinearity can be stated.

Lemma 7 (see [30]). Consider the function defined in (6). If then the relation

is verified for any diagonal and positive definite matrix .

3. Main Results

In this section, we present the stability conditions which guarantee the asymptotic stability of the neutral system with time-delay and actuator saturation. Firstly, we deduce the sufficient asymptotic stability condition for (1) and (3). Then we manage to extend the sufficient conditions to the uncertain case.

3.1. Asymptotic Stability for Certain Neutral System

Theorem 8. Given scalars and , a matrix , and a diagonal matrix of appropriate dimensions, the neutral system with time-delay and actuator saturation which can be described by (1) and (3) is asymptotically stable if there exists a positive definite matrix satisfying (12) and there exist , , , , , , , , such that the following symmetric linear matrix inequality holds:

where , , and

Proof. Define a legitimate Lyapunov functional candidate as

where

where has been defined in (9), , , , , , and ,  .

We solve the time derivative of along the trajectories of the closed-loop system (9) and obtain the following:

Given that , which has been discussed in [21]. From Lemma 7, it follows that

According to (19), we obtain

where , since .

Similarly we have

where , since . Considering

Substituting these into (21) and the time-derivative of has new upper bound as follows:

where

is defined as stated in (16).

If linear matrix inequality (16) is feasible, then we can get , . Therefore, if there exist scalars and and a positive definite matrix satisfying (12) and there exist , , , , , , , , , a matrix , and a diagonal matrix of appropriate dimensions satisfying (16), then we can draw the neutral system which can be described by (1) and (3) is asymptotic stability. This completes the proof.

Remark 9. Theorem 8 gives a delay-dependent stability criterion for neutral system satisfying (1) and (3) by employing model transformation and delay-dividing approach. Model transformation may be an old technique and can be seen in [7]. But a new stability condition on the operator is adopted in this paper to reduce the conservatism of the neutral system. Moreover, the proposed stability condition is not only on the discrete delays but also on the neutral delays, while the conditions in [31, 32] depend only on consideration of the discrete delays.

Remark 10. By dividing the neutral delay interval into and , we choose different functional on and , respectively. The discrete delay is to take the same approach. Then the division provides extra freedom for delay terms and reduces the conservation.

We can easily get a delay-dependent stability criterion for system (1) with . This paper will show the asymptotic stability criterion for this case in Corollary 11.

Corollary 11. Given scalars and , a matrix , and a diagonal matrix of appropriate dimensions, the neutral systems (1) and (3) when is asymptotically stable if there exists a positive definite matrix satisfying (12) and there exist , , , , , such that the following symmetric linear matrix inequality holds:

where ,

Proof. Define a legitimate Lyapunov functional candidate as

where

where , , and , .

According to (30), we obtain

where , since . Considering

given that , which has been discussed in [21]. From Lemma 7, the time-derivative of has new upper bound as follows:

where is defined as stated in (27) and

Therefore, if there exist scalars and and a positive definite matrix satisfying (12) and there exist , , , , , , satisfying (27), then we can draw the identical neutral delay and discrete delay system is asymptotic stability. This completes the proof.

Furthermore, since the model transformation which usually may lead to some degree of conservatism of the method, we establish the following theorem based on Theorem 8 instead of using the model transformation.

Theorem 12. Given a matrix and a diagonal matrix of appropriate dimensions, the neutral system with time-delay and actuator saturation which can be described by (1) and (3) is asymptotically stable if and there exist , , , , , ,  , , such that the following symmetric linear matrix inequality holds:

where , ,

and other notations are identical with Theorem 8.

Proof. We replace with in , and then follow the same procedure to prove Theorem 8. Thus it will complete the proof.

Remark 13. It should be pointed out that Theorem 12 is less conservative than Theorem 8, which can be verified by the numerical example. However, if the condition cannot be satisfied while (12) can be satisfied, Theorem 12 is no longer applicable and we may apply Theorem 8 in this paper.

3.2. Asymptotic Stability for Uncertain Neutral System

Furthermore, let us consider the following uncertain neutral system with time-delay and actuator saturation:

where and stand for the uncertainties. For simplicity, The constant parameter matrices , , , and are square matrices. The uncertainties are not known but the spectral norm bound is known and can be described as

Utilizing the nonlinear function , we can also rewrite the uncertain neutral system in the following form:

where is defined as the same with certain neutral system with time-delay and actuator saturation. Specially, when and the uncertain neutral system becomes the certain case.

Similarly, we employ the operator with

Then we obtain the transformed system

where .

With regard to the uncertain neutral system, we can also prove the following theorem.

Theorem 14. Given scalars and , a matrix , and a diagonal matrix of appropriate dimensions, the uncertain neutral system which can be described as (37) with feedback control (3) is asymptotically stable if there exists a positive definite matrix satisfying (12) and there exist , , , , , , , , such that the following symmetric linear matrix inequality holds:

where , , and

Proof. In the same way, we define a legitimate Lyapunov functional candidate as

where are the same with those in Theorem 8. Given that , which has been discussed in [21]. From Lemma 7, it also follows that

In fact

where , since .

While , , , , and are obtained by the same method in Theorem 8. Then substituting these into (45), the time-derivative of has new upper bound as follows:

where , which has been discussed in [21], and

is defined as stated in (42).

If linear matrix inequality (42) is feasible, then we can also get , . Therefore, if there exist scalars and and a positive definite matrix satisfying (12) and there exist , , , , , , , , , satisfying (42) for real scalars , , then we can draw the uncertain neutral system which can be described by (37) and (3) is asymptotic stability. This completes the proof.

Theorem 14 provides a new asymptotic stability condition for a class of uncertain neutral system which can be described as (37) and (3). We can also get a Corollary 15 which is a special case of Theorem 14.

Corollary 15. Given scalars and , a matrix , and a diagonal matrix of appropriate dimensions, the uncertain neutral system (37) with feedback control (3) when is asymptotically stable if there exists a positive definite matrix satisfying (12) and there exist , , , , , such that the following symmetric linear matrix inequality holds:

where ,

Proof. Choose a legitimate Lyapunov functional candidate as

which are the same as (30).

We follow the same processes in Corollary 11 and Theorem 14, then the proof can be easily completed.

Similar to the certain system, we also give the following less conservative condition for the uncertain case.

Theorem 16. Given a matrix and a diagonal matrix of appropriate dimensions, the uncertain neutral system which can be described as (37) with feedback control (3) is asymptotically stable if and there exist , , , , , , , , such that the following symmetric linear matrix inequality holds:

where , ,

and other notations are identical with Theorem 14.

Proof. We replace with in , and then follow the same procedure to prove Theorem 14. Thus it will complete the proof.

4. Numerical Examples

In this section, we present some numerical examples to illustrate the effectiveness of the proposed theoretical results.

4.1. No Uncertainty Case

Example 1. Consider the system (1) without saturation described by the following:

By Corollary 11 and Theorem 12, the maximum upper bound of , which satisfies the LMI (27) and (35), can be calculated by solving a quasiconvex optimization problem. This neutral system is considered by the proposed methods in [8, 18, 21, 22, 28]. The results on the maximum upper bound of are compared in Table 1.

Table 1: Maximum upper bound of with different methods.

Methods
[8]
[18]
[28]
[22]
[21]
Corollary 11
Theorem 12

0.5658
0.6233
0.7000
0.7048
0.7135
0.7204
0.7211

From Table 1, we know that the maximum upper bound of delay by Corollary 11, and by Theorem 12, respectively, while the maximum upper bound of delay for [18], for [28], for [8], for [21], and for [22]. It is found that the maximum upper bound in this paper is larger than those in [8, 18, 21, 22, 28]. So it can be demonstrated that the delay-dependent stability condition in this paper yields less conservative results than those previous ones. Additionally, it can be seen that Theorem 12 is less conservative.

Necessarily, let us check the stability of the operator given in (9) when . By solving inequality (12), we have

which guarantees the stability of the operator.

Example 2. Consider a time-delay neutral system with an actuator saturated at level described as follows:

It is found that the nominal system (57) is unstable and it is intended to stabilize the controlled system and find the range of delay time by using a state feedback controller to guarantee that the above system is asymptotically stable. We need to verify the stability of the operator with

By solving inequality (12), we obtain

which guarantees the stability of the operator in Example 2.

In this paper, we adopt the feedback control matrix

in [22]. By using the LMI toolbox in MATLAB, here the solutions of the LMIs given in Theorems 8 and 12 are found to be and . So this example guarantees the asymptotic stabilization of system (57) for . When , we obtain while the result of Niculescu guaranteeing the robust stabilization of system (57) is in [33]. Hence, our result gives a less conservative result than that obtained by delay-dependent stability in [33].

4.2. Uncertainty Case

Example 3. Consider the system (55) in uncertainty case

where is identical with the system (55). The system (61) has the norm bounded uncertainty . The stability of the operator has been verified in Example 1. Then, by Corollary 15 and Theorem 16, the maximum upper bound of , which satisfies the LMI (49) and (53), can be calculated by solving a quasiconvex optimization problem. This neutral system is considered by the proposed methods in [18], and methods in [8, 21, 22, 28] are no longer applicable to the uncertain case. The results on the maximum upper bound of are compared in Table 2.

From Table 2, we know that the maximum upper bound of delay in this paper by Theorem 16, while the maximum upper bound of delay for [18]. So it also can be demonstrated that the delay-dependent stability condition in this paper yields less conservative results than some previous ones.

Table 2: Maximum upper bound of with different methods.

Methods
[8]
[18]
[28]
[22]
[21]
Corollary 15
Theorem 16

—
0.5937
—
—
—
0.6849
0.6852

Example 4. Consider the system (57) in uncertainty case

where and are identical with the system (57). The stability of the operator has been verified in Example 2. The system (62) has the norm bounded uncertainties

No doubt that this uncertainty will decrease the initial state bound that guarantees the asymptotic stability of the system (62). In this paper, we obtain by Theorem 16 which guarantees the robust stabilization of system (62).

5. Conclusions

The asymptotic stability of neutral delay-differential systems with saturating actuators in terms of the LMI approach is developed in this paper. Applying the model transformation and the delay-dividing approach, a new augmented Lyapunov functional is constructed and the delay-dependent stability conditions are derived by some integral inequalities. Then the conditions are extended to the uncertain system, which has the norm bounded uncertainties. Examples have been provided to compare with recent papers, which show our results are more effective than those in earlier reports.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors would like to thank the editor and the anonymous reviewers for their constructive comments and suggestions to improve the quality of the paper. This work is partly supported by the Fundamental Research Funds for the Central Universities.

References

Y. Kuang, Delay Differential Equations with Applications in Population Dynamics, Academic Press, San Diego, Calif, USA, 1993.

V. B. Kolmanovskii and A. Myshkis, Applied Theory of Functional Differential Equations, Kluwer Academic, Dordrecht, The Netherlands, 1999.

S.-I. Niculescu, Delay Effects on Stability: A Robust Control Approach, vol. 269 of Lecture Notes in Control and Information Sciences, Springer, London, UK, 2001.

C.-H. Lien, “New stability criterion for a class of uncertain nonlinear neutral time-delay systems,” International Journal of Systems Science, vol. 32, no. 2, pp. 215–219, 2001.

C.-H. Lien, K.-W. Yu, and J.-G. Hsieh, “Stability conditions for a class of neutral systems with multiple time delays,” Journal of Mathematical Analysis and Applications, vol. 245, no. 1, pp. 20–27, 2000.

D. Ivănescu, S.-I. Niculescu, L. Dugard, J.-M. Dion, and E. I. Verriest, “On delay-dependent stability for linear neutral systems,” Automatica, vol. 39, no. 2, pp. 255–261, 2003.

E. Fridman, “New Lyapunov-Krasovskii functionals for stability of linear retarded and neutral type systems,” Systems & Control Letters, vol. 43, no. 4, pp. 309–319, 2001.

J. D. Chen, C.-H. Lien, K. K. Fan, and J. H. Chou, “Criteria for asymptotic stability of a class of neutral systems via a LMI approach,” IEE Proceedings: Control Theory and Applications, vol. 148, no. 6, pp. 442–447, 2001.

J.-H. Park, “A new delay-dependent criterion for neutral systems with multiple delays,” Journal of Computational and Applied Mathematics, vol. 136, no. 1-2, pp. 177–184, 2001.

J.-H. Park, “Stability criterion for neutral differential systems with mixed multiple time-varying delay arguments,” Mathematics and Computers in Simulation, vol. 59, no. 5, pp. 401–412, 2002.

J.-H. Park, “Convex optimization approach to dynamic output feedback control for delay differential systems of neutral type,” Journal of Optimization Theory and Applications, vol. 127, no. 2, pp. 411–423, 2005.

J.-H. Park and S. Won, “Asymptotic stability of neutral systems with multiple delays,” Journal of Optimization Theory and Applications, vol. 103, no. 1, pp. 183–200, 1999.

J.-H. Park and S. Won, “A note on stability of neutral delay-differential systems,” Journal of the Franklin Institute, vol. 336, no. 3, pp. 543–548, 1999.

O. M. Kwon, M. J. Park, J. H. Park, S. M. Lee, and E. J. Cha, “New delay-partitioning approaches to stability criteria for uncertain neutral systems with time-varying delays,” Journal of the Franklin Institute, vol. 349, no. 9, pp. 2799–2823, 2012.

Q.-L. Han, “On delay-dependent stability for neutral delay-differential systems,” International Journal of Applied Mathematics and Computer Science, vol. 11, no. 4, pp. 965–976, 2001.

Q.-L. Han, “Robust stability of uncertain delay-differential systems of neutral type,” Automatica, vol. 38, no. 4, pp. 719–723, 2002.

S.-I. Niculescu, “On delay-dependent stability under model transformations of some neutral linear systems,” International Journal of Control, vol. 74, no. 6, pp. 609–617, 2001.

A. Haurani, H. H. Michalska, and B. Boulet, “Delay-dependent robust stabilization of uncertain neutral systems with saturating actuators,” in Proceedings of the American Control Conference, pp. 509–514, Denver, Colo, USA, June 2003.

A. H. Glattfelder and W. Schaufelberger, “Stability analysis of single loop control systems with saturation and antireset-windup circuits,” IEEE Transactions on Automatic Control, vol. 28, no. 12, pp. 1074–1081, 2003.

J.-J. Yan, J.-S. Lin, and T.-L. Liao, “Robust dynamic compensator for a class of time delay systems containing saturating control input,” Chaos, Solitons & Fractals, vol. 31, no. 5, pp. 1223–1231, 2007.

J. M. G. da Silva Jr., A. Seuret, E. Fridman, and J. P. Richard, “Stabilisation of neutral systems with saturating control inputs,” International Journal of Systems Science, vol. 42, no. 7, pp. 1093–1103, 2011.

P.-L. Liu, “Stabilization criteria for neutral time delay systems with saturating actuators,” Journal of the Franklin Institute, vol. 347, no. 8, pp. 1577–1588, 2010.

P.-L. Liu and H.-L. Hung, “Stability of bilinear time-delay systems with saturating actuators,” in Proceedings of the IEEE International Symposium on Industrial Electronics (ISIE '99), pp. 1082–1086, Bled, Slovenia, July 1999.

J. K. Hale and S. M. V. Lunel, Introduction to Functional-Differential Equations, vol. 99 of Applied Mathematical Sciences, Springer, New York, NY, USA, 1993.

S. A. Rodrìguez, J.-M. Dion, and L. Dugard, “Stability of neutral time delay systems: a survey of some results,” in Advances in Automatic Control, vol. 754, pp. 315–335, Kluwer Academic, Boston, Mass, USA, 2004.

V. B. Kolmanovskii and J.-P. Richard, “Stability of some linear systems with delays,” IEEE Transactions on Automatic Control, vol. 44, no. 5, pp. 984–989, 1999.

V. L. Kharitonov, “Robust stability analysis of time-delay systems: a survey,” in Proceedings of the IFAC Conference on System Structure and Control, pp. 1–12, Nantes, France, 1998.

D. Yue, S. Won, and O. Kwon, “Delay dependent stability of neutral systems with time delay: an LMI approach,” IEE Proceedings: Control Theory and Applications, vol. 150, no. 1, pp. 23–27, 2003.

H. B. Ji, Algebra Foundation of Control Theory, University of Science and Technology of China Press, Hefei, China, 2008.

S. Tarbouriech, J. M. G. da Silva Jr., and G. Garcia, “Delay-dependent anti-windup strategy for linear systems with saturating inputs and delayed outputs,” International Journal of Robust and Nonlinear Control, vol. 14, no. 7, pp. 665–682, 2004.

B. Yang, J. C. Wang, X. J. Pan, and C. Q. Zhong, “Delay-dependent criteria for robust stability of linear neutral systems with time-varying delay and nonlinear perturbations,” International Journal of Systems Science, vol. 38, no. 6, pp. 511–518, 2007.

Y.-Y. Cao and J. Lam, “Computation of robust stability bounds for time-delay systems with nonlinear time-varying perturbations,” International Journal of Systems Science, vol. 31, no. 3, pp. 359–365, 2000.

S.-I. Niculescu, J.-M. Dion, and L. Dugard, “Robust stabilization for uncertain time-delay systems containing saturating actuators,” IEEE Transactions on Automatic Control, vol. 41, no. 5, pp. 742–747, 1996.