Search

This expository article presents an overview of research, conducted mostly between the mid-1990s and late 2000s, that explores a link between commutation relations among a family of asymptotically stable vector fields and stability properties of the switched system that these vector fields generate. This topic is viewed through the lens of the author's own involvement with it, by interspersing explanations of technical developments with personal reminiscences and anecdotes.

A general upper bound for topological entropy of switched nonlinear systems is constructed, using an asymptotic average of upper limits of the matrix measures of Jacobian matrices of strongly persistent individual modes, weighted by their active rates. A general lower bound is constructed as well, using a similar weighted average of lower limits of the traces of these Jacobian matrices. In a case of interconnected structure, the general upper bound is readily applied to derive upper bounds for entropy that depend only on "network-level" information. In a case of block-diagonal structure, less conservative upper and lower bounds for entropy are constructed. In each case, upper bounds for entropy that require less information about the switching signal are also derived. The upper bounds for entropy and their relations are illustrated by numerical examples of a switched Lotka-Volterra ecosystem model., Comment: 31 pages, 3 figures

We consider the problem of synchronizing two electric power generators, one of which (the leader) is serving a time-varying electrical load, so that they can ultimately be connected to form a single power system. Each generator is described by a second-order reduced state-space model. We assume that the generator not serving an external load initially (the follower) has access to measurements of the leader's phase angle, corrupted by some additive disturbances. By using these measurements, and leveraging results on reduced-order observers with ISS-type robustness, we propose a procedure that drives (i) the angular velocity of the follower close enough to that of the leader, and (ii) the phase angle of the follower close enough to that of the point at which both systems will be electrically connected. An explicit bound on the synchronization error in terms of the measurement disturbance and the variations in the electrical load served by the leader is computed. We illustrate the procedure via numerical simulations.

