Search

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]

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]

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]

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]