#### Abstract

This paper is focused on the study of the important property of the asymptotic hyperstability of a class of continuous-time dynamic systems. The presence of a parallel connection of a strictly stable subsystem to an asymptotically hyperstable one in the feed-forward loop is allowed while it has also admitted the generation of a finite or infinite number of impulsive control actions which can be combined with a general form of nonimpulsive controls. The asymptotic hyperstability property is guaranteed under a set of sufficiency-type conditions for the impulsive controls.

#### 1. Introduction

The problems of absolute stability and hyperstability classically received much attention from the fifties in a wide class of problems of control theory and its applications, [1–10]. Some extensions or applications of hyperstability theory rely on the incorporation of the formalism of quantified controls [3] and multiple nonlinearities, [4]. Also, in some of the studies, the incorporation of extra subsystems to the linear positive real part, the presence of delays, and that of hybrid continuous-discrete systems has also been considered, [5–7]. Its extension to some models based on neural networks has been studied in [9] and references therein, while its usefulness for the design of adaptive schemes with good stability and transient properties was proposed in a set of results compiled in [10] and in more exhaustive later investigations performed along the eighties and nineties. The properties of parametrical stability of nonlinear systems with some robustness extensions have been investigated in [11, 12] and references therein. Also, applications of stability theory to base-isolated building structures including modelling delays and wireless control issues has been investigated in a number of papers. The main objective of the studies is to prevent the structures via active control designs against earthquake or heavy wind potential damages. See, for instance, [13, 14] and references therein. In those studies, Lyapunov stability and associated appropriate manipulations via linear matrix inequalities are used *ad hoc* for the problems at hand.

Furthermore, the following Figures 3 and 4 show, respectively, the output and control input to the system.

The problem of absolute stability is basically stated as that of guaranteeing the global asymptotic stability of a control system consisting of a linear plant under a feedback nonlinear regulator which belongs to a certain class of regulators all satisfying either some sector-type or some integral-type constraints of Lurie’s or Popov’s type, respectively. See, for instance, [2–4, 15–17]. If global asymptotic stability is guaranteed for the whole class of regulators then it is typically said that the closed-loop system is absolutely stable for such a class of controllers. The main reason for setting this theory was its ability to guarantee the stabilization for a whole class of systems under potential dispersion of the values of the parameters in a serial controller construction process while keeping its stabilization capability. Thus, it is a robustly stable design for a characterization of the nonlinear feedback controller as belonging to a certain admissible class. Then, the absolute stability property is guaranteed for the feed-forward controlled object and the whole class of nonlinear controllers.

The more general problem of asymptotic hyperstability extends that of absolute stability to classes of nonlinear regulators satisfying integral-type constraints for eventually time-varying nonlinearities which are not necessarily constrained to sectors. The asymptotic hyperstability property of a closed-loop system requires, in particular, that the feed-forward loop consists of a positive real transfer matrix (sometimes referred to as the asymptotic hyperstability of the linear feed-forward loop) or function, and that the nonlinear/time-varying controller belongs to a class satisfying an integral-type constraint, the so-called Popovian integral inequality, [15, 16]. Then, the property is guaranteed for such a linear feed-forward linear block and the whole class of nonlinear/time-varying controllers. Historically, the properties of absolute stability and hyperstability were of crucial interest by the time of World War II because the component dispersion in regulators controlling tanks often fail the blank targeting process, [16]. Such a practical problem motivated the convenience of formulating and designing stabilizing classes of regulators rather than individual stabilizing ones, [15, 16]. The related studies on this subject have been performed for the stabilization of both linear continuous-time and discrete dynamic systems.

Asymptotic hyperstability has also received a very important attention in adaptive control designs such as model reference adaptive control or model reference adaptive systems. See, for instance, [17–25] and references therein. A wide representation of practical problems has been focused on this theoretical formalism including theoretical design of adaptive systems, adaptive control of manipulators and other robotic devices, adaptive neural networks, and synchronization. A main reason of the success of the hyperstability formal theory in the existing background of adaptive designs relies on the fact that the implementation of the estimation algorithms is flexible while offering the designer the chance of choosing wide ranges of admissible values of the free design parameters being compatible with accomplishing the required properties of convergence and closed-loop stabilization.

