FiniteTime Control and Estimation for Complex and Practical Dynamical Systems
View this Special IssueResearch Article  Open Access
Finite Time Stabilization of the Four Tanks System: Extensions to the Uncertain Systems
Abstract
We consider the finite time stability and stabilization of linear systems described in continuous time. First, we provide a condition for the stability over time using the state transition matrix standard. Then we give conditions to design a state feedback control that stabilizes the system over time. In some cases where there is uncertainty in the system model, the previous conditions are extended to a certain class of uncertain systems. The considered uncertainties are the polytopic and norm bounded ones. To reveal the proposed approach, an application to the four tanks system was made.
1. Introduction
Several studies of the stability for linear uncertain systems called robust stability were carried out during the last two decades [1, 2]. Most of the results in this field relating to the stability and performance criteria are defined on infinite time interval. However, in many practical applications, the main objective is the system’s behavior on a finite time interval. Thus, it seems reasonable to define a stable system if its state is in the prescribed limits into a fixed time interval when starting from certain conditions, but in the opposite case we are talking about an instable system.
This kind of stability is called finite time stability or short time stability [3, 4], and there are many practical problems where it has an important role such as the control of a spatial trajectory of a spacecraft starting from an initial point to a finale one in a prescribed time interval. Finite time stabilization is still one of the major problems in control theory. Generally, the stabilization problems are treated under an asymptotic aspect, without considering the fact that the dynamic behavior of a system must match the human operations scale.
Even if we have the possibility to study the exponential convergence, it still presents a hard problem to solve when we are treating nonlinear systems. In practice, it is important to specify the performance of convergence, which means to make sure that the system joins a short and precise time reference or desired trajectory.
In the literature there are many works related to this topic [5, 6] known as finite time stability, but this concept differs from what is studied in this paper. Indeed, with this concept if a system is finite time stable, it assumes that it is already asymptotically stable but this is not the case in the notion that we study. This concept is highly demanding and it is very difficult to provide some conditions that help to solve the problem. But, it is possible to spread out this notion and to guarantee the finite time stability by ignoring the asymptotic aspect. In this case, we must ensure that the state is still bounded for a given time interval. The application’s fields of the finite time stabilization methods are numerous; we can mention robotic control, chemical processes [4], the control of missiles [4], and so forth.
In this context, for some applications, it is better to ensure that the state is bounded during a time interval that matches to the needed time to execute a practical task instead of guaranteeing that the system is asymptotically stable, for example, the movement of manipulator from a point A to a point B through a nominal path or trajectory or kipping the pressure, the temperature, or another physical quantity during very precise period in a chemical process. In these practical situations, a process should be stable if its state evolves while being bounded by required limits; otherwise it is considered unstable. All references mentioned above are limited to the Finite Time Stability study and no results on the synthesis are known. Recently, [7–10] treated the case of linear systems where they solved the problem of the synthesis.
The main objective of the work reported in this paper is to provide an ordered framework to study the finite times stability and to synthesize the control laws that stabilize in finite time the uncertain linear systems. In this regard, the main contribution focuses on the analysis and synthesis of the finite time stability of the uncertain linear systems by solving Linear Matrix Inequalities (LMIs), where we propose a new method for a control law synthesizing by state feedback which is based on solving LMIs and stabilizes, finite time, the linear systems. An extension of this result to uncertain systems has been developed. First, we give the definitions corresponding to the finite time stability in terms of sets and terms of standards; then we will mention a new approach to the control laws by state feedback that stabilizes in finite time the linear continuous time systems solving some LMIs; this will be extended to cover uncertain systems where we will look for polytopic and norm bounded uncertainties. The method will be validated on a level control system with four tanks.
2. Finite Time Stability
Let us consider the system described by where is the state vector and is the dynamic matrix.
System (1) has a unique solution of the following form: The finite time stability consists of maintaining the system state within prescribed bounds during a given time interval.
The following definition can be introduced [11, 12].
Definition 1. System (1) is finite time stable (FTS) with respect to (Figure 1) if where is the set of initial states and is the set of admissible ones that can be ellipsoids given by where and define the bounds of state, and the relation (3) can be written as
In the following, we propose a theorem that provides the necessary and sufficient condition of FTS.
Theorem 2. System (1) is finite time stable with respect to if and only if for all , which is also equivalent to
Proof. The sufficiency follows from the fact that , where is a matrix and is a vector. Therefore, from (2),
And from the first inequality (5), we have
If condition (6) of Theorem 2 is satisfied, then , which satisfies the second inequality of relation (5).
The necessity can be proved by contradiction as in [10].
Corollary 3. System (1) is finite time stable with respect to if and only if where is a solution of the differential matrix equation and is the maximal eigenvalue of .
Proof. Define .
We know that
Therefore,
If
which concludes, from Theorem 2, the finite time stability.
Even if they give necessary and sufficient conditions, the previous results are not easy to verify from a computational point of view, particularly the result stated in Theorem 2. It is possible to obtain more tractable conditions which are only sufficient.
Theorem 4. If there exist a positive definite symmetric matrix and a positive scalar such that and satisfying the following matrix inequalities: then system (1) is finite time stable with respect to .
Proof. Suppose that conditions of theorem are satisfied. Differentiating with respect to time leads to
From condition (16) we can write
and since where is the minimal eigenvalue of ,
By Gronwall’s Lemma [13] we obtain
and from condition (17), we have and .
Therefore,
We have also
and then
Since
we have
Consequently,
where is the maximal eigenvalue of .
We deduce that
which concludes the proof.
From the previous theorem, we can deduce the following interesting result.
Corollary 5. The conditions of Theorem 4 are satisfied if there exists a positive scalar satisfying Then system (1) is finite time stable with respect to . In addition, for all values of , , and satisfying system (1) is finite time stable with respect to .
Proof. Suppose that conditions of Corollary 5 are satisfied. Then and satisfy conditions of Theorem 4. In addition if the first inequality is satisfied, we have
and the last part of the corollary follows.
We can state the following result for the case of asymptotically stable systems.
Corollary 6. If there exists a positive definite symmetric matrix satisfying the Linear Matrix Inequalities (LMIs) then system (1) is asymptotically and finite time stable with respect to .
Proof. Suppose that conditions of the corollary are satisfied. Following the proof of Theorem 2, we obtain Considering , we obtain which concludes the proof.
3. Finite Time Stabilization
We consider in this section the following system: where and . The problem addressed in this paragraph can be stated as follows.
Problem 7. Find a state feedback control with such that system (35) is finite time stable with respect to .
From Theorem 2, it is possible to deduce the following result.
Theorem 8. If there exist a positive definite symmetric matrix , a matrix of appropriate dimension, and a positive scalar such that and satisfying the matrix inequalities then the control law solves Problem 7.
Proof. The proof follows from the fact that inequality (37) can be written as It is also possible to obtain directly a control law from the Corollary 9.
Corollary 9. If there exist a positive scalar and a matrix of appropriate dimensions satisfying then the control law solves Problem 7 with .
4. Application on Four Tanks System
In this application, we test the finite time stabilization using the LMI method on the four tanks system. Since the considered system is nonlinear, it is linearised around an operating point and the state should be bounded around this point.
(A) System Modeling. For simplicity, we assimilate the four tanks system to that given by the block diagram (Figure 2).
The model of the process is achieved by generalization of one tank process model (Figure 3).
The process model is given by where is the inflow, is the water level, is the section of leak, and is the section of tank. And the four tanks process model can be given as with is the flow of the tank in the tank , , , , is section leak between tank and , and is flow of the pump , . Then we replace in (42) which gives To simplify the notations, let us rewrite (43) as follows: where are constants summarized in Table 1.

