Invariance principles for switched systems with restrictions

In this paper we consider switched nonlinear systems under average dwell time switching signals, with an otherwise arbitrary compact index set and with additional constraints in the switchings. We present invariance principles for these systems and derive by using observability-like notions some convergence and asymptotic stability criteria. These results enable us to analyze the stability of solutions of switched systems with both state-dependent constrained switching and switching whose logic has memory, i.e., the active subsystem only can switch to a prescribed subset of subsystems.Comment: 29 pages, 2 Appendixe

Qualitative Studies of Nonlinear Hybrid Systems

A hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior. Hybrid systems arise in a wide variety of important applications in diverse areas, ranging from biology to computer science to air traffic dynamics. The interaction of continuous- and discrete-time dynamics in a hybrid system often leads to very rich dynamical behavior and phenomena that are not encountered in purely continuous- or discrete-time systems. Investigating the dynamical behavior of hybrid systems is of great theoretical and practical importance. The objectives of this thesis are to develop the qualitative theory of nonlinear hybrid systems with impulses, time-delay, switching modes, and stochastic disturbances, to develop algorithms and perform analysis for hybrid systems with an emphasis on stability and control, and to apply the theory and methods to real-world application problems. Switched nonlinear systems are formulated as a family of nonlinear differential equations, called subsystems, together with a switching signal that selects the continuous dynamics among the subsystems. Uniform stability is studied emphasizing the situation where both stable and unstable subsystems are present. Uniformity of stability refers to both the initial time and a family of switching signals. Stabilization of nonlinear systems via state-dependent switching signal is investigated. Based on assumptions on a convex linear combination of the nonlinear vector fields, a generalized minimal rule is proposed to generate stabilizing switching signals that are well-defined and do not exhibit chattering or Zeno behavior. Impulsive switched systems are hybrid systems exhibiting both impulse and switching effects, and are mathematically formulated as a switched nonlinear system coupled with a sequence of nonlinear difference equations that act on the switched system at discrete times. Impulsive switching signals integrate both impulsive and switching laws that specify when and how impulses and switching occur. Invariance principles can be used to investigate asymptotic stability in the absence of a strict Lyapunov function. An invariance principle is established for impulsive switched systems under weak dwell-time signals. Applications of this invariance principle provide several asymptotic stability criteria. Input-to-state stability notions are formulated in terms of two different measures, which not only unify various stability notions under the stability theory in two measures, but also bridge this theory with the existent input/output theories for nonlinear systems. Input-to-state stability results are obtained for impulsive switched systems under generalized dwell-time signals. Hybrid time-delay systems are hybrid systems with dependence on the past states of the systems. Switched delay systems and impulsive switched systems are special classes of hybrid time-delay systems. Both invariance property and input-to-state stability are extended to cover hybrid time-delay systems. Stochastic hybrid systems are hybrid systems subject to random disturbances, and are formulated using stochastic differential equations. Focused on stochastic hybrid systems with time-delay, a fundamental theory regarding existence and uniqueness of solutions is established. Stabilization schemes for stochastic delay systems using state-dependent switching and stabilizing impulses are proposed, both emphasizing the situation where all the subsystems are unstable. Concerning general stochastic hybrid systems with time-delay, the Razumikhin technique and multiple Lyapunov functions are combined to obtain several Razumikhin-type theorems on both moment and almost sure stability of stochastic hybrid systems with time-delay. Consensus problems in networked multi-agent systems and global convergence of artificial neural networks are related to qualitative studies of hybrid systems in the sense that dynamic switching, impulsive effects, communication time-delays, and random disturbances are ubiquitous in networked systems. Consensus protocols are proposed for reaching consensus among networked agents despite switching network topologies, communication time-delays, and measurement noises. Focused on neural networks with discontinuous neuron activation functions and mixed time-delays, sufficient conditions for existence and uniqueness of equilibrium and global convergence and stability are derived using both linear matrix inequalities and M-matrix type conditions. Numerical examples and simulations are presented throughout this thesis to illustrate the theoretical results

Invariance Principles and Observability in Switched Systems with an Application in Consensus

Using any nonnegative function with a nonpositive derivative along trajectories to define a virtual output, the classic LaSalle invariance principle can be extended to switched nonlinear time-varying (NLTV) systems, by considering the weak observability (WO) associated with this output. WO is what the output informs about the limiting behavior of state trajectories (hidden in the zero locus of the output). In the context of switched NLTV systems, WO can be explored using the recently established framework of limiting zeroing-output solutions. Adding to this, an extension of the integral invariance principle for switched NLTV systems with a new method to guarantee uniform global attractivity of a closed set (without assuming uniform Lyapunov stability or dwell-time conditions) is proposed. By way of illustrating the proposed method, a leaderless consensus problem for nonholonomic mobile robots with a switching communication topology is addressed, yielding a new control strategy and a new convergence result

The role of Skorokhod space in the development of the econometric analysis of time series

This paper discusses the fundamental role played by Skorokhod space, through its underpinning of functional central limit theory, in the development of the paradigm of unit roots and co-integration. This paradigm has fundamentally affected the way economists approach economic time series as was recognized by the award of the Nobel Memorial Prize in Economic Sciences to Robert F. Engle and Clive W.J. Granger in 2003. Here, we focus on how P.C.B. Phillips and others used the Skorokhod topology to establish a limiting distribution theory that underpinned and facilitated the development of methods of estimation and testing of single equations and systems of equations with possibly integrated regressors. This approach has spawned a large body of work that can be traced back to Skorokhod's conception of fifty years ago. Much of this work is surprisingly confined to the econometrics literature.Skorokhod space, functional central limit theorems, non-stationary time series, unit roots and co-integration, Wiener functionals, econometrics.

Robust output stabilization: improving performance via supervisory control

We analyze robust stability, in an input-output sense, of switched stable systems. The primary goal (and contribution) of this paper is to design switching strategies to guarantee that input-output stable systems remain so under switching. We propose two types of {\em supervisors}: dwell-time and hysteresis based. While our results are stated as tools of analysis they serve a clear purpose in design: to improve performance. In that respect, we illustrate the utility of our findings by concisely addressing a problem of observer design for Lur'e-type systems; in particular, we design a hybrid observer that ensures ``fast'' convergence with ``low'' overshoots. As a second application of our main results we use hybrid control in the context of synchronization of chaotic oscillators with the goal of reducing control effort; an originality of the hybrid control in this context with respect to other contributions in the area is that it exploits the structure and chaotic behavior (boundedness of solutions) of Lorenz oscillators.Comment: Short version submitted to IEEE TA