共享 'CORA'
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. 检索来源 .
需要
MPT toolbox (see http://people.ee.ethz.ch/~mpt/3/)
MATLAB 版本兼容性
创建方式
R2021a
兼容 R2017b 到 R2021a 的版本
平台兼容性
Windows macOS Linux类别
- Signal Processing > Signal Processing Toolbox > Digital and Analog Filters > Digital Filter Analysis >
在 Help Center 和 MATLAB 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
- conform
- contDynamics
- derivatives
- display
- isemptyobject
- isequal
- linReach
- observe
- observe_stripBased
- outputSet
- pruneDynamics
- reach
- simulateRandom
- symVariables
- verify
contDynamics/@contDynamics/private
- abstrerr_lin
- abstrerr_poly
- aux_checkRequiredFiles
- confCheck
- confCheck_BF
- confCheck_RRT
- confSynth
- confSynth_RRT
- create3rdOrderTensorFile
- createHessianTensorFile
- createHigherOrderTensorFiles
- createJacobianFile
- createJacobianFile_freeParam
- createParametricDynamicFile
- linError
- linError_higherOrder
- linError_mixed_noInt
- linError_thirdOrder.m
- observe_intersectionMethod_I
- observe_intersectionMethod_II
- precompStatError
- reportReachError
- select
- simulateConstrainedRandom
- simulateGaussian
- simulateGaussian_old
- simulateRRT
- simulateStandard
- simulateStandard_old
contDynamics/@linParamSys
- coreReach
- display
- errorSolution
- getfcn
- initReach
- initReach_inputDependence
- linParamSys
- LinParamWrapper_initReach
- post
- postReach
- preReach
- simulate
contDynamics/@linParamSys/private
- apprSquare
- dependentHomSol
- dependentInputSol
- expMap
- highOrderMappingMatrix
- inputSolution
- inputTie
- mappingMatrix
- nonlinMap
- tie
contDynamics/@linProbSys
contDynamics/@linProbSys/private
contDynamics/@linearARMAX
contDynamics/@linearSys
- coreReach
- deltaReach
- deltaReach_adaptive
- display
- eq
- errorSolution
- errorSolution_adaptive
- exponentialMatrices
- generateRandom
- getfcn
- initReach
- initReach_adaptive
- initReach_Euclidean
- isequal
- linearSys
- linearSysDT
- linError
- ne
- nonlinearSys
- outputSet
- post
- postReach
- post_Euclidean
- preReach
- reach
- reachInner
- simulate
- trajectoryError
- verify
contDynamics/@linearSys/private
- checkSpecification
- constInputSolution
- expmtie_adaptive
- exponential
- exponential_Krylov
- exponential_Krylov_precomputed
- exponential_Krylov_projected
- initReach_Decomp
- initReach_Krylov
- inputInducedUpdates
- inputSolution
- inputSolution_Krylov
- inputTie
- post_Krylov
- post_Krylov_nonProjected
- reach_adaptive
- reach_decomp
- reach_fromStart
- reach_krylov
- reach_standard
- reach_wrappingfree
- subspace_Krylov
- subspace_Krylov_individual
- subspace_Krylov_individual_Wang
- tie
- verifyRA_supportFunc
- verifyRA_zonotope
- verifySTL_kochdumper
contDynamics/@linearSysDT
- confCheck_dyn
- confSynth_dyn
- confSynth_gray
- display
- executeObserver
- linearARMAX
- linearSysDT
- outputSet
- post
- reach
- simulate
- simulateConstrained
contDynamics/@linearSysDT/private
- conform_reachableHalfspaces
- conform_unifyTestCases
- observe_CZN_A
- observe_CZN_B
- observe_ESO_A
- observe_ESO_B
- observe_ESO_C
- observe_ESO_D
- observe_FRadA
- observe_FRadB
- observe_FRadC
- observe_gain_ESO_C
- observe_gain_ESO_D
- observe_gain_HinfG
- observe_gain_NomG
- observe_gain_PRadA
- observe_gain_PRadB
- observe_gain_PRadC
- observe_gain_PRadD
- observe_gain_PRadE
- observe_HinfG
- observe_intersectionFree
- observe_intersectionFreeAdaptive
- observe_interval
- observe_NomG
- observe_PRadA
- observe_PRadB
- observe_PRadC
- observe_PRadD
- observe_PRadE
- observe_RauchTungStriebel
- observe_ROPO
- observe_volMinA
- observe_volMinB
contDynamics/@neurNetContrSys
contDynamics/@nonlinDASys
- consistentInitialState
- display
- getfcn
- initReach
- linReach
- linReach_adaptive
- nonlinDASys
- outputSet
- post
- reach_adaptive
- simulate
- steadyState
contDynamics/@nonlinDASys/private
- aux_checkIfHessianConst
- createHessianTensorFile_powSys
- linearize
- linError
- linError_mixed_noInt
- linError_mixed_noInt_comp.m
- linError_thirdOrder
- select
- simulateRRT
- simulateRRT_det
contDynamics/@nonlinParamSys
contDynamics/@nonlinearSys
- createRemainderFile_certainInput
- display
- eq
- getfcn
- initReach
- initReach_adaptive
- isequal
- linearize
- linReach_adaptive
- linReach_adaptive_old
- ne
- nonlinearSys
- post
- reachInner
- reach_adaptive
- simulate
- taylor
contDynamics/@nonlinearSys/private
- abstractionError_adaptive
- allowedError
- errorEval
- precompStatError_adaptive
- reachInnerParallelotope
- reachInnerProjection
- reachInnerScaling
contDynamics/@nonlinearSysDT
contDynamics/@nonlinearSysDT/private
- linearize
- linError_mixed_noInt
- linError_thirdOrder
- observe_FRadA
- observe_FRadB
- observe_FRadC
- observe_intersectionFreeAdaptive
- observe_volMinA
- observe_volMinB
contSet/@affine
contSet/@capsule
- capsule
- center
- conPolyZono
- contains_
- convHull
- dim
- display
- ellipsoid
- empty
- enclose
- enclosePoints
- enlarge
- eq
- generateRandom
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- isnan
- lift_
- mtimes
- ne
- plot
- plus
- polygon
- polytope
- polyZonotope
- project
- radius
- randPoint_
- reduce
- representsa_
- supportFunc_
- volume_
- zonotope
contSet/@capsule/private
contSet/@conHyperplane
- and_
- conHyperplane
- contains_
- dim
- display
- distance
- empty
- eq
- generateRandom
- Inf
- isBounded
- isemptyobject
- isequal
- isIntersecting_
- isnan
- levelSet
- lift_
- ne
- plot
- polytope
- projectOnHyperplane
- randPoint_
- representsa_
- supportFunc_
contSet/@conHyperplane/private
contSet/@conPolyZono
- and_
- cartProd_
- center
- compact_
- conPolyZono
- contains_
- convHull
- conZonotope
- dim
- display
- ellipsoid
- empty
- enclose
- eq
- exactPlus
- generateRandom
- getSubset
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- linComb
- minkDiff
- mtimes
- ne
- or
- plot
- plus
- polygon
- polytope
- polyZonotope
- project
- quadMap
- randPoint_
- reduce
- reduceConstraints
- representsa_
- rescale
- split
- splitDepFactor
- splitLongestGen
- supportFunc_
- zonotope
contSet/@conPolyZono/private
contSet/@conZonotope
- and_
- cartProd_
- center
- compact_
- conIntersect
- conPolyZono
- contains_
- convHull
- conZonotope
- cubMap
- deleteZeros
- dim
- display
- empty
- enclose
- eq
- generateRandom
- generators
- intersectStrip
- interval
- intervalMultiplication
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- minkDiff
- mtimes
- ne
- or
- plot
- plotZono
- plus
- polytope
- polyZonotope
- project
- quadMap
- randPoint_
- reduce
- reduceConstraints
- representsa_
- rescale
- split
- supportFunc_
- vertices_
- zonoBundle
- zonotope
contSet/@conZonotope/private
contSet/@contSet
- affine
- and
- and_
- capsule
- cartProd
- cartProd_
- center
- compact
- compact_
- conHyperplane
- conPolyZono
- contains
- contains_
- contSet
- convHull
- conZonotope
- cubMap
- dim
- display
- ellipsoid
- empty
- emptySet
- enclose
- enclosePoints
- fullspace
- generateRandom
- halfspace
- in
- Inf
- initEmptySet
- interval
- isBounded
- isConHyperplane
- isempty
- isemptyobject
- isequal
- isFullDim
- isHyperplane
- isIntersecting
- isIntersecting_
- isInterval
- isParallelotope
- isPolytope
- isZero
- isZonotope
- levelSet
- lift
- lift_
- linComb
- minkDiff
- minus
- mtimes
- norm
- norm_
- or
- plot
- plotRandPoint
- plus
- polytope
- polyZonotope
- probZonotope
- project
- projectHighDim
- projectHighDim_
- projVertices
- quadMap
- randPoint
- randPoint_
- reduce
- representsa
- representsa_
- representsa_emptyObject
- supportFunc
- supportFunc_
- times
- uminus
- uplus
- vertices
- vertices_
- volume
- volume_
- zonoBundle
- zonotope
contSet/@ellipsoid
- and_
- array
- cartProd_
- center
- conPolyZono
- contains_
- convHull
- dim
- display
- distance
- ellipsoid
- ellipsoidNorm
- empty
- enclose
- enclosePoints
- enlarge
- eq
- generateRandom
- generators
- intersectStrip
- interval
- isBadDir
- isBigger
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- isnan
- levelSet
- lift_
- minkDiff
- mtimes
- ne
- norm_
- or
- plot
- plus
- polyZonotope
- project
- radius
- randPoint_
- rank
- reduce
- representsa_
- supportFunc_
- vertices_
- volume_
- zonotope
contSet/@ellipsoid/private
- andEllipsoidIA
- andEllipsoidOA
- andHalfspace
- andHyperplane
- andPolytope
- boundary
- compIntersectionParam
- containsEllipsoid
- distanceEllipsoid
- distanceHyperplane
- distancePoint
- distancePolytope
- enc_parallelotope
- enc_zonotope
- insc_parallelotope
- insc_zonotope
- isIntersectingMixed
- lminkDiff
- lplus
- minkDiffEllipsoid
- orEllipsoidOA
- plusEllipsoid
- plusEllipsoidOA
- plusEllipsoidOA_halder
- rootfnc
contSet/@emptySet
- and_
- center
- contains_
- dim
- display
- empty
- emptySet
- eq
- generateRandom
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- mtimes
- ne
- not
- plot
- plus
- project
- projectHighDim_
- radius
- randPoint_
- representsa_
- supportFunc_
- volume_
contSet/@fullspace
- and_
- box
- center
- contains_
- dim
- display
- enclosePoints
- eq
- eventFcn
- fullspace
- generateRandom
- Inf
- interval
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- mtimes
- ne
- not
- plot
- plus
- polytope
- project
- projectHighDim_
- radius
- randPoint_
- representsa_
- supportFunc_
- vertices_
- volume_
contSet/@halfspace
- and_
- commonPoint
- conHyperplane
- contains_
- dim
- display
- empty
- eq
- generateRandom
- halfspace
- Inf
- interval
- isBounded
- isemptyobject
- isequal
- isIntersecting_
- isnan
- lift_
- mtimes
- ne
- plot
- plus
- polytope
- representsa_
- rotate
contSet/@halfspace/private
contSet/@interval
- abs
- acos
- acosh
- affine
- and_
- asin
- asinh
- atan
- atanh
- capsule
- cartProd_
- center
- conPolyZono
- contains_
- convHull
- conZonotope
- cos
- cosh
- ctranspose
- diag
- dim
- dirac
- display
- ellipsoid
- empty
- enclosePoints
- enlarge
- eq
- exp
- generateRandom
- gridPoints
- horzcat
- Inf
- infimum
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- isnan
- isscalar
- issparse
- kron
- le
- length
- lift_
- log
- lt
- max
- min
- minkDiff
- minus
- mpower
- mrdivide
- mtimes
- ne
- norm_
- or
- partition
- plot
- plus
- polytope
- polyZonotope
- power
- prod
- project
- projectHighDim_
- quadMap
- rad
- radius
- randPoint_
- rdivide
- reduce
- representsa_
- reshape
- sign
- sin
- sinh
- size
- split
- sqrt
- string
- subsasgn
- subsref
- sum
- supportFunc_
- supremum
- tan
- tanh
- times
- transpose
- tril
- triu
- uminus
- uplus
- vertcat
- vertices_
- volume_
- zonoBundle
- zonotope
contSet/@interval/private
contSet/@levelSet
- and_
- compact_
- contains_
- dim
- display
- empty
- eq
- eventFcn
- generateRandom
- Inf
- isemptyobject
- isequal
- isIntersecting_
- levelSet
- lift_
- ne
- not
- plot
- representsa_
- tightenDomain
contSet/@polyZonotope
- addedTermsHessian
- approxVolumeRatio
- cartProd_
- center
- compact_
- conPolyZono
- containsPointSet
- contains_
- convHull
- cubMap
- deleteZeros
- dim
- display
- ellipsoid
- empty
- enclose
- eq
- exactPlus
- fhandle
- generateRandom
- getSubset
- hausdorffDist
- hessianHandle
- innerApprox
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- isPolytope
- jacobian
- jacobianHandle
- lift_
- linComb
- mtimes
- ne
- noIndep
- onlyId
- outerApprox
- partZonotope
- plot
- plus
- polygon
- polyMap
- polytope
- polyZonotope
- project
- quadMap
- randPoint_
- reduce
- replaceId
- representsa_
- resolve
- restoreId
- restructure
- rmId
- split
- splitDepFactor
- splitLongestGen
- stack
- subs
- sum
- supportFunc_
- taylm
- zonotope
contSet/@polyZonotope/private
- checkDiffParamIds
- multiply
- reduceAdaptive
- removeZeroExponents
- restructureReduce
- restructureReduceDI
- restructureReduceFull
- restructureReducePart
- restructureZono
contSet/@polytope
- and_
- box
- cartProd_
- center
- compact_
- conPolyZono
- contains_
- convHull
- conZonotope
- dim
- display
- distance
- ellipsoid
- empty
- enclose
- enclosePoints
- eq
- eventFcn
- generateRandom
- hausdorffDist
- Inf
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- le
- levelSet
- lift_
- minkDiff
- minus
- mldivide
- mtimes
- ne
- normalizeConstraints
- not
- or
- plot
- plus
- polytope
- polyZonotope
- project
- projectHighDim
- randPoint_
- representsa_
- supportFunc_
- vertices_
- volume_
- zonoBundle
- zonotope
contSet/@polytope/private
contSet/@probZonotope
- abs
- center
- dim
- display
- enclose
- enclosingProbability
- generateRandom
- generators
- interval
- isemptyobject
- max
- mean
- mtimes
- plot
- plus
- polytope
- probReduce
- probZonotope
- project
- pyramid
- randPoint_
- reduce
- representsa_
- sigma
- singleGenPlot
- sup
- vertices_
- zonotope
contSet/@probZonotope/private
contSet/@taylm
- acos
- asin
- atan
- conPolyZono
- cos
- cosh
- det
- dim
- display
- exp
- generateRandom
- getCoef
- getRem
- getSyms
- interval
- isemptyobject
- log
- minus
- mpower
- mrdivide
- mtimes
- optBernstein
- optBnb
- optBnbAdv
- optLinQuad
- plot
- plus
- polyZonotope
- power
- prod
- rdivide
- reexpand
- set
- setName
- sin
- sinh
- sqrt
- subsasgn
- subsref
- sum
- supportFunc_
- tan
- tanh
- taylm
- times
- trace
- uminus
- uplus
contSet/@taylm/private
contSet/@zonoBundle
- and_
- cartProd_
- center
- conPolyZono
- contains_
- convHull
- conZonotope
- dim
- display
- empty
- enclose
- encloseTight
- enlarge
- eq
- generateRandom
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- mtimes
- ne
- or
- plot
- plus
- polytope
- polyZonotope
- project
- quadMap
- randPoint_
- reduce
- reduceCombined
- replace
- representsa_
- shrink
- split
- supportFunc_
- vertices_
- volume_
- zonoBundle
- zonotope
contSet/@zonoBundle/private
contSet/@zonotope
- abs
- and_
- box
- capsule
- cartProd_
- center
- compact_
- conPolyZono
- constrSat
- contains_
- convHull
- conZonotope
- cubMap
- deleteAligned
- deleteZeros
- dH2box
- dim
- display
- dominantDirections
- ellipsoid
- empty
- enclose
- encloseMany
- enclosePoints
- enlarge
- eq
- exactPlus
- filterOut
- generateRandom
- generatorLength
- generators
- halfspace
- intersectStrip
- interval
- intervalMultiplication
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- minkDiff
- minnorm
- mtimes
- ne
- norm_
- or
- orthVectors
- plot
- plus
- polygon
- polytope
- polyZonotope
- project
- projectHighDim_
- quadMap
- quadMap_parallel
- radius
- randPoint_
- rank
- reduce
- reduceUnderApprox
- representsa_
- rotate
- simplex
- split
- splitFirstGen
- splitLongestGen
- supportFunc_
- taylm
- tensorMultiplication
- tensorMultiplication_zono
- underapproximate
- vertices_
- volumeRatio
- volume_
- zonoBundle
- zonotope
- zonotopeNorm
contSet/@zonotope/private
- andAveraging
- enc_ellipsoid
- evaluateRotations
- generatorVolumeFilter
- insc_ellipsoid
- kmeansFilter
- lengthFilter
- MVEE
- MVIE
- ndimCross
- norm_exact
- norm_ub
- reduceAdaptive
- reduceCluster
- reduceCombastel
- reduceConstOpt
- reduceGirard
- reduceIdx
- reduceMethA
- reduceMethB
- reduceMethC
- reduceMethE
- reduceMethF
- reducePCA
- reduceRedistribute
- reduceScott
- reduceValero
- reorderingFilter
- volumeFilter
contSet/@zoo
contSet/@zoo/private
converter/commonocean2cora
converter/commonroad2cora
converter/cora2spaceex
converter/cora2spaceex/private
- assignment_cora2spaceex
- conHyperplane_cora2spaceex
- flow_cora2spaceex
- guard_cora2spaceex
- headline_cora2spaceex
- hybrid_cora2spaceex
- invariant_cora2spaceex
- levelSet_cora2spaceex
- location_cora2spaceex
- parameter_cora2spaceex
- polytope_cora2spaceex
- transition_cora2spaceex
converter/neuralnetwork2cora
converter/powerSystem2cora
converter/powerSystem2cora/private
- createFileFromFunction
- generateConstraintEquations
- generateDynamicEquations
- reorderBuses
- symPowerVariables
converter/spaceex2cora
converter/spaceex2cora/phase1
converter/spaceex2cora/phase1/auxiliary
converter/spaceex2cora/phase1/step1
converter/spaceex2cora/phase1/step2
- AssignTemplate
- CollectVariables
- ComputeBaseComponent
- ComputeNetworkComponent
- parseCondition
- ParseTemplates
converter/spaceex2cora/phase1/step3
- applyMappingToCondition
- applyMappingToEquation
- applyRenames
- InstantiateBC
- InstantiateComponents
- InstantiateNC
- resolveBinds
converter/spaceex2cora/phase1/step4
converter/spaceex2cora/phase1/step5
- applySymMapping
- classifyVariablesFlat
- classifyVariablesParallel
- eq2linSys.m
- eq2linSysFlat.m
- eq2set
- FormalizeBaseComponent
- outputMatrices.m
- outputMatricesComp2Comp
converter/spaceex2cora/phase2
converter/spaceex2cora/phase3
converter/spaceex2cora/phase3/auxiliary
discrDynamics/@markovchain
- build
- build4road
- build4road_reach
- build_reach
- convertTransitionMatrix
- get
- markovchain
- plot
- plotP
- plot_reach
- set
- stretch
discrDynamics/@markovchain/private
discrDynamics/@partition
- cellCenter
- cellIndices
- cellIntervals
- cellPolytopes
- cellSegments
- cellZonotopes
- display
- exactIntersectingSegments
- intersectingCells
- nrOfCells
- partition
- plot
discrDynamics/ProbOccupancyPrediction
- calculateCrashProbability
- Car
- carReach
- carReach_reach
- getPolytopeForSegment
- getSegmentsForManeuver
- getSegmentsForPath
- initBicycle
- initCar
- plotHisto
- plotHistobars
- plotPositionDistribution
- segmentCenter
- segmentData
- start_carReach
- start_carReach_reach
- vehicleBodyDistribution
discrDynamics/ProbOccupancyPrediction/@road
- createPath
- deviationProbability
- display
- intersection
- intersectionAlexander
- intersection_database
- plot
- plot3Lanes
- plotCrossing
- plotPath
- plotVehSeg
- road
- segCenter
- segData
- segPolytope
discrDynamics/ProbOccupancyPrediction/@simulation
discrDynamics/ProbOccupancyPrediction/@simulation/private
- autonomousDriving
- autonomousDrivingOptimized
- autonomousDrivingOptimizedPosOnly
- avgVelocityOnPath
- combine
- combineOptimized
- driving
- drivingOptimized
- drivingOptimized
- drivingOptimized_noInteraction
- freeDriving
- freeDrivingOptimized
- gammaMatrix
- gammaMatrix
- generalProject
- inputDist
- inputDistOptimized
- laneChangeEvolution
- laneChangeProbability
- laneChangeProbabilityOptimized
- laneChanging
- laneChangingOptimized
- motivation
- motivationOptimized
- normalize
- potChange
- project
- reachableSet
- roadCrossing
- roadCrossingOptimized
- simulateCar
- singleStepDriving
- singleStepDrivingOptimized
- speedRestriction
- speedRestrictionOptimized
- vehicleFollowing
- vehicleFollowingOptimized
discrDynamics/ProbOccupancyPrediction/interaction
discrDynamics/ProbOccupancyPrediction/intersection
discrDynamics/ProbOccupancyPrediction/scenarios
- braking
- intersectionCrossing
- knownBehavior
- laneChange
- merging
- motivationPlot
- overtaking
- straightVScurved
- xIntegration
discrDynamics/ProbOccupancyPrediction/vehicleModels
discrDynamics/ProbOccupancyPrediction/velocityProfiles
- profile1
- profile100
- profile2
- profile3
- profile4
- profileBrake
- profileNoLimit
- profilePlot
- profileTest
- profileVarVel
examples/ARCHcompetition/ainncs
examples/ARCHcompetition/linear
- benchmark_hybrid_reach_ARCH23_brake_BRKDC01
- benchmark_hybrid_reach_ARCH23_brake_BRKNC01
- benchmark_hybrid_reach_ARCH23_brake_BRKNP01
- benchmark_hybrid_reach_ARCH23_gearbox_GRBX01
- benchmark_hybrid_reach_ARCH23_gearbox_GRBX02
- benchmark_hybrid_reach_ARCH23_powerTrain_DTN01
- benchmark_hybrid_reach_ARCH23_powerTrain_DTN02
- benchmark_hybrid_reach_ARCH23_powerTrain_DTN03
- benchmark_hybrid_reach_ARCH23_powerTrain_DTN04
- benchmark_hybrid_reach_ARCH23_powerTrain_DTN05
- benchmark_hybrid_reach_ARCH23_powerTrain_DTN06
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA01
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA02
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA03
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA04
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA05
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA06
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA07
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA08
- benchmark_hybrid_reach_ARCH23_rendezvous_SRNA01
- benchmark_hybrid_reach_ARCH23_rendezvous_SRU01
- benchmark_hybrid_reach_ARCH23_rendezvous_SRU02
- benchmark_linearParam_reach_ARCH23_platoon_PLAA01_BND42
- benchmark_linearParam_reach_ARCH23_platoon_PLAA01_BND50
- benchmark_linearParam_reach_ARCH23_platoon_PLAD01_BND30
- benchmark_linearParam_reach_ARCH23_platoon_PLAD01_BND42
- benchmark_linearParam_reach_ARCH23_platoon_PLAN01
- benchmark_linear_reach_ARCH23_heat3D_HEAT03
- benchmark_linear_verifyFast_ARCH23_beam_CBC01
- benchmark_linear_verifyFast_ARCH23_beam_CBC02
- benchmark_linear_verifyFast_ARCH23_beam_CBC03
- benchmark_linear_verifyFast_ARCH23_beam_CBF01
- benchmark_linear_verifyFast_ARCH23_beam_CBF02
- benchmark_linear_verifyFast_ARCH23_beam_CBF03
- benchmark_linear_verifyFast_ARCH23_heat3D_HEAT01
- benchmark_linear_verifyFast_ARCH23_heat3D_HEAT02
- benchmark_linear_verifyFast_ARCH23_iss_ISSC01_ISS02
- benchmark_linear_verifyFast_ARCH23_iss_ISSC01_ISU02
- benchmark_linear_verifyFast_ARCH23_iss_ISSF01_ISS01
- benchmark_linear_verifyFast_ARCH23_iss_ISSF01_ISU01
- run_arch23_aff_category
examples/ARCHcompetition/nonlinear
- benchmark_hybrid_reach_ARCH23_lotkaVolterra
- benchmark_hybrid_reach_ARCH23_spacecraft
- benchmark_nonlinear_reach_ARCH23_laubLoomis
- benchmark_nonlinear_reach_ARCH23_Robertson
- benchmark_nonlinear_reach_ARCH23_trafficscenario
- benchmark_nonlinear_reach_ARCH23_vanDerPol
- run_arch23_nln_category
examples/contDynamics/linParamSys
examples/contDynamics/linProbSys
examples/contDynamics/linearARMAX
examples/contDynamics/linearSys
- example_linear_reach_01_5dim
- example_linear_reach_02_5dim_rrt
- example_linear_reach_03_inputTrajectory
- example_linear_reach_04_adaptive
- example_linear_reach_05_innerApprox
- example_linear_reach_06_adaptive_electricCircuit
- example_linear_reach_07_temporalLogic
- example_linear_verify
- example_linear_verify_electricCircuit
- example_linear_verify_temporalLogic
examples/contDynamics/linearSysDT
- example_linearSysDT_conform_01_pedestrians
- example_linearSysDT_conform_02_2dim
- example_linearSysDT_conform_03_gray
- example_linearSysDT_conform_check_01_pedestrians
- example_linearSysDT_observe_01_vehicle
- example_linearSysDT_observe_02_2dim
- example_linearSysDT_observe_03_tank
- example_linearSysDT_observe_04_pedestrian
- example_linearSysDT_observe_CommonRoad
- example_linearSysDT_observe_longitudinalCommonRoad
- example_linearSysDT_reach_01_5dim
- example_linearSysDT_reach_02_5dim
- example_linearSysDT_reach_03_2dim_backOver
- example_linearSysDT_reach_04_2dim_backUnder
- example_linearSysDT_reach_05_6dim_backOverUnder
- example_linearSysDT_reach_06_6dim_backOverUnder
- example_linearSysDT_reach_07_10dim_backOver
examples/contDynamics/neurNetContrSys
- benchmark_neuralNet_reach_09_QUAD
- example_neuralNet_reach_01_unicycle
- example_neuralNet_reach_02_ACC
- example_neuralNet_reach_03_TORA
- example_neuralNet_reach_03_TORA_heterogeneousSigmoid
- example_neuralNet_reach_03_TORA_heterogeneousTanh
- example_neuralNet_reach_04_singlePendulum
- example_neuralNet_reach_05_doublePendulum_lessRobust
- example_neuralNet_reach_05_doublePendulum_moreRobust
- example_neuralNet_reach_06_airplane
- example_neuralNet_reach_07_VCAS
- example_neuralNet_reach_08_attitudeControl
- example_neuralNet_reach_10_spacecraftDocking
examples/contDynamics/neurNetContrSys/dynamics
examples/contDynamics/nonlinDASys
- example_nonlinearDA_reach_01_powerSystem_3bus
- example_nonlinearDA_reach_02_swing1bus
- example_nonlinearDA_reach_03_LPVSMIB
- example_nonlinearDA_reach_04_powerSystem_14bus
- example_nonlinearDA_reach_05_powerSystem_14bus_compositional
- example_nonlinearDA_reach_06_powerSystem_30bus_compositional
- example_nonlinearDA_reach_07_3bus_adaptive
- example_nonlinearDA_reach_08_SMIBswing_adaptive
- example_nonlinearDA_reach_09_SMIB_adaptive
examples/contDynamics/nonlinParamSys
- example_nonlinearParam_reach_01_tank
- example_nonlinearParam_reach_02_tank_certainCase
- example_nonlinearParam_reach_03_tank_linearRemainder
- example_nonlinearParam_reach_04_vanderPol_linearRemainder
examples/contDynamics/nonlinearSys
- example_nonlinear_conform_01_autonomousCar
- example_nonlinear_conform_check_01_autonomousCar
- example_nonlinear_reach_01_tank
- example_nonlinear_reach_02_vanDerPol_polyZonotope
- example_nonlinear_reach_03_vanDerPol_splitting
- example_nonlinear_reach_04_laubLoomis_polyZonotope
- example_nonlinear_reach_05_autonomousCar
- example_nonlinear_reach_06_tank_linearRemainder
- example_nonlinear_reach_07_vanDerPol_linearRemainder
- example_nonlinear_reach_08_subset
- example_nonlinear_reach_09_drum
- example_nonlinear_reach_10_pendulum
- example_nonlinear_reach_11_innerApprox
- example_nonlinear_reach_12_adaptive
- example_nonlinear_reach_13_adaptiveHSCC
- example_nonlinear_reach_14_adaptiveHSCC2
- example_nonlinear_reach_15_infiniteBusRoA
- example_nonlinear_reach_16_infiniteBusRoA_polynomialized
examples/contDynamics/nonlinearSysDT
- example_nonlinearSysDT_observe_01_tank
- example_nonlinearSysDT_reach_adaptive
- example_nonlinearSysDT_reach_cstrDisc
- example_nonlinearSysDT_reach_tank
examples/contSet
- example_affine
- example_capsule
- example_conHyperplane
- example_conPolyZono
- example_conZonotope
- example_ellipsoid
- example_halfspace
- example_interval
- example_levelSet
- example_plot1Dsets
- example_plot_color
- example_plot_posXYZ
- example_polytope
- example_polyZonotope
- example_probZonotope
- example_taylm
- example_zonoBundle
- example_zonotope
- example_zoo
examples/contSet/zonotope
examples/converter/commonocean2cora
examples/converter/powerSystem2cora
- example_converter_powerSystem2cora_all
- example_converter_powerSystem2cora_IEEE30
- example_converter_powerSystem2cora_specs
examples/discrDynamics/probOccupancyPrediction
examples/global/classes/nn
- example_neuralNetwork_cnn
- example_neuralNetwork_evaluate_adaptive
- example_neuralNetwork_verify_01_unsafe_verified
- example_neuralNetwork_verify_02_unsafe_falsified
- example_neuralNetwork_verify_03_safe_verified
- example_neuralNetwork_verify_04_safe_falsified
- example_nnActivationLayer_enclosure_01_regression
- example_nnActivationLayer_enclosure_02_comparison
examples/global/classes/testCase
examples/hybridDynamics/hybridAutomaton
- example_hybrid_reach_01_bouncingBall
- example_hybrid_reach_02_powerTrain
- example_hybrid_reach_03_PLLnoSat
- example_hybrid_reach_04_spacecraft
- example_hybrid_reach_05_roomHeating
- example_hybrid_reach_06_bouncingBallSineWave
examples/hybridDynamics/parallelHybridAutomaton
- example_parallel_hybrid_01_neuralNetwork
- example_parallel_hybrid_02_lowPassFilter
- example_parallel_hybrid_03_roomHeating
examples/manual/add-functionality
- example_manual_contract
- example_manual_globVerMinimization
- example_manual_intKaucher
- example_manual_neuralNetwork
- example_manual_specification
- example_manual_stl
examples/manual/appendix/add-functionality
examples/manual/dynamic-system/continuous-dynamics
- example_manual_linearARMAX
- example_manual_linearSys
- example_manual_linearSysDT
- example_manual_linParamSys
- example_manual_linProbSys
- example_manual_neurNetContrSys
- example_manual_nonlinDASys
- example_manual_nonlinearSys
- example_manual_nonlinearSysDT
- example_manual_nonlinParamSys
examples/manual/dynamic-system/dynamic-system-operations
- example_manual_conform
- example_manual_observe
- example_manual_reach
- example_manual_reachInner
- example_manual_simulate
- example_manual_simulateRandom
- example_manual_verify
examples/manual/dynamic-system/hybrid-dynamics
examples/manual/examples/set-representations
- example_manual_example_capsule
- example_manual_example_conHyperplane
- example_manual_example_conPolyZono
- example_manual_example_conZonotope_constraints
- example_manual_example_conZonotope_zonotope
- example_manual_example_ellipsoid
- example_manual_example_halfspace
- example_manual_example_interval
- example_manual_example_levelSet
- example_manual_example_polytope
- example_manual_example_polyZonotope
- example_manual_example_probZonotope
- example_manual_example_zonoBundle
- example_manual_example_zonotope
- example_zonotope.m
examples/manual/geometric-sets/set-operations
- example_manual_and
- example_manual_cartProd
- example_manual_convHull
- example_manual_cubMap
- example_manual_enclose
- example_manual_enclosePoints
- example_manual_generateRandom
- example_manual_linComb
- example_manual_minkDiff
- example_manual_mtimes
- example_manual_or
- example_manual_plot
- example_manual_plus
- example_manual_quadMap
- example_manual_randPoint
- example_manual_reduce
- example_manual_supportFunc
examples/manual/geometric-sets/set-predicates
examples/manual/geometric-sets/set-properties
- example_manual_center
- example_manual_norm
- example_manual_vertices
- example_manual_volume
- example_volume.m
examples/manual/geometric-sets/set-representations
- example_manual_capsule
- example_manual_conHyperplane
- example_manual_conPolyZono
- example_manual_conZonotope
- example_manual_conZonotope_constraints
- example_manual_conZonotope_zonotope
- example_manual_ellipsoid
- example_manual_halfspace
- example_manual_interval
- example_manual_levelSet
- example_manual_polytope
- example_manual_polyZonotope
- example_manual_polyZonotope_construction
- example_manual_probZonotope
- example_manual_taylm
- example_manual_zonoBundle
- example_manual_zonotope
- example_manual_zonotope_construction
- example_zonotope_construction
examples/manual/matrix-sets/matrixSet-operations
- example_manual_matrixSet_expm
- example_manual_matrixSet_mtimes
- example_manual_matrixSet_plus
- example_manual_matrixSet_vertices
examples/manual/matrix-sets/matrixSet-representations
examples/matrixSet
examples/specification/stl
global/classes
global/classes/@reachSet
- add
- append
- children
- contains
- eq
- find
- initReachSet
- isemptyobject
- isequal
- minus
- modelChecking
- mtimes
- ne
- order
- plot
- plotAsGraph
- plotOverTime
- plotTimeStep
- plus
- project
- query
- reachSet
- shiftTime
- times
- timeStepSize
- uminus
- updateTime
- uplus
global/classes/@reachSet/private
global/classes/@simResult
- add
- extractHits
- find
- isemptyobject
- minus
- monitorSTL
- mtimes
- plot
- plotOverTime
- plotTimeStep
- plus
- simResult
- times
- uminus
- uplus
global/classes/@testCase
global/classes/nn/+nnHelper
- calcAlternatingDerCoeffs
- calcSquared
- calcSquaredE
- calcSquaredG
- calcSquaredGInd
- compBoundsPolyZono
- conversionConZonoStarSet
- conversionStarSetConZono
- findBernsteinPoly
- getDerInterval
- getOrderIndicesG
- getOrderIndicesGI
- heap
- leastSquarePolyFunc
- leastSquareRidgePolyFunc
- lookupDf
- minMaxDiffOrder
- reducePolyZono
- restructurePolyZono
- validateEvaluateParams
global/classes/nn/@neuralNetwork
- addVisualizationLayers
- calcSensitivity
- clearVisualizationLayerPlots
- convertDLToolboxNetwork
- display
- evaluate
- generateRandom
- getFromCellArray
- getNormalForm
- getNumNeurons
- getOrderPattern
- getRefinableLayers
- neuralNetwork
- propagateBounds
- readGNNnetwork
- readNetwork
- readNNetNetwork
- readONNXNetwork
- readSherlockNetwork
- readYMLNetwork
- refine
- reset
- resetApproxOrder
- resetBounds
- setInputSize
- verify
global/classes/nn/layers
global/classes/nn/layers/linear
global/classes/nn/layers/nonlinear
- nnExpLayer
- nnLeakyReLULayer
- nnMaxPool2DLayer
- nnReLULayer
- nnRootLayer
- nnSigmoidLayer
- nnSoftmaxLayer
- nnSquareLayer
- nnSShapeLayer
- nnTanhLayer
global/classes/nn/layers/nonlinear/@nnActivationLayer
- computeApproxPoly
- evaluateConZonotope
- evaluatePolyZonotope
- evaluatePolyZonotopeNeuron
- evaluateTaylm
- findRegionPolys
- instantiateFromString
- nnActivationLayer
global/classes/nn/layers/other
global/functions/helper/dynamics
global/functions/helper/dynamics/checkOptions
- add2checks
- add2list
- checkDynParameter
- checkDynParameterOptions
- checkDynParameterParams
- getCondfunDynParameter
- getCondfunDynParameterOptions
- getCondfunDynParameterParams
- getDefaultValue
- getDefaultValueOptions
- getDefaultValueParams
- getErrorMessage
- getMembers
- initDynParameterList
- isparam
- params2options
- postProcessing
- splitIntoParamsOptions
- validateOptions
global/functions/helper/dynamics/checkOptions/checkFuncs
- c_alg_nonlinParamSys
- c_HA_sim_u
- c_HA_timeStep
- c_inputTraj
- c_inputTrajDT
- c_measurements
- c_nrConstInp
- c_partition
- c_pHA_finalLoc
- c_pHA_R0
- c_pHA_sim_u
- c_pHA_startLoc
- c_pHA_U
- c_safeSet
- c_scaleFac
- c_tensorOrder
- c_tensorOrder_nonlinParamSys
- c_tu
- c_unsafeSet
- c_V
global/functions/helper/dynamics/checkOptions/configfiles
- config_contDynamics_observe
- config_contDynamics_simulateRandom
- config_hybridAutomaton_reach
- config_hybridAutomaton_simulate
- config_hybridAutomaton_simulateRandom
- config_linearARMAX_reach
- config_linearSysDT_confCheck
- config_linearSysDT_confSynth
- config_linearSysDT_reach
- config_linearSys_reach
- config_linearSys_reachInner
- config_linearSys_verifyRA_supportFunc
- config_linearSys_verifyRA_zonotope
- config_linearSys_verifySTL_kochdumper
- config_linParamSys_reach
- config_linProbSys_reach
- config_nonlinDASys_reach
- config_nonlinearSysDT_reach
- config_nonlinearSys_reach
- config_nonlinearSys_reachInnerParallelotope
- config_nonlinearSys_reachInnerProjection
- config_nonlinearSys_reachInnerScaling
- config_nonlinParamSys_reach
- config_parallelHybridAutomaton_reach
- config_parallelHybridAutomaton_simulate
- config_parallelHybridAutomaton_simulateRandom
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
- profile1
- profile100
- profile2
- profile3
- profile4
- profileBrake
- profileNoLimit
- profilePlot
- profileTest
- profileVarVel
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
- contract
- contractForwardBackward
- contractInterval
- contractParallelLinearization
- contractPoly
- contractPolyBoxRevise
global/functions/helper/sets/contSet/polyZonotope
- innerApproxImage
- mergeExpMatrix
- poly2bernstein
- removeRedundantExponents
- subsetIndex
- supportFuncSplit
global/functions/helper/sets/contSet/polytope
global/functions/helper/sets/contSet/probZonotope
global/functions/helper/sets/contSet/taylm
global/functions/helper/sets/contSet/zonotope
- ndimCross
- nonzeroFilter
- pickedGenerators
- pickedGeneratorsFast
- randEqdistDirections
- randomPointOnSphere
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
- checkNameValuePairs
- compareMatrices
- equalDimCheck
- inputArgsCheck
- isApproxSymmetric
- isEmptyCommentLine
- isEmptyLine
- isemptyobject
- isFuncLinear
- ismatrixset
- isSolverInstalled
- isYalmipInstalled
- representsa
- representsa_
- validateAuthorDateLine
- withinTol
global/functions/matlab/validate/postprocessing
global/functions/matlab/validate/preprocessing
global/functions/verbose/ascii
global/functions/verbose/display
- dispEmptyObj
- dispEmptySet
- dispInput
- displayGenerators
- displayIds
- displayMatrixVector
- dispRn
- dispUpToLength
global/functions/verbose/plot
- enlargeAxis
- fig2tikz
- getUnboundedAxisLimits
- lcon2vert
- plotCircle
- plotMultipleSetsAsOne
- plotPolygon
- plotPolytope3D
- readPlotOptions
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
- Contents.m
- illustration_options
- project_point_set
- project_s2_partition
- project_s3_partition
- show_r3_point_set
- show_s2_partition
global/thirdparty/eq_sphere_partitions/eq_illustrations/private
global/thirdparty/eq_sphere_partitions/eq_partitions
- Contents.m
- eq_caps
- eq_point_set
- eq_point_set_polar
- eq_regions
- illustrate_eq_algorithm
- partition_options
global/thirdparty/eq_sphere_partitions/eq_partitions/private
- bot_cap_region
- cap_colats
- centres_of_regions
- circle_offset
- ideal_region_list
- num_collars
- polar_colat
- rot3
- round_to_naturals
- s2_offset
- sphere_region
- top_cap_region
global/thirdparty/eq_sphere_partitions/eq_point_set_props
- calc_dist_coeff
- calc_energy_coeff
- calc_packing_density
- Contents.m
- eq_dist_coeff
- eq_energy_coeff
- eq_energy_dist
- eq_min_dist
- eq_packing_density
- eq_point_set_property
- point_set_dist_coeff
- point_set_energy_coeff
- point_set_energy_dist
- point_set_min_dist
- point_set_packing_density
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
- area_of_cap
- area_of_collar
- area_of_ideal_region
- area_of_sphere
- cart2polar2
- Contents.m
- euc2sph_dist
- euclidean_dist
- fatcurve
- haslight
- ideal_collar_angle
- polar2cart
- sph2euc_dist
- spherical_dist
- sradius_of_cap
- volume_of_ball
global/thirdparty/eq_sphere_partitions/private
global/thirdparty/m2tex
global/thirdparty/tprod
hybridDynamics/@hybridAutomaton
hybridDynamics/@hybridAutomaton/private
hybridDynamics/@hybridDynamics
hybridDynamics/@location
- adaptOptions
- aux_groupSets
- calcBasis
- checkFlow
- display
- eq
- eventFcn
- guardIntersect_conZonotope
- guardIntersect_hyperplaneMap
- guardIntersect_levelSet
- guardIntersect_nondetGuard
- guardIntersect_pancake
- guardIntersect_polytope
- guardIntersect_zonoGirard
- instantReset
- isemptyobject
- isequal
- location
- ne
- potInt
- potOut
- reach
- simulate
hybridDynamics/@location/private
hybridDynamics/@parallelHybridAutomaton
- display
- eq
- isemptyobject
- isequal
- locationProduct
- mergeFlows
- mergeInvariants
- mergeTransitionSets
- ne
- parallelHybridAutomaton
- reach
- simulate
- simulateRandom
hybridDynamics/@parallelHybridAutomaton/private
hybridDynamics/@transition
- convGuard
- display
- eq
- eventFcn
- guard2polytope
- isemptyobject
- isequal
- lift
- ne
- reset
- synchronizeResets
- transition
matrixSet/@intervalMatrix
- abs
- center
- contains
- dependentTerms
- dim
- display
- exactSquare
- expm
- expmAbsoluteBound
- expmDifferentAlgorithms
- expmInd
- expmIndMixed
- expmMixed
- expmNormInf
- expmTaylorHornerScaling
- exponentialRemainder
- generateRandom
- infimum
- infNorm
- interval
- intervalMatrix
- isempty
- matPolytope
- matZonotope
- mpower
- mtimes
- norm
- plot
- plus
- powers
- rad
- randPoint
- size
- subsref
- supremum
- vertices
- volume
matrixSet/@intervalMatrix/private
matrixSet/@matPolytope
- dim
- display
- expm
- expmInd
- expmIndMixed
- intervalMatrix
- isempty
- matPolytope
- matZonotope
- mpower
- mtimes
- plot
- plus
- polytope
- simplePlus
- size
- vertices
matrixSet/@matZonotope
- center
- concatenate
- dependentTerms
- dim
- display
- expm
- expmInd
- expmIndMixed
- expmMixed
- expmOneParam
- intervalMatrix
- isempty
- matPolytope
- matZonotope
- mpower
- mtimes
- norm
- plot
- plus
- powers
- randPoint
- reduce
- size
- subsref
- vertices
- volume
- zonotope
models/Cora
- airplane
- biologicalModel
- bouncing_ball
- brusselator
- cstrDiscr
- doublePendulum
- drum
- fiveDimSysEq
- gearbox
- genetic
- infiniteBus
- infiniteBus_polynomialized
- integrateAndFireNeuron
- jetEngine
- laubLoomis
- lorenz
- lotkaVolterra
- lotkaVolterraCont
- lowpassFilter
- pendulum
- quadrocopterControlledEq
- RLCcircuit
- roessler
- springpendulum
- SUTRACovid
- SUTRACovid_ext
- SUTRACovid_fixed
- SUTRACovid_inputs
models/Cora/PLL
models/Cora/Robertson
models/Cora/SMIB
models/Cora/autonomousCar
- accelerationConstraints
- BMWparameters
- DOTBicycleDynamics_BMW
- DOTBicycleDynamics_controlled_BMW
- DOTBicycleDynamics_controlled_SRX_velEq
- DOTBicycleDynamics_SRX_velEq
- DOTcontrol
- DOTcontrol_SRX_velEq
- highorderBicycleDynamics
- init_MB_BMW
- MB_to_ST
- modelFactors
- SRXparameters
- steeringConstraints
- vehicleDynamics_KS_cog
- vehicleDynamics_MB_BMW
- vehicleDynamics_MB_controlled_BMW
- vehicleDynamics_ST_BMW
- vehicleDynamics_ST_controlled_BMW
- vmodel_A_bicycle_linear_controlled
models/Cora/bus3
models/Cora/coupledVanDerPol
models/Cora/parametricModels
models/Cora/powertrain
- initPowerTrain
- powertrain101Eq
- powertrain11Eq
- powertrain13Eq
- powertrain15Eq
- powertrain17Eq
- powertrain21Eq
- powertrain31Eq
- powertrain41Eq
- powertrain51Eq
- powertrain61Eq
- powertrain7Eq
- powertrain9Eq
- powertrainParameters
models/Cora/productionDestruction
models/Cora/roomHeating
models/Cora/spacecraftRendezvous
- dynamics_approaching
- dynamics_attempt
- rendezvous_nonlinear_passive_nondet
- rendezvous_nonlinear_passive_St1_FlowEq
- rendezvous_nonlinear_passive_St2_FlowEq
- rendezvous_nonlinear_passive_St3_FlowEq
- rendezvous_SRA01
- rendezvous_SRA02
- rendezvous_SRA03
- rendezvous_SRA04
- rendezvous_SRA05
- rendezvous_SRA06
- rendezvous_SRA07
- rendezvous_SRA08
- rendezvous_SRNA01
- rendezvous_SRU01
- rendezvous_SRU02
- spacecraft_levelSet
models/Cora/tank
models/Cora/vanDerPol
models/powerSystems
specification
specification/@rtl
specification/@signal
specification/@specification
- add
- check
- eq
- inverse
- isempty
- isequal
- ne
- plot
- plotOverTime
- project
- robustness
- specification
- splitLogic
specification/@stl
- and
- assignIdentifiers
- combineAtomicPropositions
- combineNext
- conjunctiveNormalForm
- consistentTimeStep
- convert2set
- desugar
- disjunctiveNormalForm
- disp
- eliminateTrueFalse
- evalPredicates
- evaluateSignal
- finally
- ge
- generateRandom
- getClauses
- getTimes
- getVariables
- globally
- gt
- implies
- in
- isequal
- isLinearPredicate
- isPredicate
- le
- lt
- masks
- maximumTime
- minimumTime
- minus
- modelCheckReachSet
- modelCheckTrace
- negationNormalForm
- next
- nonlinearOperator
- not
- or
- plus
- power
- release
- robustness
- sampledTime
- stl
- stl2rtl
- subsref
- times
- until
unitTests
- contSetOperations
- printTestOverview
- runExamples
- runHeaders
- runTestSuite
- testnn_requiredToolboxes
- testsByClasses
- testSuiteCore
- test_docstring
- test_mergeConflict
- test_requiredToolboxes
unitTests/ci
unitTests/contDynamics/contDynamics
unitTests/contDynamics/linParamSys
- testLong_linParamSys_F
- testLong_linParamSys_reach_01_rlc_const
- test_linParamSys_display
- test_linParamSys_linParamSys
- test_linParamSys_reach_02_5dim_var
unitTests/contDynamics/linearARMAX
unitTests/contDynamics/linearSys
- testLong_linearSys_generateRandom
- testLong_linearSys_reachInner
- testLong_linearSys_reach_04_inputTrajectory
- testLong_linearSys_reach_06_5dim_linAlg_all
- testLong_linearSys_reach_07_constInput
- testLong_linearSys_reach_08_adaptive
- testLong_linearSys_reach_09_decomp
- testLong_linearSys_reach_11_inputTrajectory
- testLong_linearSys_simulate
- testLong_linearSys_simulateRandom_01
- testLong_linearSys_simulateRandom_02
- testLong_linearSys_simulateRandom_03
- test_linearSys_display
- test_linearSys_generateRandom
- test_linearSys_isequal
- test_linearSys_linearSys
- test_linearSys_nonlinearSys
- test_linearSys_reachInner
- test_linearSys_reach_01
- test_linearSys_reach_02_5dim
- test_linearSys_reach_03_doubleIntegrator
- test_linearSys_reach_05_inputTrajectoryOnly
- test_linearSys_reach_06_5dim_linAlg_all
- test_linearSys_reach_07_constInput
- test_linearSys_reach_08_adaptive
- test_linearSys_reach_09_decomp
- test_linearSys_reach_10_zeroDyn
- test_linearSys_reach_11_differentsets
- test_linearSys_reach_12_setreps
- test_linearSys_reach_13_time
- test_linearSys_simulate
- test_linearSys_simulateRandom_01
- test_linearSys_simulateRandom_time
- test_linearSys_simulate_time
- test_linearSys_trajectoryError
- test_linearSys_verify_01_temporalLogic
unitTests/contDynamics/linearSys/Krylov
- testMP_Krylov_errorBounds
- testMP_Krylov_homogeneousSolution
- testMP_Krylov_homogeneousSolution_iss
- testMP_Krylov_homogeneousSolution_precise
- testMP_Krylov_homogeneousSolution_projection
- testMP_Krylov_initReach
- testMP_Krylov_inputSolution
- testMP_Krylov_iss_initReach
- testMP_Krylov_linearTimeErrorBound
- testMP_Krylov_singleHomogeneousSolution
- test_Krylov_Arnoldi
- test_Krylov_crossChecks
- test_Krylov_intervalHomogeneousSolution
unitTests/contDynamics/linearSysDT
- testLong_linearSysDT_conform_check_04_bruteForce
- testLong_linearSysDT_observe_01_vehicle
- testLong_linearSysDT_observe_03_tank
- testLong_linearSysDT_observe_04_FRad_A
- testLong_linearSysDT_observe_08_pedestrian
- testLong_linearSysDT_simulateRandom
- testMosek_linearSysDT_observe_06_Hinf_G
- testMosek_linearSysDT_observe_07_PRad_E
- testMosek_linearSysDT_observe_gain_01_PRadA
- testMosek_linearSysDT_observe_gain_02_PRadB
- testMosek_linearSysDT_observe_gain_03_PRadC
- testMosek_linearSysDT_observe_gain_04_PRadC
- testMosek_linearSysDT_observe_gain_05_PRadD
- testMosek_linearSysDT_observe_gain_06_PRadE
- testMosek_linearSysDT_observe_gain_07_NomG
- testMosek_linearSysDT_observe_gain_08_HinfG
- testSDPT3_linearSysDT_observe_01_vehicle
- testSDPT3_linearSysDT_observe_02_2dim
- testSDPT3_linearSysDT_observe_03_tank
- testSDPT3_linearSysDT_observe_06_Hinf_G
- testSDPT3_linearSysDT_observe_07_PRad_E
- testSDPT3_linearSysDT_observe_08_pedestrian
- testSDPT3_linearSysDT_observe_gain_01_PRadA
- testSDPT3_linearSysDT_observe_gain_02_PRadB
- testSDPT3_linearSysDT_observe_gain_03_PRadC
- testSDPT3_linearSysDT_observe_gain_04_PRadC
- testSDPT3_linearSysDT_observe_gain_05_PRadD
- testSDPT3_linearSysDT_observe_gain_06_PRadE
- testSDPT3_linearSysDT_observe_gain_07_NomG
- testSDPT3_linearSysDT_observe_gain_08_HinfG
- test_linearSysDT_conform_01_pedestrians
- test_linearSysDT_conform_02_noUncertainty
- test_linearSysDT_conform_03_knownUncertainty
- test_linearSysDT_conform_04_linearConstraint
- test_linearSysDT_conform_05_gray
- test_linearSysDT_conform_check_01_pedestrians
- test_linearSysDT_conform_check_02_knownUncertainty
- test_linearSysDT_conform_check_03_infiniteHorizon
- test_linearSysDT_display
- test_linearSysDT_linearSysDT
- test_linearSysDT_observe_02_2dim
- test_linearSysDT_observe_05_FRad_C
- test_linearSysDT_reach_01_5dim
- test_linearSysDT_reach_02_differentsets
- test_linearSysDT_simulate
unitTests/contDynamics/linearSysDT/alternativeImplementations
- intersectStripAlamo_unitTest
- intervalObserver_unitTest
- setPropagationObserver_FRad_C_unitTest
- setPropagationObserver_unitTest
- stripBasedObserver_unitTest
unitTests/contDynamics/linearSysDT/auxiliaryFunctions
- createTableObservers
- evaluateSingleObserver
- performanceObserver
- simulatePedestrian
- simulateTank_lin
- simulateTank_lin_30
- simulateVehicle
- simulate_2dim
unitTests/contDynamics/neurNetContrSys
- testnn_neurNetContrSys_reach_02_unicycle
- testnn_neurNetContrSys_reach_03_timeMismatch
- test_neurNetContrSys_neurNetContrSys
- test_neurNetContrSys_reach_01_toyExample
- test_neurNetContrSys_simulate
unitTests/contDynamics/nonlinDASys
- testLong_nonlinDASys_reach_01_powerSystem_3bus
- testLong_nonlinDASys_reach_output
- test_nonlinDASys_display
- test_nonlinDASys_nonlinDASys
unitTests/contDynamics/nonlinParamSys
- testLong_nonlinParamSys_reach_01_tank
- testLong_nonlinParamSys_reach_02_tank_certainCase
- testLong_nonlinParamSys_reach_03_tank_linearRemainder
- testLong_nonlinParamSys_reach_04_VDP_linearRemainder
- testLong_nonlinParamSys_reach_output
- testLong_nonlinParamSys_tensorCreation
- test_nonlinParamSys_display
- test_nonlinParamSys_nonlinParamSys
- test_nonlinParamSys_reach_01_tank
- test_nonlinParamSys_reach_02_tank_certainCase
unitTests/contDynamics/nonlinearSys
- testLong_nonlinearSys_evalNthTensor
- testLong_nonlinearSys_linError
- testLong_nonlinearSys_reachInner
- testLong_nonlinearSys_reach_03_vanDerPol
- testLong_nonlinearSys_reach_05_autonomousCar
- testLong_nonlinearSys_reach_06_autonomousCar_SRX
- testLong_nonlinearSys_reach_06_tank_linearRemainder
- testLong_nonlinearSys_reach_07_VDP_linearRemainder
- testLong_nonlinearSys_reach_output
- testLong_nonlinearSys_reach_poly
- testLong_nonlinearSys_reach_time
- testLong_nonlinearSys_simplifyOptimize
- testLong_nonlinearSys_tensorCreation
- test_nonlinearSys_display
- test_nonlinearSys_evalNthTensor
- test_nonlinearSys_initReach
- test_nonlinearSys_isequal
- test_nonlinearSys_linearize
- test_nonlinearSys_linError
- test_nonlinearSys_nonlinearSys
- test_nonlinearSys_reach_01_tank
- test_nonlinearSys_reach_02_linearEqualsNonlinear
- test_nonlinearSys_reach_04_laubLoomis_polyZonotope
- test_nonlinearSys_reach_06_tank_linearRemainder
- test_nonlinearSys_reach_time
- test_nonlinearSys_simplifyOptimize
unitTests/contDynamics/nonlinearSys/auxiliaryFunctions
unitTests/contDynamics/nonlinearSysDT
- testLong_nonlinearSysDT_reach_output
- testLong_nonlinearSysDT_tensorCreation
- test_nonlinearSysDT_display
- test_nonlinearSysDT_nonlinearSysDT
- test_nonlinearSysDT_observe_01_tank
- test_nonlinearSysDT_reach_01_cstrDisc
- test_nonlinearSysDT_reach_02_tank
- test_nonlinearSysDT_reach_03_linearSysDT
- test_nonlinearSysDT_reach_04_uTransVec
- test_nonlinearSysDT_simulate
unitTests/contDynamics/nonlinearSysDT/auxiliaryFunctions
unitTests/contSet/capsule
- testLong_capsule_capsule
- testLong_capsule_center
- testLong_capsule_contains
- testLong_capsule_convHull
- testLong_capsule_dim
- testLong_capsule_enclosePoints
- testLong_capsule_isequal
- testLong_capsule_isFullDim
- testLong_capsule_isIntersecting
- testLong_capsule_polytope
- testLong_capsule_radius
- testLong_capsule_randPoint
- testLong_capsule_supportFunc
- testLong_capsule_volume
- test_capsule_capsule
- test_capsule_center
- test_capsule_contains
- test_capsule_dim
- test_capsule_display
- test_capsule_ellipsoid
- test_capsule_empty
- test_capsule_enclosePoints
- test_capsule_enlarge
- test_capsule_eq
- test_capsule_generateRandom
- test_capsule_interval
- test_capsule_isemptyobject
- test_capsule_isequal
- test_capsule_isFullDim
- test_capsule_isIntersecting
- test_capsule_isnan
- test_capsule_lift
- test_capsule_mtimes
- test_capsule_ne
- test_capsule_plot
- test_capsule_plotRandPoint
- test_capsule_plus
- test_capsule_polygon
- test_capsule_polytope
- test_capsule_project
- test_capsule_radius
- test_capsule_randPoint
- test_capsule_reduce
- test_capsule_representsa
- test_capsule_supportFunc
- test_capsule_uminus
- test_capsule_uplus
- test_capsule_volume
unitTests/contSet/conHyperplane
- testLong_conHyperplane_conHyperplane
- testLong_conHyperplane_representsa
- test_conHyperplane_conHyperplane
- test_conHyperplane_dim
- test_conHyperplane_empty
- test_conHyperplane_generateRandom
- test_conHyperplane_Inf
- test_conHyperplane_isemptyobject
- test_conHyperplane_isIntersecting
- test_conHyperplane_plot
- test_conHyperplane_plotRandPoint
- test_conHyperplane_representsa
unitTests/contSet/conPolyZono
- testFlaky_conPolyZono_reduce
- testFlaky_conPolyZono_supportFunc
- testLong_conPolyZono_and
- testLong_conPolyZono_convHull
- testLong_conPolyZono_conZonotope
- testLong_conPolyZono_linComb
- testLong_conPolyZono_or
- testLong_conPolyZono_plotRandPoint
- testLong_conPolyZono_plus
- testLong_conPolyZono_quadMap
- testLong_conPolyZono_reduceConstraints
- testLong_conPolyZono_zonotope
- test_conPolyZono_conPolyZono
- test_conPolyZono_display
- test_conPolyZono_empty
- test_conPolyZono_isemptyobject
- test_conPolyZono_lift
- test_conPolyZono_minkDiff
- test_conPolyZono_mtimes
- test_conPolyZono_plot
- test_conPolyZono_reduceConstraints
- test_conPolyZono_representsa
- test_conPolyZono_supportFunc
- test_conPolyZono_uminus
- test_conPolyZono_uplus
unitTests/contSet/conZonotope
- testFlaky_conZonotope_and
- testFlaky_conZonotope_reduce
- testFlaky_conZonotope_vertices
- testLong_conZonotope_center
- testLong_conZonotope_conIntersect
- testLong_conZonotope_conZonotope
- testLong_conZonotope_cubMap
- testLong_conZonotope_deleteZeros
- testLong_conZonotope_dim
- testLong_conZonotope_enclose
- testLong_conZonotope_generators
- testLong_conZonotope_intersectStrip
- testLong_conZonotope_interval
- testLong_conZonotope_isFullDim
- testLong_conZonotope_mtimes
- testLong_conZonotope_plot
- testLong_conZonotope_plotRandPoint
- testLong_conZonotope_plus
- testLong_conZonotope_polytope
- testLong_conZonotope_project
- testLong_conZonotope_projVertices
- testLong_conZonotope_quadMap
- testLong_conZonotope_randPoint
- testLong_conZonotope_representsa
- test_conZonotope_and
- test_conZonotope_cartProd
- test_conZonotope_contains
- test_conZonotope_convHull
- test_conZonotope_conZonotope
- test_conZonotope_cubMap
- test_conZonotope_deleteZeros
- test_conZonotope_dim
- test_conZonotope_empty
- test_conZonotope_generateRandom
- test_conZonotope_generators
- test_conZonotope_interval
- test_conZonotope_isemptyobject
- test_conZonotope_isequal
- test_conZonotope_isFullDim
- test_conZonotope_lift
- test_conZonotope_minkDiff
- test_conZonotope_projVertices
- test_conZonotope_representsa
- test_conZonotope_supportFunc
- test_conZonotope_uminus
- test_conZonotope_uplus
- test_conZonotope_vertices
unitTests/contSet/contSet
unitTests/contSet/ellipsoid
- testFlaky_ellipsoid_isIntersecting
- testLong_ellipsoid_and
- testLong_ellipsoid_cartProd
- testLong_ellipsoid_contains
- testLong_ellipsoid_convHull
- testLong_ellipsoid_dim
- testLong_ellipsoid_distance
- testLong_ellipsoid_ellipsoid
- testLong_ellipsoid_ellipsoidNorm
- testLong_ellipsoid_enclose
- testLong_ellipsoid_enclosePoints
- testLong_ellipsoid_generateRandom
- testLong_ellipsoid_interval
- testLong_ellipsoid_isFullDim
- testLong_ellipsoid_minkDiff
- testLong_ellipsoid_norm
- testLong_ellipsoid_or
- testLong_ellipsoid_plot
- testLong_ellipsoid_plus
- testLong_ellipsoid_radius
- testLong_ellipsoid_randPoint
- testLong_ellipsoid_rank
- testLong_ellipsoid_supportFunc
- testLong_ellipsoid_volume
- testLong_ellipsoid_zonotope
- test_ellipsoid_and
- test_ellipsoid_cartProd
- test_ellipsoid_center
- test_ellipsoid_contains
- test_ellipsoid_convHull
- test_ellipsoid_dim
- test_ellipsoid_display
- test_ellipsoid_distance
- test_ellipsoid_ellipsoid
- test_ellipsoid_ellipsoidNorm
- test_ellipsoid_empty
- test_ellipsoid_enclose
- test_ellipsoid_enclosePoints
- test_ellipsoid_enlarge
- test_ellipsoid_eq
- test_ellipsoid_generateRandom
- test_ellipsoid_generators
- test_ellipsoid_intersectStrip
- test_ellipsoid_interval
- test_ellipsoid_isemptyobject
- test_ellipsoid_isequal
- test_ellipsoid_isFullDim
- test_ellipsoid_isIntersecting
- test_ellipsoid_lift
- test_ellipsoid_minkDiff
- test_ellipsoid_mtimes
- test_ellipsoid_ne
- test_ellipsoid_norm
- test_ellipsoid_or
- test_ellipsoid_plot
- test_ellipsoid_plotRandPoint
- test_ellipsoid_plus
- test_ellipsoid_project
- test_ellipsoid_radius
- test_ellipsoid_randPoint
- test_ellipsoid_rank
- test_ellipsoid_reduce
- test_ellipsoid_representsa
- test_ellipsoid_supportFunc
- test_ellipsoid_uminus
- test_ellipsoid_uplus
- test_ellipsoid_vertices
- test_ellipsoid_volume
- test_ellipsoid_zonotope
unitTests/contSet/ellipsoid/components
- testLong_component_ellipsoid_andEllipsoid
- testLong_component_ellipsoid_andHalfspace
- testLong_component_ellipsoid_andHyperplane
- testLong_component_ellipsoid_distanceEllipsoid
- testLong_component_ellipsoid_distanceHyperplane
- testLong_component_ellipsoid_distancePoint
- testLong_component_ellipsoid_distancePolytope
- testLong_component_ellipsoid_inEllipsoid
- testLong_component_ellipsoid_inZonotope
- testLong_component_ellipsoid_isIntersectingMixed
- testLong_component_ellipsoid_minkDiffDouble
- testLong_component_ellipsoid_minkDiffEllipsoid
- testLong_component_ellipsoid_orDouble
- testLong_component_ellipsoid_orEllipsoid
unitTests/contSet/emptySet
- test_emptySet_and
- test_emptySet_center
- test_emptySet_contains
- test_emptySet_dim
- test_emptySet_display
- test_emptySet_empty
- test_emptySet_emptySet
- test_emptySet_eq
- test_emptySet_generateRandom
- test_emptySet_isemptyobject
- test_emptySet_isequal
- test_emptySet_isFullDim
- test_emptySet_isIntersecting
- test_emptySet_lift
- test_emptySet_mtimes
- test_emptySet_ne
- test_emptySet_not
- test_emptySet_plot
- test_emptySet_plus
- test_emptySet_project
- test_emptySet_radius
- test_emptySet_randPoint
- test_emptySet_representsa
- test_emptySet_supportFunc
- test_emptySet_volume
unitTests/contSet/fullspace
- test_fullspace_and
- test_fullspace_box
- test_fullspace_center
- test_fullspace_contains
- test_fullspace_dim
- test_fullspace_display
- test_fullspace_enclosePoints
- test_fullspace_eq
- test_fullspace_fullspace
- test_fullspace_generateRandom
- test_fullspace_Inf
- test_fullspace_interval
- test_fullspace_isemptyobject
- test_fullspace_isequal
- test_fullspace_isFullDim
- test_fullspace_isIntersecting
- test_fullspace_lift
- test_fullspace_mtimes
- test_fullspace_ne
- test_fullspace_not
- test_fullspace_plot
- test_fullspace_plus
- test_fullspace_polytope
- test_fullspace_project
- test_fullspace_radius
- test_fullspace_randPoint
- test_fullspace_representsa
- test_fullspace_supportFunc
- test_fullspace_vertices
- test_fullspace_volume
unitTests/contSet/halfspace
- testLong_halfspace_dim
- testLong_halfspace_halfspace
- testLong_halfspace_mtimes
- testLong_halfspace_plus
- test_halfspace_contains
- test_halfspace_dim
- test_halfspace_empty
- test_halfspace_generateRandom
- test_halfspace_halfspace
- test_halfspace_Inf
- test_halfspace_interval
- test_halfspace_isemptyobject
- test_halfspace_isequal
- test_halfspace_isIntersecting
- test_halfspace_mtimes
- test_halfspace_plot
- test_halfspace_plus
- test_halfspace_representsa
- test_halfspace_uminus
- test_halfspace_uplus
unitTests/contSet/interval
- testINTLAB_acos_random
- testINTLAB_asin_random
- testINTLAB_atan_random
- testINTLAB_cosh_random
- testINTLAB_cos_random
- testINTLAB_mpower_random
- testINTLAB_power_random
- testINTLAB_sinh_random
- testINTLAB_sin_random
- testINTLAB_sqrt_random
- testINTLAB_tanh_random
- testINTLAB_tan_random
- testLong_interval_acos
- testLong_interval_asin
- testLong_interval_atan
- testLong_interval_cartProd
- testLong_interval_convHull
- testLong_interval_dim
- testLong_interval_enclosePoints
- testLong_interval_enlarge
- testLong_interval_eq
- testLong_interval_interval
- testLong_interval_isFullDim
- testLong_interval_isIntersecting
- testLong_interval_mpower
- testLong_interval_norm
- testLong_interval_projVertices
- testLong_interval_randPoint
- testLong_interval_rdivide
- testLong_interval_sqrt
- testLong_interval_supportFunc
- testLong_interval_volume
- testLong_interval_zonotope
- test_interval_abs
- test_interval_acos
- test_interval_and
- test_interval_asin
- test_interval_atan
- test_interval_capsule
- test_interval_cartProd
- test_interval_center
- test_interval_contains
- test_interval_convHull
- test_interval_conZonotope
- test_interval_cos
- test_interval_diag
- test_interval_dim
- test_interval_display
- test_interval_empty
- test_interval_enclosePoints
- test_interval_enlarge
- test_interval_eq
- test_interval_exp
- test_interval_generateRandom
- test_interval_gridPoints
- test_interval_horzcat
- test_interval_Inf
- test_interval_infimum
- test_interval_interval
- test_interval_isBounded
- test_interval_isemptyobject
- test_interval_isequal
- test_interval_isFullDim
- test_interval_isIntersecting
- test_interval_isscalar
- test_interval_issparse
- test_interval_length
- test_interval_lift
- test_interval_log
- test_interval_max
- test_interval_min
- test_interval_minus
- test_interval_mpower
- test_interval_mtimes
- test_interval_ne
- test_interval_norm
- test_interval_or
- test_interval_plot
- test_interval_plotRandPoint
- test_interval_plus
- test_interval_project
- test_interval_projectHighDim
- test_interval_projVertices
- test_interval_rad
- test_interval_radius
- test_interval_randPoint
- test_interval_reduce
- test_interval_representsa
- test_interval_reshape
- test_interval_sin
- test_interval_size
- test_interval_split
- test_interval_sqrt
- test_interval_subsasgn
- test_interval_subsref
- test_interval_supportFunc
- test_interval_supremum
- test_interval_tan
- test_interval_times
- test_interval_transpose
- test_interval_uminus
- test_interval_uplus
- test_interval_vertcat
- test_interval_vertices
- test_interval_volume
- test_interval_zonotope
unitTests/contSet/levelSet
- testLong_levelSet_plot
- test_levelSet_and
- test_levelSet_compact
- test_levelSet_contains
- test_levelSet_dim
- test_levelSet_display
- test_levelSet_empty
- test_levelSet_eq
- test_levelSet_generateRandom
- test_levelSet_Inf
- test_levelSet_isemptyobject
- test_levelSet_isequal
- test_levelSet_isIntersecting
- test_levelSet_levelSet
- test_levelSet_lift
- test_levelSet_ne
- test_levelSet_not
- test_levelSet_representsa
- test_levelSet_tightenDomain
unitTests/contSet/polyZonotope
- testLong_polyZonotope_contains
- testLong_polyZonotope_cubMap
- testLong_polyZonotope_enclose
- testLong_polyZonotope_fhandle
- testLong_polyZonotope_hessianHandle
- testLong_polyZonotope_jacobian
- testLong_polyZonotope_jacobianHandle
- testLong_polyZonotope_mtimes
- testLong_polyZonotope_plot
- testLong_polyZonotope_plotRandPoint
- testLong_polyZonotope_plus
- testLong_polyZonotope_polygon
- testLong_polyZonotope_polyMap
- testLong_polyZonotope_polytope
- testLong_polyZonotope_polyZonotope
- testLong_polyZonotope_quadMap
- testLong_polyZonotope_randPoint
- testLong_polyZonotope_reduce
- testLong_polyZonotope_resolve
- testLong_polyZonotope_restructure
- testLong_polyZonotope_split
- testLong_polyZonotope_subs
- testLong_polyZonotope_supportFunc
- testLong_polyZonotope_zonotope
- test_polyZonotope_contains
- test_polyZonotope_cubMap
- test_polyZonotope_empty
- test_polyZonotope_generateRandom
- test_polyZonotope_isemptyobject
- test_polyZonotope_isequal
- test_polyZonotope_lift
- test_polyZonotope_mtimes
- test_polyZonotope_partZonotope
- test_polyZonotope_plus
- test_polyZonotope_polyMap
- test_polyZonotope_polytope
- test_polyZonotope_polyZonotope
- test_polyZonotope_quadMap
- test_polyZonotope_reduce
- test_polyZonotope_representsa
- test_polyZonotope_restructure
- test_polyZonotope_split
- test_polyZonotope_supportFunc
- test_polyZonotope_uminus
- test_polyZonotope_uplus
- test_polyZonotope_zonotope
unitTests/contSet/polytope
- testFlaky_polytope_project
- testFlaky_polytope_randPoint
- testFlaky_polytope_vertices
- testLong_polytope_and
- testLong_polytope_box
- testLong_polytope_center
- testLong_polytope_compact
- testLong_polytope_contains
- testLong_polytope_conZonotope
- testLong_polytope_dim
- testLong_polytope_enclosePoints
- testLong_polytope_generateRandom
- testLong_polytope_isBounded
- testLong_polytope_isFullDim
- testLong_polytope_isIntersecting
- testLong_polytope_minkDiff
- testLong_polytope_normalizeConstraints
- testLong_polytope_plotRandPoint
- testLong_polytope_plus
- testLong_polytope_polytope
- testLong_polytope_representsa
- testLong_polytope_supportFunc
- testLong_polytope_volume
- testMOSEK_polytope_center
- testMOSEK_polytope_compact
- testMOSEK_polytope_isFullDim
- testMOSEK_polytope_representsa
- testMOSEK_polytope_supportFunc
- test_polytope_and
- test_polytope_box
- test_polytope_cartProd
- test_polytope_center
- test_polytope_compact
- test_polytope_conPolyZono
- test_polytope_contains
- test_polytope_convHull
- test_polytope_conZonotope
- test_polytope_dim
- test_polytope_display
- test_polytope_distance
- test_polytope_empty
- test_polytope_enclosePoints
- test_polytope_eq
- test_polytope_generateRandom
- test_polytope_hausdorffDist
- test_polytope_Inf
- test_polytope_interval
- test_polytope_isBounded
- test_polytope_isemptyobject
- test_polytope_isFullDim
- test_polytope_isIntersecting
- test_polytope_levelSet
- test_polytope_lift
- test_polytope_minkDiff
- test_polytope_minus
- test_polytope_mldivide
- test_polytope_mtimes
- test_polytope_normalizeConstraints
- test_polytope_not
- test_polytope_plot
- test_polytope_plus
- test_polytope_polytope
- test_polytope_polyZonotope
- test_polytope_project
- test_polytope_projectHighDim
- test_polytope_randPoint
- test_polytope_representsa
- test_polytope_setProperty_bounded
- test_polytope_setProperty_emptySet
- test_polytope_setProperty_fullDim
- test_polytope_setProperty_minHRep
- test_polytope_setProperty_V
- test_polytope_supportFunc
- test_polytope_uminus
- test_polytope_uplus
- test_polytope_vertices
- test_polytope_volume
- test_polytope_zonoBundle
- test_polytope_zonotope
unitTests/contSet/probZonotope
- test_probZonotope_generateRandom
- test_probZonotope_plot
- test_probZonotope_plotRandPoint
- test_probZonotope_polytope
- test_probZonotope_pyramid
unitTests/contSet/taylm
- testLong_bernsteinPoly
- testLong_globalOptimizer
- testLong_taylm_division
- testLong_taylm_optimizer
- testLong_taylm_plot
- testLong_taylm_reexpand
- test_taylm_acos
- test_taylm_asin
- test_taylm_atan
- test_taylm_cos
- test_taylm_cosh
- test_taylm_dim
- test_taylm_division
- test_taylm_exp
- test_taylm_generateRandom
- test_taylm_interval
- test_taylm_log
- test_taylm_matrix
- test_taylm_plus_minus_times
- test_taylm_sin
- test_taylm_sinh
- test_taylm_sqrt
unitTests/contSet/taylm/benchmarks
- bspline0
- bspline1
- bspline2
- bspline3
- doppler
- himmilbeau
- jetEngine
- kepler0
- kepler1
- kepler2
- rigidBody1
- rigidBody2
- turbine1
- turbine2
- turbine3
unitTests/contSet/taylm/private
unitTests/contSet/zonoBundle
- test_zonoBundle_center
- test_zonoBundle_contains
- test_zonoBundle_conZonotope
- test_zonoBundle_dim
- test_zonoBundle_display
- test_zonoBundle_empty
- test_zonoBundle_generateRandom
- test_zonoBundle_interval
- test_zonoBundle_isemptyobject
- test_zonoBundle_isFullDim
- test_zonoBundle_lift
- test_zonoBundle_plot
- test_zonoBundle_plotRandPoint
- test_zonoBundle_polytope
- test_zonoBundle_project
- test_zonoBundle_randPoint
- test_zonoBundle_representsa
- test_zonoBundle_supportFunc
- test_zonoBundle_uminus
- test_zonoBundle_uplus
- test_zonoBundle_vertices
- test_zonoBundle_volume
- test_zonoBundle_zonotope
unitTests/contSet/zonotope
- testLong_zonotope_and
- testLong_zonotope_box
- testLong_zonotope_cartProd
- testLong_zonotope_center
- testLong_zonotope_compact
- testLong_zonotope_contains
- testLong_zonotope_contains_SadraddiniTedrake
- testLong_zonotope_convHull
- testLong_zonotope_cubMap
- testLong_zonotope_dim
- testLong_zonotope_ellipsoid
- testLong_zonotope_enclose
- testLong_zonotope_intersectStrip
- testLong_zonotope_isequal
- testLong_zonotope_isFullDim
- testLong_zonotope_minkDiff
- testLong_zonotope_minkDiff_2
- testLong_zonotope_minkDiff_RaghuramanKoeln
- testLong_zonotope_minnorm
- testLong_zonotope_norm
- testLong_zonotope_plus
- testLong_zonotope_polytope
- testLong_zonotope_project
- testLong_zonotope_projVertices
- testLong_zonotope_quadMap
- testLong_zonotope_randPoint
- testLong_zonotope_reduce
- testLong_zonotope_representsa
- testLong_zonotope_simplex
- testLong_zonotope_supportFunc
- testLong_zonotope_zonotope
- testLong_zonotope_zonotopeNorm
- test_zonotope_and
- test_zonotope_box
- test_zonotope_cartProd
- test_zonotope_center
- test_zonotope_compact
- test_zonotope_contains
- test_zonotope_cubMap
- test_zonotope_dim
- test_zonotope_display
- test_zonotope_ellipsoid
- test_zonotope_empty
- test_zonotope_enclose
- test_zonotope_enclosePoints
- test_zonotope_enlarge
- test_zonotope_generateRandom
- test_zonotope_generators
- test_zonotope_intersectStrip_degenerateCase
- test_zonotope_intersectStrip_volumeOptimum
- test_zonotope_interval
- test_zonotope_isemptyobject
- test_zonotope_isequal
- test_zonotope_isFullDim
- test_zonotope_lift
- test_zonotope_minkDiff
- test_zonotope_mtimes
- test_zonotope_norm
- test_zonotope_or
- test_zonotope_plot
- test_zonotope_plotRandPoint
- test_zonotope_plus
- test_zonotope_polygon
- test_zonotope_polytope
- test_zonotope_project
- test_zonotope_projVertices
- test_zonotope_quadMap
- test_zonotope_radius
- test_zonotope_rank
- test_zonotope_representsa
- test_zonotope_split
- test_zonotope_supportFunc
- test_zonotope_uminus
- test_zonotope_underapproximate
- test_zonotope_uplus
- test_zonotope_vertices
- test_zonotope_volume
- test_zonotope_zonoBundle
- test_zonotope_zonotope
- test_zonotope_zonotopeNorm
unitTests/converter/commonocean2cora
- testLong_converter_commonocean2cora_NYM
- test_converter_commonocean2cora_MEC
- test_converter_commonocean2cora_ZAM
unitTests/converter/neuralnetwork2cora
unitTests/converter/powerSystem2cora
- testLong_converter_powerSystem2cora_IEEE30
- testLong_converter_powerSystem2cora_indexForSubsystems
- testMATPOWER_converter_loadPowerSystemCase_IEEE14
unitTests/converter/powerSystem2cora/auxiliaryFunctions
unitTests/converter/powerSystem2cora/models
- IEEE30_groundTruth_con
- IEEE30_groundTruth_dyn
- IEEE30_groundTruth_sub1_con
- IEEE30_groundTruth_sub1_dyn
- IEEE30_groundTruth_sub2_con
- IEEE30_groundTruth_sub2_dyn
unitTests/converter/spaceex2cora
- testLong_spaceex2cora_hybrid_bouncingball
- testLong_spaceex2cora_hybrid_flat_01
- testLong_spaceex2cora_hybrid_flat_02
- testLong_spaceex2cora_hybrid_flat_03
- testLong_spaceex2cora_hybrid_lowpass
- testLong_spaceex2cora_hybrid_parallel_01
- testLong_spaceex2cora_hybrid_parallel_02
- testLong_spaceex2cora_hybrid_spacecraft
- testLong_spaceex2cora_linear_building
- testLong_spaceex2cora_nonlinear_vanDerPol
- test_spaceex2cora_hybrid_flat_01
- test_spaceex2cora_hybrid_flat_02
- test_spaceex2cora_hybrid_flat_03
- test_spaceex2cora_hybrid_flat_04
- test_spaceex2cora_hybrid_flat_07
- test_spaceex2cora_hybrid_flat_08
- test_spaceex2cora_hybrid_flat_09
- test_spaceex2cora_hybrid_parallel_01_emptycomp
- test_spaceex2cora_linear
- test_spaceex2cora_nonlinear
- test_spaceex2cora_parseConfig
- test_spaceex2cora_parseForbidden
- test_spaceex2cora_parseInitial
unitTests/discrDynamics/markovchain
unitTests/discrDynamics/partition
- test_partition
- test_partition_center_functions
- test_partition_exactIntersection
- test_partition_get_intervals
- test_partition_get_polytopes
- test_partition_get_zonotopes
- test_partition_intersection
unitTests/discrDynamics/road
- initCar_unitTest
- testSpecial_carReach
- testSpecial_road_intersection
- test_carReach_reach
- test_intersectionDatabase
unitTests/global/classes/nn
- testFlaky_nn_polyZonotope_cnn_random
- testnn_polyZonotope_cnn_verivital_avg
- testnn_polyZonotope_cnn_verivital_max
- test_nn_conZonotope_ReLU_approx
- test_nn_conZonotope_ReLU_exact
- test_nn_interval
- test_nn_numeric
- test_nn_polyZonotope_adaptive
- test_nn_polyZonotope_adaptive_large
- test_nn_polyZonotope_adaptive_output_ref
- test_nn_polyZonotope_adaptive_refine
- test_nn_polyZonotope_cub
- test_nn_polyZonotope_lin
- test_nn_polyZonotope_quad
- test_nn_polyZonotope_softmax
- test_nn_random
- test_nn_taylm_ReLU
- test_nn_taylm_sigmoid
- test_nn_taylm_tanh
- test_nn_zonotope_relu
- test_nn_zonotope_tanh
unitTests/global/classes/nn/helper
unitTests/global/classes/nn/layers
unitTests/global/classes/nn/layers/linear
- test_nn_nnAvgPool2DLayer
- test_nn_nnConv2DLayer
- test_nn_nnElementwiseAffineLayer
- test_nn_nnIdentityLayer
- test_nn_nnLinearLayer
unitTests/global/classes/nn/layers/nonlinear
- test_nn_nnActivationLayer_computeApproxPoly
- test_nn_nnActivationLayer_getDerBounds
- test_nn_nnActivationLayer_instantiateFromString
- test_nn_nnLeakyReLULayer
- test_nn_nnReLULayer
- test_nn_nnSigmoidLayer
- test_nn_nnTanhLayer
unitTests/global/classes/nn/layers/other
unitTests/global/classes/nn/neuralNetwork
- testnn_neuralNetwork_readNetwork
- testnn_neuralNetwork_readONNXNetwork
- test_nn_neuralNetwork_addVisualizationLayers
- test_nn_neuralNetwork_display
- test_nn_neuralNetwork_evaluate
- test_nn_neuralNetwork_evaluate_refine
- test_nn_neuralNetwork_getFromCellArray
- test_nn_neuralNetwork_getNormalForm
- test_nn_neuralNetwork_getNumNeurons
- test_nn_neuralNetwork_neuralNetwork
- test_nn_neuralNetwork_readNNetNetwork
- test_nn_neuralNetwork_readSherlockNetwork
- test_nn_neuralNetwork_readYMLNetwork
- test_nn_neuralNetwork_refine
- test_nn_neuralNetwork_verify
unitTests/global/classes/nn/nnHelper
- test_nn_nnHelper_calcSquared
- test_nn_nnHelper_computeBoundsPolyZono
- test_nn_nnHelper_gerDerInterval
- test_nn_nnHelper_heap
- test_nn_nnHelper_leastSquarePolyFunc
- test_nn_nnHelper_minMaxDiffOrder
- test_nn_nnHelper_validateEvaluateParams
unitTests/global/classes/polygon
- testLong_polygon_minkDiff
- testLong_polygon_quadMap
- test_polygon_isequal
- test_polygon_minus
- test_polygon_plot
- test_polygon_plus
- test_polygon_polygon
- test_polygon_uminus
- test_polygon_uplus
unitTests/global/classes/reachSet
- test_reachSet_add
- test_reachSet_contains
- test_reachSet_find
- test_reachSet_isemptyobject
- test_reachSet_isequal
- test_reachSet_minus
- test_reachSet_mtimes
- test_reachSet_order
- test_reachSet_plot
- test_reachSet_plotAsGraph
- test_reachSet_plotOverTime
- test_reachSet_plus
- test_reachSet_project
- test_reachSet_query
- test_reachSet_reachSet
- test_reachSet_shiftTime
- test_reachSet_times
- test_reachSet_uminus
- test_reachSet_uplus
unitTests/global/classes/simResult
- test_simResult_extractHits
- test_simResult_find
- test_simResult_isemptyobject
- test_simResult_minus
- test_simResult_monitorSTL
- test_simResult_mtimes
- test_simResult_plot
- test_simResult_plotOverTime
- test_simResult_plotTimeStep
- test_simResult_plus
- test_simResult_simResult
- test_simResult_times
- test_simResult_uminus
- test_simResult_uplus
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
- testLong_hybridAutomaton_reach_02_powerTrain
- testLong_hybridAutomaton_reach_03_spacecraft
- testLong_hybridAutomaton_simulateRandom
- test_hybridAutomaton_display
- test_hybridAutomaton_hybridAutomaton
- test_hybridAutomaton_isemptyobject
- test_hybridAutomaton_isequal
- test_hybridAutomaton_reach_01_bouncingBall
- test_hybridAutomaton_reach_02_instantTransition
- test_hybridAutomaton_simulate
unitTests/hybridDynamics/location
- test_location_calcBasis
- test_location_checkFlow
- test_location_display
- test_location_instantReset
- test_location_isemptyobject
- test_location_isequal
- test_location_location
- test_location_potInt
- test_location_potOut
- test_location_reach
- test_location_simulate
unitTests/hybridDynamics/parallelHybridAutomaton
- testLong_parallelHybridAutomaton_mergeFlows_01
- testLong_parallelHybridAutomaton_mergeFlows_02
- testLong_parallelHybridAutomaton_mergeInvariants_01
- testLong_parallelHybridAutomaton_mergeTransitionSets_01
- testLong_parallelHybridAutomaton_reach_comparison
- testLong_parallelHybridAutomaton_simulateRandom
- test_parallelHybridAutomaton_display
- test_parallelHybridAutomaton_isemptyobject
- test_parallelHybridAutomaton_isequal
- test_parallelHybridAutomaton_locationProduct
- test_parallelHybridAutomaton_mergeFlows_01
- test_parallelHybridAutomaton_mergeInvariants_01
- test_parallelHybridAutomaton_mergeTransitionSets_01
- test_parallelHybridAutomaton_mergeTransitionSets_03
- test_parallelHybridAutomaton_reach_01_emptyInvGuard
- test_parallelHybridAutomaton_simulate
unitTests/hybridDynamics/transition
- testLong_transition_lift
- testLong_transition_synchronizeResets
- test_transition_display
- test_transition_isemptyobject
- test_transition_isequal
- test_transition_reset
- test_transition_transition
unitTests/matrixSet/intervalMatrix
- test_intervalMatrix_abs
- test_intervalMatrix_contains
- test_intervalMatrix_dim
- test_intervalMatrix_display
- test_intervalMatrix_exactSquare
- test_intervalMatrix_expm
- test_intervalMatrix_generateRandom
- test_intervalMatrix_infimum
- test_intervalMatrix_interval
- test_intervalMatrix_isempty
- test_intervalMatrix_matZonotope
- test_intervalMatrix_mtimes
- test_intervalMatrix_norm
- test_intervalMatrix_plus
- test_intervalMatrix_randPoint
- test_intervalMatrix_supremum
unitTests/matrixSet/matPolytope
unitTests/matrixSet/matZonotope
- testLong_matZonotope_norm
- test_matZonotope_dim
- test_matZonotope_display
- test_matZonotope_isempty
- test_matZonotope_matZonotope
- test_matZonotope_randPoint
unitTests/specification
- test_atomicProposition
- test_kleene
- test_kleeneSignalBuilder
- test_reachSetAnalyzer
- test_simResultAnalyzer
unitTests/specification/signal
- test_signal_at
- test_signal_combine
- test_signal_cutoff
- test_signal_findIntervals
- test_signal_indicator
- test_signal_max
- test_signal_plot
- test_signal_signal
- test_signal_until
unitTests/specification/specification
- test_specification_add
- test_specification_check
- test_specification_eq
- test_specification_inverse
- test_specification_isempty
- test_specification_isequal
- test_specification_ne
- test_specification_plot
- test_specification_plotOverTime
- test_specification_project
- test_specification_robustness
- test_specification_specification
unitTests/specification/stl
- testLong_stl_modelChecking_bouncingBall
- testLong_stl_modelCheckReachSet_01
- testLong_stl_modelCheckReachSet_02
- testLong_stl_modelCheckReachSet_oscillator
- testLong_stl_verifySTL_bouncingBall
- test_stl_combineAtomicPropositions
- test_stl_desugar
- test_stl_evaluateSignal
- test_stl_isPredicate
- test_stl_masks
- test_stl_modelCheckReachSet
- test_stl_modelCheckTrace
- test_stl_robustness
- test_stl_verifySTL
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 仓库。
您也可以从以下列表中选择网站:
如何获得最佳网站性能
选择中国网站(中文或英文)以获得最佳网站性能。其他 MathWorks 国家/地区网站并未针对您所在位置的访问进行优化。
美洲
- América Latina (Español)
- Canada (English)
- United States (English)
欧洲
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
亚太
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)