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: DaDRA: A Python Library for Data-Driven Reachability Analysis

Abstract: Reachability analysis is used to determine all possible states that a system acting under uncertainty may reach. It is a critical component to obtain guarantees of various safety-critical systems both for safety verification and controller synthesis. Though traditional approaches to reachability analysis provide formal guarantees of the reachable set, they involve complex algorithms that require full system information, which is impractical for use in real world settings. We present DaDRA, a Python library that allows for data-driven reachability analysis with arbitrarily robust probabilistic guarantees. We demonstrate the practical functionality of DaDRA on various systems including: an analytically intractable chaotic system, benchmarks for systems with nonlinear dynamics, and a realistic system acting under complex disturbance signals and controlled with an intricate controller across multiple dimensions.
Subjects: Systems and Control (eess.SY)
Cite as: arXiv:2111.01312 [eess.SY]
  (or arXiv:2111.01312v1 [eess.SY] for this version)

Submission history

From: Jared Mejia [view email]
[v1] Tue, 2 Nov 2021 00:48:19 GMT (2502kb,D)

Link back to: arXiv, form interface, contact.