Semi-global practical asymptotic stability and averaging

We prove a generalized Liapunov theorem which guarantees practical asymptotic stability. Based on this theorem, we show that if the averaged system corresponding to is globally asymptotically stable then, starting from an arbitrarily large set of initial conditions, the trajectories of converge uniformly to an arbitrarily small residual set around the origin when >0 is taken sufficiently small. In other words, the origin is semi-globally practically 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.     

Distance‐based undirected formations of single‐integrator and double‐integrator modeled agents in n‐dimensional space

We study the local asymptotic stability of undirected formations of single‐integrator and double‐integrator modeled agents based on interagent distance control. First, we show that n‐dimensional undirected formations of single‐integrator modeled agents are locally asymptotically stable under a gradient control law. The stability analysis in this paper reveals that the local asymptotic stability does not require the infinitesimal rigidity of the formations. Second, on the basis of the topological equivalence of a dissipative Hamiltonian system and a gradient system, we show that the local asymptotic stability of undirected formations of double‐integrator modeled agents in n‐dimensional space is achieved under a gradient‐like control law. Simulation results support the validity of the stability analysis. Copyright © 2013 John Wiley & Sons, Ltd.     

A new Lyapunov function for stability of time-varying nonlinear perturbed systems

In this paper, global and local uniform asymptotic stability of perturbed dynamical systems is studied by using Lyapunov techniques. The restriction about the perturbed term is that the perturbation is bounded by an integrable function under the assumption that the nominal system is globally uniformly asymptotically stable. We use a new Lyapunov function to obtain a global uniform asymptotical stability of some perturbed systems.     

Global uniform asymptotical stability of a class of nonlinear cascaded systems with application to a nonholonomic wheeled mobile robot

In this article, we consider the stability analysis problem for a class of nonlinear cascaded systems by using homogeneous properties. Assume that the driving subsystem and the driven subsystem are both homogeneous and locally uniformly asymptotically stable. If the cascaded term satisfies a given inequality, then the cascaded system is globally uniformly asymptotically stable. Furthermore, in the case that both degrees of homogeneity are negative, the cascaded system is globally uniformly finite-time stable. Compared with the existing methods, the conditions given in this article are much easier to verify. These stability results are applied to the global tracking control problem of a nonholonomic wheeled mobile robot. Simulation results are provided to show the effectiveness of the methods.     

A topological obstruction to continuous global stabilization of rotational motion and the unwinding phenomenon

We show that a continuous dynamical system on a state space that has the structure of a vector bundle on a compact manifold possesses no globally asymptotically stable equilibrium. This result is directly applicable to mechanical systems having rotational degrees of freedom. In particular, the result applies to the attitude motion of a rigid body. In light of this result, we explain how attitude stabilizing controllers obtained using local coordinates lead to unwinding instead of global asymptotic stability.     

Input-to-state stability of networked control systems

A new class of Lyapunov uniformly globally asymptotically stable (UGAS) protocols in networked control systems (NCS) is considered. It is shown that if the controller is designed without taking into account the network so that it yields input-to-state stability (ISS) with respect to external disturbances (not necessarily with respect to the error that will come from the network implementation), then the same controller will achieve semi-global practical ISS for the NCS when implemented via the network with a Lyapunov UGAS protocol. Moreover, the ISS gain is preserved. The adjustable parameter with respect to which semi-global practical ISS is achieved is the maximal allowable transfer interval (MATI) between transmission times.     

Connection between cooperative positive systems and integral input-to-state stability of large-scale systems

We consider a class of continuous-time cooperative systems evolving on the positive orthant . We show that if the origin is globally attractive, then it is also globally stable and, furthermore, there exists an unbounded invariant manifold where trajectories strictly decay. This leads to a small-gain-type condition which is sufficient for global asymptotic stability (GAS) of the origin.We establish the following connection to large-scale interconnections of (integral) input-to-state stable (ISS) subsystems: If the cooperative system is (integral) ISS, and arises as a comparison system associated with a large-scale interconnection of (i)ISS systems, then the composite nominal system is also (i)ISS. We provide a criterion in terms of a Lyapunov function for (integral) input-to-state stability of the comparison system. Furthermore, we show that if a small-gain condition holds then the classes of systems participating in the large-scale interconnection are restricted in the sense that certain iISS systems cannot occur. Moreover, this small-gain condition is essentially the same as the one obtained previously by [Dashkovskiy et?al., 2007] and Dashkovskiy et al., in press for large-scale interconnections of ISS systems.     

