On converse Lyapunov theorems for ISS and iISS switched nonlinear systems

In this paper we present converse Lyapunov theorems for ISS and integral input to state stable (iISS) switched nonlinear systems. Their proofs are based on existing converse Lyapunov theorems for input–output to state stable and iISS nonlinear systems, and on the association of the switched system with a nonlinear system with inputs and disturbances that take values in a compact set.     

A converse Lyapunov theorem for discrete-time systems with disturbances

This paper presents a converse Lyapunov theorem for discrete-time systems with disturbances taking values in compact sets. Among several new stability results, it is shown that a smooth Lyapunov function exists for a family of time-varying discrete systems if these systems are robustly globally asymptotically stable.     

A Lyapunov-based small-gain theorem for interconnected switched systems

Stability of an interconnected system consisting of two switched systems is investigated in the scenario where in both switched systems there may exist some subsystems that are not input-to-state stable (non-ISS). We show that, providing the switching signals neither switch too frequently nor activate non-ISS subsystems for too long, a small-gain theorem can be used to conclude global asymptotic stability (GAS) of the interconnected system. For each switched system, with the constraints on the switching signal being modeled by an auxiliary timer, a correspondent hybrid system is defined to enable the construction of a hybrid ISS Lyapunov function. Apart from justifying the ISS property of their corresponding switched systems, these hybrid ISS Lyapunov functions are then combined to establish a Lyapunov-type small-gain condition which guarantees that the interconnected system is globally asymptotically stable.     

Lyapunov and converse Lyapunov theorems for stochastic semistability

This paper develops Lyapunov and converse Lyapunov theorems for stochastic semistable nonlinear dynamical systems. Semistability is the property whereby the solutions of a stochastic dynamical system almost surely converge to (not necessarily isolated) Lyapunov stable in probability equilibrium points determined by the system initial conditions. Specifically, we provide necessary and sufficient Lyapunov conditions for stochastic semistability and show that stochastic semistability implies the existence of a continuous Lyapunov function whose infinitesimal generator decreases along the dynamical system trajectories and is such that the Lyapunov function satisfies inequalities involving the average distance to the set of equilibria.     

Global stabilization for a class of switched nonlinear feedforward systems

The problem of global stabilization for a class of switched nonlinear feedforward systems under arbitrary switchings is investigated in this paper. Based on the integrator forwarding technique and the common Lyapunov function method, we design bounded state feedback controllers of individual subsystems to guarantee asymptotic stability of the closed-loop system. A common coordinate transformation of all subsystems is exploited to avoid individual coordinate transformations for subsystems that are required when applying the forwarding recursive design scheme. An example is provided to demonstrate the effectiveness of the proposed design method.     

Stabilizing controllers design for switched nonlinear systems in strict-feedback form

This paper considers the stabilization problem for a class of switched nonlinear systems under arbitrary switching. Based on the backstepping method and the control Lyapunov function approach, it is shown that, under a simultaneous domination assumption, a switched nonlinear system in strict-feedback form can be globally uniformly asymptotically stabilized by a continuous state feedback controller. A universal formula for constructing stabilizing feedback laws is presented. One example is included for verifying the obtained results.     

H-infinity control for cascade minimum-phase switched nonlinear systems

1Introduction H_∞control theory has become a powerful tool to solverobust stabilization or disturbance attenuation problems.Many results about linear H∞control have appeared,andlinear H∞theory has been generalized to nonlinear systems[1~5].Two major approaches have been used to providesolutions to nonlinear H∞control problems.One is basedon the dissipativity theory and differential games theory[2,6].The other is based on the nonlinear versionofclassical bounded real lemma[3~5].Both of th…     

H-infinity control for cascade minimum-phase switched nonlinear systems

This paper is concerned wi th the H-infinity control problem for a class of cascade switched nonlinear systems.Each switched syste m in this class is composed of a zero-input asymptotically stable nonlinear part,which is also a switched system,and a linearizable part which i s controllable.Conditions under which the H-infinity con trol problem is solvable under arbitrary switching l aw and under some designed switching law are der ived respectively.The nonlinear state feedback and s witching law are designed.We exploit the structural characteristics of the switched nonlinear systems t o construct common Lyapunov functions for arbitrary switching and to find a single Lyapunov function for designed switching law.The proposed methods do not rely on the solutions of Hamilton-Jacobi in equalities.     

New converse Lyapunov theorems and related results on exponential stability

We treat the problem of constructing Lyapunov functions for systems which are, by assumption, exponentially stable. The construction we present results in a larger set of functions than those obtainable by previously known methods. A useful property of the proposed Lyapunov functions is that they preserve information on the rate of exponential convergence of the system. Some useful applications are given. The first author was supported by the US National Science Foundation under Grants MSM-87-06927 and MSS-90-57079. The activities of the second author were performed during a stay at the School of Aeronautics and Astronautics, Purdue University, and were supported by Consiglio Nazionale delle Ricerche, under Grant 203.07.17.     

Output feedback control of switched nonlinear systems using multiple Lyapunov functions

