Electrical and Electronic Engineering - Research Publications

Permanent URI for this collection

Search Results

Now showing 1 - 10 of 73
  • Item
    Thumbnail Image
    Stability properties of reset systems
    Nešić, D ; Zaccarian, L ; Teel, AR (Elsevier, 2005-01-01)
    Stability properties for a class of reset systems, such as systems containing a Clegg integrator, are investigated. We present Lyapunov based results for verifying L2 and exponential stability of reset systems. Our results generalize the available results in the literature and can be easily modified to cover Lp stability for arbitrary p ∈ [1;∞]. Several examples illustrate that introducing resets in a linear system may reduce the L2 gain if the reset controller parameters are carefully tuned.
  • Item
    Thumbnail Image
    NONLINEAR SAMPLED DATA CONTROLLER REDESIGN VIA LYAPUNOV FUNCTIONS
    Grüne, L ; Neŝić, D (Elsevier BV, 2005)
    We provide results for redesign of Lyapunov function based continuous time controllers for sampled-data implementation, using a particular form of the redesigned controller and the Taylor expansion of the sampled-data Lyapunov difference. We develop two types of redesigned controllers that (i) make the lower order terms (in T) in the series expansion of the Lyapunov difference with the redesigned controller more negative and (ii) make the terms in the Taylor expansions of the Lyapunov difference for the sampled-data system with the redesigned controller behave as close as possible to the respective values of the continuous-time system with the original controller. Simulation studies illustrate the performance of our controllers.
  • Item
    Thumbnail Image
    Nonlinear sampled-data observer design via approximate discrete-time models and emulation
    Arcak, M ; Nešić, D (Elsevier, 2005-01-01)
    We study observer design for sampled-data nonlinear systems using two approaches: (i) the observer is designed via an approximate discrete-time model of the plant; (ii) the observer is designed based on the continuous-time plant model and then discretized for sampled-data implementation (emulation). in each case we present Lyapunov conditions under which the observer design guarantees semiglobal practical convergence for the unknown exact discrete-time model. The semiglobal region of attraction is expanded by decreasing the sampling period. The practical convergence set is shrunk by decreasing either the sampling period, or a modelling parameter which refines the accuracy of the approximate model.
  • Item
    Thumbnail Image
    Networked control systems: An emulation approach to controller design
    Nešić, D (Elsevier BV, 2007-01-01)
    We overview our recent work on a design approach for networked control systems (NCS) that resembles controller emulation for sampled-data systems. In the first step, we design a controller ignoring the network and, in the second step, we implement the designed controller over the network with sufficiently fast transmissions and a given protocol. Our results have several features: (i) they apply to general nonlinear systems with disturbances; (ii) we obtain explicit (often non-conservative) bounds on the maximal allowable transmission interval that guarantee stability; (iii) and we show that this approach is valid for a wide range of network scheduling protocols. This provides a flexible framework for design of NCS that is amenable to various extensions and modifications, such as a treatment of dropouts and stochastic protocols, combined controller/protocol design for linear plants, and so on.
  • Item
    Thumbnail Image
    L-2 anti-windup for linear dead-time systems
    Zaccarian, L ; Nesic, D ; Teel, AR (ELSEVIER, 2005-12-01)
    In this paper, we address and solve the problem of anti-windup augmentation for linear systems with input and output delay. In particular, we give a formal definition of an optimal L2 gain based anti-windup design problem in the global, local, robust and nominal cases. For each of these cases we show that a specific anti-windup compensation structure (which is a generalization of the approach in the Proceedings of the Fourth ECC, Brussels, Belgium, July 1997) is capable of solving the anti-windup problem whenever this solvable. The effectiveness of the proposed scheme is shown on a simple example taken from the literature, in which the plant is a marginally stable linear system
  • Item
    Thumbnail Image
    Stability of wireless and wireline networked control systems
    Tabbara, M ; Nesic, D ; Teel, AR (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2007-09-01)
    This paper provides a general framework for analyzing the stability of general nonlinear networked control systems (NCS) with disturbances in the setting of cal Lp stability. Our presentation provides sharper results for both Lp gain and maximum allowable transfer interval (MATI) than previously obtainable and details the property of uniformly persistently exciting scheduling protocols. This class of protocols was shown to lead to cal Lp stability for high enough transmission rates and were a natural property to demand, especially in the design of wireless scheduling protocols. The property is used directly in a novel proof technique based on the notions of vector comparison and (quasi)-monotone systems. We explore these results through analytical comparisons to those in the literature, as well as through simulations and numerical comparisons that verify that the uniform persistence of excitation property of protocols is, in some sense, the "finest"property that can be extracted from wireless scheduling protocols.
  • Item
    Thumbnail Image
    Quadratic stabilization of linear networked control systems via simultaneous protocol and controller design
    Dacic, DB ; Nesic, D (PERGAMON-ELSEVIER SCIENCE LTD, 2007-07-01)
    We derive conditions for quadratic stabilizability of linear networked control systems by dynamic output feedback and communication protocols. These conditions are used to develop a simultaneous design of controllers and protocols in terms of matrix inequalities. The obtained protocols do not require knowledge of controller and plant states but only of the discrepancies between current and the most recently transmitted values of nodes' signals, and are implementable on controller area networks. We demonstrate on a batch reactor example that our design guarantees quadratic stability with a significantly smaller network throughput than previously available designs.
  • Item
    Thumbnail Image
    Lyapunov functions for time-varying systems satisfying generalized conditions of Matrosov theorem
    Mazenc, F ; Nesic, D (SPRINGER LONDON LTD, 2007-05-01)
    The classical Matrosov theorem concludes uniform asymptotic stability of time-varying systems via a weak Lyapunov function (positive definite, decrescent, with negative semi-definite derivative along solutions) and another auxiliary function with derivative that is strictly nonzero where the derivative of the Lyapunov function is zero (Mastrosov in J Appl Math Mech 26:1337-1353, 1962). Recently, several generalizations of the classical Matrosov theorem have been reported in Loria et al. (IEEE Trans Autom Control 50:183-198, 2005). None of these results provides a construction of a strong Lyapunov function (positive definite, decrescent, with negative definite derivative along solutions) which is a very useful analysis and controller design tool for nonlinear systems. Inspired by generalized Matrosov conditions in Loria et al. (IEEE Trans Autom Control 50:183-198, 2005), we provide a construction of a strong Lyapunov function via an appropriate weak Lyapunov function and a set of Lyapunov-like functions whose derivatives along solutions of the system satisfy inequalities that have a particular triangular structure. Our results will be very useful in a range of situations where strong Lyapunov functions are needed, such as robustness analysis and Lyapunov function-based controller redesign. We illustrate our results by constructing a strong Lyapunov function for a simple Euler-Lagrange system controlled by an adaptive controller and use this result to determine an ISS controller.
  • Item
    Thumbnail Image
    Input-to-state stabilization of linear systems with quantized state measurements
    Liberzon, D ; Nesic, D (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2007-05-01)
    We consider the problem of achieving input-to-state stability (ISS) with respect to external disturbances for control systems with linear dynamics and quantized state measurements. Quantizers considered in this paper take finitely many values and have an adjustable "zoom"parameter. Building on an approach applied previously to systems with no disturbances, we develop a control methodology that counteracts an unknown disturbance by switching repeatedly between "zooming out" and "zooming in." Two specific control strategies that yield ISS are presented. The first one is implemented in continuous time and analyzed with the help of a Lyapunov function, similarly to earlier work. The second strategy incorporates time sampling, and its analysis is novel in that it is completely trajectory-based and utilizes a cascade structure of the closed-loop hybrid system. We discover that in the presence of disturbances, time-sampling implementation requires an additional modification which has not been considered in previous work.
  • Item
    Thumbnail Image
    A Lyapunov proof of an improved maximum allowable transfer interval for networked control systems
    Carnevale, D ; Teel, AR ; Nesic, D (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2007-05-01)
    Simple Lyapunov proofs are given for an improved (relative to previous results that have appeared in the literature) bound on the maximum allowable transfer interval to guarantee global asymptotic or exponential stability in networked control systems and also for semiglobal practical asymptotic stability with respect to the length of the maximum allowable transfer interval.