Most of the stability problems can be extended to the use of switching laws acting on the controlled objects or on their controllers so that the dynamics can be changed to improve certain suitable performances like, for instance, suited settling times or transient errors, or to accommodate the system behavior to suitable transients around several operation points. This frequently happens in complex dynamic problems associated to distinct phases in some production chains like it occurs, for instance, in some chemical engineering processes. Some of such complex models might include point or distributed delays and/or hybrid structures consisting of continuous-time, discrete-time, and digitally modelled subsystems. The existing background literature on switching dynamics is exhaustive. See, for instance, [26–29] and references therein. Finally, recent work on absolute stability and hyperstability of complex nonlinear models, including absolute stability of hyperbolic systems and topics related to Ulam’s-type stability, has been reported in [30–32] and some of the references therein.

Other topics of increasing interest in the last years and nowadays in stabilization and control of dynamic systems are that of the synthesis of impulsive controls and that of the switching conditions of the dynamics guaranteeing the closed-loop stabilization. In particular, the injection of impulsive controls lead to a discontinuous sudden change (in practice, in a very short time interval) in the state vector at impulsive time instants. Switched dynamic systems have several possible parameterizations while switches among them in such a way that the dynamic system is parameterized by one of such parameterizations in connected time-intervals before the next switching happens. It is of interest the design of switching laws which ensure closed-loop stabilization either conditionally, via appropriate rules either on the minimum residence time or on the averaging dwelling times, or under arbitrary switching. Exhaustive work has been made in this field. See, for instance, [26–30, 33–39] and references therein. Related studies are of interest, for instance, in synchronization, deterministic, and stochastic stabilization, impulsive vaccination in epidemic models, control of chemical process under their various dynamics, and so forth. Switched dynamic systems and impulsive control also appear in some combined problems. See, for instance, [27, 38–40] and references therein.

This paper is focused on an extended study of asymptotic hyperstability in the continuous-time framework for a single-input single-output system. Basically, the undertaken generalizations are:(a)it has admitted the presence of a parallel connection of a linear strictly proper and strictly stable subsystem to the standard linear asymptotically hyperstable subsystem in the feed-forward loop of the feedback system; (b)the generation of a finite or infinite number of impulsive control actions is allowed while it can be combined with a general form of nonimpulsive controls. The control impulses can be state/output dependent or not.The asymptotic hyperstability property is guaranteed to hold under sufficiency-type conditions for the above proposed general structure. The property is guaranteed under conditions being dependent on certain combined constraints. Such constraints involve the values of the gain of the feed-forward strictly positive real transfer function at infinity, the maximum value of the modulus of its parallel-connected linear block, and the sign and gain bounds of the different impulses of the impulsive control. The paper is organized as follows. Section 2 is devoted to the problem statement and some preliminary results while the main asymptotic hyperstability results are stated and commented in Section 3. The proofs are given in Appendices. Section 4 considers some extensions for robust hyperstability due to the presence of state and measurement disturbances. Section 5 presents some illustrative simulated examples and, finally, conclusions end the main body of the paper.

#### 2. Problem Statement and Some Preliminary Results

Consider the following linear and time-invariant system: which is subject to a potentially nonlinear time-varying controller device satisfying the Popovian type integral inequality below: whereis the-state vector, andand are the output and the (in general, impulsive) control which satisfies the Popovian integral constraintand any nonzero . The, in general, nonlinear functionused to generate the control input, subject to the integral constraint (4), defines a class of regulators via such a constraint which is admissible to control the linear plant (1) and (3). Thus, the hyperstability property to be addressed in the paper ensures the closed-loop stability for any member of such a class of regulators. Note that if (4) holds for any nonzero then it also holds for any. The transfer function of the linear feed-forward loop (1)–(3) is decomposed in parallel blocks as follows:

