Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems

  title={Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems},
  author={Shahab Kaynama and Meeko Oishi},
  journal={International Journal of Control},
  pages={165 - 179}
This article presents a method for complexity reduction in reachability analysis and safety-preserving controller synthesis via Schur-based decomposition. The decomposition results in either decoupled or weakly-coupled (lower dimensional) subsystems. Reachable sets, computed independently for each subsystem, are back-projected and intersected to yield an overapproximation of the actual reachable set. Moreover, applying this technique to a class of unstable LTI systems, we show that when certain… 
Reachability Analysis of Linear Hybrid Systems via Block Decomposition
This article improves the continuous-post operator by performing computations in high-dimensional state space only for time intervals relevant for the subsequent application of the discrete-posts operator and introduces a new discrete- post operator that performs low-dimensional computations.
Scalable techniques for the computation of viable and reachable sets : safety guarantees for high-dimensional linear time-invariant systems
Two separate approaches that improve the scalability of the computation of the minimal reachable tube and the viability kernel for high-dimensional systems are proposed and a scalable algorithm using ellipsoidal techniques for reachability is proposed.
Hamilton-Jacobi reachability: A brief overview and recent advances
This tutorial presents an overview of basic HJ reachability theory and provides instructions for using the most recent numerical tools, including an efficient GPU-parallelized implementation of a Level Set Toolbox for computing reachable sets.
Set Propagation Techniques for Reachability Analysis
A class of methods for computing a guaranteed overapproximation of the reachable set of continuous and hybrid systems, relying predominantly on set propagation; starting from the set of initial states, these techniques iteratively propagate a sequence of sets according to the system dynamics.
A Novel Unified Framework for Solving Reachability, Viability and Invariance Problems
In the proposed method, the reachable, viable and invariant sets are characterized by some non-zero level sets of different value functions, and the value functions are approximated by recursion and interpolation.
Reachability of weakly nonlinear systems using Carleman linearization
A solution method for a special class of nonlinear initial-value problems using set-based propagation techniques using Carleman linearization to leverage recent advances of highdimensional reachability solvers for linear ordinary differential equations based on the support function.
Methods for Reachability-based Hybrid Controller Design
This dissertation describes several efforts aimed towards the development of theoretical analysis tools and computational synthesis techniques to facilitate the systematic design of feedback control policies satisfying safety and target attainability specifications with respect to subclasses of hybrid system models.
A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics
Conditions under which a linear time-invariant (LTI) system can be suitably decomposed into lower dimensional subsystems so as to admit a conservative computation of the viability kernel in a decentralized fashion in subspaces are studied.
Hamilton–Jacobi Reachability: Some Recent Theoretical Advances and Applications in Unmanned Airspace Management
  • Mo Chen, C. Tomlin
  • Computer Science
    Annual Review of Control, Robotics, and Autonomous Systems
  • 2018
This review presents recent work showing how high-dimensional reachability verification can be made more tractable by focusing on two areas of development: system decomposition for general nonlinear systems, and traffic protocols for unmanned airspace management.
Scalable synthesis of safety certificates from data with application to learning-based control
Efficient techniques for the synthesis of a safe set and control law are introduced, which offer improved scalability properties by relying on approximations based on convex optimization problems.


Reachability Analysis for Affine Systems Using ε-Decomposition
  • Zhi Han, B. Krogh
  • Mathematics
    Proceedings of the 44th IEEE Conference on Decision and Control
  • 2005
This paper presents an approach to compute conservative approximations to the set of reachable states and outputs for affine systems using ε-decomposition techniques. Instead of performing
Reachability analysis of hybrid control systems using reduced-order models
  • Zhi Han, B. Krogh
  • Computer Science, Mathematics
    Proceedings of the 2004 American Control Conference
  • 2004
This work presents a method for incorporating bounds on errors due to model reduction into reachability analysis for a class of hybrid control systems so that the computed sets are guaranteed to be conservative (i.e., over-) approximations of the reachable sets for the original system.
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs
A novel algorithm is proposed which improves significantly the computational complexity of reachability analysis and is useful in the context of hybrid systems verification and control synthesis.
Recent progress in continuous and hybrid reachability analysis
Set-based reachability analysis computes all possible states a system may attain, and in this sense provides knowledge about the system with a completeness, or coverage, that a finite number of
Efficient reachability analysis for linear systems using support functions
This paper presents a new approach for the computation of tight polyhedral over-approximations of the reachable sets of a linear system whose sets of initial states and inputs are given by arbitrary compact convex sets represented by their support functions.
Geometric programming relaxations for linear system reachability
A novel method is presented that exploits the structure of linear dynamical systems, and the monotonicity of the exponential function in order to obtain safety certificates of continuous linear systems by over-approximating the sets of initial and final states.
Comparing Forward and Backward Reachability as Tools for Safety Analysis
Using only the existence and uniqueness of trajectories for a generic dynamic system with inputs, eight types of forward and backward reachability constructs are defined and examined.
The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective
This work revisits the problem of designing controllers to meet safety specifications for hybrid systems, whose evolution is affected by both control and disturbance inputs and develops a characterization of these winning states using methods from non-smooth analysis and viability theory.
Computation of an over-approximation of the backward reachable set using subsystem level set functions
In this paper, we present a method to decompose the problem of computing the backward reachable set for a dynamic system in a space of a given dimension, into a set of computational problems
Ellipsoidal approximations of reachable sets for linear games
  • N. Shishido, C. Tomlin
  • Mathematics, Computer Science
    Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187)
  • 2000
This paper compute reachable sets for linear differential games, in which one player tries to keep the state of the system outside of a given unsafe subset of the state space; and the second player triesto push the system into this subset.