Mathematical Problems in Engineering
Volume 2016 (2016), Article ID 9074096, 10 pages
http://dx.doi.org/10.1155/2016/9074096

Research Article

Nonlinear -Gain Analysis of Hybrid Systems in the Presence of Sliding Modes and Impacts

T. Osuna, O. E. Montano, and Y. Orlov

Department of Electronics and Telecommunications, Center for Scientific Research and Higher Education at Ensenada, Carretera Ensenada-Tijuana No. 3918, Zona Playitas, 22860 Ensenada, BC, Mexico

Received 23 September 2015; Revised 3 December 2015; Accepted 17 December 2015

Academic Editor: Rui Wang

Copyright © 2016 T. Osuna 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.

Abstract.

The -gain analysis is extended towards hybrid mechanical systems, operating under unilateral constraints and admitting both sliding modes and collision phenomena. Sufficient conditions for such a system to be internally asymptotically stable and to possess -gain less than an a priori given disturbance attenuation level are derived in terms of two independent inequalities which are imposed on continuous-time dynamics and on discrete disturbance factor that occurs at the collision time instants. The former inequality may be viewed as the Hamilton-Jacobi inequality for discontinuous vector fields, and it is separately specified beyond and along sliding modes, which occur in the system between collisions. Thus interpreted, the former inequality should impose the desired integral input-to-state stability (iISS) property on the Filippov dynamics between collisions whereas the latter inequality is invoked to ensure that the impact dynamics (when the state trajectory hits the unilateral constraint) are input-to-state stable (ISS). These inequalities, being coupled together, form the constructive procedure, effectiveness of which is supported by the numerical study made for an impacting double integrator, driven by a sliding mode controller. Desired disturbance attenuation level is shown to satisfactorily be achieved under external disturbances during the collision-free phase and in the presence of uncertainties in the transition phase.

1. Introduction

Significant research interest has been devoted to the stability analysis and control synthesis of switched systems subject to input, state, and output constraints. The progress made in the area relied on different tools such as multiple Lyapunov functions [1] and predictive control [2]. More recently, barrier Lyapunov functions (functions which grow to infinity when their arguments approach the domain boundaries) have been involved in the tracking control synthesis of nonlinear switched systems with output constraints [3–6]. Sliding mode control of switched single-input, output-constrained systems has also been brought into play [7]. In addition, robustness of linear switched systems subject to actuator constraints has been studied in [8] in terms of -gain, using the LMI-optimization approach. A piecewise linear control synthesis was developed for switched systems with output constraints in [9], relying again on the LMI-optimization.

Hybrid dynamic systems which are typically governed by a continuous differential equation and a difference equation, where the switch between such equations is defined according to output and/or time constraints, have also attracted a lot of attention due to the wide variety of their applications and due to the need of special analysis tools for this type of system. The interested reader may refer to the relevant works by Goebel et al. [10], Hamed and Grizzle [11], Naldi and Sanfelice [12], and Nešić et al. [13] to name a few. While admitting sliding modes and collision phenomena, hybrid dynamic systems possess nonsmooth solutions and a challenging problem is to extend popular robust technique such as the nonlinear approach [14–16] to this kind of dynamic system.

It is worth noticing that potentially interesting Lyapunov characterizations of iISS of sliding modes [17] and that of impulsive systems [18] were confined to matched disturbances and to state-independent resets, respectively, thus suffering from the absence of the sliding mode analysis under both mismatched disturbances and state-dependent impacts. Recently, it was demonstrated by Castaños and Fridman [19] that the closed-loop system, driven in the sliding mode, is capable of presenting good performance in the presence of unmatched disturbances as well; however, -gain analysis of such systems has not been addressed yet. To avoid this shortcoming, -gain analysis was separately developed for sliding mode systems by Osuna and Orlov [20] and for dynamic systems under unilateral constraints by Montano et al. [21].

