image thumbnail

CORA

version 1.0.3 (28.8 MB) by Matthias Althoff
Toolbox for Reachability Analysis

712 Downloads

Updated 23 Nov 2021

From 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 (2021). 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!

app

app/auxiliary

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/@nonlinDASys

contDynamics/@nonlinDASys/private

contDynamics/@nonlinParamSys

contDynamics/@nonlinParamSys/private

contDynamics/@nonlinearSys

contDynamics/@nonlinearSys/private

contDynamics/@nonlinearSysDT

contDynamics/@nonlinearSysDT/private

contSet/@affine

contSet/@capsule

contSet/@capsule/private

contSet/@conHyperplane

contSet/@conHyperplane/private

contSet/@conPolyZono

contSet/@conPolyZono/private

contSet/@conZonotope

contSet/@conZonotope/private

contSet/@contSet

contSet/@ellipsoid

contSet/@ellipsoid/private

contSet/@halfspace

contSet/@halfspace/private

contSet/@interval

contSet/@interval/private

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

examples/hybridDynamics/hybridAutomaton

examples/hybridDynamics/parallelHybridAutomaton

examples/manual/section2

examples/manual/section4

examples/matrixSet

global/classes

global/classes/@reachSet

global/classes/@simResult

global/classes/@specification

global/functions