This work presents a hybrid nonlinear control methodology for a broad class of switched nonlinear systems with input constraints. The key feature of the proposed methodology is the integrated synthesis, via multiple Lyapunov functions, of “lower-level” bounded nonlinear feedback controllers together with “upper-level” switching laws that orchestrate the transitions between the constituent modes and their respective controllers. Both the state and output feedback control problems are addressed. Under the assumption of availability of full state measurements, a family of bounded nonlinear state feedback controllers are initially designed to enforce asymptotic stability for the individual closed-loop modes and provide an explicit characterization of the corresponding stability region for each mode. A set of switching laws are then designed to track the evolution of the state and orchestrate switching between the stability regions of the constituent modes in a way that guarantees asymptotic stability of the overall switched closed-loop system. When complete state measurements are unavailable, a family of output feedback controllers are synthesized, using a combination of bounded state feedback controllers, high-gain observers and appropriate saturation filters to enforce asymptotic stability for the individual closed-loop modes and provide an explicit characterization of the corresponding output feedback stability regions in terms of the input constraints and the observer gain. A different set of switching rules, based on the evolution of the state estimates generated by the observers, is designed to orchestrate stabilizing transitions between the output feedback stability regions of the constituent modes. The differences between the state and output feedback switching strategies, and their implications for the switching logic, are discussed and a chemical process example is used to demonstrate the proposed approach.     

Convergence rate of nonlinear switched systems

This paper is concerned with the convergence rate of the solutions of nonlinear switched systems.We first consider a switched system which is asymptotically stable for a class of switching signals but not for all switching signals. We show that solutions corresponding to that class of switching signals converge arbitrarily slowly to the origin.Then we consider analytic switched systems for which a common weak quadratic Lyapunov function exists. Under two different sets of assumptions we provide explicit exponential convergence rates for switching signals with a fixed dwell-time.     

A new Lyapunov design approach for nonlinear systems based on Zubov's method

The present research work proposes a new nonlinear controller synthesis approach that is based on the methodological principles of Lyapunov design. In particular, it relies on a short-horizon model-based prediction and optimization of the rate of “energy dissipation” of the system, as it is realized through the time derivative of an appropriately selected Lyapunov function. The latter is computed by solving Zubov's partial differential equation based on the system's drift vector field. A nonlinear state feedback control law with two adjustable parameters is derived as the solution of an optimization problem that is formulated on the basis of the aforementioned Lyapunov function and closed-loop performance characteristics. A set of system-theoretic properties of the proposed control law are examined as well. Finally, the proposed Lyapunov design method is evaluated in a chemical reactor example which exhibits nonminimum-phase behaviour.     

Stabilization of a class of switched nonlinear systems

The stabilization of a class of switched nonlinear systems is investigated in the paper. The systems concerned are of （generalized） switched Byrnes-Isidori canonical form, which has all switched models in （generalized） Byrnes- Isidori canonical form. First, a stability result of switched systems is obtained. Then it is used to solve the stabilization problem of the switched nonlinear control systems. In addition, necessary and sufficient conditions are obtained for a switched affine nonlinear system to be feedback equivalent to （generalized） switched Byrnes-Isidori canonical systems are presented. Finally, as an application the stability of switched lorenz systems is investigated.     

Stabilization of a class of switched nonlinear systems

The stabilization of a class of switched nonlinear systems is investigated in the paper. The systems con- cerned are of (generalized) switched Byrnes-Isidori canonical form, which has all switched models in (generalized) Byrnes- Isidori canonical form. First, a stability result of switched systems is obtained. Then it is used to solve the stabilization prob- lem of the switched nonlinear control systems. In addition, necessary and sufficient conditions are obtained for a switched affine nonlinear system to be feedback equivalent to (generalized) switched Byrnes-Isidori canonical systems are presented. Finally, as an application the stability of switched lorenz systems is investigated.     

Barrier Lyapunov functions for the output tracking control of constrained nonlinear switched systems

In this paper, we investigate the output tracking control problem of constrained nonlinear switched systems in lower triangular form. First, when all the states are subjected to constraints, we employ a Barrier Lyapunov Function (BLF), which grows to infinity whenever its arguments approach some finite limits, to prevent the states from violating the constraints. Based on the simultaneous domination assumption, we design a continuous feedback controller for the switched system, which guarantees that asymptotic output tracking is achieved without transgression of the constraints and all closed-loop signals remain bounded, provided that the initial states are feasible. Then, we further consider the case of asymmetric time-varying output constraints by constructing an appropriate BLF. Finally, the effectiveness of the proposed results is demonstrated with a numerical example.     

Stabilization of continuous-time switched nonlinear systems

The paper considers three problems for continuous-time nonlinear switched systems. The first result of this paper is a open-loop stabilization strategy based on dwell time computation. The second considers a state switching strategy for global stabilization. The strategy is of closed loop nature (trajectory dependent) and is designed from the solution of what we call nonlinear Lyapunov–Metzler inequalities from which the stability condition is expressed. Finally, results on the stabilization of nonlinear time varying polytopic systems are provided.     

Direct and converse Lyapunov theorems for functional difference systems

New Lyapunov criteria for asymptotic stability and input-to-state stability of infinite dimensional systems described by functional difference equations are provided. Conditions in terms of both Lyapunov–Razumikhin functions defined on Euclidean spaces and of Lyapunov–Krasovskii functionals defined on infinite dimensional spaces are found. For the case of Lyapunov–Krasovskii functionals, necessary and sufficient conditions are provided for the asymptotic stability, in both the local and the global case, and for the input-to-state stability. This is the first time in the literature that converse Lyapunov theorems are provided for the class of nonlinear systems here studied.     

Strict Lyapunov functions for time-varying systems

Uniformly asymptotically stable periodic time-varying systems for which is known a Lyapunov function with a derivative along the trajectories non-positive and negative definite in the state variable on non-empty open intervals of the time are considered. For these systems, strict Lyapunov functions are constructed.