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.
Zitieren als
Matthias Althoff (2024). CORA (https://github.com/TUMcps/CORA), GitHub. Abgerufen .
Kompatibilität der MATLAB-Version
Erstellt mit
R2021a
Kompatibel mit R2017b bis R2021a
Plattform-Kompatibilität
Windows macOS LinuxKategorien
- Signal Processing > Signal Processing Toolbox > Digital and Analog Filters > Digital Filter Analysis >
Mehr zu Digital Filter Analysis finden Sie in Help Center und MATLAB Answers
Tags
Quellenangaben
Inspiriert: AROC
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Live Editor erkunden
Erstellen Sie Skripte mit Code, Ausgabe und formatiertem Text in einem einzigen ausführbaren Dokument.
data/matlab
data/matlab/scripts
data/matlab/scripts/continuous-systems
data/matlab/scripts/geometric-sets
data/matlab/scripts/geometric-sets/operations
data/matlab/scripts/hybrid-dynamics
data/matlab/scripts/neural-networks
Versionen, die den GitHub-Standardzweig verwenden, können nicht heruntergeladen werden
Version | Veröffentlicht | Versionshinweise | |
---|---|---|---|
1.0.3 | Release version 2021 |
|
|
1.0.2 | Update toolbox logo |
|
|
1.0.1 | Update toolbox logo |
|
|
1.0.0 |
|
Um Probleme in diesem GitHub Add-On anzuzeigen oder zu melden, besuchen Sie das GitHub Repository.
Um Probleme in diesem GitHub Add-On anzuzeigen oder zu melden, besuchen Sie das GitHub Repository.