where(i)is both strictly stable and strictly proper with poles in for someand satisfying for some nonnegative real constant and all. Note that its real part is finitely lower-bounded since it is strictly stable. (ii) is strictly positive real with, since, whereis the complex unit andis strictly proper and strictly stable sinceis strictly positive real andis a positive real constant.Note thatis strictly proper and strictly stable sinceis of zero relative degree (i.e., biproper) sinceis nonzero. It is well-known that a transfer function is strictly positive (resp., positive real) real if (resp., ) for any complex number with (resp., for ), and then, it has a relative degree equal to 0 or 1. The sets of strictly positive real and positive real transfer functions are simply denoted in the sequel by and , respectively. Strictly positive real transfer functions are strictly stable while the positive real transfer functions are stable. Note that the set of positive real functions contains that of strictly positive real ones. If the transfer functions are realizable, then it is evident that they have relative degrees (also often referred to as relative orders, equivalently, and their pole-zero excess number) being 0 or 1. Now, assume that the impulsive control is of the following form: whereis the piecewise continuous impulse-free input,is the Dirac distribution describing the impulsive actions of amplitudeswhere if the input impulse is independent of the output and in the case that it depends directly on such an output. The sequence can be, in general, any nonzero function sequence being dependent on the output and input sequencesand at the impulsive time instants. A typical case in many practical situations is that the input impulse is , that is, . In the following, the subsequent notation is used:(i)if and, otherwise, it is a truncated function of( is used for notation abbreviation);(ii)is the set of impulsive time instants until time with the conventionso that if , itself, is an impulsive time instant which is denoted by. Note that the convention implies that ifthen and that . Let us also denoteas the whole set of impulsive time instants and is its cardinal. The notation (the usual symbol for an infinite cardinal of a numerable set) refers to the case when the set of impulses is infinity while indicates that there is a finite number of impulses.The notation “support sequence” for, for some impulsive setis often used by obvious reasons for such a sequence .

The limit notationused in some of the obtained results stands for the limits as time tends to infinity within the interimpulse time intervals provided that they exist. In this context, note that (6) is very general so that the impulses can be state-dependent or not. Thus, such limits do not always exist as time tends to infinity to the left of the impulsive time instants. This motivate the use of such a notation.

The following definitions are well-known from the background literature for the impulsive-free case in (6).

*Definition 1. * The closed-loop system (1)–(4) is said to be asymptotically hyperstable (resp., hyperstable) for the impulsive-free case for all if it is globally asymptotically stable (resp., globally stable) for any control device satisfying Popov’s integral inequalityand any nonzero.

It is well-known that the system (1)–(4) is asymptotically hyperstable if and only if its associate transfer function. Note that ifis strongly strictly positive real, sinceis strictly proper, then

The following preliminary technical results to be then used to establish the main asymptotic hyperstability results hold.

Lemma 2. *The input-output energy measure on the time intervals , respectively, on , respectively, on is uniformly bounded for all time while it satisfies the following relationships:**
where.*

*Proof. *See Appendix A.

A useful result based on Lemma 2 follows below so as to get the main stability result after establishing the subsequent definition.

*Definition 3. * Any sequence of impulsive gains subject to the following constraints:
for some given real function, which satisfies, and anysuch that, is said to be of the classfor some given and for the support sequence, .

The feature that if (4) holds for any nonzerothen it also holds for any makes that the particular value of any finite nonzero in (10) can be increased to upper-bound the admissible impulsive gains for different controls while keeping the validity of the formulated asymptotic hyperstability theorem for the impulsive case. See Theorem 10 in Section 3.

*Definition 4. * An integral Popovian inequality (4) for a nonzero real constant and an impulsive control is said to be impulsive control-compatible if the sequence of impulsive gainsis of the classfor some .

Lemma 5. * Assume that the sequence of impulsive gains for system (1)–(4) is of the class, then, the following properties hold:
**
if , and
**
if so that the input-output energy is positive and uniformly upper-bounded by a finite bound for all nonzero time.*

*Proof. *See Appendix B.

*Remark 6. * It is then proven in Theorem 10 that (11) holds even ifand .

Lemma 5 is subject to the subsequent important necessary condition.

Lemma 7. * Assume thatthen a necessary condition for Lemma 5 to hold is that the classis such that , and its associate impulsive gain satisfies the constraint:
**
Another necessary condition for Lemma 5 to hold is that the classhas an impulsive set of time instants of infinite cardinal.*

*Proof. * Proceed by contradiction by assuming that ,, and Lemma 5 holds so that (12) holds. Then,
and the previous second relationship is clearly a contradiction to. On the other hand, if there is a finite number of impulsive time instants then the following contradiction follows from (12):
Hence, the proof of the result is complete.

To the light of Definition 3, the hyperstability concepts of Definition 1 are extended so as to consider also certain classes on impulsive controls which lead to the global asymptotic stability of the closed-loop system as follows.

