Abstract:Under-approximations of reachable sets and tubes have been receiving growing research attention due to their important roles in control synthesis and verification. Available under-approximation methods applicable to continuous-time linear systems typically assume the ability to compute transition matrices and their integrals exactly, which is not feasible in general, and/or suffer from high computational costs. In this note, we attempt to overcome these drawbacks for a class of linear time-invariant (LTI) systems, where we propose a novel method to under-approximate finite-time forward reachable sets and tubes, utilizing approximations of the matrix exponential and its integral. In particular, we consider the class of continuous-time LTI systems with an identity input matrix and initial and input values belonging to full dimensional sets that are affine transformations of closed unit balls. The proposed method yields computationally efficient under-approximations of reachable sets and tubes, when implemented using zonotopes, with first-order convergence guarantees in the sense of the Hausdorff distance. To illustrate its performance, we implement our approach in three numerical examples, where linear systems of dimensions ranging between 2 and 200 are considered.

Discrete-time Lossless Positive Real Lemma Based on Kalman Reachability Decomposition

Robust State-Space Realizations of Discrete-Time Systems Against Finite Word Length Errors

Reachability and Stabilization of Discrete-Time Affine Systems with Disturbances

On normal realizations of discrete-time systems with consideration of finite precision implementation

On Lossless Negative Imaginary Systems

Generalized Kalman-Yakubovich-Popov lemma for 2-D FM LSS model and its application to finite frequency positive real control

Alternative LMI characterizations for fractional-order linear systems

Extension of Lossless Negative Imaginary Lemmas to Systems with Poles at the Origin

An LMI Robust Stability Condition for Uncertain Discrete-time Systems with Multiple-state Delays

Necessary and Sufficient Conditions for Reachability of Discrete Time Affine Systems on Simplices

Generalized Kalman–Yakubovich–Popov Lemma for 2-D FM LSS Model

SYNTHESIS OF THE STRONGLY POSITIVE REAL CONTROLLER WITH OUTPUT FEEDBACK FOR DISCRETE-TIME SYSTEMS

Tight Remainder-Form Decomposition Functions with Applications to Constrained Reachability and Guaranteed State Estimation

Standard versus Strict Bounded Real Lemma with infinite-dimensional state space I: The State-Space-Similarity Approach

A Note On Minimal Positive Realizations Of Continuous-Time Linear Systems

A Universal Framework of the Generalized Kalman–Yakubovich–Popov Lemma for Singular Fractional-Order Systems

Solutions to the positive real control problem for linear systems via reduced-order observer

Under-Approximate Reachability Analysis for a Class of Linear Systems with Inputs

Descriptor Systems State-Space Conditions to Guarantee Negative Imaginary Properties Without Minimality Restrictions

Quantitatively Hyper-Positive Real Functions

Minimal Positive Realizations for Transfer Functions with Negative Poles