Reachability of uncertain linear systems using zonotopes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Reachability of uncertain linear systems using zonotopes

Résumé

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 special 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 extension of the method for the verification of piecewise linear hybrid systems is proposed.

Dates et versions

hal-00307003 , version 1 (28-07-2008)

Identifiants

Citer

Antoine Girard. Reachability of uncertain linear systems using zonotopes. Hybrid Systems: Computation and Control, Mar 2005, Zurich, Switzerland. pp.291-305, ⟨10.1007/978-3-540-31954-2_19⟩. ⟨hal-00307003⟩
288 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More