We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Electrical Engineering and Systems Science > Systems and Control

Title: Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems

Abstract: Zonotopes are widely used for over-approximating forward reachable sets of uncertain linear systems for verification purposes. In this paper, we use zonotopes to achieve more scalable algorithms that under-approximate backward reachable sets of uncertain linear systems for control design. The main difference is that the backward reachability analysis is a two-player game and involves Minkowski difference operations, but zonotopes are not closed under such operations. We under-approximate this Minkowski difference with a zonotope, which can be obtained by solving a linear optimization problem. We further develop an efficient zonotope order reduction technique to bound the complexity of the obtained zonotopic under-approximations. The proposed approach is evaluated against existing approaches using randomly generated instances and illustrated with several examples.
Subjects: Systems and Control (eess.SY)
Cite as: arXiv:2107.01724 [eess.SY]
  (or arXiv:2107.01724v3 [eess.SY] for this version)

Submission history

From: Liren Yang [view email]
[v1] Sun, 4 Jul 2021 20:16:01 GMT (2929kb,D)
[v2] Thu, 21 Oct 2021 05:52:24 GMT (2920kb,D)
[v3] Fri, 15 Apr 2022 04:54:28 GMT (2920kb,D)

Link back to: arXiv, form interface, contact.