The present -gain analysis focuses on sliding mode mechanical systems, operating under unilateral constraints. Throughout, only unilateral constraints of codimension are in play. The general case of multiunilateral constraints, possibly, resulting in ill-posed dynamics [22], calls for further investigation. -gain analysis, which has recently been developed by Orlov and Aguilar [23] towards nonsmooth mechanical applications with hard-to-model friction forces and backlash effects, is now extended in the presence of sliding modes and unilateral constraints.

Provided that the energy of the underlying mechanical system dissipates at the collision time instants when the unilateral constraint is attained, sufficient conditions for a hybrid system to be internally asymptotically stable and to possess -gain less than an a priori given disturbance attenuation level are carried out. These conditions are given in terms of appropriate solvability of a Hamilton-Jacobi partial differential inequality, separately viewed beyond and on the sliding manifold.

The proposed nonsmooth -gain analysis of hybrid mechanical systems in the presence of sliding modes and unilateral constraints constitutes the main contribution of the paper. An essential feature, adding the value to the present investigation, is that not only matched external disturbances (affecting the collision-free motion phase) but also their mismatched and discrete-time counterparts (which particularly occur in the collision phase) are attenuated with the proposed -gain test. In addition, this robustness feature is numerically justified in a benchmark double integrator, driven by a first-order sliding mode controller and impacting against a barrier.

The rest of the paper is outlined as follows. Section 2 presents a hybrid model of interest and its -gain analysis is developed. Capabilities of the proposed analysis are numerically illustrated in Section 3 for an impacting double integrator, driven by a sliding mode controller. Finally, conclusions and potential extensions of this work are presented in Section 4.

1.1. Notation and Preliminaries

The argument is used to denote the right-hand side value of a trajectory at an impact time instant whereas stands for the left-hand side value of the same; by default, is reserved for , thus implying an underlying trajectory to be continuous on the left. A standard notation

is for a Dini derivative of a scalar function , computed in the direction at .

The following notion is due to Clarke [24]. A vector is a supergradient of a scalar function at if there exists some such that

for all in some neighborhood of .

The set of supergradients at is denoted by and is referred to as the superdifferential.

For later use, a technical lemma is extracted from [25, Chapter ].

Lemma 1. Let be an absolutely continuous function of time variable and let be a scalar locally Lipschitz function around . Then, the composite function is absolutely continuous and its time derivative is given by

almost everywhere. Furthermore,

for almost all t and for all supergradients , if any.

2. The Generic -Gain Analysis

Given a scalar unilateral constraint , consider a nonlinear system, evolving within the above constraint, which is governed by continuous dynamics of the form

beyond the surface when the constraint is inactive and by the algebraic relations

at a priori unknown collision time instants , , when the system trajectory hits the surface .

In the above relations, represents the state vector with components and ; and collect exogenous signals affecting the motion of the system (external forces, including impulsive ones, as well as model imperfections); the output variables and are responsible for the performance of the system.

Clearly, system (5)–(8) governs a wide class of mechanical systems with impacts and it is an affine system of the -vector relative degree with respect to the disturbance vector provided that and ; for the sake of generality, is admitted to take nonzero values. If interpreted in terms of mechanical systems, (5) describes the continuous dynamics before the underlying system hits the reset surface , depending on the position only, whilst the restitution law, given by (7), is a physical law for the instantaneous change of the velocity when the resetting surface is hit. Thus, the position is not instantaneously changed at the collision time instants whereas the postimpact velocity is a function of both the preimpact state and a discrete perturbation accounting for inadequacies of the restitution law.

Throughout, the matrix functions , , , , , and are of appropriate dimensions, which are continuously differentiable in their arguments, whereas the vector-function is piecewise continuously differentiable only. In addition, the origin is assumed to be an equilibrium of the unforced system (5)–(8), and , and .

For convenience of the reader, recall that the function is piecewise (locally Lipschitz) continuous if and only if   is partitioned into a finite number of domains , , with disjoint interiors and boundaries of measure zero such that is (locally Lipschitz) continuous within each of these domains and for all it has a finite limit as the argument approaches a boundary point .

As a matter of fact, the continuous dynamics (5) can be rewritten in the form

whereas the restitution rule admits the representation

with , , , , and .

