Search

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. [ABSTRACT FROM AUTHOR]

In this paper, we study connections between the estimation entropy of a switched linear system and its Lyapunov exponents. We prove lower and upper bounds for the estimation entropy in terms of the Lyapunov exponents and show that, under the so-called regularity assumption, those bounds coincide. To do that, we use a geometric object called Oseledets' fltration of the system. Further, we show how to use the exponents and the Oseledets' fltration to design a quantization scheme for state estimation of switched linear systems. Then, we prove that we can make this algorithm work at an average data-rate arbitrarily close to the upper bound we provided for the estimation entropy of the given system. Furthermore, we can choose the average data-rate to be arbitrarily close to the estimation entropy whenever the switched linear system is regular. We show that, under the regularity assumption, the quantization scheme is completely causal in the sense that it depends only on information that is available up to the current time instant. We show that regularity is a natural property of many practical systems, such as Markov jump linear systems, and give sufcient conditions for it. [ABSTRACT FROM AUTHOR]

This paper presents a unified approach to formulating stability conditions for slowly time-varying linear systems and switched linear systems. The concept of total variation is generalized to the case of matrix-valued functions. Using this generalized concept, a result extending existing stability conditions for slowly time-varying linear systems is derived. As special cases of this result, two sets of stability conditions are derived for switched linear systems, which match known results in the literature. A numerical example is included to further illustrate the application of the main result. [ABSTRACT FROM AUTHOR]

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. [ABSTRACT FROM AUTHOR]

Abstract: We study the problem of asymptotically stabilizing a switched linear control system using sampled and quantized measurements of its state. The switching is assumed to be slow enough in the sense of combined dwell time and average dwell time, each individual mode is assumed to be stabilizable, and the available data rate is assumed to be large enough but finite. Our encoding and control strategy is rooted in the one proposed in our earlier work on non-switched systems, and in particular the data-rate bound used here is the data-rate bound from that earlier work maximized over the individual modes. The main technical step that enables the extension to switched systems concerns propagating over-approximations of reachable sets through sampling intervals, during which the switching signal is not known; a novel algorithm is developed for this purpose. Our primary focus is on systems with time-dependent switching (switched systems) but the setting of state-dependent switching (hybrid systems) is also discussed. [Copyright &y& Elsevier]

Abstract: In this paper, the concepts of input/output-to-state stability (IOSS) and state-norm estimators are considered for switched nonlinear systems under average dwell-time switching signals. We show that when the average dwell-time is large enough, a switched system is IOSS if all of its constituent subsystems are IOSS. Moreover, under the same conditions, a non-switched state-norm estimator exists for the switched system. Furthermore, if some of the constituent subsystems are not IOSS, we show that still IOSS can be established for the switched system, if the activation time of the non-IOSS subsystems is not too big. Again, under the same conditions, a state-norm estimator exists for the switched system. However, in this case, the state-norm estimator is a switched system itself, consisting of two subsystems. We show that this state-norm estimator can be constructed such that its switching times are independent of the switching times of the switched system it is designed for. [Copyright &y& Elsevier]

SUMMARY This work addresses the problem of stabilizing uncertain systems with quantized outputs using the supervisory control framework, in which a finite family of candidate controllers is employed together with an estimator-based switching logic to select the active controller at every time. For static quantizers, we provide a relationship between the quantization range and the quantization error bound that guarantees closed-loop stability. Such a condition also implies a lower bound on the number of information bits needed to guarantee stability of a supervisory control scheme with quantized information. For dynamic quantizers that can vary the quantization parameters in real time, we show that the closed loop can be asymptotically stabilized, provided that additional conditions on the quantization range and the quantization error bound are satisfied. Copyright © 2012 John Wiley & Sons, Ltd. [ABSTRACT FROM AUTHOR]

Abstract: We study switched nonlinear differential algebraic equations (DAEs) with respect to existence and nature of solutions as well as stability. We utilize piecewise-smooth distributions introduced in earlier work for linear switched DAEs to establish a solution framework for switched nonlinear DAEs. In particular, we allow induced jumps in the solutions. To study stability, we first generalize Lyapunov’s direct method to non-switched DAEs and afterwards obtain Lyapunov criteria for asymptotic stability of switched DAEs. Developing appropriate generalizations of the concepts of a common Lyapunov function and multiple Lyapunov functions for DAEs, we derive sufficient conditions for asymptotic stability under arbitrary switching and under sufficiently slow average dwell-time switching, respectively. [Copyright &y& Elsevier]

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. [ABSTRACT FROM AUTHOR]

Abstract: This article addresses the invertibility problem for switched nonlinear systems affine in controls. The problem is concerned with reconstructing the input and switching signal uniquely from given output and initial state. We extend the concept of switch-singular pairs, introduced recently, to nonlinear systems and develop a formula for checking if the given state and output form a switch-singular pair. A necessary and sufficient condition for the invertibility of switched nonlinear systems is given, which requires the invertibility of individual subsystems and the nonexistence of switch-singular pairs. When all the subsystems are invertible, we present an algorithm for finding switching signals and inputs that generate a given output in a finite interval when there is a finite number of such switching signals and inputs. Detailed examples are included to illustrate these newly developed concepts. [Copyright &y& Elsevier]

