CORA

Toolbox for Reachability Analysis
1.5K Downloads
Updated 8 May 2024
The COntinuous Reachability Analyzer (CORA) is a collection of MATLAB classes for the formal verification of cyber-physical systems using reachability analysis. CORA integrates various vector and matrix set representations and operations on them as well as reachability algorithms of various dynamic system classes. The software is designed such that set representations can be exchanged without having to modify the code for reachability analysis. CORA is designed using the object oriented paradigm, such that users can safely use methods without concerning themselves with detailed information hidden inside the object. Since the toolbox is written in MATLAB, the installation and use is platform independent. From Release 2018 on, the direct import of SpaceEx models into CORA is also supported.

Cite As

Matthias Althoff (2024). CORA (https://github.com/TUMcps/CORA), GitHub. Retrieved .

MATLAB Release Compatibility
Created with R2021a
Compatible with R2017b to R2021a
Platform Compatibility
Windows macOS Linux
Acknowledgements

Inspired: AROC

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Versions that use the GitHub default branch cannot be downloaded

Version Published Release Notes
1.0.3

Release version 2021

1.0.2

Update toolbox logo

1.0.1

Update toolbox logo

1.0.0

To view or report issues in this GitHub add-on, visit the GitHub Repository.
To view or report issues in this GitHub add-on, visit the GitHub Repository.