You are now following this Submission
- You will see updates in your followed content feed
- You may receive emails, depending on your communication preferences
Share 'CORA'
Cite As
Matthias Althoff (2024). CORA (https://github.com/TUMcps/CORA), GitHub. Retrieved .
Requires
MATLAB Release Compatibility
Platform Compatibility
Windows macOS LinuxCategories
- Signal Processing > Signal Processing Toolbox > Digital and Analog Filters > Digital Filter Analysis >
Acknowledgements
Inspired: AROC
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Discover Live Editor
Create scripts with code, output, and formatted text in a single executable document.
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
Versions that use the GitHub default branch cannot be downloaded
Version | Published | Release Notes | |
---|---|---|---|
1.0.3 | Release version 2021 |
|
|
1.0.2 | Update toolbox logo |
|
|
1.0.1 | Update toolbox logo |
|
|
1.0.0 |
|
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- 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)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)