Python Library for Data-Driven Reachability Analysis

What is it?

DaDRA (day-druh) is a Python library for Data-Driven Reachability Analysis. The main goal of the package is to accelerate the process of computing estimates of forward reachable sets for nonlinear dynamical systems. For more information about the library, see this poster from the NSF funded SUPERB Program

Installation

To install the current release of DaDRA:

$ pip install --upgrade dadra

or

$ conda install -c jaredmejia dadra

Resources

• PyPi
• Anaconda
• Documentation
• Issue tracking

Usage

See these examples from the documentation:

• Lorenz System with disturbance using Scenario Approach
• Duffing Oscillator using Christoffel Functions
• 12-state Quadrotor using Scenario Approach

Contributing

For contributions, please follow the workflow:

1. Fork the repo on GitHub
2. Clone the project to your own machine
3. Commit changes to your own branch
4. Push your work back up to your fork
5. Submit a Pull request so that your changes can be reviewed

Be sure to fetch and merge from upstream before making a pull request.

Acknowledgement

Special thanks to @alexdevonport for contributions.

License

MIT License

BibTeX

@article{JaredMejia,
  title={DaDRA},
  author={Mejia, Jared},
  journal={GitHub. Note: https://github.com/JaredMejia/dadra},
  volume={1},
  year={2021}
}