*Definition 8. * The impulsive closed-loop system (1)–(4) is said to be impulsive asymptotically**-**hyperstable (resp., impulsive-hyperstable) if it is globally asymptotically stable (resp., globally stable) for any sequence of impulsive gainsof the class for a given nonzero, a given support sequence,, and any control device satisfying an impulsive control compatible Popov’s integral inequality.

#### 3. Main Results on Asymptotic Hyperstability

It turns out that Lemma 7 establishes that the origin has to be an impulsive time instant to keep the input-output energy to be positive and upper-bounded for all time. On the other hand, Lemma 5 leads to the subsequent main result of usefulness in the impulsive-free case.

Theorem 9. * Assume that (i.e., there are no impulsive controls). Then, the following properties hold.*(i)*Assume also thatand. Then, for all with, and the closed-loop system is asymptotically hyperstable for any nonlinear feedback devicesatisfying Popov’s integral inequality for all . As a result,,,, andare uniformly bounded for all, andand for all . *(ii)

*Assume that, for all , and.*

*Then, Lemma 5 holds and the closed-loop system is asymptotically hyperstable for any nonlinear feedback devicesatisfying Popov’s integral inequality for all . The, , , andare uniformly bounded for all , and and for all .*

*Proof. * It is given in Appendix C.

Theorem 9(i) addresses the asymptotic hyperstability for the impulsive-free case whenis strongly positive real since. Theorem 9(ii) considers the same property for the case whenis weakly positive real sinceand, that is, the transfer function is strictly proper so that it is zero at infinity frequency. Lemma 5 leads to the subsequent main result of usefulness in the control impulsive case.

Theorem 10. *Assume that (i.e., there are impulsive controls withbeing the infinity cardinal of a denumerable set) for any set of control impulses of amplitudes satisfying (10). Then, the following properties hold.*(i)*Assume also thatwith . Then, for all with, and the closed-loop system is impulsive asymptotically-hyperstable for any nonlinear feedback devicesatisfying a compatible Popov’s integral inequality for all . As a result, andare uniformly bounded for all for all ,is bounded for, with if(i.e., there are infinitely many control impulsive time instants); andif, that is, if there is a finite number of control impulsive time instants. Also
*(ii)*Assume that, for all and.**Then, Lemma 5 holds and the closed-loop system is asymptotically hyperstable for any nonlinear feedback devicesatisfying Popov’s integral inequality for all . Then, andare uniformly bounded for all, for all ,is bounded for, with if (i.e., there are infinitely many control impulsive time instants); and ,and if (i.e., there is a finite number of control impulsive time instants) or if(i.e., there are infinitely many control impulsive time instants) and as . Also, the boundedness properties (16) for the impulsive contributions still hold.*

*Proof. * It is given in Appendix D.

Note that the constraint (10) invoked in Theorem 10 is guaranteed by amplitude constraints of each impulse atdepending only on input and output values onfor the case of signal-dependent control impulses.

#### 4. Some Extensions Concerning Robustness

Assume that (1) is modified in the presence of state and measurement disturbancesand , of respective Laplace transformsand *,* as follows:
Taking Laplace transforms under zero initial conditions in (17), one gets
whereand are stability matrices with(then also strictly stable biproper ifand strictly proper if), andbeing strictly stable and strictly proper. Now, the results of Sections 2 and 3 can be reformulated for this case with the replacement of the nominal outputby a modified output calculated as follows:
whereis the impulse response of. Define the robust impulsive class and its associated robust impulsive -hyperstability and asymptotic -hyperstability as follows.

*Definition 11. * Any sequence of impulsive gainssubject to the following constraints:
for some given real function, which satisfies, and any, such that, is said to be of the robust impulsive classfor some given and for the support sequence,.

*Definition 12. * The impulsive closed-loop system (17), subject to (2), is said to be robustly impulsive asymptotically-hyperstable (resp., impulsive-hyperstable) if it is globally asymptotically stable (resp., globally stable) for any sequence of impulsive gains of the classfor a given nonzero , a given support sequence, and any control device satisfying an impulsive control compatible Popov integral inequality;.

Now, the asymptotic hyperstability Theorem 10 is directly extended for robust asymptotic hyperstability as follows.

