CORA

版本 1.0.3 (50.9 MB) 作者: Matthias Althoff
Toolbox for Reachability Analysis
1.4K 次下载
更新时间 2024/3/19
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.

引用格式

Matthias Althoff (2024). CORA (https://github.com/TUMcps/CORA), GitHub. 检索来源 .

MATLAB 版本兼容性
创建方式 R2021a
兼容 R2017b 到 R2021a 的版本
平台兼容性
Windows macOS Linux
类别
Help CenterMATLAB Answers 中查找有关 Digital Filter Analysis 的更多信息
致谢

启发作品: 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/@linearARMAX

contDynamics/@linearSys

contDynamics/@linearSys/private

contDynamics/@linearSysDT

contDynamics/@linearSysDT/private

contDynamics/@neurNetContrSys

contDynamics/@nonlinDASys

contDynamics/@nonlinDASys/private

contDynamics/@nonlinParamSys

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

contSet/@fullspace

contSet/@halfspace

contSet/@halfspace/private

contSet/@interval

contSet/@interval/private

contSet/@levelSet

contSet/@polyZonotope

contSet/@polyZonotope/private

contSet/@polytope

contSet/@polytope/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/commonocean2cora

converter/commonroad2cora

converter/cora2spaceex

converter/cora2spaceex/private

converter/neuralnetwork2cora

converter/powerSystem2cora

converter/powerSystem2cora/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

converter/spaceex2cora/phase3

converter/spaceex2cora/phase3/auxiliary

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/ainncs

examples/ARCHcompetition/linear

examples/ARCHcompetition/nonlinear

examples/contDynamics/linParamSys

examples/contDynamics/linProbSys

examples/contDynamics/linearARMAX

examples/contDynamics/linearSys

examples/contDynamics/linearSysDT

examples/contDynamics/neurNetContrSys

examples/contDynamics/neurNetContrSys/dynamics

examples/contDynamics/nonlinDASys

examples/contDynamics/nonlinParamSys

examples/contDynamics/nonlinearSys

examples/contDynamics/nonlinearSysDT

examples/contSet

examples/contSet/zonotope

examples/converter/commonocean2cora

examples/converter/powerSystem2cora

examples/discrDynamics/probOccupancyPrediction

examples/global/classes/nn

examples/global/classes/testCase

examples/hybridDynamics/hybridAutomaton

examples/hybridDynamics/parallelHybridAutomaton

examples/manual/add-functionality

examples/manual/appendix/add-functionality

examples/manual/dynamic-system/continuous-dynamics

examples/manual/dynamic-system/dynamic-system-operations

examples/manual/dynamic-system/hybrid-dynamics

examples/manual/examples/set-representations

examples/manual/geometric-sets/set-operations

examples/manual/geometric-sets/set-predicates

examples/manual/geometric-sets/set-properties

examples/manual/geometric-sets/set-representations

examples/manual/matrix-sets/matrixSet-operations

examples/manual/matrix-sets/matrixSet-representations

examples/matrixSet

examples/specification/stl

global/classes

global/classes/@reachSet

global/classes/@reachSet/private

global/classes/@simResult

global/classes/@testCase

global/classes/nn/+nnHelper

global/classes/nn/@neuralNetwork

global/classes/nn/layers

global/classes/nn/layers/linear

global/classes/nn/layers/nonlinear

global/classes/nn/layers/nonlinear/@nnActivationLayer

global/classes/nn/layers/other

global/functions/helper/dynamics

global/functions/helper/dynamics/checkOptions

global/functions/helper/dynamics/checkOptions/checkFuncs

global/functions/helper/dynamics/checkOptions/configfiles

global/functions/helper/dynamics/contDynamics/contDynamics

global/functions/helper/dynamics/contDynamics/linearSys

global/functions/helper/dynamics/contDynamics/linearSysDT

global/functions/helper/dynamics/discrDynamics/ProbOccupancyPrediction/simulation

global/functions/helper/dynamics/discrDynamics/ProbOccupancyPrediction/velocityProfiles

global/functions/helper/global/classes/polygon

global/functions/helper/global/classes/reachSet

global/functions/helper/global/classes/specification

global/functions/helper/global/classes/stl

global/functions/helper/sets/contSet/conZonotope

global/functions/helper/sets/contSet/contSet

global/functions/helper/sets/contSet/ellipsoid

global/functions/helper/sets/contSet/halfspace

global/functions/helper/sets/contSet/interval/contractors

global/functions/helper/sets/contSet/polyZonotope

global/functions/helper/sets/contSet/polytope

global/functions/helper/sets/contSet/probZonotope

global/functions/helper/sets/contSet/taylm

global/functions/helper/sets/contSet/zonotope

global/functions/helper/sets/matrixSet

global/functions/helper/unitTests

global/functions/matlab/converter

global/functions/matlab/file

global/functions/matlab/function_handle

global/functions/matlab/indexing

global/functions/matlab/init

global/functions/matlab/polynomial

global/functions/matlab/string

global/functions/matlab/struct

global/functions/matlab/validate/check

global/functions/matlab/validate/postprocessing

global/functions/matlab/validate/preprocessing

global/functions/verbose/ascii

global/functions/verbose/display

global/functions/verbose/plot

global/functions/verbose/plot/color

global/functions/verbose/print

global/functions/verbose/write

global/macros

global/thirdparty

global/thirdparty/combinator

global/thirdparty/eq_sphere_partitions

global/thirdparty/eq_sphere_partitions/eq_illustrations

global/thirdparty/eq_sphere_partitions/eq_illustrations/private

global/thirdparty/eq_sphere_partitions/eq_partitions

global/thirdparty/eq_sphere_partitions/eq_partitions/private

global/thirdparty/eq_sphere_partitions/eq_point_set_props

global/thirdparty/eq_sphere_partitions/eq_region_props

global/thirdparty/eq_sphere_partitions/eq_region_props/private

global/thirdparty/eq_sphere_partitions/eq_test

global/thirdparty/eq_sphere_partitions/eq_utilities

global/thirdparty/eq_sphere_partitions/private

global/thirdparty/m2tex

global/thirdparty/tprod

hybridDynamics/@hybridAutomaton

hybridDynamics/@hybridAutomaton/private

hybridDynamics/@hybridDynamics

hybridDynamics/@location

hybridDynamics/@location/private

hybridDynamics/@parallelHybridAutomaton

hybridDynamics/@parallelHybridAutomaton/private

hybridDynamics/@transition

matrixSet/@intervalMatrix

matrixSet/@intervalMatrix/private

matrixSet/@matPolytope

matrixSet/@matZonotope

models/Cora

models/Cora/PLL

models/Cora/Robertson

models/Cora/SMIB

models/Cora/autonomousCar

models/Cora/bus3

models/Cora/coupledVanDerPol

models/Cora/parametricModels

models/Cora/powertrain

models/Cora/productionDestruction

models/Cora/roomHeating

models/Cora/spacecraftRendezvous

models/Cora/tank

models/Cora/vanDerPol

models/powerSystems

specification

specification/@rtl

specification/@signal

specification/@specification

specification/@stl

unitTests

unitTests/ci

unitTests/contDynamics/contDynamics

unitTests/contDynamics/linParamSys

unitTests/contDynamics/linearARMAX

unitTests/contDynamics/linearSys

unitTests/contDynamics/linearSys/Krylov

unitTests/contDynamics/linearSysDT

unitTests/contDynamics/linearSysDT/alternativeImplementations

unitTests/contDynamics/linearSysDT/auxiliaryFunctions

unitTests/contDynamics/neurNetContrSys

unitTests/contDynamics/nonlinDASys

unitTests/contDynamics/nonlinParamSys

unitTests/contDynamics/nonlinearSys

unitTests/contDynamics/nonlinearSys/auxiliaryFunctions

unitTests/contDynamics/nonlinearSysDT

unitTests/contDynamics/nonlinearSysDT/auxiliaryFunctions

unitTests/contSet/capsule

unitTests/contSet/conHyperplane

unitTests/contSet/conPolyZono

unitTests/contSet/conZonotope

unitTests/contSet/contSet

unitTests/contSet/ellipsoid

unitTests/contSet/ellipsoid/components

unitTests/contSet/emptySet

unitTests/contSet/fullspace

unitTests/contSet/halfspace

unitTests/contSet/interval

unitTests/contSet/levelSet

unitTests/contSet/polyZonotope

unitTests/contSet/polytope

unitTests/contSet/probZonotope

unitTests/contSet/taylm

unitTests/contSet/taylm/benchmarks

unitTests/contSet/taylm/private

unitTests/contSet/zonoBundle

unitTests/contSet/zonotope

unitTests/converter/commonocean2cora

unitTests/converter/neuralnetwork2cora

unitTests/converter/powerSystem2cora

unitTests/converter/powerSystem2cora/auxiliaryFunctions

unitTests/converter/powerSystem2cora/models

unitTests/converter/spaceex2cora

unitTests/discrDynamics/markovchain

unitTests/discrDynamics/partition

unitTests/discrDynamics/road

unitTests/global/classes/nn

unitTests/global/classes/nn/helper

unitTests/global/classes/nn/layers

unitTests/global/classes/nn/layers/linear

unitTests/global/classes/nn/layers/nonlinear

unitTests/global/classes/nn/layers/other

unitTests/global/classes/nn/neuralNetwork

unitTests/global/classes/nn/nnHelper

unitTests/global/classes/polygon

unitTests/global/classes/reachSet

unitTests/global/classes/simResult

unitTests/global/classes/testCase

unitTests/global/functions/helper/contSet/conZonotope

unitTests/global/functions/helper/contSet/contSet

unitTests/global/functions/helper/contSet/halfspace

unitTests/global/functions/helper/contSet/interval/contractors

unitTests/global/functions/helper/contSet/zonotope

unitTests/global/functions/matlab/file

unitTests/global/functions/matlab/function_handle

unitTests/global/functions/matlab/indexing

unitTests/global/functions/matlab/init

unitTests/global/functions/matlab/polynomial

unitTests/global/functions/matlab/print

unitTests/global/functions/matlab/string

unitTests/global/functions/matlab/struct

unitTests/global/functions/matlab/validate/check

unitTests/global/functions/matlab/validate/preprocessing

unitTests/global/functions/verbose/plot

unitTests/global/functions/verbose/plot/color

unitTests/global/macros

unitTests/hybridDynamics/hybridAutomaton

unitTests/hybridDynamics/location

unitTests/hybridDynamics/parallelHybridAutomaton

unitTests/hybridDynamics/transition

unitTests/matrixSet/intervalMatrix

unitTests/matrixSet/matPolytope

unitTests/matrixSet/matZonotope

unitTests/specification

unitTests/specification/signal

unitTests/specification/specification

unitTests/specification/stl

unitTests/unitTests/ci

无法下载基于 GitHub 默认分支的版本

版本 已发布 发行说明
1.0.3

Release version 2021

1.0.2

Update toolbox logo

1.0.1

Update toolbox logo

1.0.0

要查看或报告此来自 GitHub 的附加功能中的问题,请访问其 GitHub 仓库
要查看或报告此来自 GitHub 的附加功能中的问题,请访问其 GitHub 仓库