ClosedLoopReachability.jl

Reachability analysis for closed-loop control systems
Popularity
38 Stars
Updated Last
10 Months Ago
Started In
January 2020

ClosedLoopReachability.jl

Documentation Status Community License
docs-dev CI codecov gitter license

This package implements methods to analyze closed-loop control systems using reachability analysis.

Currently we support neural-network controllers.

๐Ÿ“œ How to cite

If you use this package in your work, please cite it using the metadata here or below.

Click to see BibTeX entry.
@inproceedings{SchillingFG22,
  author    = {Christian Schilling and
               Marcelo Forets and
               Sebasti{\'{a}}n Guadalupe},
  title     = {Verification of Neural-Network Control Systems by Integrating {T}aylor
               Models and Zonotopes},
  booktitle = {{AAAI}},
  pages     = {8169--8177},
  publisher = {{AAAI} Press},
  year      = {2022},
  url       = {https://ojs.aaai.org/index.php/AAAI/article/view/20790},
  doi       = {10.1609/aaai.v36i7.20790}
}

Used By Packages

No packages found.