Local ISS of large-scale interconnections and estimates for stability regions

We consider interconnections of locally input-to-state stable (LISS) systems. The class of LISS systems is quite large, in particular it contains input-to-state stable (ISS) and integral input-to-state stable (iISS) systems.Local small-gain conditions both for LISS trajectory and Lyapunov formulations guaranteeing LISS of the composite system are provided in this paper. Notably, estimates for the resulting stability region of the composite system are also given. This in particular provides an advantage over the linearization approach, as will be discussed.     

Kalman滤波的局部渐近稳定性和渐近最优性*

本文用现代时间序列分析方法和非递推状态估计理论，对完全可观、非完全可控系统，提出了稳态Ｋａｌｍａｎ预报器局部渐近稳定性和最优性概念，揭示了两者的关系；证明了这类系统的Ｋａｌｍａｎ预报器总是局部渐近最优和渐近稳定的；提出了构造最大局部渐近最优域的新方法，并给出了几何解释，推广和发展了经典Ｋａｌｍａｎ滤波稳定性理论，一个算例及其仿真结果说明了所提出的结果的有效性。     

Fast diffeomorphic matching to learn globally asymptotically stable nonlinear dynamical systems

We propose a new diffeomorphic matching algorithm and use it to learn nonlinear dynamical systems with the guarantee that the learned systems have global asymptotic stability. For a given set of demonstration trajectories, and a reference globally asymptotically stable time-invariant system, we compute a diffeomorphism that maps forward orbits of the reference system onto the demonstrations. The same diffeomorphism deforms the whole reference system into one that reproduces the demonstrations, and is still globally asymptotically stable.     

On the topological structure of attraction basins for differential inclusions

We show that when a compact set is globally asymptotically stable under the action of a differential inclusion satisfying certain regularity properties, there exists a smooth differential equation rendering the same compact set globally asymptotically stable. The regularity properties assumed in this work stem from the consideration of Krasovskii/Filippov solutions to discontinuous differential equations and the robustness of asymptotic stability under perturbation. In particular, the results in this work show that when a compact set cannot be globally asymptotically stabilized by continuous feedback due to topological obstructions, it cannot be robustly globally asymptotically stabilized by discontinuous feedback either. The results follow from converse Lyapunov theory and parallel what is known for the local stabilization problem.     

Further results on strict Lyapunov functions for rapidly time-varying nonlinear systems

We explicitly construct global strict Lyapunov functions for rapidly time-varying nonlinear control systems. The Lyapunov functions we construct are expressed in terms of oftentimes more readily available Lyapunov functions for the limiting dynamics which we assume are uniformly globally asymptotically stable. This leads to new sufficient conditions for uniform global exponential, uniform global asymptotic, and input-to-state stability of fast time-varying dynamics. We also construct strict Lyapunov functions for our systems using a strictification approach. We illustrate our results using several examples.     

Stabilization of a nonlinear jump system

In this paper we consider the problem of output feedback stabilization of a general nonlinear jump system. We shall show that the combination of a locally asymptotically stabilizing state feedback law and a local asymptotic observer yields a locally asymptotically stabilizing output feedback controller. Hence, the local separation principle holds for the nonlinear jump system. This result can be applied to nonlinear sampled-data systems.     

On emulated nonlinear reduced-order observers for networked control systems