Abstract: This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary differential equations most of the time, but occasionally exhibit discontinuities (or impulses). We provide a set of Lyapunov-based sufficient conditions for establishing these ISS properties. When the continuous dynamics are ISS, but the discrete dynamics that govern the impulses are not, the impulses should not occur too frequently, which is formalized in terms of an average dwell-time (ADT) condition. Conversely, when the impulse dynamics are ISS, but the continuous dynamics are not, there must not be overly long intervals between impulses, which is formalized in terms of a novel reverse ADT condition. We also investigate the cases where (i) both the continuous and discrete dynamics are ISS, and (ii) one of these is ISS and the other only marginally stable for the zero input, while sharing a common Lyapunov function. In the former case, we obtain a stronger notion of ISS, for which a necessary and sufficient Lyapunov characterization is available. The use of the tools developed herein is illustrated through examples from a Micro-Electro-Mechanical System (MEMS) oscillator and a problem of remote estimation over a communication network. [Copyright &y& Elsevier]

This paper presents a general framework for analyzing stability of nonlinear switched systems, by combining the method of multiple Lyapunov functions with a suitably adapted comparison principle in the context of stability in terms of two measures. For deterministic switched systems, this leads to a unification of representative existing results and an improvement upon the current scope of the method of multiple Lyapunov functions. For switched systems perturbed by white noise, we develop new results which may be viewed as natural stochastic counterparts of the deterministic ones. In particular, we study stability of deterministic and stochastic switched systems under average dwell-time switching. [ABSTRACT FROM AUTHOR]

Abstract: We present a stability criterion for switched nonlinear systems which involves Lie brackets of the individual vector fields but does not require that these vector fields commute. A special case of the main result says that a switched system generated by a pair of globally asymptotically stable nonlinear vector fields whose third-order Lie brackets vanish is globally uniformly asymptotically stable under arbitrary switching. This generalizes a known fact for switched linear systems and provides a partial solution to the open problem posed in [D. Liberzon, Lie algebras and stability of switched nonlinear systems, in: V. Blondel, A. Megretski (Eds.), Unsolved Problems in Mathematical Systems and Control Theory, Princeton University Press, NJ, 2004, pp. 203–207.]. To prove the result, we consider an optimal control problem which consists in finding the “most unstable” trajectory for an associated control system, and show that there exists an optimal solution which is bang-bang with a bound on the total number of switches. This property is obtained as a special case of a reachability result by bang-bang controls which is of independent interest. By construction, our criterion also automatically applies to the corresponding relaxed differential inclusion. [Copyright &y& Elsevier]

Abstract: We present constructions of a local and global common Lyapunov function for a finite family of pairwise commuting globally asymptotically stable nonlinear systems. The constructions are based on an iterative procedure, which at each step invokes a converse Lyapunov theorem for one of the individual systems. Our results extend a previously available one which relies on exponential stability of the vector fields. [Copyright &y& Elsevier]

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. This paper develops the theory of output–input stability in the multi-input, multi-output setting. We show that output–input stability is a combination of two system properties, one related to detectability and the other to left-invertibility. For systems affine in controls, we derive a necessary and sufficient condition for output–input stability, which relies on a global version of the nonlinear structure algorithm. This condition leads naturally to a globally asymptotically stabilizing state feedback strategy for affine output–input stable systems. [Copyright &y& Elsevier]

This paper is concerned with global asymptotic stabilization of continuous-time systems subject to quantization. A hybrid control strategy originating in earlier work (Brockett and Liberzon, IEEE Trans. Automat. Control 45 (2000) 1279) relies on the possibility of making discrete on-line adjustments of quantizer parameters. We explore this method here for general nonlinear systems with general types of quantizers affecting the state of the system, the measured output, or the control input. The analysis involves merging tools from Lyapunov stability, hybrid systems, and input-to-state stability. [Copyright &y& Elsevier]

In this paper we describe a framework for deterministic adaptive control which involves logic-based switching among a family of candidate controllers. We compare it with more conventional adaptive control techniques that rely on continuous tuning, emphasizing how switching and logic can be used to overcome some of the limitations of traditional adaptive control. The issues are discussed in a tutorial, non-technical manner and illustrated with specific examples. [Copyright &y& Elsevier]

We address the problem of controlling a linear system with unknown parameters ranging over a continuum by means of switching among a finite family of candidate controllers. We present a new hysteresis-based switching logic, designed specifically for this purpose, and derive a bound on the number of switches produced by this logic on an arbitrary time interval. The resulting switching control algorithm is shown to provide stability and robustness to arbitrary bounded noise and disturbances and sufficiently small unmodeled dynamics. [Copyright &y& Elsevier]

The subject of this paper is hybrid control of nonlinear systems with large-scale uncertainty. We describe a high-level controller, called a “supervisor”, which orchestrates logic-based switching among a family of candidate controllers. We show that in this framework, the problem of controller design at the lower level can be reduced to finding an integral-input-to-state stabilizing control law for an appropriate system with disturbance inputs. Employing the recently introduced “scale-independent hysteresis” switching logic, we prove that in the case of purely parametric uncertainty with unknown parameters taking values in a finite set the switching terminates in finite time and state regulation is achieved. [Copyright &y& Elsevier]