We study convergence of nonlinear systems in the presence of an `almost Lyapunov' function which, unlike the classical Lyapunov function, is allowed to be nondecreasing---and even increasing---on a nontrivial subset of the phase space. Under the assumption that the vector field is free of singular points (away from the origin) and that the subset where the Lyapunov function does not decrease is sufficiently small, we prove that solutions approach a small neighborhood of the origin. A nontrivial example where this theorem applies is constructed., Comment: 36 pages, 3 figures

This paper presents a library of second-order models for synchronous machines that can be utilized in power system dynamic performance analysis and control design tasks. The models have a similar structure to the classical model in that they consist of two dynamic states, the power angle and the angular speed. However, unlike the classical model, the models find applications beyond first swing stability analysis; for example, they can also be utilized in transient stability studies. The models are developed through a systematic reduction of a nineteenth-order model, using singular perturbation techniques, and they are validated by comparing their voltage, frequency, and phase profiles with that of the high-order model and that of the classical model.

We prove a novel Lyapunov-based small-gain theorem for networks of $ n \geq 2 $ hybrid systems which are not necessarily input-to-state stable. This result unifies and extends several small-gain theorems for hybrid and impulsive systems proposed in the last few years. We also show how average dwell-time (ADT) clocks and reverse ADT clocks can be used to modify the Lyapunov functions for subsystems and to enlarge the applicability of the derived small-gain theorems., Comment: Accepted to Automatica

This article deals with input-to-state stability (ISS) of continuous-time switched nonlinear systems. Given a family of systems with exogenous inputs such that not all systems in the family are ISS, we characterize a new and general class of switching signals under which the resulting switched system is ISS. Our stabilizing switching signals allow the number of switches to grow faster than an affine function of the length of a time interval, unlike in the case of average dwell time switching. We also recast a subclass of average dwell time switching signals in our setting and establish analogs of two representative prior results., Comment: 16 pages, 2 figures

This article is concerned with stability analysis and stabilization of randomly switched systems under a class of switching signals. The switching signal is modeled as a jump stochastic (not necessarily Markovian) process independent of the system state; it selects, at each instant of time, the active subsystem from a family of systems. Sufficient conditions for stochastic stability (almost sure, in the mean, and in probability) of the switched system are established when the subsystems do not possess control inputs, and not every subsystem is required to be stable. These conditions are employed to design stabilizing feedback controllers when the subsystems are affine in control. The analysis is carried out with the aid of multiple Lyapunov-like functions, and the analysis results together with universal formulae for feedback stabilization of nonlinear systems constitute our primary tools for control design, Comment: 22 pages. Submitted

This article is concerned with stability analysis and stabilization of randomly switched nonlinear systems. These systems may be regarded as piecewise deterministic stochastic systems: the discrete switches are triggered by a stochastic process which is independent of the state of the system, and between two consecutive switching instants the dynamics are deterministic. Our results provide sufficient conditions for almost sure global asymptotic stability using Lyapunov-based methods when individual subsystems are stable and a certain ``slow switching'' condition holds. This slow switching condition takes the form of an asymptotic upper bound on the probability mass function of the number of switches that occur between the initial and current time instants. This condition is shown to hold for switching signals coming from the states of finite-dimensional continuous-time Markov chains; our results therefore hold for Markov jump systems in particular. For systems with control inputs we provide explicit control schemes for feedback stabilization using the universal formula for stabilization of nonlinear systems., Comment: 13 pages, no figures. A slightly modified version is scheduled to appear in IEEE Transactions on Automatic Control, Dec 2007

We are concerned with input-to-state stability (ISS) of randomly switched systems. We provide preliminary results dealing with sufficient conditions for stochastic versions of ISS for randomly switched systems without control inputs, and with the aid of universal formulae we design controllers for ISS-disturbance attenuation when control inputs are present. Two types of switching signals are considered: the first is characterized by a statistically slow-switching condition, and the second by a class of semi-Markov processes., Comment: 6 pages, to appear in the Proceedings of the 46th IEEE Conference on Decision & Control, 2007

This paper studies state quantization schemes for feedback stabilization of control systems with limited information. The focus is on designing the least destabilizing quantizer subject to a given information constraint. We explore several ways of measuring the destabilizing effect of a quantizer on the closed-loop system, including (but not limited to) the worst-case quantization error. In each case, we show how quantizer design can be naturally reduced to a version of the so-called multicenter problem from locational optimization. Algorithms for solving such problems are discussed. In particular, an iterative solver is developed for a novel weighted multicenter problem which most accurately represents the least destabilizing quantizer design.

This paper is concerned with the problem of finding a quadratic common Lyapunov function for a family of stable linear systems. We present gradient iteration algorithms which give deterministic convergence for finite system families and probabilistic convergence for infinite families., Comment: 9 pages

We study the recently introduced notion of output-input stability, which is a robust variant of the minimum-phase property for general smooth nonlinear control systems. The subject of this paper is developing the theory of output-input stability in the multi-input, multi-output setting. We show that output-input stability can be viewed as a combination of two system properties, one related to detectability and the other to left-invertibility. For systems affine in controls, we provide a necessary and sufficient condition for output-input stability, which relies on Hirschorn's nonlinear structure algorithm.

This paper introduces and studies the notion of output-input stability, which represents a variant of the minimum-phase property for general smooth nonlinear control systems. The definition of output-input stability does not rely on a particular choice of coordinates in which the system takes a normal form or on the computation of zero dynamics. In the spirit of the ``input-to-state stability'' philosophy, it requires the state and the input of the system to be bounded by a suitable function of the output and derivatives of the output, modulo a decaying term depending on initial conditions. The class of output-input stable systems thus defined includes all affine systems in global normal form whose internal dynamics are input-to-state stable and also all left-invertible linear systems whose transmission zeros have negative real parts. As an application, we explain how the new concept enables one to develop a natural extension to nonlinear systems of a basic result from linear adaptive control., Comment: Revised version, to appear in IEEE Transactions on Automatic Control. See related work in http://www.math.rutgers.edu/~sontag and http://black.csl.uiuc.edu/~liberzon