We consider a general class of nonlinear reduced-order observers and show that the global asymptotic convergence of the observation error in the absence of network-induced constraints is maintained for the emulated observer semiglobally and practically (with respect to the maximum allowable transmission interval) when system measurements are sent through a communication channel. Networks governed by a Lyapunov uniformly globally asymptotically stable protocol are investigated. Our results can be used to synthesize various observers for networked control systems for a range of network configurations, as we illustrate it by considering classes of immersion and invariance observers which include the circle-criterion observers.     

Parameter estimation and compensation in systems with nonlinearly parameterized perturbations

We consider a class of systems influenced by perturbations that are nonlinearly parameterized by unknown constant parameters, and develop a method for estimating the unknown parameters. The method applies to systems where the states are available for measurement, and perturbations with the property that an exponentially stable estimate of the unknown parameters can be obtained if the whole perturbation is known. The main contribution is to introduce a conceptually simple, modular design that gives freedom to the designer in accomplishing the main task, which is to construct an update law to asymptotically invert a nonlinear equation. Compensation for the perturbations in the system equations is considered for a class of systems with uniformly globally bounded solutions, for which the origin is uniformly globally asymptotically stable when no perturbations are present. We also consider the case when the parameters can only be estimated when the controlled state is bounded away from the origin, and show that we may still be able to achieve convergence of the controlled state. We illustrate the method through examples, and apply it to the problem of downhole pressure estimation during oil well drilling.     

On global uniform asymptotic stability of nonlinear time-varying systems in cascade

In this short paper we deal with the stability analysis problem of nonautonomous nonlinear systems in cascade. In particular, we give sufficient conditions to guarantee that (i) a globally uniformly stable (GUS) nonlinear time-varying (NLTV) system remains GUS when it is perturbed by the output of a globally uniformly asymptotically stable (GUAS) NLTV system, under the assumption that the perturbing signal is absolutely integrable; (ii) if in addition the perturbed system is GUAS, it remains GUAS under the cascaded interconnection; (iii) two GUAS systems yield a GUAS cascaded system, under some growth restrictions over the Lyapunov function. Our proofs rely on the second method of Lyapunov, roughly speaking on a “δ- stability analysis”.     

Formation control of mobile agents based on inter-agent distance dynamics

We propose a novel formation control strategy based on inter-agent distances for single-integrator modeled agents in the plane. Attempting to directly control the inter-agent distances, we derive a control law from the distance dynamics. The proposed control law achieves the local asymptotic stability of infinitesimally rigid formations. Triangular infinitesimally rigid formations are globally asymptotically stable under the proposed control law, with all squared distance errors exponentially and monotonically converging to zero. As an extension of existing results, the stability analysis in this paper reveals that any control laws related with the gradient law by multiplication of a positive matrix ensure the local asymptotic stability of infinitesimally rigid formations.     

Adding an integrator for the stabilization problem

We study the relationship between the following two properties: P1: The system is locally asymptotically stabilizable; and P2: The system is locally asymptotically stabilizable; where . Dayawansa, Martin and Knowles have proved that these properties are equivalent if the dimension n = 1. Here, using the so called Control Lyapunov function approach, (a) we propose another more constructive and somewhat simpler proof of Dayawansa, Martin and Knowles's result; (b) we show that, in general, P1 does not imply P2 for dimensions n larger than 1; (c) we prove that P2 implies P1 if some extra assumptions are added like homogeneity of the system. By using the latter result recursively, we obtain a sufficient condition for the local asymptotic stabilizability of systems in a triangular form.     

On the asymptotic stability of switched homogeneous systems

The stability of switched systems generated by the family of autonomous subsystems with homogeneous right-hand sides is investigated. It is assumed that for each subsystem the proper homogeneous Lyapunov function is constructed. The sufficient conditions of the existence of the common Lyapunov function providing global asymptotic stability of the zero solution for any admissible switching law are obtained. In the case where we can not guarantee the existence of a common Lyapunov function, the classes of switching signals are determined under which the zero solution is locally or globally asymptotically stable. It is proved that, for any given neighborhood of the origin, one can choose a number L>0 (dwell time) such that if intervals between consecutive switching times are not smaller than L then any solution of the considered system enters this neighborhood in finite time and remains within it thereafter.