The precise meaning of the differential equation

with a piecewise continuous right-hand side, is throughout defined in the sense of Filippov. For convenience of the reader, the following definition is recalled from Filippov [26].

Definition 2. Given the differential equation (11), let one introduce for each point the smallest convex closed set which contains all the limit points of as , and . An absolutely continuous function is said to be a solution of (11) if it satisfies the differential inclusion

Note that the extension of the Filippov solution concept to the perturbed differential equation (9) is straightforward.

At any continuity point of the function the Filippov set consists of the only point , and the Filippov solution satisfies (11) in the conventional sense. If the function undergoes discontinuities on a smooth surface , governed by a scalar equation , then the discontinuity set separates space into domains and , and the Filippov set is a linear segment joining the endpoints of the vectors

According to Definition 2, a sliding mode on the discontinuity set , if any, is governed by

where the intersection of the Filippov segment and the plane , tangential to , determines the endpoint of the vector . Analytically, this vector is expressed in the form

where

is found from the condition

where the velocity vector (15) is in the plane , tangential to . To summarize, the relations

are derived to determine the functions and .

Our objective is to develop -gain analysis of the hybrid system (9) with the restitution rule (10) on the unilateral constraint surface and with the performance output, specified by (6), (8). The analysis to be developed is made under the following assumptions, imposed on the underlying system:

(A1)The functions and are locally Lipschitz continuous whereas is piecewise locally Lipschitz continuous.(A2) The origin is assumed to be an equilibrium of the unforced system (11), and , and .(A3) The function undergoes discontinuities on a smooth surface , governed by the scalar equation

We are now in position to introduce -gain concept for the underlying discontinuous system (5)–(8), equivalently represented in the generic form (9), (10).

Definition 3. Given a real number , referred to as a disturbance attenuation level, it is said that the generic system (9), (10) locally possesses -gain less than with respect to outputs (6), (8) if the inequality

holds for some positive definite functions , , for all segments and natural such that , for all piecewise continuous disturbances and discrete ones ,  , for which the state trajectory of the underlying system starting from an initial point remains in some neighborhood of the origin for all .

It is worth noticing that the above -gain definition is consistent with the notion of dissipativity, introduced by Willems [27] and Hill and Moylan [28], and with iISS notion, Hespanha et al. [18], and it represents a natural extension to hybrid systems (see, e.g., the works by Nešić et al. [29], Yuliar et al. [30], Lin and Byrnes [31], and Baras and James [32]). In order to facilitate the exposition, the underlying system, chosen for treatment, has been prespecified with the postimpact velocity value in the discrete output (8). The general case of a certain function of the postimpact velocity value in the discrete output (8) can be treated in a similar manner because -gain inequality (21) is flexible in the choice of positive definite functions , .

2.1. Hamilton-Jacobi Inequality and Its Proximal Solutions

The Hamilton-Jacobi inequality

with some positive and some positive definite function is introduced in a standard manner within the continuity regions and (i.e., outside the discontinuity surface ) whereas on the discontinuity surface (20), inequality (22) is specified according to (15) with

In other words, the Hamilton-Jacobi inequality, if confined to the discontinuity surface (20), takes the form

Definition 4. A locally Lipschitz continuous function is said to be a (local) proximal solution of the partial differential inequality (22), specified on the discontinuity manifold (23) according to (15) if and only if its proximal superdifferential is everywhere nonempty and (22) holds with beyond the discontinuity surface (20) (locally around the origin) for all proximal supergradients whereas the sliding mode Hamilton-Jacobi inequality (24) is satisfied on the discontinuity surface (20) (locally around the origin) for all .

The interested reader may refer to Clarke [24] for the proximal superdifferential concept for continuous vector fields.

Let be a ball of radius , centered around the origin. Given , -gain analysis of the hybrid system (9), (10) with respect to outputs (6), (8) is made under the hypotheses, specified below in a domain of interest:

(H1) The norm of the matrix function is upper bounded by ; that is,

