Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms

We propose a scalable method for forward stochastic reachability analysis for uncontrolled linear systems with affine disturbance. Our method uses Fourier transforms to efficiently compute the forward stochastic reach probability measure (density) and the forward stochastic reach set. This method is applicable to systems with bounded or unbounded disturbance sets. We also examine the convexity properties of the forward stochastic reach set and its probability density. Motivated by the problem of a robot attempting to capture a stochastically moving, non-adversarial target, we demonstrate our method on two simple examples. Where traditional approaches provide approximations, our method provides exact analytical expressions for the densities and probability of capture.Comment: V3: HSCC 2017 (camera-ready copy), DOI updated, minor changes | V2: Review comments included | V1: 10 pages, 12 figure

On the Relative Degree of Simultaneously Stabilizing Controllers

In this brief paper 1 we present new necessary and sufficient conditions on the controller for the existence of a single controller to stabilize a set of n SISO plants: P1; P2; :::; Pn. As is well known this is equivalent to the existence of a single stable controller that stabilizes n - 1 plants (strong stabilization). It was shown in (Blondel, 1994) that the simultaneous stabilization problem is transcendental and cannot be solved using algebraic functions. Our only hope in approaching the general solution to the simultaneous stabilization problem using algebraic functions is either to enlarge the class of controllers for which sufficient conditions exist, or to restrict the class of controllers from which a controller must exist. This paper restricts the search for existence of simultaneously stabilizing controllers to the class of exactly proper controllers

Survey of the robust control of robots

Browse Conference Publications \u3e American Control Conference, ... Page Help Survey of the Robust Control of Robots This paper appears in: American Control Conference, 1990 Date of Conference: 23-25 May 1990 Author(s): Abdallah, C. CAD Laboratory for Systems and Robotics, Electrical and Computer Engineering Department, University of New Mexico, Albuquerque, NM 87131. Dorato, P. ; Jamshidi, M. On Page(s): 718 - 721 Product Type: Conference Publications 4790827 searchabstract .Abstract In this survey, we discuss current approaches to the robust control of the motion of robots and summarize the available literature on the subject. The three major designs discussed are the Linear-Multivariable Approach, the Passivity approach and the Variable-Structure approach. The survey is limited to rigid robots and nonadaptive controllers

Survey of robust control for rigid robots

Current approaches to the robust control of the motion of rigid robots are surveyed, and the available literature is summarized. The five major design approaches discussed are the linear-multivariable approach, the passivity approach, the variable-structure approach, the saturation approach, and the robust-adaptive approach. Some guidelines for choosing a method are offered

Statistical controller design for the linear benchmark problem

In this paper some fixed-order controllers are designed via statistical methods for the benchmark problem originally presented at the 1990 American Control Conference. Based on some recent results by the authors, it is shown that the statistical approach is a valid method to design robust controllers. Two different controllers are proposed and their performance are compared with controllers with the same structure, designed using different techniques

Finite-time control for uncertain linear systems with disturbance inputs

We consider the static output feedback, finite-time disturbance rejection problem for linear systems with time-varying norm-bounded uncertainties. The first result provided in the paper is a sufficient condition for finite-time state feedback disturbance rejection in the presence of constant disturbances. This condition requires the solution of an LMI. Then we consider the more general output feedback case, which is shown to be reducible to the solution of an optimization problem involving bilinear matrix inequalities. Finally we deal with the case in which the disturbance is time-varying and generated by a linear system

Design of strictly positive real, fixed-order dynamic compensators

The authors present sufficient conditions for the design of strictly positive real (SPR), fixed-order dynamic compensators. The primary motivation for designing SPR compensators is for application to positive real (PR) plants. When an SPR compensator is connected to a PR plant in a negative feedback configuration, the closed loop is guaranteed stable for arbitrary plant variations as long as the plant remains PR. Equations that are a modified form of the optimal projection equations, with the separation principle not holding in either the full- or reduced-order case, are given. A solution to the design equations is shown to exist when the plant is PR (or just stable). Finally, the closed-loop system consisting of a PR plant and an SPR compensator is shown to be S-structured Lyapunov stable

Suboptimal strong stabilization using fixed-order dynamic compensation

This paper considers the problem of stabilizing a plant using a suboptimal stable compensator of fixed order. The resulting equations are a modified form of the optimal projection equations, with the separation principle not holding in either the full- or reduced-order case

LQ Robust Synthesis With Non-fragile Controllers: The Static State Feedback Case

This paper describes the synthesis of Non-fragile or Resilient regulators for linear systems. The general framework for fragility is described using state space methodologies and the LQH static state feedback case is examined in detail. We discuss the multiplicative structured uncertainties case and propose remedies of the fragility problem. The benchmark problem is taken as example to show how an uncertain or resilient static state feedback controller can affect the performance of the system

Robust non-fragile LQ controllers: the static state feedback case

This paper describes the synthesis of non-fragile or resilient regulators for linear systems. The general framework for fragility is described using state-space methodologies, and the LQ/H2 static state-feedback case is examined in detail. We discuss the multiplicative structured uncertainties case, and propose remedies of the fragility problem using a convex programming framework as a possible solution scheme. The benchmark problem is taken as an example to show how controller gain variations can affect the performance of the closed-loop system