Theorem 13. *Assume that for any set of control impulses of amplitudes satisfying (20). Assume also thatis uniformly bounded for all (it suffices that andbe bounded for all time). Then, the following properties hold.*(i)*Assume also thatwith . Then, for all with , and the closed-loop system is robustly impulsive asymptotically-hyperstable for any nonlinear feedback device satisfying a compatible Popov’s integral inequality for all . As a result, andare uniformly bounded for all for all , is bounded for, with if(i.e., there are infinitely many control impulsive time instants); and if (i.e., there is a finite number of control impulsive time instants). *(ii)*Assume that , for all and.** Then, Lemma 5 holds and the closed-loop system is robustly asymptotically hyperstable for any nonlinear feedback device satisfying Popov’s integral inequality for all . Then, andare uniformly bounded for all, for all , is bounded for , with if (i.e., there are infinitely many control impulsive time instants); and , and if (i.e., there is a finite number of control impulsive time instants) or if (i.e., there are infinitely many control impulsive time instants) and as .*

*Proof (outline). *It is given in Appendix E.

#### 5. Numerical Examples

This section discusses some simulation examples illustrating the theoretical results stated in the previous ones. Two different examples will be provided. The first one corresponds to the impulsive-free case while the second one considers the effect of feedback impulses. The following transfer functions are used: is SPR since it is stable and for . On the other hand, is stable but is not SPR since its relative degree is two. Therefore, is a parallel connection of an SPR and a non-SPR transfer function as discussed in Section 2. In addition, a family of nonlinear feedback functions is given by, where. These nonlinear functions satisfy the integral-type Popov’s constraint specified by (4) since for , and for , implying thatfor anyand all. The next Section 5.1 shows the asymptotic hyperstability of the closed-loop for the SPR transfer functionand for the non-SPR transfer functionin the absence of impulses. The state variables are always defined from the (minimal) canonical controllable state-space realizations of the transfer functions with the first state component being the output. The initial conditions are in all the cases,for the realization of, and,,,for the realization of. We point out that the hyperstability properties of strictly positive real transfer functions are independent of the chosen realization and on the fact that it is minimal or not. Note that, if the realization is nonminimal, it has to be stable and any potential zero-pole cancellations do not modify the frequency plots and then the positive realness properties and minimum gain values.

##### 5.1. Asymptotic Hyperstability in the Impulsive-Free Case

Figures 1 and 2 show the evolution of the state variables of the SPR systemwhen members of the family of nonlinear static feedback devices are used as controllers.

Figures 1–4 confirm the results of Theorem 9(i) guaranteeing the boundedness and convergence to zero of the state, the output and the control signal. Moreover, it can be appreciated in Figures 1–3 that the evolution of the system is very similar for the different considered values of. This similar evolution is obtained at the expense of a different control action for each, as Figure 4 depicts. On the other hand, the following Figures 5, 6, and 7 show the state evolution, the output and the control input for the non-SPR system. The particular value ofhas been used in Figures 5 and 6 since the evolution of the system is very similar for all values of. However, Figure 7 shows the control input for different values ofsince its value varies depending on. Figures 5–7 confirm the results of Theorem 9(ii) guaranteeing the convergence to zero of the state, the output, and the control signal. The next Section 5.2 is devoted to the study of the impulsive control.

##### 5.2. Asymptotic Hyperstability in the Presence of Impulses

A number of impulses are added to the nonlinear feedback controller introduced in Section 5.1. The support sequence is given byand the impulsive gains constant. The impulsive time instants are multiples of 0.2 seconds; this means that the presence of impulses is periodic. The valuehas been used for the sake of simplicity. Figure 8 depicts the evolution of the state variables of the SPR transfer functionwhile Figure 9 shows the output. Finally, Figure 10 illustrates the control input with the impulsive action.

Figures 8–10 confirm the statements of Theorem 10(i) showing the convergence to zero of the state, the output, and the control signal. In addition, these figures explicitly show the presence of impulses in different signals of the system. On the other hand, for the complete system,, we obtain the following Figures 11, 12, 13, and 14 depicting the state evolution, the output, and the control input.

Figures 11–14 illustrate the results compiled in Theorem 10(ii) since they show the convergence of the state, the output and the input to zero. Moreover, it can be appreciated the effect of adding impulses to the control signal by first comparing Figures 3 and 9 and, on the other hand, Figures 6 and 13. It can be deduced that the use of an impulsive controller makes the output to converge to zero faster than when a single continuous-time one is used. This fact highlights how the concept of impulsive asymptotic hyperstability is relevant since it allows ensuring the closed-loop stability for a whole family of nonlinear devices while accelerating the convergence of the output to zero.