(H2)The Hamilton-Jacobi inequality, given by (22) beyond the discontinuity surface (20) and specified with (15) and (23) along this surface, possesses a local positive definite proximal (Lipschitz continuous!) solution under some positive and some positive definite function .(H3) Hypothesis (H2) is satisfied with the function which decreases along the direction in the sense that the inequality

 holds in the domain of .

The following result is in force.

Theorem 5. Consider the hybrid system (6), (8), (9), and (10) with Assumptions (A1)–(A3). Given , suppose that Hypotheses (H1) and (H2) are satisfied for the system in a domain with a function . Then, the hybrid system (9), (10) locally possesses -gain less than with respect to outputs (6), (8). Once Hypothesis (H3) is satisfied as well, the asymptotic stability of the disturbance-free version of the hybrid system (9), (10) is additionally guaranteed.

2.2. Proof of Theorem 5

The proof of Theorem 5 is preceded with an instrumental lemma which extends the powerful Lyapunov approach to impact systems. The following result specifies [33, Theorem 2.4] to the present case with and .

Lemma 6. Consider the unforced disturbance-free , ,   system (9), (10) with the assumptions above. Let there exist a positive definite function such that its time derivative, computed along (9), is negative definite whereas for all . Then, the system is asymptotically stable.

Proof of Theorem 5. The proof is rather technical and it follows the standard arguments of the nonlinear -gain analysis of Isidori and Astolfi [15] and Van Der Schaft [16], recently extended in Osuna and Orlov [20] to discontinuous (Filippov) vector fields and Montano et al. [21] to dynamic systems, operating under unilateral constraints. It is clear that Lemma 1 is applicable both to a proximal solution of the Hamilton-Jacobi inequality (22), viewed on the solutions of the disturbance-free system (11) beyond the discontinuity manifold (20), and to that of (24), viewed on the solutions of the disturbance-free system (14) when along the discontinuity manifold (20). Then, relations (3), (4), (22), and (24), coupled together, result in

With (27) in mind, Hypotheses (H2) and (H3) ensure that Lemma 6 is applicable to the disturbance-free version of the hybrid system (9), (10), which is thus shown to be asymptotically stable.
It remains to demonstrate that the disturbed system (9), (10) locally possesses -gain less than with respect to outputs (6), (8). For this purpose, let us first focus on the system dynamics beyond the discontinuity manifold (20) and let us introduce the multivalued function

where . Clearly, the multivalued function (28) is quadratic in . Then,

for and

Expanding the quadratic function in Taylor series, we derive that

where due to (22). Hence,

and employing (28) and (31) we arrive at

By applying Lemma 1 and taking (33) into account, a time derivative estimate of the solution of the Hamilton-Jacobi inequality (22) on the trajectories of (9) between the collision time instants is given as

Following the same line of reasoning, estimate (34) is additionally verified for the system dynamics along the discontinuity manifold (20) with subject to (30), now specified with , where is given by (19).
By integrating (34) between the collision time instants and ,  , it follows that

Skipping positive terms in the right-hand side of (35) yields

Since the function is Lipschitz continuous by Hypothesis (H2), the relation

holds true with being Lipschitz constant of in the domain . Relations (36) and (37), coupled together, ensure the inequality

in the domain . Apart from this, inequality

is ensured by Hypothesis (H1). Thus, combining (38) and (39), one derives

that is, the disturbance attenuation inequality (21) is established with the positive definite functions

Theorem 5 is thus proved.

While proving Theorem 5, it is established that the proximal solution of the Hamilton-Jacobi inequality represents a Lyapunov function of the undisturbed system. Once the plant equations are linear, a Lyapunov function can be sought in the quadratic form, and its specific expression is obtained by solving the corresponding Hamilton-Jacobi inequality (22). This is however not generally true, and for switched systems, absolute-value functions become useful in combination with quadratic ones. Such a combined Lyapunov function is further utilized to tune sliding mode controller gains while regulating a double integrator to the impact surface.

3. A Case Study: Impacting Double Integrator Driven by Sliding Mode Controller

3.1. Model of the Plant

To support our theoretical results, system (9), (10) is specified in the state space with

