File Exchange

image thumbnail

CORA

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

8 Downloads

Updated 27 Aug 2018

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

Comments and Ratings (0)

Updates

1.0.2

Update toolbox logo

1.0.1

Update toolbox logo

MATLAB Release Compatibility
Created with R2018a
Compatible with R2018a
Platform Compatibility
Windows macOS Linux

contDynamics/@contDynamics

contDynamics/@contDynamics/private

contDynamics/@linParamSys

contDynamics/@linParamSys/private

contDynamics/@linParamSys/testFunctions

contDynamics/@linProbSys

contDynamics/@linProbSys/private

contDynamics/@linProbSys/testFunctions

contDynamics/@linearSys

contDynamics/@linearSys/private

contDynamics/@nonlinDASys

contDynamics/@nonlinDASys/private

contDynamics/@nonlinParamSys

contDynamics/@nonlinParamSys/private

contDynamics/@nonlinearSys

contDynamics/@nonlinearSys/private

contDynamics/@nonlinearSysDT

contDynamics/@nonlinearSysDT/private

contDynamics/@zeroDynSys

contSet

contSet/@affine

contSet/@conZonotope

contSet/@conZonotope/private

contSet/@constrainedHyperplane

contSet/@contSet

contSet/@generalSet

contSet/@halfspace

contSet/@halfspace/private

contSet/@interval

contSet/@mptPolytope

contSet/@pplPolytope

contSet/@pplPolytope_GMPtest

contSet/@probZonotope

contSet/@probZonotope/private

contSet/@quadZonotope

contSet/@quadZonotope/private

contSet/@switchingSurface

contSet/@switchingSurface/private

contSet/@taylm

contSet/@taylm/private

contSet/@vertices

contSet/@zonotope

contSet/@zonotope/private

contSet/@zonotopeBundle

contSet/@zonotopeBundle/private

contSet/@zoo

contSet/@zoo/private

discrDynamics/@markovchain

discrDynamics/@markovchain/private

discrDynamics/@partition

discrDynamics/@partition/private

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

evaluations/zonotopeReduction

examples/Elguindy_PhD/Chapter 2

examples/Elguindy_PhD/Chapter 3

examples/Elguindy_PhD/Chapter 4

examples/Elguindy_PhD/Chapter 5

examples/Elguindy_PhD/Chapter 6

examples/Elguindy_PhD/models/Chapter 2

examples/Elguindy_PhD/models/Chapter 3/IEEE30bus

examples/Elguindy_PhD/models/Chapter 3/IEEE9bus

examples/Elguindy_PhD/models/Chapter 4

examples/Elguindy_PhD/models/Chapter 5

examples/Elguindy_PhD/models/Chapter 6

examples/contDynamics/linear

examples/contDynamics/linearParam

examples/contDynamics/nonlinear

examples/contDynamics/nonlinearDA

examples/contDynamics/nonlinearDT

examples/contDynamics/nonlinearParam

examples/discrDynamics/probOccupancyPrediction

examples/hybridDynamics

examples/setRepresentationsAndOperations

global functions

global functions/arrow3d

global functions/combinator

global functions/globOptimization

global functions/globOptimization/listOfTests

global functions/m2tex

global functions/tprod

global functions/velocityProfiles

hybridDynamics/@bind

hybridDynamics/@component

hybridDynamics/@hybridAutomaton

hybridDynamics/@hybridAutomaton/PLL_files

hybridDynamics/@hybridAutomaton/private

hybridDynamics/@location

hybridDynamics/@location/private

hybridDynamics/@parallelHybridAutomaton

hybridDynamics/@parallelHybridAutomaton/private

hybridDynamics/@transition

matrixSet

matrixSet/@intervalMatrix

matrixSet/@matPolytope

matrixSet/@matZonotope

models/Cora

models/SpaceExConverted/bball

spaceex2cora

spaceex2cora/phase1

spaceex2cora/phase1/auxiliary

spaceex2cora/phase1/step1

spaceex2cora/phase1/step2

spaceex2cora/phase1/step3

spaceex2cora/phase1/step4

spaceex2cora/phase1/step5

spaceex2cora/phase2

spaceex2cora/testing

testFunctions/ARCH17_FC

testFunctions/ARCH18_FC