(B) Linearization. In the linearization phase, we fix an operating point , , .
We set and , where and are the variations around the operating point.
The system (44) becomes Using and since , then ; we have
(C) Simulation’s Results. The aim of this application is to maintain the water level in each tank below a threshold selected by the user during a given time interval. It will substantially stabilize the water level in the four tanks.
We linearize the system around the point We obtain the linear system where is the state vector.
The constants , , and are chosen as , , and .
The controller is provided by Theorem 4 as with Figure 4 shows the evolution of the state, Figure 5 shows the evolution of the norm of the state, and Figure 6 shows the evolution of both control components which represent the flows (blue) and (red) of both water pumps.
5. Case of Uncertain System
A certain knowledge of the state model is necessary for the stabilization in finite time by state feedback, but this is not always the case. In fact, the model parameters may change over time. Models are usually obtained from an identification that uses measurements (inputoutput) where the measurement noise and errors cause uncertainties in the model. In this context, a robust command can provide the satisfaction of a number of performances although there exist uncertainties in the model. We propose in this section a theorem in which finite time stabilizes uncertain system and takes into account parameters uncertainties. The polytopic uncertainties as well as the norm bounded ones are considered.
5.1. Polytopic Uncertainty
We consider in this paragraph a system described by where is the state vector. The dynamic matrix and the input matrix belong respectively to the following sets:
In the following, we extend the previous results given for the certain systems to the case of uncertain ones. This can be achieved by tuning Theorem 8 as follows.
Theorem 10. If there exist a positive definite symmetric matrix , a matrix of appropriate dimensions, and a positive scalar such that and satisfying the matrix inequalities then the control law finite time stabilizes the system (52)–((53a) and (53b)).
Proof. The proof is simple as long as we can apply Corollary 9 to the system (52)–((53a) and (53b)) by replacing () by (), taking into account the properties of convexity.
5.2. Norm Bounded Uncertainty
Another uncertainty description is as follows: with We have the following result.
Theorem 11. If there exist a positive definite symmetric matrix , a matrix of appropriate dimensions, and a positive scalars , such that and satisfying the matrix inequalities then the control law finite time stabilizes the system (56).
Proof. By Schur complement, (59) is equivalent to which can be written as Taking into account the uncertainties of (56), which concludes the proof.
Remark 12. In [11] the authors solved the finite times stabilization problem for the uncertain systems by using the Control Lyapunov Functions (CLF), but in this paper we solve the problem by using Linear Matrix Inequalities (LMIs).
6. Conclusion
The problem of finite time stabilization of linear certain and uncertain systems is solved by giving an explicit formula for a state feedback control law. This latter one is based on solving some Linear Matrix Inequalities. The proposed approach satisfies certain simple conditions and the control law provides, for certain and uncertain linear systems, the constraint on the norm of the state during the fixed time interval. An application to the four tanks system shows the efficiency of the proposed approach. Since the state of the system is not always measurable, we can treat the case of the finite time controller of linear and nonlinear systems by output feedback. The results proposed in this paper can be applied to vehicle suspension control systems to improve their performances.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
References
 S. Tarbouriech and G. Garcia, Control of Uncertain Systems with Bounded Inputs, Springer, Berlin, Germany, 1997. View at: Publisher Site  MathSciNet
 S. P. Bhat and D. S. Bernstein, “Continuous finitetime stabilization of the translational and rotational double integrators,” IEEE Transactions on Automatic Control, vol. 43, no. 5, pp. 678–682, 1998. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 P. M. Abhilash and A. D. Mahindrakar, “Stabilization of a circular ballandbeam system with input and state constraints using linear matrix inequalities,” in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC ’08), pp. 3201–3205, Singapore, October 2008. View at: Publisher Site  Google Scholar
 P. Dorato, “Short time stability in linear timevarying systems,” in Proceedings of the IRE International Convention Record Part 4, pp. 83–87, New York, NY, USA, 1961. View at: Google Scholar
 S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, SIAM Press, Philadelphia, Pa, USA, 1994. View at: Publisher Site  MathSciNet
 S. P. Bhattacharyya, H. Chapellat, and L. H. Keel, Robust Control: The Parametric Approach, Prentice Hall, Upper Saddle River, NJ, USA, 1995.
 T. H. Gronwall, “Note on the derivatives with respect to a parameter of the solutions of a system of differential equations,” Annals of Mathematics, vol. 20, no. 4, pp. 292–296, 1919. View at: Publisher Site  Google Scholar  MathSciNet
 L. Weiss and E. F. Infante, “Finite time stability under perturbing forces and on product spaces,” IEEE Transactions on Automatic Control, vol. 12, no. 1, pp. 54–59, 1967. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 E. Moulay, Contribution à l’étude de la stabilité en temps fini et de la stabilisation [Thèse de Doctorat], Ecole centrale de Lille, 2005.
 W. B. Mabrouk, C. B. Njima, H. Messaoud, and G. Garcia, “Finitetime stabilization of nonlinear affine systems,” Journal Européen des Systèmes Automatisés, vol. 44, no. 3, pp. 327–343, 2010. View at: Publisher Site  Google Scholar
 C. B. Njima, W. B. Mabrouk, G. Garcia, and H. Messaoud, “Robust finitetime stabilization of nonlinear systems,” International Review of Automatic Control, vol. 4, no. 3, pp. 362–369, 2011. View at: Google Scholar
 G. Garcia, S. Tarbouriech, and J. Bernussou, “Finitetime stabilization of linear timevarying continuous systems,” IEEE Transactions on Automatic Control, vol. 54, no. 2, pp. 364–369, 2009. View at: Publisher Site  Google Scholar  MathSciNet
 L. T. Grujic, “On practical stability,” International Journal of Control, vol. 17, no. 4, pp. 881–887, 1973. View at: Publisher Site  Google Scholar  Zentralblatt MATH
Copyright
Copyright © 2014 Chakib Ben Njima et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.