where and are the parameters of the switched input ; is the restitution uncertainty factor. The above system represents a controlled double integrator, operating under unilateral constraint with a restitution parameter that can readily be interpreted in terms of dimensionless impacting double integrator (to numerically be studied in Section 3.4) where stands for a position deviation and is for its velocity. Both a piecewise continuous unmatched disturbance and a matched disturbance of the same class affect the system. It is well known that, in the unconstrained case, the control input imposes disturbance-independent sliding motions on system (9) thus specified to slide along the linear surface , provided that only matched disturbances are admitted with an upper bound on their magnitude not exceeding the control gain .

The aim of this section is to demonstrate that the so-called first-order sliding mode controller , while driving the above system, is capable of not only rejecting matched uniformly bounded disturbances, but also attenuating restitution uncertainties and unbounded disturbances, including mismatched ones. For this purpose, the continuous-time output (6) is further specified to consist of the position deviation and the sliding variable , thus taking the form

whereas the discrete output (8) remains the same. To summarize, the underlying continuous-time system is represented as follows:

and it is driven by

where the switching surface is governed by

Once the reset surface is achieved, the instantaneous state transition is given by

whereas the discrete output is

It is well known [34] that the collision-free system (47), (48) is globally asymptotically stable with the state-dependent controller gain whenever (no unmatched disturbances affect the system) and .

3.2. Verification of Hypotheses

3.2.1. Verification of Hypothesis (H1)

Given , relation (25) is straightforwardly verified. Thus, under a fixed restitution uncertainty factor , Hypothesis (H1) imposes a lower estimate on an admissible disturbance attenuation level. Since the system in question is not capable of counteracting impact dynamics instantaneously such an attenuation level cannot be made arbitrarily small and its estimate relies on the uncertainty factor at the collision instants. The smaller the uncertainty factor is during the collisions, the better the collision uncertainty is attenuated.

3.2.2. Verification of Hypothesis (H2) with the Hamilton-Jacobi Inequality beyond the Switching Surface

Let us first demonstrate that beyond the switching manifold (49) the positive definite function

satisfies the Hamilton-Jacobi inequality (22). Indeed, substituting (44)–(46), (52) into the left-hand side of (22), one has

where the Hamiltonian stands for the left-hand side of the Hamilton-Jacobi inequality (22). Then, taking into account the fact that and using straightforward manipulations, involving the well-known inequality , it follows that

Within the ball

of radius , inequality (54) is simplified to

where

So, the Hamiltonian proves to be negative definite within ball (55) provided that the controller gain is chosen according to

Thus, under condition (58), the Hamilton-Jacobi inequality (22) is shown to hold outside the switching surface (49), locally within the region .

3.2.3. Verification of Hypothesis (H2) with the Hamilton-Jacobi Inequality on the Switching Surface

The sliding mode equation, governing the system dynamics on the switching surface (49), is obtained by applying the equivalent control method. Thus, if confined to the switching manifold (49), the double integrator (47) reduces to the first-order system

and its output (46) is then specified to

In turn, the positive definite function (52) on the sliding modes is simplified to

Let us now demonstrate that the Hamilton-Jacobi inequality (24), while being specified for the sliding mode equation (59), is solved with the positive definite function (61). By substituting (61) into the Hamilton-Jacobi inequality (24), thus specified, one derives

provided the surface parameter is chosen according to

The validity of the Hamilton-Jacobi inequality (24) is thus straightforwardly verified on the switching surface (49) subject to parameter choice (63).

3.2.4. Verification of Hypothesis (H3)

For the Lyapunov function (52) and function , given by (43), condition (26) of Hypothesis (H3) is specified to . Since the restitution parameter the validity of this hypothesis is thus guaranteed.

3.3. -Gain Analysis of the Overall System

Due to derivations of Sections 3.2.1–3.2.4, Theorem 5 becomes applicable to the impacting double integrator (46)–(51). By applying Theorem 5, the following result is established.

