{
  "id": "1910.08354",
  "version": "v1",
  "published": "2019-10-18T11:56:31.000Z",
  "updated": "2019-10-18T11:56:31.000Z",
  "title": "Utilizing Dependencies to Obtain Subsets of Reachable Sets",
  "authors": [
    "Niklas Kochdumper",
    "Bastian Schürmann",
    "Matthias Althoff"
  ],
  "categories": [
    "eess.SY",
    "cs.SY"
  ],
  "abstract": "Reachability analysis has become a fundamental method supporting formally-correct synthesis, robust model predictive control, set-based observers, fault detection, invariant computation, and conformance checking, to name only 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.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2019-10-18T11:56:31.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "reachable set",
      "utilizing dependencies",
      "fundamental method supporting formally-correct synthesis",
      "synthesizing safe maneuver automata",
      "robust model predictive control"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}