A state bounding algorithm for linear systems with bounded input and bounded slew-rate

The paper deals with the computation of the reachable (state or output) set of a discrete-time linear dynamical system with bounded input and bounded slew rate. The dependency relations between uncertain variables are shown to be a key point in the design of set-membership algorithms and justify the use of zonotopes as domains for linear systems. It allows not only to limit the wrapping effect but also to extend the problem formulation with additional constraints such as bounded input with bounded slew-rate. Some simulations illustrate the interest of the approach to limit the pessimism of the computed sets.