Theorem 7. Given arbitrary and radius , let the sliding mode controller parameters and be chosen to ensure that inequalities (58) and (63) are satisfied. Then the disturbance-free system (47)–(50) with and is asymptotically stable and its perturbed version possesses -gain less than with respect to outputs (46), (51) locally within the ball of radius .

It is important to remark that tuning of the controller synthesis in the form (48) is greatly simplified for second-order systems once the disturbance gains and and the region of interest are a priori fixed. This simplicity can be conserved for a system with several degrees of freedom, if there exists a prefeedback control input such that the original stabilization problem is decoupled to the stabilization of several double integrators, controlled independently. An example of such a decoupling technique applied to the finite-time stabilization of an underactuated biped robot is found in [35]; however, such a generalization is beyond the scope of the present investigation. For systems with many degrees of freedom, the verification of Hypothesis (H3) does not appear to be straightforward, and online adaptation of the reference trajectory is in order to enforce this hypothesis [36].

3.4. Numerical Performance Analysis

The performance of the hybrid system (47)–(50) is numerically tested under the parameter values in the presence of the unmatched and matched disturbances

In the simulation runs, the initial conditions were set to and , and the numerical study was confined to the ball of radius . Specifying the desired attenuation level with , and the controller parameter , thus complying with (63), the auxiliary variables (57) are found, , , and . Therefore, by setting the controller parameter , all the conditions of Theorem 7 were satisfied.

Figure 1 illustrates the asymptotic stability of the disturbance-free system (). With the preselected initial conditions, there appears to be just one impact approximately at  s, which corresponds to the vertical line in plot, and then the trajectory attains the sliding surface approximately at  s and stays there forever. While the sliding variable remains at its zero value, the trajectory approaches the origin asymptotically, as predicted by the theory.

Figure 1: Dynamics of the undisturbed closed-loop system.

The system behavior when affected by both matched and unmatched disturbances, including uncertainties in the restitution law, is illustrated in Figure 2. It is observed that the sliding motion along the surface is no longer in force due to the presence of the unmatched disturbances. Although the disturbed trajectory does not escape to zero anymore, the state variables remain bounded and small, so that good performance is presented despite the disturbances, also causing additional impacts. The desired disturbance attenuation is thus concluded from Figure 2.

Figure 2: Dynamics of the closed-loop system affected by unmatched and matched disturbances (64).

In order to illustrate the advantages of the proposed design on the disturbance attenuation in the closed-loop system, the obtained results were compared against a controller (48), (49) with a choice of and such that inequalities (58) and (63) are not satisfied anymore. The comparison results are presented in Figures 3 and 4, clearly showing that the performance of the closed-loop system is greatly improved once the controller parameters are properly tuned in accordance with Theorem 7.

Figure 3: Comparison of the position errors of the closed-loop system using different values of and , affected by unmatched and matched disturbances (64).

Figure 4: Comparison of norms of the closed-loop system using different values of and , affected by unmatched and matched disturbances (64).

4. Conclusion

In this paper, -gain analysis is developed for hybrid mechanical systems, admitting sliding modes and collision phenomena. Sufficient conditions for such a hybrid system to be internally asymptotically stable and to possess -gain less than an a priori given disturbance attenuation level are carried out beyond and on the sliding manifold. The resulting conditions are properly unified in terms of appropriate solvability of a Hamilton-Jacobi partial differential inequality. Effectiveness of the proposed analysis is illustrated in the numerical study of an impacting double integrator, driven by a sliding mode controller. It is shown that the desired disturbance attenuation level is satisfactorily achieved in the presence of external disturbances and impact uncertainties.

Bipedal robots constitute a popular benchmark of mechanical systems operating under unilateral constraints where a desired orbit to follow between impacts should be attained at a sufficiently rapid rate before the next contact occurs between the swing leg and the ground [37]. Since bipedal robots represent complex mechanical systems with many degrees of freedom, flexibility instants, and ill-identified physical parameters such as inertia moments, masses, frictions, and velocity restitution coefficients (see [38]), robust control of a bipedal robot remains an active research area. A potentially interesting application of the present results to bipedal robots is among challenging problems, calling for further investigation.