We study nonlinear systems with both control and disturbance inputs. The main problem addressed in the paper is design of state feedback control laws that render the closed-loop system integral-input-to-state stable (iISS) with respect to the disturbances. We introduce an appropriate concept of control Lyapunov function (iISS-CLF), whose existence leads to an explicit construction of such a control law. The same method applies to the problem of input-to-state stabilization. Converse results and techniques for generating iISS-CLFs are also discussed. [Copyright &y& Elsevier]

It was recently shown that a family of exponentially stable linear systems whose matrices generate a solvable Lie algebra possesses a quadratic common Lyapunov function, which implies that the corresponding switched linear system is exponentially stable for arbitrary switching. In this paper we prove that the same properties hold under the weaker condition that the Lie algebra generated by given matrices can be decomposed into a sum of a solvable ideal and a subalgebra with a compact Lie group. The corresponding local stability result for nonlinear switched systems is also established. Moreover, we demonstrate that if a Lie algebra fails to satisfy the above condition, then it can be generated by a family of stable matrices such that the corresponding switched linear system is not stable. Relevant facts from the theory of Lie algebras are collected at the end of the paper for easy reference. [ABSTRACT FROM AUTHOR]

We study spectral properties of certain families of linear second-order differential operators arising from linear stochastic differential equations. We construct a basis in the Hilbert space of square-integrable functions using modified Hermite polynomials, and obtain a representation for these operators from which their eigenvalues and eigenfunctions can be computed. In particular, we completely describe the spectrum of the Fokker--Planck operator on an appropriate invariant subspace of rapidly decaying functions. The eigenvalues of the Fokker--Planck operator provide information about the speed of convergence of the corresponding probability distribution to steady state, which is important for stochastic estimation and control applications. We show that the operator families under consideration can be realized as solutions of differential equations in the double bracket form on an operator Lie algebra, which leads to a simple expression for the flow of their eigenfunctions. [ABSTRACT FROM AUTHOR]

The problem of input-to-state stability (ISS) and its integral version (iISS) are considered for switched nonlinear systems with inputs, resets and possibly unstable subsystems. For the dissipation inequalities associated with the Lyapunov function of each subsystem, it is assumed that the supply functions, which characterize the decay rate and ISS/iISS gains of the subsystems, are nonlinear. The change in the value of Lyapunov functions at switching instants is described by a sum of growth and gain functions, which are also nonlinear. Using the notion of average dwell-time (ADT) to limit the number of switching instants on an interval, and the notion of average activation time (AAT) to limit the activation time for unstable systems, a formula relating ADT and AAT is derived to guarantee ISS/iISS of the switched system. Case studies of switched systems with saturating dynamics and switched bilinear systems are included for illustration of the results. [ABSTRACT FROM AUTHOR]

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. [ABSTRACT FROM AUTHOR]

This paper studies a notion of topological entropy for switched systems, formulated in terms of the minimal number of trajectories needed to approximate all trajectories with a finite precision. For general switched linear systems, we prove that the topological entropy is independent of the set of initial states. We construct an upper bound for the topological entropy in terms of an average of the measures of system matrices of individual modes, weighted by their corresponding active times, and a lower bound in terms of an active-time-weighted average of their traces. For switched linear systems with scalar-valued state and those with pairwise commuting matrices, we establish formulae for the topological entropy in terms of active-time-weighted averages of the eigenvalues of system matrices of individual modes. For the more general case with simultaneously triangularizable matrices, we construct upper bounds for the topological entropy that only depend on the eigenvalues, their order in a simultaneous triangularization, and the active times. In each case above, we also establish upper bounds that are more conservative but require less information on the system matrices or on the switching, with their relations illustrated by numerical examples. Stability conditions inspired by the upper bounds for the topological entropy are presented as well. [ABSTRACT FROM AUTHOR]

We prove a novel Lyapunov-based small-gain theorem for networks composed of n ≥ 2 hybrid subsystems 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 ISS Lyapunov functions for subsystems and to enlarge the applicability of the derived small-gain theorems. [ABSTRACT FROM AUTHOR]

We study synchronization of nonlinear systems with robustness to disturbances that arise when measurements sent from the master system to the slave system are affected by quantization and time sampling. Viewing the synchronization problem as an observer design problem, we invoke a recently developed theory of nonlinear observers robust to output measurement disturbances and formulate a sufficient condition for robust synchronization. The approach is illustrated by a detailed analysis of the Pecora–Carroll synchronization scheme for the Lorenz system, for which an explicit bound on the synchronization error depending on the quantizer range and sampling period is derived. [ABSTRACT FROM AUTHOR]

The problem of controlling a nonlinear system to an invariant manifold using quantized state feedback is considered by the example of controlling the pendulum’s energy. A feedback control law based on the speed gradient algorithm is chosen. The main result consisting in precisely characterizing allowed quantization error bounds and resulting energy deviation bounds is presented. [ABSTRACT FROM AUTHOR]