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: Utilizing Dependencies to Obtain Subsets of Reachable Sets

Abstract: Reachability analysis, in general, is a fundamental method that supports formally-correct synthesis, robust model predictive control, set-based observers, fault detection, invariant computation, and conformance checking, to name but a few. In many of these applications, one requires to compute a reachable set starting within a previously computed reachable set. While it was previously required to re-compute the entire reachable set, we demonstrate that one can leverage the dependencies of states within the previously computed set. As a result, we almost instantly obtain an over-approximative subset of a previously computed reachable set by evaluating analytical maps. The advantages of our novel method are demonstrated for falsification of systems, optimization over reachable sets, and synthesizing safe maneuver automata. In all of these applications, the computation time is reduced significantly.
Subjects: Systems and Control (eess.SY)
Journal reference: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 2020
DOI: 10.1145/3365365.3382192
Cite as: arXiv:1910.08354 [eess.SY]
  (or arXiv:1910.08354v2 [eess.SY] for this version)

Submission history

From: Niklas Kochdumper M.Sc. [view email]
[v1] Fri, 18 Oct 2019 11:56:31 GMT (1664kb,D)
[v2] Mon, 16 Nov 2020 13:32:38 GMT (745kb,D)

Link back to: arXiv, form interface, contact.