Conflict of Interests

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

Acknowledgment

The authors acknowledge the financial support of CONACYT Grant no. 165958.

References

N. H. El-Farra, P. Mhaskar, and P. D. Christofides, “Output feedback control of switched nonlinear systems using multiple lyapunov functions,” Systems & Control Letters, vol. 54, no. 12, pp. 1163–1182, 2005.

P. Mhaskar, N. H. El-Farra, and P. D. Christofides, “Stabilization of nonlinear systems with state and control constraints using Lyapunov-based predictive control,” Systems & Control Letters, vol. 55, no. 8, pp. 650–659, 2006.

Y. Li, T. Li, and X. Jing, “Indirect adaptive fuzzy control for input and output constrained nonlinear systems using a barrier Lyapunov function,” International Journal of Adaptive Control and Signal Processing, vol. 28, no. 2, pp. 184–199, 2014.

B. Niu and J. Zhao, “Barrier lyapunov functions for the output tracking control of constrained nonlinear switched systems,” Systems & Control Letters, vol. 62, no. 10, pp. 963–971, 2013.

B. Niu and J. Zhao, “Tracking control for output-constrained nonlinear switched systems with a barrier Lyapunov function,” International Journal of Systems Science, vol. 44, no. 5, pp. 978–985, 2013.

Q. Su, M. Wang, G. M. Dimirovski, X. Dong, and J. Zhao, “Tracking of output-constrained switched nonlinear systems in strict-feedback form,” in Proceedings of the 31st Chinese Control Conference (CCC 2012), pp. 367–372, Hefei, China, July 2012.

H. Richter, “A multi-regulator sliding mode control strategy for output-constrained systems,” Automatica, vol. 47, no. 10, pp. 2251–2259, 2011.

X. Zhang, J. Zhao, and G. M. Dimirovski, “-gain analysis and control synthesis of uncertain switched linear systems subject to actuator saturation,” International Journal of Systems Science, vol. 43, no. 4, pp. 731–740, 2012.

L. Rodrigues and E.-K. Boukas, “Piecewise-linear controller synthesis with applications to inventory control of switched production systems,” Automatica, vol. 42, no. 8, pp. 1245–1254, 2006.

R. Goebel, R. G. Sanfelice, and A. R. Teel, “Hybrid dynamical systems,” IEEE Control Systems Magazine, vol. 29, no. 2, pp. 28–93, 2009.

