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