Reachability of uncertain linear systems using zonotopes

Abstract. We present a method for the computation of reachable sets of uncertain linear systems. The main innovation of the method consists in the use of zonotopes for reachable set representation. Zonotopes are spe-cial polytopes with several interesting properties: they can be encoded efficiently, they are closed under linear transformations and Minkowski sum. The resulting method has been used to treat several examples and has shown great performances for high dimensional systems. An exten-sion of the method for the verification of piecewise linear hybrid systems is proposed.