K. A. Hamed and J. W. Grizzle, “Robust event-based stabilization of periodic orbits for hybrid systems: application to an underactuated 3D bipedal robot,” in Proceedings of the 1st American Control Conference (ACC '13), pp. 6206–6212, Washington, DC, USA, June 2013.

R. Naldi and R. G. Sanfelice, “Passivity-based control for hybrid systems with applications to mechanical systems exhibiting impacts,” Automatica, vol. 49, no. 5, pp. 1104–1116, 2013.

D. Nešić, A. R. Teel, G. Valmorbida, and L. Zaccarian, “Finite-gain stability for hybrid dynamical systems,” Automatica, vol. 49, no. 8, pp. 2384–2396, 2013.

T. Basar and P. Bernhard, H∞-Optimal Control and Related Minimax Design Problems: A Dynamic Game Approach, Modern Birkhäuser Classics, Birkhäuser, Basel, Switzerland, 1995.

A. Isidori and A. Astolfi, “Disturbance attenuation and -control via measurement feedback in nonlinear systems,” IEEE Transactions on Automatic Control, vol. 37, no. 9, pp. 1283–1293, 1992.

A. J. Van Der Schaft, “On a state space approach to nonlinear control,” Systems & Control Letters, vol. 16, no. 1, pp. 1–8, 1991.

E. Bernuau, D. Efimov, W. Perruquetti, and A. Polyakov, “On homogeneity and its application in sliding mode control,” Journal of the Franklin Institute, vol. 351, no. 4, pp. 1866–1901, 2014.

J. P. Hespanha, D. Liberzon, and A. R. Teel, “Lyapunov conditions for input-to-state stability of impulsive systems,” Automatica, vol. 44, no. 11, pp. 2735–2744, 2008.

F. Castaños and L. Fridman, “Dynamic switching surfaces for output sliding mode control: an H∞ approach,” Automatica, vol. 47, no. 9, pp. 1957–1961, 2011.

T. Osuna and Y. Orlov, “-gain analysis of sliding mode controllers,” in Proceedings of the 13th International Workshop on Variable Structure Systems (VSS '14), pp. 1–6, IEEE, Nantes, France, June-July 2014.

O. Montano, Y. Orlov, and Y. Aoustin, “Nonlinear output feedback H ∞-control of mechanical systems under unilateral constraints,” in Proceedings of the 1st IFAC Conference on Modelling, Identification and Control of Nonlinear Systems, pp. 284–289, Saint Petersburg, Russia, June 2015.

B. Brogliato, Nonsmooth Mechanics: Models, Dynamics and Control, Springer, New York, NY, USA, 1999.

Y. Orlov and L. Aguilar, Advanced H∞ Control-Towards Nonsmooth Theory and Applications, Birkhäuser, 2014.

F. H. Clarke, Optimization and Nonsmooth Analysis, vol. 5, SIAM, 1990.

Y. Orlov, Discontinuous Systems-Lyapunov Analysis and Robust Synthesis Under Uncertainty Conditions, Springer, New York, NY, USA, 2009.

A. Filippov, “Differential equations with discontinuous right-hand side,” Matematicheskii Sbornik, vol. 93, no. 1, pp. 99–128, 1960.

J. C. Willems, “Dissipative dynamical systems part I: general theory,” Archive for Rational Mechanics and Analysis, vol. 45, no. 5, pp. 321–351, 1972.

D. J. Hill and P. J. Moylan, “Connections between finite-gain and asymptotic stability,” IEEE Transactions on Automatic Control, vol. 25, no. 5, pp. 931–936, 1980.

D. Nešić, L. Zaccarian, and A. R. Teel, “Stability properties of reset systems,” Automatica, vol. 44, no. 8, pp. 2019–2026, 2008.

S. Yuliar, M. R. James, and J. W. Helton, “Dissipative control systems synthesis with full state feedback,” Mathematics of Control, Signals and Systems, vol. 11, no. 4, pp. 335–356, 1998.

W. Lin and C. I. Byrnes, “-control of discrete-time nonlinear systems,” IEEE Transactions on Automatic Control, vol. 41, no. 4, pp. 494–510, 1996.

J. S. Baras and M. R. James, “Robust output feedback control for discrete-time nonlinear systems: the finite-time case,” in Proceedings of the 32nd IEEE Conference on Decision and Control, pp. 51–55, IEEE, December 1993.

W. M. Haddad, V. Chellaboina, and S. G. Nersesov, Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control, Princeton University Press, 2006.

V. Utkin, Sliding Modes in Optimization and Control Problems, Springer, New York, NY, USA, 1992.

Y. Aoustin, C. Chevallereau, and Y. Orlov, “Finite time stabilization of a perturbed double integrator—part II: applications to bipedal locomotion,” in Proceedings of the 49th IEEE Conference on Decision and Control (CDC '10), pp. 3554–3559, Atlanta, Ga, USA, December 2010.

A. A. Grishin, A. M. Formal'sky, A. V. Lensky, and S. V. Zhitomirsky, “Dynamic walking of a vehicle with two telescopic legs controlled by two drives,” The International Journal of Robotics Research, vol. 13, no. 2, pp. 137–147, 1994.

B. Morris and J. W. Grizzle, “A restricted poincaré map for determining exponentially stable periodic orbits in systems with impulse effects: application to bipedal robots,” in Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference (CDC-ECC '05), pp. 4199–4206, Seville, Spain, December 2005.

O. Montano, Y. Orlov, and Y. Aoustin, “Nonlinear state feedback -control of mechanical systems under unilateral constraints,” in Proceedings of the 19th World Congress of the International Federation of Automatic Control, pp. 3833–3838, Cape Town, South Africa, August 2014.