File Exchange

image thumbnail

CORA

version 1.0.2 (24.4 MB) by Matthias Althoff
Toolbox for Reachability Analysis

30 Downloads

Updated 18 Mar 2021

From GitHub

View Version History

View license on GitHub

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 (2021). CORA (https://github.com/TUMcps/CORA), GitHub. Retrieved .

Comments and Ratings (3)

Zhichao Pan

The function 'reduceScott' may have a bug in line 148, temp = indPer(i). i may exceed the maximum index n-1.

Zhichao Pan

yidan zhang

How to install the tool´╝č

MATLAB Release Compatibility
Created with R2018a
Compatible with R2018a
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!

contDynamics/@contDynamics

contDynamics/@contDynamics/private

contDynamics/@linParamSys

contDynamics/@linParamSys/private

contDynamics/@linProbSys

contDynamics/@linProbSys/private

contDynamics/@linearSys

contDynamics/@linearSys/private

contDynamics/@linearSysDT

contDynamics/@linearSysDT/private

contDynamics/@linearSysDT/private/observe

contDynamics/@nonlinDASys

contDynamics/@nonlinDASys/private

contDynamics/@nonlinParamSys

contDynamics/@nonlinParamSys/private

contDynamics/@nonlinearSys

contDynamics/@nonlinearSys/private

contDynamics/@nonlinearSysDT

contDynamics/@nonlinearSysDT/private

contSet/@affine

contSet/@capsule

contSet/@conHyperplane

contSet/@conZonotope

contSet/@conZonotope/private

contSet/@contSet

contSet/@ellipsoid

contSet/@ellipsoid/private

contSet/@halfspace

contSet/@halfspace/private

contSet/@interval

contSet/@levelSet

contSet/@mptPolytope

contSet/@polyZonotope

contSet/@polyZonotope/private

contSet/@probZonotope

contSet/@probZonotope/private

contSet/@taylm

contSet/@taylm/private

contSet/@zonoBundle

contSet/@zonoBundle/private

contSet/@zonotope

contSet/@zonotope/private

contSet/@zoo

contSet/@zoo/private

converter/commonroad2cora

converter/cora2spaceex

converter/cora2spaceex/private

converter/spaceex2cora

converter/spaceex2cora/phase1

converter/spaceex2cora/phase1/auxiliary

converter/spaceex2cora/phase1/step1

converter/spaceex2cora/phase1/step2

converter/spaceex2cora/phase1/step3

converter/spaceex2cora/phase1/step4

converter/spaceex2cora/phase1/step5

converter/spaceex2cora/phase2

discrDynamics/@markovchain

discrDynamics/@markovchain/private

discrDynamics/@partition

discrDynamics/ProbOccupancyPrediction

discrDynamics/ProbOccupancyPrediction/@road

discrDynamics/ProbOccupancyPrediction/@simulation

discrDynamics/ProbOccupancyPrediction/@simulation/private

discrDynamics/ProbOccupancyPrediction/interaction

discrDynamics/ProbOccupancyPrediction/intersection

discrDynamics/ProbOccupancyPrediction/scenarios

discrDynamics/ProbOccupancyPrediction/vehicleModels

discrDynamics/ProbOccupancyPrediction/velocityProfiles

examples/ARCHcompetition/linear

examples/ARCHcompetition/nonlinear

examples/contDynamics/linParamSys

examples/contDynamics/linProbSys

examples/contDynamics/linearSys

examples/contDynamics/linearSysDT

examples/contDynamics/nonlinDASys

examples/contDynamics/nonlinParamSys

examples/contDynamics/nonlinearSys

examples/contDynamics/nonlinearSysDT

examples/contSet

examples/discrDynamics/probOccupancyPrediction

examples/hybridDynamics/hybridAutomaton

examples/hybridDynamics/parallelHybridAutomaton

examples/matrixSet

global/classes

global/classes/@reachSet

global/classes/@simResult

global/classes/@specification

global/functions

global/functions/arrow3d

global/functions/checkOptions

global/functions/combinator

global/functions/contractors

global/functions/cprnd

global/functions/eq_sphere_partitions

global/functions/eq_sphere_partitions/eq_illustrations