#### 6. Conclusions

This paper has studied the problem of asymptotic hyperstability under a regular controller combined with a class of impulsive controls provided that the feed-forward linear- loop is not asymptotically hyperstable, since it has a parallel component subsystem being strictly stable. Asymptotic hyperstability results with robustness extensions have also been discussed. The controller has been assumed to satisfy an integral Popovian-type inequality for all time. Also, examples have been given to illustrate the proposed study.

#### Appendices

#### A. Proof of Lemma 2

The Popovian integral constraints (8)-(9) and Parseval’s theorem while absorbing the delta distribution describing impulses from the time-integral or frequency-integral of the input-output energy measures are used. Then, one gets the following sets of inequalities and equalities by taking into account the use of truncated signals to convert time-integral expressions in frequency ones and vice versa as well as the symmetry of the frequency-response hodographs and : In the same way, and since,, one has

and the proof is complete.

#### B. Proof of Lemma 5

The finite uniform upper-bound of (12) follows from Lemma 2. It is needed to guarantee a positive lower-bound for all nonzero time so that to hold with. This implies that and while it is avoided that (12) can hold with. Thus, it suffices for any given strictly positive bounded function to guarantee (B.1) in the form or, equivalently, so that (12) holds ifif and only if for each

Consider which holds if (10) holds for any, such that, which also implies that (11) holds if.

#### C. Proof of Theorem 9

(i) Ifand , then also as a result, and one has from (B.1) in the proof of Lemma 5 that for any nonzero piecewise continuous control input satisfying Popovian integral inequality the following: The property withfollows from (B.1) in view of (A.1). Sinceis piecewise continuous then it is also bounded for all time. Thus, since the matrixis strictly stable,andare bounded for all time and also , and for anywith the state and output being also uniformly bounded sinceimplies thatfor all so that and then is strictly stable.

(ii) In this case,. One has from the given hypotheses that(1), (2). Direct calculations similar to those performed in the proof of Lemma 2 yield where and are everywhere continuous, nonnegative, and strictly decreasing so that; for all . Thus, for a sufficiently large finiteand for all , is finite and positive for all so that The remaining of the proof follows in the same way as that of property (i).

#### D. Proof of Theorem 10

It follows directly as the proof of Theorem 9 by using Lemma 5 and the guidelines for the proof of Lemma 2 with the following modifications. The control is bounded except at the impulsive time instants while the state and output are uniformly bounded while possessing discontinuities at the impulsive time instants. Furthermore, if , then it is possible to take an initial state after some sufficiently large finite time, which are bounded for any bounded, to conclude that the control, input, and output converge asymptotically to zero as in the impulsive-free case of Theorem 9. To prove that the control, state and output converge to zero as time tends to infinity if with as , note that as ,since as . Then, , as since is strictly stable, and and, since and as , one concludes that Then,, so that there is a limit . Then or it does not exist, which would be contradiction, unless. Then, and, since is strictly stable, and as , on as . Since thenon as. As a result and since,as. The same property follows for the output so thatas, andas, since if, andas, thenso thatassinceis almost everywhere piecewise continuous on its definition domain. It also follows from (12) and (C.3) that so that (11) in Lemma 5 holds, in fact, if and . The boundedness of the state and the output for all time follow directly from that of the input and the strict stability of the feed-forward system. The boundedness properties of the impulsive contributions (16) follow from Lemma 2 and (8)-(9), for both properties (i)-(ii).

#### E. Outline of Proof of Theorem 13

Most of the proof is close to that of Theorem 10. It has to be rearranged as the proof of the validity of (16). One has from (20), the modified property of the boundedness of the input-output energy measure (8) and resulting modified inequalities arising in the proof of Theorem 10 that Then, is bounded since is bounded and The rest of the proof follows “mutatis-mutandis” correspondingly to that of Theorem 10.

#### Acknowledgments

The authors are grateful to the Spanish Government for its support of this research through Grant DPI2012-30651 and to the Basque Government for its support of this research through Grants IT378-10 and SAIOTEK S-PE12UN015. They are also grateful to the University of Basque Country for its financial support through Grant UFI 2011/07. Finally, the authors are very grateful to the reviewers by their useful comments.