Reachability Analysis of Linear Systems with Stepwise Constant Inputs

Simulation-Equivalent Reachability of Large Linear Systems with Inputs

Control systems can be subject to outside inputs, environmental effects, disturbances, and sensor/actuator inaccuracy. To model such systems, linear differential equations with constrained inputs are often used, ẋ(t) = Ax(t) + Bu(t), where the input vector u(t) stays in some bound. Simulating these models is an important tool for detecting design issues. However, since there may be many possibl...

Reachability Analysis of Large Linear Systems with Uncertain Inputs in the Krylov Subspace

One often wishes for the ability to formally analyze large-scale systems—typically, however, one can either formally analyze a rather small system or informally analyze a large-scale system. This work tries to further close this performance gap for reachability analysis of linear systems. Reachability analysis can capture the whole set of possible solutions of a dynamic system and is thus used ...

Piecewise Constant Controlled Linear Fuzzy Systems

Reachability Analysis of Hybrid Systems with Linear Dynamics

We present results on symbolic reachability analysis for hybrid systems with linear autonomous dynamics in each location.

Reachability Analysis of Switched Linear Systems with Switching/input Constraints

In this note, we address the reachability of switched linear systems with switching/input constraints. We prove that, under a mild assumption of the feasible switching signals, the reachability set is the reachable subspace of the unconstrained switched system. We also investigate the local reachability for switched systems with input constraints and present a complete criterion for a general c...