Sie verfolgen jetzt diese Einreichung
- Aktualisierungen können Sie in Ihrem Feed verfolgter Inhalte sehen.
- Je nach Ihren Kommunikationseinstellungen können Sie auch E-Mails erhalten.
„CORA“ weiterleiten
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.
Zitieren als
Matthias Althoff (2024). CORA (https://github.com/TUMcps/CORA), GitHub. Abgerufen.
Erfordert
MPT toolbox (see http://people.ee.ethz.ch/~mpt/3/)
Kompatibilität der MATLAB-Version
Erstellt mit
R2021a
Kompatibel mit R2017b bis R2021a
Plattform-Kompatibilität
Windows macOS LinuxKategorien
- Signal Processing > Signal Processing Toolbox > Digital and Analog Filters > Digital Filter Analysis >
Mehr zu Digital Filter Analysis finden Sie in Help Center und MATLAB Answers
Quellenangaben
Inspiriert: AROC
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Live Editor erkunden
Erstellen Sie Skripte mit Code, Ausgabe und formatiertem Text in einem einzigen ausführbaren Dokument.
app
app/auxiliary
contDynamics/@contDynamics
- conform
- contDynamics
- createTestSuite
- derivatives
- display
- getPrintSystemInfo
- isconform
- isemptyobject
- isequal
- linReach
- linReachInner
- observe
- observe_stripBased
- outputSet
- printSystem
- reach
- simulateRandom
- symVariables
- verify
contDynamics/@contDynamics/private
- abstrerr_lin
- abstrerr_poly
- aux_compareData
- conform_black
- conform_gray
- conform_RRT
- conform_white
- conform_whiteCon
- isconform_BF
- isconform_RRT
- linError
- linError_higherOrder
- linError_mixed_noInt
- linError_thirdOrder.m
- observe_intersectionMethod_I
- observe_intersectionMethod_II
- precompStatError
- reportReachError
- select
- simulateConstrainedRandom
- simulateGaussian
- simulateRRT
- simulateStandard
contDynamics/@linParamSys
- coreReach
- display
- errorSolution
- getfcn
- getPrintSystemInfo
- initReach
- initReach_inputDependence
- linParamSys
- post
- postReach
- preReach
- simulate
contDynamics/@linParamSys/private
- apprSquare
- dependentHomSol
- dependentInputSol
- expMap
- highOrderMappingMatrix
- inputSolution
- inputTie
- mappingMatrix
- nonlinMap
- tie
contDynamics/@linProbSys
contDynamics/@linProbSys/private
contDynamics/@linearARX
contDynamics/@linearSys
- affineSolution
- canonicalForm
- display
- eq
- errorSolution_adaptive
- generateRandom
- getfcn
- getPrintSystemInfo
- homogeneousSolution
- initReach
- initReach_adaptive
- isCanonicalForm
- isequal
- linearSys
- linearSysDT
- ne
- nonlinearSys
- oneStep.m
- outputSet
- particularSolution_constant
- particularSolution_timeVarying
- post
- reach
- reachBackward
- reachInner
- simulate
- taylorMatrices
- trajectoryError
- verify
contDynamics/@linearSys/private
- checkSpecification
- correctionMatrixInput
- correctionMatrixState
- curvatureInput
- curvatureState
- expmRemainder
- exponential_Krylov
- exponential_Krylov_precomputed
- exponential_Krylov_projected
- initReach_Krylov
- inputSolution_Krylov
- outputSet_canonicalForm
- post_Krylov
- post_Krylov_nonProjected
- reach_adaptive
- reach_backward_AE_timeinterval
- reach_backward_AE_timepoint
- reach_backward_EA_timeinterval
- reach_backward_EA_timepoint
- reach_decomp
- reach_fromStart
- reach_krylov
- reach_standard
- reach_wrappingfree
- subspace_Krylov
- subspace_Krylov_individual
- subspace_Krylov_individual_Wang
- verifyRA_supportFunc
- verifyRA_zonotope
- verifySTL_kochdumper
contDynamics/@linearSysDT
- computeGO
- confSynth_dyn
- confSynth_gray
- display
- executeObserver
- getPrintSystemInfo
- isconform_dyn
- linearARX
- linearSysDT
- outputSet
- post
- reach
- simulate
- simulateConstrained
contDynamics/@linearSysDT/private
- conform_reachableHalfspaces
- conform_unifyTestCases
- observe_CZN_A
- observe_CZN_B
- observe_ESO_A
- observe_ESO_B
- observe_ESO_C
- observe_ESO_D
- observe_FRadA
- observe_FRadB
- observe_FRadC
- observe_gain_ESO_C
- observe_gain_ESO_D
- observe_gain_HinfG
- observe_gain_NomG
- observe_gain_PRadA
- observe_gain_PRadB
- observe_gain_PRadC
- observe_gain_PRadD
- observe_gain_PRadE
- observe_HinfG
- observe_intersectionFree
- observe_intersectionFreeAdaptive
- observe_interval
- observe_NomG
- observe_PRadA
- observe_PRadB
- observe_PRadC
- observe_PRadD
- observe_PRadE
- observe_RauchTungStriebel
- observe_ROPO
- observe_volMinA
- observe_volMinB
contDynamics/@neurNetContrSys
contDynamics/@nonlinDASys
- consistentInitialState
- display
- getfcn
- getPrintSystemInfo
- initReach
- linReach
- linReach_adaptive
- nonlinDASys
- outputSet
- post
- reach_adaptive
- simulate
- steadyState
contDynamics/@nonlinDASys/private
- aux_checkIfHessianConst
- linearize
- linError
- linError_mixed_noInt
- linError_mixed_noInt_comp.m
- linError_thirdOrder
- select
- simulateRRT
- simulateRRT_det
contDynamics/@nonlinParamSys
contDynamics/@nonlinearARX
contDynamics/@nonlinearSys
- display
- eq
- getfcn
- getPrintSystemInfo
- initReach
- initReach_adaptive
- isequal
- linearize
- linReach_adaptive
- ne
- nonlinearSys
- post
- reachInner
- reach_adaptive
- simulate
- taylor
contDynamics/@nonlinearSys/private
- abstractionError_adaptive
- allowedError
- precompStatError_adaptive
- reachInnerMinkdiff
- reachInnerParallelotope
- reachInnerProjection
- reachInnerScaling
contDynamics/@nonlinearSysDT
contDynamics/@nonlinearSysDT/private
- linearize
- linError_mixed_noInt
- linError_thirdOrder
- observe_FRadA
- observe_FRadB
- observe_FRadC
- observe_intersectionFreeAdaptive
- observe_volMinA
- observe_volMinB
contSet/@affine
contSet/@capsule
- and_
- capsule
- center
- conPolyZono
- contains_
- convHull_
- copy
- dim
- display
- ellipsoid
- empty
- enclose
- enclosePoints
- generateRandom
- getPrintSetInfo
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- isnan
- lift_
- mtimes
- origin
- plot3D
- plus
- polytope
- polyZonotope
- project
- radius
- randPoint_
- reduce
- representsa_
- spectraShadow
- supportFunc_
- vertices_
- volume_
- zonotope
contSet/@conPolyZono
- and_
- cartProd_
- center
- compact_
- conPolyZono
- contains_
- convHull_
- conZonotope
- copy
- dim
- display
- ellipsoid
- empty
- enclose
- exactPlus
- generateRandom
- getPrintSetInfo
- getSubset
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- linComb
- minkDiff
- mtimes
- or
- origin
- plot3D
- plus
- polytope
- polyZonotope
- project
- quadMap
- randPoint_
- reduce
- reduceConstraints
- representsa_
- rescale
- split
- splitDepFactor
- splitLongestGen
- supportFunc_
- vertices_
- zonotope
contSet/@conPolyZono/private
contSet/@conZonotope
- and_
- cartProd_
- center
- compact_
- conIntersect
- conPolyZono
- contains_
- convHull_
- conZonotope
- copy
- cubMap
- deleteZeros
- dim
- display
- empty
- enclose
- generateRandom
- generators
- getPrintSetInfo
- intersectStrip
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- minkDiff
- mtimes
- or
- origin
- plot
- plotZono
- plus
- polytope
- polyZonotope
- project
- quadMap
- randPoint_
- reduce
- reduceConstraints
- representsa_
- rescale
- spectraShadow
- split
- supportFunc_
- vertices_
- zonoBundle
- zonotope
contSet/@conZonotope/private
contSet/@contSet
- affine
- and
- and_
- boundaryPoint
- capsule
- cartProd
- cartProd_
- center
- compact
- compact_
- conPolyZono
- contains
- contains_
- contSet
- convHull
- convHull_
- conZonotope
- copy
- cubMap
- decompose
- dim
- display
- ellipsoid
- empty
- emptySet
- enclose
- enclosePoints
- enlarge
- eq
- fullspace
- generateRandom
- getPrintSetInfo
- Inf
- initEmptySet
- interval
- isBounded
- isConHyperplane
- isempty
- isemptyobject
- isequal
- isFullDim
- isHyperplane
- isIntersecting
- isIntersecting_
- isInterval
- isParallelotope
- isPolytope
- isZero
- isZonotope
- levelSet
- lift
- lift_
- linComb
- minkDiff
- minus
- mtimes
- ne
- norm
- norm_
- or
- origin
- plot
- plot1D
- plot2D
- plot3D
- plotRandPoint
- plus
- polygon
- polytope
- polyZonotope
- printSet
- probZonotope
- project
- projectHighDim
- projectHighDim_
- projectOnHyperplane
- projVertices
- quadMap
- randPoint
- randPoint_
- recompose
- reduce
- reorder
- representsa
- representsa_
- representsa_emptyObject
- supportFunc
- supportFunc_
- times
- uminus
- uplus
- vertices
- vertices_
- volume
- volume_
- zonoBundle
- zonotope
contSet/@ellipsoid
- and_
- cartProd_
- center
- conPolyZono
- contains_
- convHull_
- copy
- dim
- display
- distance
- ellipsoid
- ellipsoidNorm
- empty
- enclose
- enclosePoints
- generateRandom
- generators
- getPrintSetInfo
- intersectStrip
- interval
- isBadDir
- isBigger
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- isnan
- levelSet
- lift_
- minkDiff
- mtimes
- norm_
- or
- origin
- plot3D
- plus
- polygon
- polyZonotope
- project
- radius
- randPoint_
- rank
- reduce
- representsa_
- spectraShadow
- supportFunc_
- vertices_
- volume_
- zonotope
contSet/@ellipsoid/private
- priv_andEllipsoidIA
- priv_andEllipsoidOA
- priv_andHyperplane
- priv_andPolytope
- priv_boundary
- priv_compIntersectionParam
- priv_containsEllipsoid
- priv_containsPoint
- priv_distanceEllipsoid
- priv_distanceHyperplane
- priv_distancePoint
- priv_distancePolytope
- priv_encParallelotope
- priv_encZonotope
- priv_inscParallelotope
- priv_inscZonotope
- priv_isIntersectingMixed
- priv_lminkDiff
- priv_lplus
- priv_minkDiffEllipsoid
- priv_orEllipsoidOA
- priv_plusEllipsoid
- priv_plusEllipsoidOA
- priv_plusEllipsoidOA_halder
- priv_rootfnc
contSet/@emptySet
- and_
- center
- contains_
- convHull_
- copy
- dim
- display
- empty
- emptySet
- generateRandom
- getPrintSetInfo
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- mtimes
- not
- plus
- project
- projectHighDim_
- radius
- randPoint_
- representsa_
- supportFunc_
- vertices_
- volume_
contSet/@fullspace
- and_
- box
- center
- contains_
- convHull_
- copy
- dim
- display
- enclosePoints
- eventFcn
- fullspace
- generateRandom
- getPrintSetInfo
- Inf
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- mtimes
- not
- plus
- polytope
- project
- projectHighDim_
- radius
- randPoint_
- representsa_
- supportFunc_
- vertices_
- volume_
contSet/@interval
- abs
- acos
- acosh
- affine
- and_
- asin
- asinh
- atan
- atanh
- boundaryPoint
- capsule
- cartProd_
- cat
- center
- conPolyZono
- contains_
- convHull_
- conZonotope
- copy
- cos
- cosh
- ctranspose
- diag
- dim
- dirac
- display
- ellipsoid
- empty
- enclosePoints
- enlarge
- exp
- generateRandom
- getPrintSetInfo
- gridPoints
- horzcat
- Inf
- infimum
- interval
- intervalMatrix
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- isnan
- isscalar
- issparse
- kron
- le
- length
- lift_
- log
- lt
- max
- min
- minkDiff
- minus
- mpower
- mrdivide
- mtimes
- norm_
- or
- origin
- partition
- plus
- polytope
- polyZonotope
- power
- prod
- project
- projectHighDim_
- quadMap
- rad
- radius
- randPoint_
- rdivide
- reduce
- representsa_
- reshape
- round
- sign
- sin
- sinh
- size
- spectraShadow
- split
- sqrt
- stlInterval
- string
- subsasgn
- subsref
- sum
- supportFunc_
- supremum
- tan
- tanh
- times
- transpose
- tril
- triu
- uminus
- uplus
- vertcat
- vertices_
- volume_
- zonoBundle
- zonotope
contSet/@levelSet
- and_
- compact_
- contains_
- convHull
- copy
- dim
- display
- empty
- eventFcn
- generateRandom
- Inf
- isemptyobject
- isequal
- isIntersecting_
- levelSet
- lift_
- not
- plot
- representsa_
- tightenDomain
contSet/@polyZonotope
- addedTermsHessian
- and_
- approxVolumeRatio
- cartProd_
- center
- compact_
- conPolyZono
- containsPointSet
- contains_
- convHull_
- copy
- cubMap
- deleteZeros
- dim
- display
- ellipsoid
- empty
- enclose
- exactPlus
- fhandle
- generateRandom
- getPrintSetInfo
- getSubset
- hausdorffDist
- hessianHandle
- innerApprox
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- isPolytope
- jacobian
- jacobianHandle
- lift_
- linComb
- mtimes
- noIndep
- onlyId
- origin
- outerApprox
- partZonotope
- plot3D
- plus
- polygon
- polyMap
- polytope
- polyZonotope
- project
- quadMap
- randPoint_
- reduce
- relaxExponents
- replaceId
- representsa_
- resolve
- restoreId
- restructure
- rmId
- split
- splitDepFactor
- splitLongestGen
- stack
- subs
- sum
- supportFunc_
- taylm
- zonotope
contSet/@polyZonotope/private
- priv_checkDiffParamIds
- priv_multiply
- priv_reduceAdaptive
- priv_removeZeroExponents
- priv_restructureReduce
- priv_restructureReduceDI
- priv_restructureReduceFull
- priv_restructureReducePart
- priv_restructureZono
contSet/@polygon
- and_
- center
- compact_
- contains_
- convHull_
- dim
- display
- empty
- enclosePoints
- expandBoundaries
- generateRandom
- getPrintSetInfo
- interval
- isBounded
- isConvex
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- linComb
- minkDiff
- minus
- mldivide
- mtimes
- or
- plus
- polygon
- polytope
- project
- projectHighDim_
- quadMap
- randPoint_
- removeCollinearPoints
- representsa_
- simplify
- splitIntoConvexSets
- supportFunc_
- times
- triangulation
- vertices_
- volume_
contSet/@polytope
- and_
- box
- cartProd_
- center
- compact_
- conPolyZono
- constraints
- contains_
- convHull_
- conZonotope
- copy
- dim
- display
- distance
- ellipsoid
- empty
- enclose
- enclosePoints
- eventFcn
- generateRandom
- getPrintSetInfo
- hausdorffDist
- Inf
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- le
- levelSet
- lift_
- matPolytope
- minkDiff
- minus
- mldivide
- mtimes
- normalizeConstraints
- not
- or
- origin
- plus
- polytope
- polyZonotope
- project
- projectHighDim
- randPoint_
- reduceOverDomain
- representsa_
- setVertices
- spectraShadow
- supportFunc_
- vertices_
- volume_
- zonoBundle
- zonotope
contSet/@polytope/private
- priv_box_H
- priv_box_V
- priv_cartProd
- priv_compact_1D
- priv_compact_2D
- priv_compact_alignedEq
- priv_compact_alignedIneq
- priv_compact_all
- priv_compact_nD
- priv_compact_toEquality
- priv_compact_V
- priv_compact_zeros
- priv_conZonotope_supportFunc
- priv_conZonotope_vertices
- priv_copyProperties
- priv_equalityToInequality
- priv_isFullDim_V
- priv_minkDiff
- priv_normalizeConstraints
- priv_plus_minus_vector
- priv_representsa_emptySet
- priv_supportFunc
- priv_vertices_1D
contSet/@probZonotope
- abs
- center
- dim
- display
- enclose
- enclosingProbability
- generateRandom
- generators
- interval
- isemptyobject
- max
- mean
- mtimes
- plot
- plus
- polytope
- probReduce
- probZonotope
- project
- pyramid
- randPoint_
- reduce
- representsa_
- sigma
- singleGenPlot
- sup
- vertices_
- zonotope
contSet/@probZonotope/private
contSet/@spectraShadow
- and_
- cartProd_
- center
- conPolyZono
- contains_
- convHull_
- conZonotope
- copy
- dim
- display
- empty
- enclose
- generateESumRep
- generateRandom
- getPrintSetInfo
- Inf
- interval
- isBounded
- isemptyobject
- isFullDim
- mtimes
- or
- plot
- plus
- polytope
- polyZonotope
- project
- randPoint_
- representsa_
- spectraShadow
- supportFunc_
- zonoBundle
- zonotope
contSet/@spectraShadow/private
- priv_findFeasiblePointSpectrahedron
- priv_getCoeffMatrices
- priv_mtimesIsomorphism
- priv_translateSpectrahedron
contSet/@taylm
- acos
- asin
- atan
- conPolyZono
- cos
- cosh
- det
- dim
- display
- exp
- generateRandom
- getCoef
- getRem
- getSyms
- interval
- isemptyobject
- log
- minus
- mpower
- mrdivide
- mtimes
- optBernstein
- optBnb
- optBnbAdv
- optLinQuad
- plot
- plus
- polyZonotope
- power
- prod
- rdivide
- reexpand
- set
- setName
- sin
- sinh
- sqrt
- subsasgn
- subsref
- sum
- supportFunc_
- tan
- tanh
- taylm
- times
- trace
- uminus
- uplus
- vertices_
contSet/@taylm/private
contSet/@zonoBundle
- and_
- cartProd_
- center
- conPolyZono
- contains_
- convHull_
- conZonotope
- copy
- dim
- display
- empty
- enclose
- encloseTight
- enlarge
- generateRandom
- getPrintSetInfo
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- mtimes
- or
- origin
- plus
- polytope
- polyZonotope
- project
- quadMap
- randPoint_
- reduce
- reduceCombined
- replace
- representsa_
- shrink
- spectraShadow
- split
- supportFunc_
- vertices_
- volume_
- zonoBundle
- zonotope
contSet/@zonoBundle/private
contSet/@zonotope
- abs
- and_
- boundaryPoint
- box
- capsule
- cartProd_
- center
- compact_
- conPolyZono
- constrSat
- contains_
- convHull_
- conZonotope
- copy
- cubMap
- deleteAligned
- deleteZeros
- dH2box
- dim
- display
- dominantDirections
- ellipsoid
- empty
- enclose
- encloseMany
- enclosePoints
- exactPlus
- filterOut
- generateRandom
- generatorLength
- generators
- getPrintSetInfo
- intersectStrip
- interval
- isBounded
- isemptyobject
- isequal
- isFullDim
- isIntersecting_
- lift_
- matZonotope
- minkDiff
- minnorm
- mtimes
- norm_
- or
- origin
- orthVectors
- plus
- polytope
- polyZonotope
- project
- projectHighDim_
- quadMap
- quadMap_parallel
- radius
- randPoint_
- rank
- reduce
- reduceUnderApprox
- representsa_
- rotate
- simplex
- spectraShadow
- split
- splitFirstGen
- splitLongestGen
- supportFunc_
- taylm
- tensorMultiplication
- tensorMultiplication_zono
- underapproximate
- vertices_
- volumeRatio
- volume_
- zonoBundle
- zonotope
- zonotopeNorm
contSet/@zonotope/private
- priv_andAveraging
- priv_encEllipsoid
- priv_evaluateRotations
- priv_generatorVolumeFilter
- priv_inscEllipsoid
- priv_kmeansFilter
- priv_lengthFilter
- priv_MVEE
- priv_MVIE
- priv_norm_exact
- priv_norm_ub
- priv_reduceAdaptive
- priv_reduceCluster
- priv_reduceCombastel
- priv_reduceConstOpt
- priv_reduceGirard
- priv_reduceIdx
- priv_reduceMethA
- priv_reduceMethB
- priv_reduceMethC
- priv_reduceMethE
- priv_reduceMethF
- priv_reducePCA
- priv_reduceRedistribute
- priv_reduceScott
- priv_reduceValero
- priv_reorderingFilter
- priv_volumeFilter
contSet/@zoo
contSet/@zoo/private
converter/commonocean2cora
converter/commonroad2cora
converter/cora2spaceex
converter/cora2spaceex/private
- assignment_cora2spaceex
- flow_cora2spaceex
- guard_cora2spaceex
- headline_cora2spaceex
- hybrid_cora2spaceex
- invariant_cora2spaceex
- levelSet_cora2spaceex
- location_cora2spaceex
- parameter_cora2spaceex
- polytope_cora2spaceex
- transition_cora2spaceex
converter/neuralnetwork2cora
converter/powerSystem2cora
converter/powerSystem2cora/private
- createFileFromFunction
- generateConstraintEquations
- generateDynamicEquations
- reorderBuses
- symPowerVariables
converter/spaceex2cora
converter/spaceex2cora/phase1
converter/spaceex2cora/phase1/auxiliary
converter/spaceex2cora/phase1/step1
converter/spaceex2cora/phase1/step2
- AssignTemplate
- CollectVariables
- ComputeBaseComponent
- ComputeNetworkComponent
- parseCondition
- ParseTemplates
converter/spaceex2cora/phase1/step3
- applyMappingToCondition
- applyMappingToEquation
- applyRenames
- InstantiateBC
- InstantiateComponents
- InstantiateNC
- resolveBinds
converter/spaceex2cora/phase1/step4
converter/spaceex2cora/phase1/step5
- applySymMapping
- classifyVariablesFlat
- classifyVariablesParallel
- eq2linSys.m
- eq2linSysFlat.m
- eq2set
- FormalizeBaseComponent
- outputMatrices.m
- outputMatricesComp2Comp
converter/spaceex2cora/phase2
converter/spaceex2cora/phase3
converter/spaceex2cora/phase3/auxiliary
discrDynamics/@markovchain
- build
- build4road
- build4road_reach
- build_reach
- convertTransitionMatrix
- get
- markovchain
- plot
- plotP
- plot_reach
- set
- stretch
discrDynamics/@markovchain/private
discrDynamics/@partition
- cellCenter
- cellIndices
- cellIntervals
- cellPolytopes
- cellSegments
- cellZonotopes
- display
- exactIntersectingSegments
- intersectingCells
- nrOfCells
- partition
- plot
discrDynamics/ProbOccupancyPrediction
- calculateCrashProbability
- Car
- carReach
- carReach_reach
- getPolytopeForSegment
- getSegmentsForManeuver
- getSegmentsForPath
- initBicycle
- initCar
- plotHisto
- plotHistobars
- plotPositionDistribution
- segmentCenter
- segmentData
- start_carReach
- start_carReach_reach
- vehicleBodyDistribution
discrDynamics/ProbOccupancyPrediction/@road
- createPath
- deviationProbability
- display
- intersection
- intersectionAlexander
- intersection_database
- plot
- plot3Lanes
- plotCrossing
- plotPath
- plotVehSeg
- road
- segCenter
- segData
- segPolytope
discrDynamics/ProbOccupancyPrediction/@simulation
discrDynamics/ProbOccupancyPrediction/@simulation/private
- autonomousDriving
- autonomousDrivingOptimized
- autonomousDrivingOptimizedPosOnly
- avgVelocityOnPath
- combine
- combineOptimized
- driving
- drivingOptimized
- drivingOptimized
- drivingOptimized_noInteraction
- freeDriving
- freeDrivingOptimized
- gammaMatrix
- gammaMatrix
- generalProject
- inputDist
- inputDistOptimized
- laneChangeEvolution
- laneChangeProbability
- laneChangeProbabilityOptimized
- laneChanging
- laneChangingOptimized
- motivation
- motivationOptimized
- normalize
- potChange
- project
- reachableSet
- roadCrossing
- roadCrossingOptimized
- simulateCar
- singleStepDriving
- singleStepDrivingOptimized
- speedRestriction
- speedRestrictionOptimized
- vehicleFollowing
- vehicleFollowingOptimized
discrDynamics/ProbOccupancyPrediction/interaction
discrDynamics/ProbOccupancyPrediction/intersection
discrDynamics/ProbOccupancyPrediction/scenarios
- braking
- intersectionCrossing
- knownBehavior
- laneChange
- merging
- motivationPlot
- overtaking
- straightVScurved
- xIntegration
discrDynamics/ProbOccupancyPrediction/vehicleModels
discrDynamics/ProbOccupancyPrediction/velocityProfiles
- profile1
- profile100
- profile2
- profile3
- profile4
- profileBrake
- profileNoLimit
- profilePlot
- profileTest
- profileVarVel
examples/ARCHcompetition/ainncs
examples/ARCHcompetition/linear
- benchmark_hybrid_reach_ARCH23_brake_BRKDC01
- benchmark_hybrid_reach_ARCH23_brake_BRKNC01
- benchmark_hybrid_reach_ARCH23_brake_BRKNP01
- benchmark_hybrid_reach_ARCH23_gearbox_GRBX01
- benchmark_hybrid_reach_ARCH23_gearbox_GRBX02
- benchmark_hybrid_reach_ARCH23_powerTrain_DTN01
- benchmark_hybrid_reach_ARCH23_powerTrain_DTN02
- benchmark_hybrid_reach_ARCH23_powerTrain_DTN03
- benchmark_hybrid_reach_ARCH23_powerTrain_DTN04
- benchmark_hybrid_reach_ARCH23_powerTrain_DTN05
- benchmark_hybrid_reach_ARCH23_powerTrain_DTN06
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA01
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA02
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA03
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA04
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA05
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA06
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA07
- benchmark_hybrid_reach_ARCH23_rendezvous_SRA08
- benchmark_hybrid_reach_ARCH23_rendezvous_SRNA01
- benchmark_hybrid_reach_ARCH23_rendezvous_SRU01
- benchmark_hybrid_reach_ARCH23_rendezvous_SRU02
- benchmark_linearParam_reach_ARCH23_platoon_PLAA01_BND42
- benchmark_linearParam_reach_ARCH23_platoon_PLAA01_BND50
- benchmark_linearParam_reach_ARCH23_platoon_PLAD01_BND30
- benchmark_linearParam_reach_ARCH23_platoon_PLAD01_BND42
- benchmark_linearParam_reach_ARCH23_platoon_PLAN01
- benchmark_linear_reach_ARCH23_heat3D_HEAT03
- benchmark_linear_verifyFast_ARCH23_beam_CBC01
- benchmark_linear_verifyFast_ARCH23_beam_CBC02
- benchmark_linear_verifyFast_ARCH23_beam_CBC03
- benchmark_linear_verifyFast_ARCH23_beam_CBF01
- benchmark_linear_verifyFast_ARCH23_beam_CBF02
- benchmark_linear_verifyFast_ARCH23_beam_CBF03
- benchmark_linear_verifyFast_ARCH23_heat3D_HEAT01
- benchmark_linear_verifyFast_ARCH23_heat3D_HEAT02
- benchmark_linear_verifyFast_ARCH23_iss_ISSC01_ISS02
- benchmark_linear_verifyFast_ARCH23_iss_ISSC01_ISU02
- benchmark_linear_verifyFast_ARCH23_iss_ISSF01_ISS01
- benchmark_linear_verifyFast_ARCH23_iss_ISSF01_ISU01
- benchmark_linear_verify_ARCH23_rand_RAND01
- benchmark_linear_verify_ARCH23_rand_RAND02
- benchmark_linear_verify_ARCH24_rand_generation
- run_arch24_aff_category
examples/ARCHcompetition/nonlinear
- benchmark_hybrid_reach_ARCH23_lotkaVolterra
- benchmark_hybrid_reach_ARCH23_spacecraft
- benchmark_nonlinear_reach_ARCH23_laubLoomis
- benchmark_nonlinear_reach_ARCH23_Robertson
- benchmark_nonlinear_reach_ARCH23_trafficscenario
- benchmark_nonlinear_reach_ARCH23_vanDerPol
- run_arch24_nln_category
examples/contDynamics/linParamSys
examples/contDynamics/linProbSys
examples/contDynamics/linearARX
examples/contDynamics/linearSys
- example_linear_reachBackward_2D
- example_linear_reachBackward_platoon
- example_linear_reachBackward_pursuitevasion
- example_linear_reachBackward_quadrotor12D
- example_linear_reachBackward_quadrotor6D
- example_linear_reach_01_5dim
- example_linear_reach_02_5dim_rrt
- example_linear_reach_03_inputTrajectory
- example_linear_reach_04_adaptive
- example_linear_reach_05_innerApprox
- example_linear_reach_06_adaptive_electricCircuit
- example_linear_reach_07_temporalLogic
- example_linear_verify
- example_linear_verify_electricCircuit
- example_linear_verify_randomGeneration
- example_linear_verify_temporalLogic
examples/contDynamics/linearSysDT
- example_linearSysDT_conform_01_pedestrians
- example_linearSysDT_conform_02_2dim
- example_linearSysDT_conform_03_gray
- example_linearSysDT_conform_04_LTV
- example_linearSysDT_isconform_01_pedestrians
- example_linearSysDT_observe_01_vehicle
- example_linearSysDT_observe_02_2dim
- example_linearSysDT_observe_03_tank
- example_linearSysDT_observe_04_pedestrian
- example_linearSysDT_observe_CommonRoad
- example_linearSysDT_observe_longitudinalCommonRoad
- example_linearSysDT_reach_01_5dim
- example_linearSysDT_reach_02_5dim
- example_linearSysDT_reach_03_2dim_backOver
- example_linearSysDT_reach_04_2dim_backUnder
- example_linearSysDT_reach_05_6dim_backOverUnder
- example_linearSysDT_reach_06_6dim_backOverUnder
- example_linearSysDT_reach_07_10dim_backOver
examples/contDynamics/neurNetContrSys
- benchmark_neuralNet_reach_09_QUAD
- example_neuralNet_reach_01_unicycle
- example_neuralNet_reach_02_ACC
- example_neuralNet_reach_03_TORA
- example_neuralNet_reach_03_TORA_heterogeneousSigmoid
- example_neuralNet_reach_03_TORA_heterogeneousTanh
- example_neuralNet_reach_04_singlePendulum
- example_neuralNet_reach_05_doublePendulum_lessRobust
- example_neuralNet_reach_05_doublePendulum_moreRobust
- example_neuralNet_reach_06_airplane
- example_neuralNet_reach_07_VCAS
- example_neuralNet_reach_08_attitudeControl
- example_neuralNet_reach_10_spacecraftDocking
- example_neuralNet_reach_11_NAV
- example_neuralNet_reach_12_cartPole
examples/contDynamics/neurNetContrSys/dynamics
examples/contDynamics/nonlinDASys
- example_nonlinearDA_reach_01_powerSystem_3bus
- example_nonlinearDA_reach_02_swing1bus
- example_nonlinearDA_reach_03_LPVSMIB
- example_nonlinearDA_reach_04_powerSystem_14bus
- example_nonlinearDA_reach_05_powerSystem_14bus_compositional
- example_nonlinearDA_reach_06_powerSystem_30bus_compositional
- example_nonlinearDA_reach_07_3bus_adaptive
- example_nonlinearDA_reach_08_SMIBswing_adaptive
- example_nonlinearDA_reach_09_SMIB_adaptive
examples/contDynamics/nonlinParamSys
- example_nonlinearParam_reach_01_tank
- example_nonlinearParam_reach_02_tank_certainCase
- example_nonlinearParam_reach_03_tank_linearRemainder
- example_nonlinearParam_reach_04_vanderPol_linearRemainder
examples/contDynamics/nonlinearARX
- example_nonlinearARX_conform_01_white
- example_nonlinearARX_conform_02_gray
- example_nonlinearARX_conform_03_black
- example_nonlinearARX_reach
examples/contDynamics/nonlinearSys
- example_nonlinear_conform_01_autonomousCar
- example_nonlinear_isconform_01_autonomousCar
- example_nonlinear_reachInner_01_brusselator
- example_nonlinear_reachInner_02_biologicalModel
- example_nonlinear_reach_01_tank
- example_nonlinear_reach_02_vanDerPol_polyZonotope
- example_nonlinear_reach_03_vanDerPol_splitting
- example_nonlinear_reach_04_laubLoomis_polyZonotope
- example_nonlinear_reach_05_autonomousCar
- example_nonlinear_reach_06_tank_linearRemainder
- example_nonlinear_reach_07_vanDerPol_linearRemainder
- example_nonlinear_reach_08_subset
- example_nonlinear_reach_09_drum
- example_nonlinear_reach_10_pendulum
- example_nonlinear_reach_11_innerApprox
- example_nonlinear_reach_12_adaptive
- example_nonlinear_reach_13_adaptiveHSCC
- example_nonlinear_reach_14_adaptiveHSCC2
- example_nonlinear_reach_15_infiniteBusRoA
- example_nonlinear_reach_16_infiniteBusRoA_polynomialized
examples/contDynamics/nonlinearSysDT
- example_nonlinearSysDT_conform_01_white
- example_nonlinearSysDT_conform_02_gray
- example_nonlinearSysDT_conform_03_scal
- example_nonlinearSysDT_observe_01_tank
- example_nonlinearSysDT_reach_adaptive
- example_nonlinearSysDT_reach_cstrDisc
- example_nonlinearSysDT_reach_tank
examples/contSet
- example_affine
- example_capsule
- example_conPolyZono
- example_conZonotope
- example_ellipsoid
- example_interval
- example_levelSet
- example_plot1Dsets
- example_plot_color
- example_plot_posXYZ
- example_polytope
- example_polyZonotope
- example_probZonotope
- example_spectraShadow
- example_taylm
- example_zonoBundle
- example_zonotope
- example_zoo
examples/contSet/polyZonotope
examples/contSet/zonotope
examples/converter/commonocean2cora
examples/converter/powerSystem2cora
- example_converter_powerSystem2cora_all
- example_converter_powerSystem2cora_IEEE30
- example_converter_powerSystem2cora_specs
examples/discrDynamics/probOccupancyPrediction
examples/global/classes/testCase
examples/hybridDynamics/hybridAutomaton
- example_hybrid_reach_01_bouncingBall
- example_hybrid_reach_02_powerTrain
- example_hybrid_reach_03_PLLnoSat
- example_hybrid_reach_04_spacecraft
- example_hybrid_reach_05_roomHeating
- example_hybrid_reach_06_bouncingBallSineWave
examples/hybridDynamics/parallelHybridAutomaton
- example_parallel_hybrid_01_neuralNetwork
- example_parallel_hybrid_02_lowPassFilter
- example_parallel_hybrid_03_roomHeating
examples/manual/add-functionality
- example_manual_contract
- example_manual_globVerMinimization
- example_manual_intKaucher
- example_manual_neuralNetwork
- example_manual_specification
- example_manual_stl
examples/manual/appendix/add-functionality
examples/manual/dynamic-system/continuous-dynamics
- example_manual_linearARX
- example_manual_linearSys
- example_manual_linearSysDT
- example_manual_linParamSys
- example_manual_linProbSys
- example_manual_neurNetContrSys
- example_manual_nonlinDASys
- example_manual_nonlinearSys
- example_manual_nonlinearSysDT
- example_manual_nonlinParamSys
examples/manual/dynamic-system/dynamic-system-operations
- example_manual_conform
- example_manual_observe
- example_manual_reach
- example_manual_reachInner
- example_manual_simulate
- example_manual_simulateRandom
- example_manual_verify
examples/manual/dynamic-system/hybrid-dynamics
examples/manual/examples/set-representations
- example_manual_example_capsule
- example_manual_example_conPolyZono
- example_manual_example_conZonotope_constraints
- example_manual_example_conZonotope_zonotope
- example_manual_example_ellipsoid
- example_manual_example_interval
- example_manual_example_intervalMatrix
- example_manual_example_levelSet
- example_manual_example_matPolytope
- example_manual_example_matZonotope
- example_manual_example_polytope
- example_manual_example_polyZonotope
- example_manual_example_probZonotope
- example_manual_example_spectraShadow
- example_manual_example_zonoBundle
- example_manual_example_zonotope
- example_zonotope
examples/manual/geometric-sets/set-operations
- example_manual_and
- example_manual_cartProd
- example_manual_convHull
- example_manual_cubMap
- example_manual_enclose
- example_manual_enclosePoints
- example_manual_generateRandom
- example_manual_linComb
- example_manual_minkDiff
- example_manual_mtimes
- example_manual_or
- example_manual_plot
- example_manual_plus
- example_manual_quadMap
- example_manual_randPoint
- example_manual_reduce
- example_manual_supportFunc
examples/manual/geometric-sets/set-predicates
examples/manual/geometric-sets/set-properties
- example_manual_center
- example_manual_norm
- example_manual_vertices
- example_manual_volume
- example_volume.m
examples/manual/geometric-sets/set-representations
- example_manual_capsule
- example_manual_conPolyZono
- example_manual_conZonotope
- example_manual_conZonotope_constraints
- example_manual_conZonotope_zonotope
- example_manual_ellipsoid
- example_manual_interval
- example_manual_levelSet
- example_manual_polytope
- example_manual_polyZonotope
- example_manual_polyZonotope_construction
- example_manual_probZonotope
- example_manual_spectraShadow
- example_manual_taylm
- example_manual_zonoBundle
- example_manual_zonotope
- example_manual_zonotope_construction
- example_zonotope_construction
examples/manual/matrix-sets/matrixSet-operations
- example_manual_matrixSet_expm
- example_manual_matrixSet_mtimes
- example_manual_matrixSet_plus
- example_manual_matrixSet_vertices
examples/manual/matrix-sets/matrixSet-representations
examples/matrixSet
examples/nn
- benchmark_neuralNetwork_rl_agentDDPG_Quad1D
- benchmark_neuralNetwork_rl_agentTD3_Pendulum
- example_neuralNetwork_cnn
- example_neuralNetwork_evaluate_adaptive
- example_neuralNetwork_rl_agentDDPG_Quad1D
- example_neuralNetwork_train
- example_neuralNetwork_verify_safe
- example_neuralNetwork_verify_unsafe
- example_nnActivationLayer_enclosure_01_regression
- example_nnActivationLayer_enclosure_02_comparison
examples/specification/stl
global/classes
global/classes/@reachSet
- add
- append
- children
- contains
- eq
- find
- initReachSet
- isemptyobject
- isequal
- minus
- modelChecking
- mtimes
- ne
- order
- plot
- plotAsGraph
- plotOverTime
- plotTimeStep
- plus
- project
- query
- reachSet
- shiftTime
- times
- timeStepSize
- uminus
- updateTime
- uplus
global/classes/@reachSet/private
- incrementalMultiBranch
- incrementalSingleBranch
- modelCheckingIncremental
- modelCheckingRTL
- modelCheckingSampledTime
- modelCheckingSignals
global/classes/@simResult
- add
- extractHits
- find
- isemptyobject
- minus
- monitorSTL
- mtimes
- plot
- plotOverTime
- plotTimeStep
- plus
- printSimResult
- simResult
- times
- uminus
- uplus
global/classes/@testCase
global/functions/helper/dynamics
global/functions/helper/dynamics/checkOptions
- add2checks
- add2list
- checkDynParameter
- checkDynParameterOptions
- checkDynParameterParams
- getCondfunDynParameter
- getCondfunDynParameterOptions
- getCondfunDynParameterParams
- getDefaultValue
- getDefaultValueOptions
- getDefaultValueParams
- getErrorMessage
- getMembers
- initDynParameterList
- isparam
- params2options
- postProcessing
- validateOptions
global/functions/helper/dynamics/checkOptions/checkFuncs
- c_alg_nonlinParamSys
- c_HA_sim_u
- c_HA_timeStep
- c_inputTraj
- c_inputTrajDT
- c_measurements
- c_nrConstInp
- c_partition
- c_pHA_finalLoc
- c_pHA_R0
- c_pHA_sim_u
- c_pHA_startLoc
- c_pHA_U
- c_pHA_V
- c_pHA_W
- c_safeSet
- c_scaleFac
- c_tensorOrder
- c_tensorOrder_nonlinParamSys
- c_tu
- c_unsafeSet
- c_V
global/functions/helper/dynamics/checkOptions/configfiles
- config_contDynamics_conform
- config_contDynamics_conform_black
- config_contDynamics_observe
- config_contDynamics_simulateRandom
- config_hybridAutomaton_reach
- config_hybridAutomaton_simulate
- config_hybridAutomaton_simulateRandom
- config_linearARX_reach
- config_linearSysDT_conform_RRT
- config_linearSysDT_isconform
- config_linearSysDT_reach
- config_linearSys_reach
- config_linearSys_reachBackward
- config_linearSys_reachInner
- config_linearSys_verifyRA_supportFunc
- config_linearSys_verifyRA_zonotope
- config_linearSys_verifySTL_kochdumper
- config_linParamSys_reach
- config_linProbSys_reach
- config_nonlinDASys_reach
- config_nonlinearARX_reach
- config_nonlinearSysDT_reach
- config_nonlinearSys_reach
- config_nonlinearSys_reachInnerMinkdiff
- config_nonlinearSys_reachInnerParallelotope
- config_nonlinearSys_reachInnerProjection
- config_nonlinearSys_reachInnerScaling
- config_nonlinParamSys_reach
- config_parallelHybridAutomaton_reach
- config_parallelHybridAutomaton_simulate
- config_parallelHybridAutomaton_simulateRandom
global/functions/helper/dynamics/confIdentification
global/functions/helper/dynamics/contDynamics/contDynamics
global/functions/helper/dynamics/contDynamics/linearSys
global/functions/helper/dynamics/contDynamics/linearSysDT
global/functions/helper/dynamics/discrDynamics/ProbOccupancyPrediction/simulation
global/functions/helper/dynamics/discrDynamics/ProbOccupancyPrediction/velocityProfiles
- profile1
- profile100
- profile2
- profile3
- profile4
- profileBrake
- profileNoLimit
- profilePlot
- profileTest
- profileVarVel
global/functions/helper/examples/website
global/functions/helper/global/classes/polygon
global/functions/helper/sets/contSet
global/functions/helper/sets/contSet/conZonotope
global/functions/helper/sets/contSet/contSet
- block_mtimes
- block_operation
- cubMapPoint
- deleteRedundantSets
- GJKalgorithm
- lin_error2dAB
- quadMapPoint
- recompose
- removeCollinearVertices2D
- removeDuplicates
- reorderNumeric
- safeSet2unsafeSet
global/functions/helper/sets/contSet/ellipsoid
global/functions/helper/sets/contSet/interval
global/functions/helper/sets/contSet/interval/contractors
- contract
- contractForwardBackward
- contractInterval
- contractParallelLinearization
- contractPoly
- contractPolyBoxRevise
global/functions/helper/sets/contSet/polyZonotope
- innerApproxImage
- mergeExpMatrix
- poly2bernstein
- removeRedundantExponents
- subsetIndex
- supportFuncSplit
global/functions/helper/sets/contSet/polytope
global/functions/helper/sets/contSet/probZonotope
global/functions/helper/sets/contSet/taylm
global/functions/helper/sets/contSet/zonotope
- ndimCross
- nonzeroFilter
- pickedGenerators
- pickedGeneratorsFast
- randEqdistDirections
- randomPointOnSphere
global/functions/helper/sets/matrixSet
global/functions/helper/unitTests
global/functions/matlab/converter
global/functions/matlab/file
global/functions/matlab/function_handle
global/functions/matlab/indexing
global/functions/matlab/init
global/functions/matlab/polynomial
global/functions/matlab/string
global/functions/matlab/struct
global/functions/matlab/validate/check
- assertLoop
- assertNarginConstructor
- assertThrowsAs
- checkNameValuePairs
- compareMatrices
- equalDimCheck
- inputArgsCheck
- isApproxSymmetric
- isEmptyCommentLine
- isEmptyLine
- isemptyobject
- isFuncLinear
- isSolverInstalled
- isYalmipInstalled
- representsa
- representsa_
- validateAuthorDateLine
- withinTol
global/functions/matlab/validate/postprocessing
global/functions/matlab/validate/preprocessing
global/functions/verbose/ascii
global/functions/verbose/ascii/table
global/functions/verbose/display
- dispEmptyObj
- dispEmptySet
- dispInput
- displayGenerators
- displayIds
- displayMatrixVector
- dispRn
- dispUpToLength
global/functions/verbose/plot
- enlargeAxis
- fig2tikz
- getUnboundedAxisLimits
- lcon2vert
- plotCircle
- plotMultipleSetsAsOne
- plotPoints
- plotPolygon
- plotPolytope3D
- readPlotOptions
global/functions/verbose/plot/color
global/functions/verbose/print
global/functions/verbose/tipoftheday
global/functions/verbose/videos
global/functions/verbose/warnings
global/functions/verbose/write
- derive
- write3rdOrderTensorFile
- writeHessianTensorFile
- writeHigherOrderTensorFiles
- writeMatrix
- writeMatrixFile
- writeSparseMatrix
- writeSparseMatrixOptimized
global/macros
global/thirdparty
global/thirdparty/combinator
global/thirdparty/eq_sphere_partitions
global/thirdparty/eq_sphere_partitions/eq_illustrations
- Contents.m
- illustration_options
- project_point_set
- project_s2_partition
- project_s3_partition
- show_r3_point_set
- show_s2_partition
global/thirdparty/eq_sphere_partitions/eq_illustrations/private
global/thirdparty/eq_sphere_partitions/eq_partitions
- Contents.m
- eq_caps
- eq_point_set
- eq_point_set_polar
- eq_regions
- illustrate_eq_algorithm
- partition_options
global/thirdparty/eq_sphere_partitions/eq_partitions/private
- bot_cap_region
- cap_colats
- centres_of_regions
- circle_offset
- ideal_region_list
- num_collars
- polar_colat
- rot3
- round_to_naturals
- s2_offset
- sphere_region
- top_cap_region
global/thirdparty/eq_sphere_partitions/eq_point_set_props
- calc_dist_coeff
- calc_energy_coeff
- calc_packing_density
- Contents.m
- eq_dist_coeff
- eq_energy_coeff
- eq_energy_dist
- eq_min_dist
- eq_packing_density
- eq_point_set_property
- point_set_dist_coeff
- point_set_energy_coeff
- point_set_energy_dist
- point_set_min_dist
- point_set_packing_density
global/thirdparty/eq_sphere_partitions/eq_region_props
global/thirdparty/eq_sphere_partitions/eq_region_props/private
global/thirdparty/eq_sphere_partitions/eq_test
global/thirdparty/eq_sphere_partitions/eq_utilities
- area_of_cap
- area_of_collar
- area_of_ideal_region
- area_of_sphere
- cart2polar2
- Contents.m
- euc2sph_dist
- euclidean_dist
- fatcurve
- haslight
- ideal_collar_angle
- polar2cart
- sph2euc_dist
- spherical_dist
- sradius_of_cap
- volume_of_ball
global/thirdparty/eq_sphere_partitions/private
global/thirdparty/fourier
global/thirdparty/gptips2
- add3
- bootsample
- crossover
- cube
- displaystats
- evalfitness
- evalfitness_par
- extract
- gauss
- getcomplexity
- getdepth
- getnumnodes
- gpcheck
- gpdefaults
- gpfinalise
- gpinit
- gpinitparallel
- gpmodel2struct
- gpmodel2sym
- gpmodelvars
- gppretty
- gprandom
- gpreformat
- gpsimplify
- gpterminate
- gptic
- gptoc
- gptoolboxcheck
- gp_userfcn
- initbuild
- kogene
- maxx
- mergegp
- minx
- mult3
- mutate
- ndfsort_rank1
- neg
- negexp
- picknode
- popbuild
- pref2inf
- regressmulti_fitfun
- regressmulti_fitfunConf
- regressmulti_fitfunConf_validate
- regressmulti_fitfun_validate
- rungp
- scangenes
- selection
- square
- step
- tree2evalstr
- treegen
- updatestats
global/thirdparty/m2tex
global/thirdparty/tprod
hybridDynamics/@abstractReset
hybridDynamics/@hybridAutomaton
hybridDynamics/@hybridAutomaton/private
hybridDynamics/@hybridDynamics
hybridDynamics/@linearReset
hybridDynamics/@location
- adaptOptions
- aux_groupSets
- calcBasis
- checkFlow
- derivatives
- display
- eq
- eventFcn
- guardIntersect_conZonotope
- guardIntersect_hyperplaneMap
- guardIntersect_levelSet
- guardIntersect_nondetGuard
- guardIntersect_pancake
- guardIntersect_polytope
- guardIntersect_zonoGirard
- instantReset
- isemptyobject
- isequal
- location
- ne
- potInt
- potOut
- reach
- simulate
hybridDynamics/@location/private
hybridDynamics/@nonlinearReset
hybridDynamics/@parallelHybridAutomaton
- display
- eq
- isemptyobject
- isequal
- locationProduct
- mergeFlows
- mergeInvariants
- mergeTransitionSets
- ne
- parallelHybridAutomaton
- reach
- simulate
- simulateRandom
hybridDynamics/@parallelHybridAutomaton/private
- checkLivelock
- instantTransition
- labelOccurrences
- priv_derivatives
- priv_gatherTransitions
- projectInputDependentTrans
hybridDynamics/@transition
- convGuard
- derivatives
- display
- eq
- eventFcn
- guard2polytope
- isemptyobject
- isequal
- lift
- ne
- synchronize
- transition
matrixSet/@intervalMatrix
- abs
- center
- contains
- dependentTerms
- dim
- display
- exactSquare
- expm
- expmAbsoluteBound
- expmDifferentAlgorithms
- expmInd
- expmIndMixed
- expmMixed
- expmNormInf
- expmTaylorHornerScaling
- exponentialRemainder
- generateRandom
- getPrintSetInfo
- infimum
- infNorm
- interval
- intervalMatrix
- isempty
- matPolytope
- matZonotope
- mpower
- mtimes
- norm
- plot
- plus
- powers
- rad
- randPoint
- representsa
- size
- subsref
- supremum
- vertices
- volume
matrixSet/@intervalMatrix/private
- priv_hornerTaylorSeries
- priv_intervalMatrixRemainder
- priv_scalingSquaringHornerTaylorSeries
- priv_taylorSeries
matrixSet/@matPolytope
- dim
- display
- expm
- expmInd
- expmIndMixed
- getPrintSetInfo
- intervalMatrix
- isempty
- matPolytope
- matZonotope
- mpower
- mtimes
- numverts
- plot
- plus
- polytope
- representsa
- simplePlus
- size
- vertices
matrixSet/@matZonotope
- center
- concatenate
- dependentTerms
- dim
- display
- expm
- expmInd
- expmIndMixed
- expmMixed
- expmOneParam
- getPrintSetInfo
- intervalMatrix
- isempty
- matPolytope
- matZonotope
- mpower
- mtimes
- norm
- numgens
- plot
- plus
- powers
- randPoint
- reduce
- replaceId
- representsa
- reshape
- size
- subsref
- transpose
- vertices
- volume
- zonotope
matrixSet/@matrixSet
models/Cora
- airplane
- biologicalModel
- bouncing_ball
- brusselator
- cstrDiscr
- doubleIntegrator10D
- doublePendulum
- drum
- fiveDimSysEq
- gearbox
- genetic
- infiniteBus
- infiniteBus_polynomialized
- integrateAndFireNeuron
- jetEngine
- laubLoomis
- lorenz
- lotkaVolterra
- lotkaVolterraCont
- lowpassFilter
- pendulum
- platoon
- platoonN
- quadrocopterControlledEq
- quadrotor
- quadrotor6D
- RLCcircuit
- roessler
- springpendulum
- SUTRACovid
- SUTRACovid_ext
- SUTRACovid_fixed
- SUTRACovid_inputs
models/Cora/PLL
models/Cora/Robertson
models/Cora/SMIB
models/Cora/autonomousCar
- accelerationConstraints
- BMWparameters
- DOTBicycleDynamics_BMW
- DOTBicycleDynamics_controlled_BMW
- DOTBicycleDynamics_controlled_SRX_velEq
- DOTBicycleDynamics_SRX_velEq
- DOTcontrol
- DOTcontrol_SRX_velEq
- highorderBicycleDynamics
- init_MB_BMW
- MB_to_ST
- modelFactors
- SRXparameters
- steeringConstraints
- vehicleDynamics_KS_cog
- vehicleDynamics_MB_BMW
- vehicleDynamics_MB_controlled_BMW
- vehicleDynamics_ST_BMW
- vehicleDynamics_ST_controlled_BMW
- vmodel_A_bicycle_linear_controlled
models/Cora/bus3
models/Cora/coupledVanDerPol
models/Cora/parametricModels
models/Cora/powertrain
- initPowerTrain
- powertrain101Eq
- powertrain11Eq
- powertrain13Eq
- powertrain15Eq
- powertrain17Eq
- powertrain21Eq
- powertrain31Eq
- powertrain41Eq
- powertrain51Eq
- powertrain61Eq
- powertrain7Eq
- powertrain9Eq
- powertrainParameters
models/Cora/productionDestruction
models/Cora/roomHeating
models/Cora/spacecraftRendezvous
- dynamics_approaching
- dynamics_attempt
- rendezvous_nonlinear_passive_nondet
- rendezvous_nonlinear_passive_St1_FlowEq
- rendezvous_nonlinear_passive_St2_FlowEq
- rendezvous_nonlinear_passive_St3_FlowEq
- rendezvous_SRA01
- rendezvous_SRA02
- rendezvous_SRA03
- rendezvous_SRA04
- rendezvous_SRA05
- rendezvous_SRA06
- rendezvous_SRA07
- rendezvous_SRA08
- rendezvous_SRNA01
- rendezvous_SRU01
- rendezvous_SRU02
- spacecraft_levelSet
models/Cora/tank
- tank30EqDT_inflow15
- tank60EqDT_inflow30
- tank6Eq
- tank6EqDT
- tank6EqDT_inflow4
- tank6EqDT_V1
- tank6paramEq
- tankN
models/Cora/vanDerPol
models/powerSystems
nn/+nnHelper
- calcAlternatingDerCoeffs
- calcSquared
- calcSquaredE
- calcSquaredG
- calcSquaredGInd
- compBoundsPolyZono
- conversionConZonoStarSet
- conversionStarSetConZono
- findBernsteinPoly
- getDerInterval
- getOrderIndicesG
- getOrderIndicesGI
- heap
- leastSquarePolyFunc
- leastSquareRidgePolyFunc
- lookupDf
- minMaxDiffOrder
- reducePolyZono
- restructurePolyZono
- setDefaultFields
- validateNNoptions
- validateRLoptions
nn/@neuralNetwork
- addVisualizationLayers
- aux_generateRandomNormalizedWeights
- backprop
- backpropIntervalBatch
- backpropZonotopeBatch
- backpropZonotopeBatch_
- calcSensitivity
- castWeights
- clearVisualizationLayerPlots
- computeFGSMAttack
- computePGDAttack
- convertDLToolboxNetwork
- convertToDLToolboxNetwork
- copyNeuralNetwork
- display
- evaluate
- evaluateZonotopeBatch
- evaluateZonotopeBatch_
- evaluate_
- exportNetworkAsCellArray
- exportONNXNetwork
- generateRandom
- getFromCellArray
- getNormalForm
- getNumNeurons
- getOrderPattern
- getRefinableLayers
- initWeights
- neuralNetwork
- prepareForZonoBatchEval
- propagateBounds
- readGNNnetwork
- readNetwork
- readNNetNetwork
- readONNXNetwork
- readSherlockNetwork
- readYMLNetwork
- refine
- reset
- resetApproxOrder
- resetBounds
- setInputSize
- train
- verify
nn/layers
nn/layers/linear
- nnAvgPool2DLayer
- nnConv2DLayer
- nnElementwiseAffineLayer
- nnGeneratorReductionLayer
- nnIdentityLayer
- nnLinearLayer
nn/layers/nonlinear
- nnExpLayer
- nnLeakyReLULayer
- nnMaxPool2DLayer
- nnReLULayer
- nnRootLayer
- nnSigmoidLayer
- nnSoftmaxLayer
- nnSquareLayer
- nnSShapeLayer
- nnTanhLayer
nn/layers/nonlinear/@nnActivationLayer
- computeApproxPoly
- evaluateConZonotope
- evaluatePolyZonotope
- evaluatePolyZonotopeNeuron
- evaluateTaylm
- findRegionPolys
- instantiateFromString
- nnActivationLayer
nn/layers/other
nn/optim
nn/rl/@actor
nn/rl/@buffer
nn/rl/@critic
nn/rl/@ctrlEnvironment
nn/rl/agents
nn/rl/agents/@agentRL
nn/rl/functions
specification
- atomicProposition
- finiteKleeneSignalBuilder
- fourValued
- kleene
- onlineAnalyzerNode
- onlineReachSetAnalyzer
- reachSetAnalyzer
- simResultAnalyzer
- syntaxTree
specification/@rtl
specification/@specification
- add
- check
- eq
- inverse
- isempty
- isequal
- ne
- plot
- plotOverTime
- printSpec
- project
- robustness
- specification
- splitLogic
specification/@stl
- and
- assignIdentifiers
- combineAtomicPropositions
- combineNext
- conjunctiveNormalForm
- consistentTimeStep
- convert2set
- desugar
- disjunctiveNormalForm
- disp
- eliminateTrueFalse
- evalPredicates
- evaluateSignal
- finally
- ge
- generateRandom
- getClauses
- getTimes
- getVariables
- globally
- gt
- implies
- in
- isequal
- isLinearPredicate
- isPredicate
- le
- lt
- masks
- maximumTime
- minimumTime
- minus
- modelCheckReachSet
- modelCheckTrace
- negationNormalForm
- next
- nonlinearOperator
- not
- or
- plus
- polytope2stl
- power
- release
- robustness
- sampledTime
- stl
- stl2rtl
- subsref
- times
- until
specification/@stlInterval
- and_
- contains_
- dim
- display
- empty
- infimum
- interval
- isemptyobject
- isequal
- leftClosure
- minkDiff
- minus
- plus
- representsa_
- rightClosure
- stlInterval
- supremum
- toLeft
- toRight
specification/signals
specification/signals/@finiteSignal
specification/signals/@pointSegmentSignal
- allTrue
- anyTrue
- combine
- cutAtFirstFallingEdge
- findIntervals
- findLast
- indicator
- plot
- pointSegmentSignal
- set
- until
specification/signals/@pointSegmentSignal/private
unitTests
- contSetOperations
- printTestOverview
- runExamples
- runHeaders
- runTestSuite
- testnn_requiredToolboxes
- testsByClasses
- testSuiteCore
- test_docstring
- test_mergeConflict
- test_requiredToolboxes
unitTests/ci
unitTests/contDynamics/contDynamics
unitTests/contDynamics/linParamSys
- testLong_linParamSys_F
- testLong_linParamSys_reach_01_rlc_const
- test_linParamSys_display
- test_linParamSys_linParamSys
- test_linParamSys_printSystem
- test_linParamSys_reach_02_5dim_var
unitTests/contDynamics/linProbSys
unitTests/contDynamics/linearARX
- test_linearARX_computeGO
- test_linearARX_display
- test_linearARX_printSystem
- test_linearARX_reach
- test_linearARX_simulate
unitTests/contDynamics/linearSys
- testLong_linearSys_generateRandom
- testLong_linearSys_particularSolution_timeVarying_blocks
- testLong_linearSys_reach_04_inputTrajectory
- testLong_linearSys_reach_06_5dim_linAlg_all
- testLong_linearSys_reach_07_constInput
- testLong_linearSys_reach_08_adaptive
- testLong_linearSys_reach_09_decomp
- testLong_linearSys_reach_11_inputTrajectory
- testLong_linearSys_simulate
- testLong_linearSys_simulateRandom_01
- testLong_linearSys_simulateRandom_02
- testLong_linearSys_simulateRandom_03
- testLong_linearSys_simulateRandom_04
- test_linearSys_affineSolution
- test_linearSys_canonicalForm
- test_linearSys_display
- test_linearSys_generateRandom
- test_linearSys_homogeneousSolution
- test_linearSys_homogeneousSolution_blocks
- test_linearSys_isequal
- test_linearSys_linearSys
- test_linearSys_nonlinearSys
- test_linearSys_oneStep
- test_linearSys_particularSolution_constant
- test_linearSys_particularSolution_constant_blocks
- test_linearSys_particularSolution_timeVarying
- test_linearSys_printSystem
- test_linearSys_reachBackward_2D
- test_linearSys_reachBackward_innerouter
- test_linearSys_reachBackward_pursuitevasion
- test_linearSys_reachInner
- test_linearSys_reachInner_02
- test_linearSys_reach_01
- test_linearSys_reach_02_5dim
- test_linearSys_reach_03_doubleIntegrator
- test_linearSys_reach_05_inputTrajectoryOnly
- test_linearSys_reach_07_constInput
- test_linearSys_reach_08_adaptive
- test_linearSys_reach_10_zeroDyn
- test_linearSys_reach_11_differentsets
- test_linearSys_reach_12_adaptive_2
- test_linearSys_reach_12_setreps
- test_linearSys_reach_13_time
- test_linearSys_simulate
- test_linearSys_simulateRandom_01
- test_linearSys_simulateRandom_time
- test_linearSys_simulate_time
- test_linearSys_taylorMatrices
- test_linearSys_trajectoryError
- test_linearSys_verify_01_temporalLogic
unitTests/contDynamics/linearSys/Krylov
- testMP_Krylov_errorBounds
- testMP_Krylov_homogeneousSolution
- testMP_Krylov_homogeneousSolution_iss
- testMP_Krylov_homogeneousSolution_precise
- testMP_Krylov_homogeneousSolution_projection
- testMP_Krylov_initReach
- testMP_Krylov_inputSolution
- testMP_Krylov_iss_initReach
- testMP_Krylov_linearTimeErrorBound
- testMP_Krylov_singleHomogeneousSolution
- test_Krylov_Arnoldi
- test_Krylov_crossChecks
- test_Krylov_intervalHomogeneousSolution
unitTests/contDynamics/linearSysDT
- testLong_linearSysDT_conform_03_gray
- testLong_linearSysDT_isconform_04_bruteForce
- testLong_linearSysDT_observe_01_vehicle
- testLong_linearSysDT_observe_03_tank
- testLong_linearSysDT_observe_04_FRad_A
- testLong_linearSysDT_observe_08_pedestrian
- testLong_linearSysDT_simulateRandom
- testMosek_linearSysDT_observe_06_Hinf_G
- testMosek_linearSysDT_observe_07_PRad_E
- testMosek_linearSysDT_observe_gain_01_PRadA
- testMosek_linearSysDT_observe_gain_02_PRadB
- testMosek_linearSysDT_observe_gain_03_PRadC
- testMosek_linearSysDT_observe_gain_04_PRadC
- testMosek_linearSysDT_observe_gain_05_PRadD
- testMosek_linearSysDT_observe_gain_06_PRadE
- testMosek_linearSysDT_observe_gain_07_NomG
- testMosek_linearSysDT_observe_gain_08_HinfG
- testSDPT3_linearSysDT_observe_01_vehicle
- testSDPT3_linearSysDT_observe_02_2dim
- testSDPT3_linearSysDT_observe_03_tank
- testSDPT3_linearSysDT_observe_06_Hinf_G
- testSDPT3_linearSysDT_observe_07_PRad_E
- testSDPT3_linearSysDT_observe_08_pedestrian
- testSDPT3_linearSysDT_observe_gain_01_PRadA
- testSDPT3_linearSysDT_observe_gain_02_PRadB
- testSDPT3_linearSysDT_observe_gain_03_PRadC
- testSDPT3_linearSysDT_observe_gain_04_PRadC
- testSDPT3_linearSysDT_observe_gain_05_PRadD
- testSDPT3_linearSysDT_observe_gain_06_PRadE
- testSDPT3_linearSysDT_observe_gain_07_NomG
- testSDPT3_linearSysDT_observe_gain_08_HinfG
- test_linearSysDT_computeGO_01_sim
- test_linearSysDT_computeGO_02_LTV
- test_linearSysDT_conform_01_pedestrians
- test_linearSysDT_conform_02_noUncertainty
- test_linearSysDT_conform_04_linearConstraint
- test_linearSysDT_display
- test_linearSysDT_isconform_01_pedestrians
- test_linearSysDT_isconform_02_knownUncertainty
- test_linearSysDT_isconform_03_infiniteHorizon
- test_linearSysDT_linearSysDT
- test_linearSysDT_observe_02_2dim
- test_linearSysDT_observe_05_FRad_C
- test_linearSysDT_printSystem
- test_linearSysDT_reach_01_5dim
- test_linearSysDT_reach_02_differentsets
- test_linearSysDT_reach_03_noUncertainty
- test_linearSysDT_simulate
unitTests/contDynamics/linearSysDT/alternativeImplementations
- intersectStripAlamo_unitTest
- intervalObserver_unitTest
- setPropagationObserver_FRad_C_unitTest
- setPropagationObserver_unitTest
- stripBasedObserver_unitTest
unitTests/contDynamics/linearSysDT/auxiliaryFunctions
- createTableObservers
- evaluateSingleObserver
- performanceObserver
- simulatePedestrian
- simulateTank_lin
- simulateTank_lin_30
- simulateVehicle
- simulate_2dim
unitTests/contDynamics/neurNetContrSys
- testnn_neurNetContrSys_reach_02_unicycle
- testnn_neurNetContrSys_reach_03_timeMismatch
- test_neurNetContrSys_neurNetContrSys
- test_neurNetContrSys_reach_01_toyExample
- test_neurNetContrSys_simulate
unitTests/contDynamics/nonlinDASys
- testLong_nonlinDASys_reach_01_powerSystem_3bus
- testLong_nonlinDASys_reach_output
- test_nonlinDASys_display
- test_nonlinDASys_nonlinDASys
- test_nonlinDASys_printSystem
unitTests/contDynamics/nonlinParamSys
- testLong_nonlinParamSys_reach_01_tank
- testLong_nonlinParamSys_reach_02_tank_certainCase
- testLong_nonlinParamSys_reach_03_tank_linearRemainder
- testLong_nonlinParamSys_reach_04_VDP_linearRemainder
- testLong_nonlinParamSys_reach_output
- testLong_nonlinParamSys_tensorCreation
- test_nonlinParamSys_display
- test_nonlinParamSys_nonlinParamSys
- test_nonlinParamSys_printSystem
- test_nonlinParamSys_reach_01_tank
- test_nonlinParamSys_reach_02_tank_certainCase
unitTests/contDynamics/nonlinearARX
- testLong_nonlinearARX_conform_03_black
- test_nonlinearARX_computeGO_01_reach
- test_nonlinearARX_computeGO_02_linsys
- test_nonlinearARX_conform_01_constraints
- test_nonlinearARX_conform_02_costs
- test_nonlinearARX_display
- test_nonlinearARX_printSystem
- test_nonlinearARX_reach_01_3D
- test_nonlinearARX_reach_02_2Dcontain
unitTests/contDynamics/nonlinearSys
- testLong_nonlinearSys_evalNthTensor
- testLong_nonlinearSys_linError
- testLong_nonlinearSys_reachInner
- testLong_nonlinearSys_reachInner_02_minkdiff
- testLong_nonlinearSys_reach_03_vanDerPol
- testLong_nonlinearSys_reach_05_autonomousCar
- testLong_nonlinearSys_reach_06_autonomousCar_SRX
- testLong_nonlinearSys_reach_06_tank_linearRemainder
- testLong_nonlinearSys_reach_07_VDP_linearRemainder
- testLong_nonlinearSys_reach_output
- testLong_nonlinearSys_reach_poly
- testLong_nonlinearSys_reach_time
- testLong_nonlinearSys_simplifyOptimize
- testLong_nonlinearSys_tensorCreation
- test_nonlinearSys_display
- test_nonlinearSys_evalNthTensor
- test_nonlinearSys_initReach
- test_nonlinearSys_isequal
- test_nonlinearSys_linearize
- test_nonlinearSys_nonlinearSys
- test_nonlinearSys_printSystem
- test_nonlinearSys_reach_01_tank
- test_nonlinearSys_reach_02_linearEqualsNonlinear
- test_nonlinearSys_reach_04_laubLoomis_polyZonotope
- test_nonlinearSys_reach_06_tank_linearRemainder
- test_nonlinearSys_reach_time
- test_nonlinearSys_simplifyOptimize
unitTests/contDynamics/nonlinearSys/auxiliaryFunctions
unitTests/contDynamics/nonlinearSysDT
- testLong_nonlinearSysDT_conform_03_gray
- testLong_nonlinearSysDT_reach_output
- testLong_nonlinearSysDT_tensorCreation
- test_nonlinearSysDT_computeGO_01_reach
- test_nonlinearSysDT_computeGO_02_linsys
- test_nonlinearSysDT_conform_01_constraints
- test_nonlinearSysDT_conform_02_costs
- test_nonlinearSysDT_createTestSuite
- test_nonlinearSysDT_display
- test_nonlinearSysDT_loadDynamics
- test_nonlinearSysDT_nonlinearSysDT
- test_nonlinearSysDT_observe_01_tank
- test_nonlinearSysDT_printSystem
- test_nonlinearSysDT_reach_01_cstrDisc
- test_nonlinearSysDT_reach_02_tank
- test_nonlinearSysDT_reach_03_linearSysDT
- test_nonlinearSysDT_reach_04_uTransVec
- test_nonlinearSysDT_simulate
- test_nonlinearSysDT_simulate_linearEqualsNonlinear
unitTests/contDynamics/nonlinearSysDT/auxiliaryFunctions
unitTests/contSet/capsule
- testLong_capsule_capsule
- testLong_capsule_center
- testLong_capsule_contains
- testLong_capsule_convHull
- testLong_capsule_dim
- testLong_capsule_enclosePoints
- testLong_capsule_isequal
- testLong_capsule_isFullDim
- testLong_capsule_isIntersecting
- testLong_capsule_polytope
- testLong_capsule_radius
- testLong_capsule_randPoint
- testLong_capsule_supportFunc
- testLong_capsule_volume
- test_capsule_capsule
- test_capsule_center
- test_capsule_contains
- test_capsule_copy
- test_capsule_dim
- test_capsule_display
- test_capsule_ellipsoid
- test_capsule_empty
- test_capsule_enclosePoints
- test_capsule_enlarge
- test_capsule_eq
- test_capsule_generateRandom
- test_capsule_interval
- test_capsule_isemptyobject
- test_capsule_isequal
- test_capsule_isFullDim
- test_capsule_isIntersecting
- test_capsule_isnan
- test_capsule_lift
- test_capsule_mtimes
- test_capsule_ne
- test_capsule_origin
- test_capsule_plot
- test_capsule_plotRandPoint
- test_capsule_plus
- test_capsule_polygon
- test_capsule_polytope
- test_capsule_printSet
- test_capsule_project
- test_capsule_radius
- test_capsule_randPoint
- test_capsule_reduce
- test_capsule_representsa
- test_capsule_supportFunc
- test_capsule_uminus
- test_capsule_uplus
- test_capsule_vertices
- test_capsule_volume
unitTests/contSet/conPolyZono
- testFlaky_conPolyZono_reduce
- testFlaky_conPolyZono_supportFunc
- testLong_conPolyZono_and
- testLong_conPolyZono_convHull
- testLong_conPolyZono_conZonotope
- testLong_conPolyZono_linComb
- testLong_conPolyZono_or
- testLong_conPolyZono_plotRandPoint
- testLong_conPolyZono_plus
- testLong_conPolyZono_quadMap
- testLong_conPolyZono_reduceConstraints
- testLong_conPolyZono_zonotope
- test_conPolyZono_conPolyZono
- test_conPolyZono_copy
- test_conPolyZono_display
- test_conPolyZono_empty
- test_conPolyZono_isemptyobject
- test_conPolyZono_lift
- test_conPolyZono_minkDiff
- test_conPolyZono_mtimes
- test_conPolyZono_plot
- test_conPolyZono_polygon
- test_conPolyZono_printSet
- test_conPolyZono_reduceConstraints
- test_conPolyZono_representsa
- test_conPolyZono_supportFunc
- test_conPolyZono_uminus
- test_conPolyZono_uplus
unitTests/contSet/conZonotope
- testFlaky_conZonotope_and
- testFlaky_conZonotope_reduce
- testFlaky_conZonotope_vertices
- testLong_conZonotope_center
- testLong_conZonotope_conIntersect
- testLong_conZonotope_conZonotope
- testLong_conZonotope_cubMap
- testLong_conZonotope_deleteZeros
- testLong_conZonotope_dim
- testLong_conZonotope_enclose
- testLong_conZonotope_generators
- testLong_conZonotope_intersectStrip
- testLong_conZonotope_interval
- testLong_conZonotope_isFullDim
- testLong_conZonotope_mtimes
- testLong_conZonotope_plot
- testLong_conZonotope_plotRandPoint
- testLong_conZonotope_plus
- testLong_conZonotope_polytope
- testLong_conZonotope_project
- testLong_conZonotope_projVertices
- testLong_conZonotope_quadMap
- testLong_conZonotope_randPoint
- testLong_conZonotope_representsa
- test_conZonotope_and
- test_conZonotope_cartProd
- test_conZonotope_contains
- test_conZonotope_convHull
- test_conZonotope_conZonotope
- test_conZonotope_copy
- test_conZonotope_cubMap
- test_conZonotope_deleteZeros
- test_conZonotope_dim
- test_conZonotope_empty
- test_conZonotope_generateRandom
- test_conZonotope_generators
- test_conZonotope_interval
- test_conZonotope_isemptyobject
- test_conZonotope_isequal
- test_conZonotope_isFullDim
- test_conZonotope_lift
- test_conZonotope_minkDiff
- test_conZonotope_origin
- test_conZonotope_polygon
- test_conZonotope_printSet
- test_conZonotope_projVertices
- test_conZonotope_representsa
- test_conZonotope_supportFunc
- test_conZonotope_uminus
- test_conZonotope_uplus
- test_conZonotope_vertices
unitTests/contSet/contSet
unitTests/contSet/ellipsoid
- testFlaky_ellipsoid_isIntersecting
- testLong_ellipsoid_and
- testLong_ellipsoid_cartProd
- testLong_ellipsoid_contains
- testLong_ellipsoid_dim
- testLong_ellipsoid_distance
- testLong_ellipsoid_ellipsoid
- testLong_ellipsoid_ellipsoidNorm
- testLong_ellipsoid_enclose
- testLong_ellipsoid_enclosePoints
- testLong_ellipsoid_generateRandom
- testLong_ellipsoid_interval
- testLong_ellipsoid_isFullDim
- testLong_ellipsoid_minkDiff
- testLong_ellipsoid_norm
- testLong_ellipsoid_or
- testLong_ellipsoid_plot
- testLong_ellipsoid_plus
- testLong_ellipsoid_radius
- testLong_ellipsoid_randPoint
- testLong_ellipsoid_rank
- testLong_ellipsoid_supportFunc
- testLong_ellipsoid_volume
- testLong_ellipsoid_zonotope
- test_ellipsoid_and
- test_ellipsoid_cartProd
- test_ellipsoid_center
- test_ellipsoid_contains
- test_ellipsoid_copy
- test_ellipsoid_dim
- test_ellipsoid_display
- test_ellipsoid_distance
- test_ellipsoid_ellipsoid
- test_ellipsoid_ellipsoidNorm
- test_ellipsoid_empty
- test_ellipsoid_enclose
- test_ellipsoid_enclosePoints
- test_ellipsoid_enlarge
- test_ellipsoid_generateRandom
- test_ellipsoid_generators
- test_ellipsoid_intersectStrip
- test_ellipsoid_interval
- test_ellipsoid_isemptyobject
- test_ellipsoid_isequal
- test_ellipsoid_isFullDim
- test_ellipsoid_isIntersecting
- test_ellipsoid_lift
- test_ellipsoid_minkDiff
- test_ellipsoid_mtimes
- test_ellipsoid_ne
- test_ellipsoid_norm
- test_ellipsoid_or
- test_ellipsoid_origin
- test_ellipsoid_plot
- test_ellipsoid_plotRandPoint
- test_ellipsoid_plus
- test_ellipsoid_polygon
- test_ellipsoid_printSet
- test_ellipsoid_project
- test_ellipsoid_radius
- test_ellipsoid_randPoint
- test_ellipsoid_rank
- test_ellipsoid_reduce
- test_ellipsoid_representsa
- test_ellipsoid_supportFunc
- test_ellipsoid_uminus
- test_ellipsoid_uplus
- test_ellipsoid_vertices
- test_ellipsoid_volume
- test_ellipsoid_zonotope
unitTests/contSet/emptySet
- test_emptySet_and
- test_emptySet_center
- test_emptySet_contains
- test_emptySet_copy
- test_emptySet_dim
- test_emptySet_display
- test_emptySet_empty
- test_emptySet_emptySet
- test_emptySet_eq
- test_emptySet_generateRandom
- test_emptySet_interval
- test_emptySet_isBounded
- test_emptySet_isemptyobject
- test_emptySet_isequal
- test_emptySet_isFullDim
- test_emptySet_isIntersecting
- test_emptySet_lift
- test_emptySet_mtimes
- test_emptySet_ne
- test_emptySet_not
- test_emptySet_plot
- test_emptySet_plus
- test_emptySet_polygon
- test_emptySet_printSet
- test_emptySet_project
- test_emptySet_radius
- test_emptySet_randPoint
- test_emptySet_representsa
- test_emptySet_supportFunc
- test_emptySet_vertices
- test_emptySet_volume
unitTests/contSet/fullspace
- test_fullspace_and
- test_fullspace_box
- test_fullspace_center
- test_fullspace_contains
- test_fullspace_copy
- test_fullspace_dim
- test_fullspace_display
- test_fullspace_enclosePoints
- test_fullspace_eq
- test_fullspace_fullspace
- test_fullspace_generateRandom
- test_fullspace_Inf
- test_fullspace_interval
- test_fullspace_isBounded
- test_fullspace_isemptyobject
- test_fullspace_isequal
- test_fullspace_isFullDim
- test_fullspace_isIntersecting
- test_fullspace_lift
- test_fullspace_mtimes
- test_fullspace_ne
- test_fullspace_not
- test_fullspace_plot
- test_fullspace_plus
- test_fullspace_polygon
- test_fullspace_polytope
- test_fullspace_printSet
- test_fullspace_project
- test_fullspace_radius
- test_fullspace_randPoint
- test_fullspace_representsa
- test_fullspace_supportFunc
- test_fullspace_vertices
- test_fullspace_volume
unitTests/contSet/interval
- testINTLAB_acos_random
- testINTLAB_asin_random
- testINTLAB_atan_random
- testINTLAB_cosh_random
- testINTLAB_cos_random
- testINTLAB_mpower_random
- testINTLAB_power_random
- testINTLAB_sinh_random
- testINTLAB_sin_random
- testINTLAB_sqrt_random
- testINTLAB_tanh_random
- testINTLAB_tan_random
- testLong_interval_abs
- testLong_interval_acos
- testLong_interval_asin
- testLong_interval_atan
- testLong_interval_cartProd
- testLong_interval_convHull
- testLong_interval_dim
- testLong_interval_enclosePoints
- testLong_interval_enlarge
- testLong_interval_eq
- testLong_interval_interval
- testLong_interval_isFullDim
- testLong_interval_isIntersecting
- testLong_interval_mpower
- testLong_interval_norm
- testLong_interval_projVertices
- testLong_interval_randPoint
- testLong_interval_rdivide
- testLong_interval_sqrt
- testLong_interval_supportFunc
- testLong_interval_volume
- testLong_interval_zonotope
- test_interval_abs
- test_interval_acos
- test_interval_and
- test_interval_asin
- test_interval_atan
- test_interval_boundaryPoint
- test_interval_capsule
- test_interval_cartProd
- test_interval_cat
- test_interval_center
- test_interval_contains
- test_interval_convHull
- test_interval_conZonotope
- test_interval_copy
- test_interval_cos
- test_interval_diag
- test_interval_dim
- test_interval_display
- test_interval_ellipsoid
- test_interval_empty
- test_interval_enclosePoints
- test_interval_enlarge
- test_interval_eq
- test_interval_exp
- test_interval_generateRandom
- test_interval_gridPoints
- test_interval_horzcat
- test_interval_Inf
- test_interval_infimum
- test_interval_interval
- test_interval_isBounded
- test_interval_isemptyobject
- test_interval_isequal
- test_interval_isFullDim
- test_interval_isIntersecting
- test_interval_isscalar
- test_interval_issparse
- test_interval_length
- test_interval_lift
- test_interval_log
- test_interval_max
- test_interval_min
- test_interval_minus
- test_interval_mpower
- test_interval_mtimes
- test_interval_ne
- test_interval_norm
- test_interval_or
- test_interval_origin
- test_interval_plot
- test_interval_plotRandPoint
- test_interval_plus
- test_interval_polygon
- test_interval_printSet
- test_interval_project
- test_interval_projectHighDim
- test_interval_projVertices
- test_interval_rad
- test_interval_radius
- test_interval_randPoint
- test_interval_reduce
- test_interval_representsa
- test_interval_reshape
- test_interval_round
- test_interval_sin
- test_interval_size
- test_interval_split
- test_interval_sqrt
- test_interval_subsasgn
- test_interval_subsref
- test_interval_supportFunc
- test_interval_supremum
- test_interval_tan
- test_interval_times
- test_interval_transpose
- test_interval_uminus
- test_interval_uplus
- test_interval_vertcat
- test_interval_vertices
- test_interval_volume
- test_interval_zonotope
unitTests/contSet/levelSet
- testLong_levelSet_plot
- test_levelSet_and
- test_levelSet_compact
- test_levelSet_contains
- test_levelSet_copy
- test_levelSet_dim
- test_levelSet_display
- test_levelSet_empty
- test_levelSet_eq
- test_levelSet_generateRandom
- test_levelSet_Inf
- test_levelSet_isemptyobject
- test_levelSet_isequal
- test_levelSet_isIntersecting
- test_levelSet_levelSet
- test_levelSet_lift
- test_levelSet_ne
- test_levelSet_not
- test_levelSet_representsa
- test_levelSet_tightenDomain
unitTests/contSet/polyZonotope
- testLong_polyZonotope_contains
- testLong_polyZonotope_cubMap
- testLong_polyZonotope_enclose
- testLong_polyZonotope_fhandle
- testLong_polyZonotope_hessianHandle
- testLong_polyZonotope_jacobian
- testLong_polyZonotope_jacobianHandle
- testLong_polyZonotope_mtimes
- testLong_polyZonotope_plot
- testLong_polyZonotope_plotRandPoint
- testLong_polyZonotope_plus
- testLong_polyZonotope_polygon
- testLong_polyZonotope_polyMap
- testLong_polyZonotope_polytope
- testLong_polyZonotope_polyZonotope
- testLong_polyZonotope_quadMap
- testLong_polyZonotope_randPoint
- testLong_polyZonotope_reduce
- testLong_polyZonotope_resolve
- testLong_polyZonotope_restructure
- testLong_polyZonotope_split
- testLong_polyZonotope_subs
- testLong_polyZonotope_supportFunc
- testLong_polyZonotope_zonotope
- test_polyZonotope_cartProd
- test_polyZonotope_contains
- test_polyZonotope_copy
- test_polyZonotope_cubMap
- test_polyZonotope_empty
- test_polyZonotope_generateRandom
- test_polyZonotope_isemptyobject
- test_polyZonotope_isequal
- test_polyZonotope_lift
- test_polyZonotope_mtimes
- test_polyZonotope_origin
- test_polyZonotope_partZonotope
- test_polyZonotope_plus
- test_polyZonotope_polyMap
- test_polyZonotope_polytope
- test_polyZonotope_polyZonotope
- test_polyZonotope_printSet
- test_polyZonotope_quadMap
- test_polyZonotope_reduce
- test_polyZonotope_relaxExponents
- test_polyZonotope_representsa
- test_polyZonotope_restructure
- test_polyZonotope_split
- test_polyZonotope_supportFunc
- test_polyZonotope_uminus
- test_polyZonotope_uplus
- test_polyZonotope_zonotope
unitTests/contSet/polygon
- testLong_polygon_minkDiff
- testLong_polygon_quadMap
- test_polygon_contains
- test_polygon_convHull
- test_polygon_interval
- test_polygon_isBounded
- test_polygon_isequal
- test_polygon_isIntersecting
- test_polygon_lift
- test_polygon_minus
- test_polygon_mldivide
- test_polygon_mtimes
- test_polygon_plot
- test_polygon_plus
- test_polygon_polygon
- test_polygon_printSet
- test_polygon_project
- test_polygon_projectHighDim
- test_polygon_randPoint
- test_polygon_representsa
- test_polygon_supportFunc
- test_polygon_uminus
- test_polygon_uplus
- test_polygon_vertices
- test_polygon_volume
unitTests/contSet/polytope
- testFlaky_polytope_project
- testFlaky_polytope_randPoint
- testFlaky_polytope_vertices
- testLong_polytope_and
- testLong_polytope_box
- testLong_polytope_center
- testLong_polytope_compact
- testLong_polytope_contains
- testLong_polytope_conZonotope
- testLong_polytope_dim
- testLong_polytope_enclosePoints
- testLong_polytope_generateRandom
- testLong_polytope_isBounded
- testLong_polytope_isequal
- testLong_polytope_isFullDim
- testLong_polytope_isIntersecting
- testLong_polytope_minkDiff
- testLong_polytope_normalizeConstraints
- testLong_polytope_plotRandPoint
- testLong_polytope_plus
- testLong_polytope_polytope
- testLong_polytope_representsa
- testLong_polytope_supportFunc
- testLong_polytope_volume
- testMOSEK_polytope_center
- testMOSEK_polytope_compact
- testMOSEK_polytope_isFullDim
- testMOSEK_polytope_representsa
- testMOSEK_polytope_supportFunc
- test_polytope_and
- test_polytope_box
- test_polytope_cartProd
- test_polytope_center
- test_polytope_compact
- test_polytope_conPolyZono
- test_polytope_contains
- test_polytope_convHull
- test_polytope_conZonotope
- test_polytope_copy
- test_polytope_dim
- test_polytope_display
- test_polytope_distance
- test_polytope_empty
- test_polytope_enclosePoints
- test_polytope_eq
- test_polytope_generateRandom
- test_polytope_hausdorffDist
- test_polytope_Inf
- test_polytope_interval
- test_polytope_isBounded
- test_polytope_isemptyobject
- test_polytope_isFullDim
- test_polytope_isIntersecting
- test_polytope_levelSet
- test_polytope_lift
- test_polytope_matPolytope
- test_polytope_minkDiff
- test_polytope_minus
- test_polytope_mldivide
- test_polytope_mpt
- test_polytope_mtimes
- test_polytope_normalizeConstraints
- test_polytope_not
- test_polytope_origin
- test_polytope_plot
- test_polytope_plus
- test_polytope_polygon
- test_polytope_polytope
- test_polytope_polyZonotope
- test_polytope_printSet
- test_polytope_project
- test_polytope_projectHighDim
- test_polytope_randPoint
- test_polytope_reduceOverDomain
- test_polytope_representsa
- test_polytope_setProperty_bounded
- test_polytope_setProperty_emptySet
- test_polytope_setProperty_fullDim
- test_polytope_setProperty_minHRep
- test_polytope_setProperty_V
- test_polytope_supportFunc
- test_polytope_uminus
- test_polytope_uplus
- test_polytope_vertices
- test_polytope_volume
- test_polytope_zonoBundle
- test_polytope_zonotope
unitTests/contSet/probZonotope
- test_probZonotope_generateRandom
- test_probZonotope_plot
- test_probZonotope_plotRandPoint
- test_probZonotope_polytope
- test_probZonotope_pyramid
unitTests/contSet/spectraShadow
- testFlaky_spectraShadow_randPoint
- testLong_spectraShadow_and
- testLong_spectraShadow_cartProd
- testLong_spectraShadow_center
- testLong_spectraShadow_conPolyZono
- testLong_spectraShadow_contains
- testLong_spectraShadow_convHull
- testLong_spectraShadow_conZonotope
- testLong_spectraShadow_dim
- testLong_spectraShadow_enclose
- testLong_spectraShadow_generateESumRep
- testLong_spectraShadow_generateRandom
- testLong_spectraShadow_isBounded
- testLong_spectraShadow_isFullDim
- testLong_spectraShadow_plot
- testLong_spectraShadow_polytope
- testLong_spectraShadow_polyZonotope
- testLong_spectraShadow_supportFunc
- testLong_spectraShadow_zonoBundle
- testLong_spectraShadow_zonotope
- test_spectraShadow_and
- test_spectraShadow_cartProd
- test_spectraShadow_center
- test_spectraShadow_contains
- test_spectraShadow_copy
- test_spectraShadow_dim
- test_spectraShadow_display
- test_spectraShadow_empty
- test_spectraShadow_Inf
- test_spectraShadow_interval
- test_spectraShadow_isemptyobject
- test_spectraShadow_mtimes
- test_spectraShadow_plus
- test_spectraShadow_printSet
- test_spectraShadow_project
- test_spectraShadow_representsa
- test_spectraShadow_spectraShadow
unitTests/contSet/taylm
- testLong_bernsteinPoly
- testLong_globalOptimizer
- testLong_taylm_division
- testLong_taylm_optimizer
- testLong_taylm_plot
- testLong_taylm_reexpand
- test_taylm_acos
- test_taylm_asin
- test_taylm_atan
- test_taylm_cos
- test_taylm_cosh
- test_taylm_dim
- test_taylm_division
- test_taylm_exp
- test_taylm_generateRandom
- test_taylm_interval
- test_taylm_log
- test_taylm_matrix
- test_taylm_plus_minus_times
- test_taylm_sin
- test_taylm_sinh
- test_taylm_sqrt
unitTests/contSet/taylm/benchmarks
- bspline0
- bspline1
- bspline2
- bspline3
- doppler
- himmilbeau
- jetEngine
- kepler0
- kepler1
- kepler2
- rigidBody1
- rigidBody2
- turbine1
- turbine2
- turbine3
unitTests/contSet/taylm/private
unitTests/contSet/zonoBundle
- test_zonoBundle_center
- test_zonoBundle_contains
- test_zonoBundle_conZonotope
- test_zonoBundle_copy
- test_zonoBundle_dim
- test_zonoBundle_display
- test_zonoBundle_empty
- test_zonoBundle_generateRandom
- test_zonoBundle_interval
- test_zonoBundle_isemptyobject
- test_zonoBundle_isFullDim
- test_zonoBundle_lift
- test_zonoBundle_origin
- test_zonoBundle_plot
- test_zonoBundle_plotRandPoint
- test_zonoBundle_polygon
- test_zonoBundle_polytope
- test_zonoBundle_printSet
- test_zonoBundle_project
- test_zonoBundle_randPoint
- test_zonoBundle_representsa
- test_zonoBundle_supportFunc
- test_zonoBundle_uminus
- test_zonoBundle_uplus
- test_zonoBundle_vertices
- test_zonoBundle_volume
- test_zonoBundle_zonotope
unitTests/contSet/zonotope
- testLong_zonotope_and
- testLong_zonotope_box
- testLong_zonotope_cartProd
- testLong_zonotope_center
- testLong_zonotope_compact
- testLong_zonotope_contains
- testLong_zonotope_contains_SadraddiniTedrake
- testLong_zonotope_convHull
- testLong_zonotope_cubMap
- testLong_zonotope_dim
- testLong_zonotope_ellipsoid
- testLong_zonotope_enclose
- testLong_zonotope_intersectStrip
- testLong_zonotope_isequal
- testLong_zonotope_isFullDim
- testLong_zonotope_minkDiff
- testLong_zonotope_minkDiff_2
- testLong_zonotope_minkDiff_RaghuramanKoeln
- testLong_zonotope_minnorm
- testLong_zonotope_norm
- testLong_zonotope_plus
- testLong_zonotope_polytope
- testLong_zonotope_project
- testLong_zonotope_projVertices
- testLong_zonotope_quadMap
- testLong_zonotope_randPoint
- testLong_zonotope_reduce
- testLong_zonotope_representsa
- testLong_zonotope_simplex
- testLong_zonotope_supportFunc
- testLong_zonotope_zonotope
- testLong_zonotope_zonotopeNorm
- test_zonotope_and
- test_zonotope_boundaryPoint
- test_zonotope_box
- test_zonotope_cartProd
- test_zonotope_center
- test_zonotope_compact
- test_zonotope_contains
- test_zonotope_copy
- test_zonotope_cubMap
- test_zonotope_dim
- test_zonotope_display
- test_zonotope_ellipsoid
- test_zonotope_empty
- test_zonotope_enclose
- test_zonotope_enclosePoints
- test_zonotope_enlarge
- test_zonotope_generateRandom
- test_zonotope_generators
- test_zonotope_intersectStrip_degenerateCase
- test_zonotope_intersectStrip_volumeOptimum
- test_zonotope_interval
- test_zonotope_isemptyobject
- test_zonotope_isequal
- test_zonotope_isFullDim
- test_zonotope_isIntersecting
- test_zonotope_lift
- test_zonotope_minkDiff
- test_zonotope_mtimes
- test_zonotope_norm
- test_zonotope_or
- test_zonotope_origin
- test_zonotope_plot
- test_zonotope_plotRandPoint
- test_zonotope_plus
- test_zonotope_polygon
- test_zonotope_polytope
- test_zonotope_printSet
- test_zonotope_project
- test_zonotope_projVertices
- test_zonotope_quadMap
- test_zonotope_radius
- test_zonotope_randPoint
- test_zonotope_rank
- test_zonotope_reduceUnderApprox
- test_zonotope_representsa
- test_zonotope_split
- test_zonotope_supportFunc
- test_zonotope_uminus
- test_zonotope_underapproximate
- test_zonotope_uplus
- test_zonotope_vertices
- test_zonotope_vertices_2D
- test_zonotope_volume
- test_zonotope_zonoBundle
- test_zonotope_zonotope
- test_zonotope_zonotopeNorm
unitTests/converter/commonocean2cora
- testLong_converter_commonocean2cora_NYM
- test_converter_commonocean2cora_MEC
- test_converter_commonocean2cora_ZAM
unitTests/converter/neuralnetwork2cora
unitTests/converter/powerSystem2cora
- testLong_converter_powerSystem2cora_IEEE30
- testLong_converter_powerSystem2cora_indexForSubsystems
- testMATPOWER_converter_loadPowerSystemCase_IEEE14
unitTests/converter/powerSystem2cora/auxiliaryFunctions
unitTests/converter/powerSystem2cora/models
- IEEE30_groundTruth_con
- IEEE30_groundTruth_dyn
- IEEE30_groundTruth_sub1_con
- IEEE30_groundTruth_sub1_dyn
- IEEE30_groundTruth_sub2_con
- IEEE30_groundTruth_sub2_dyn
unitTests/converter/spaceex2cora
- testLong_spaceex2cora_hybrid_bouncingball
- testLong_spaceex2cora_hybrid_flat_01
- testLong_spaceex2cora_hybrid_flat_02
- testLong_spaceex2cora_hybrid_flat_03
- testLong_spaceex2cora_hybrid_lowpass
- testLong_spaceex2cora_hybrid_parallel_01
- testLong_spaceex2cora_hybrid_parallel_02
- testLong_spaceex2cora_hybrid_spacecraft
- testLong_spaceex2cora_linear_building
- testLong_spaceex2cora_nonlinear_vanDerPol
- test_spaceex2cora_hybrid_flat_01
- test_spaceex2cora_hybrid_flat_02
- test_spaceex2cora_hybrid_flat_03
- test_spaceex2cora_hybrid_flat_04
- test_spaceex2cora_hybrid_flat_07
- test_spaceex2cora_hybrid_flat_08
- test_spaceex2cora_hybrid_flat_09
- test_spaceex2cora_hybrid_parallel_01_emptycomp
- test_spaceex2cora_linear
- test_spaceex2cora_nonlinear
- test_spaceex2cora_parseConfig
- test_spaceex2cora_parseForbidden
- test_spaceex2cora_parseInitial
unitTests/discrDynamics/markovchain
unitTests/discrDynamics/partition
- test_partition
- test_partition_center_functions
- test_partition_exactIntersection
- test_partition_get_intervals
- test_partition_get_polytopes
- test_partition_get_zonotopes
- test_partition_intersection
unitTests/discrDynamics/road
- initCar_unitTest
- testSpecial_carReach
- testSpecial_road_intersection
- test_carReach_reach
- test_intersectionDatabase
unitTests/global/classes/linErrorBound
- test_linErrorBound_computeErrorBoundReduction
- test_linErrorBound_fullErrors
- test_linErrorBound_linErrorBound
- test_linErrorBound_plot
- test_linErrorBound_print
unitTests/global/classes/reachSet
- test_reachSet_add
- test_reachSet_contains
- test_reachSet_find
- test_reachSet_isemptyobject
- test_reachSet_isequal
- test_reachSet_minus
- test_reachSet_mtimes
- test_reachSet_order
- test_reachSet_plot
- test_reachSet_plotAsGraph
- test_reachSet_plotOverTime
- test_reachSet_plus
- test_reachSet_project
- test_reachSet_query
- test_reachSet_reachSet
- test_reachSet_shiftTime
- test_reachSet_times
- test_reachSet_uminus
- test_reachSet_uplus
unitTests/global/classes/simResult
- test_simResult_extractHits
- test_simResult_find
- test_simResult_isemptyobject
- test_simResult_minus
- test_simResult_monitorSTL
- test_simResult_mtimes
- test_simResult_plot
- test_simResult_plotOverTime
- test_simResult_plotTimeStep
- test_simResult_plus
- test_simResult_printSimResult
- test_simResult_simResult
- test_simResult_times
- test_simResult_uminus
- test_simResult_uplus
unitTests/global/classes/taylorLinSys
unitTests/global/classes/testCase
unitTests/global/classes/verifyTime
- test_verifyTime_compact
- test_verifyTime_contains
- test_verifyTime_isequal
- test_verifyTime_timeUntilSwitch
- test_verifyTime_verifyTime
unitTests/global/functions/helper/contDynamics
unitTests/global/functions/helper/contSet/conZonotope
unitTests/global/functions/helper/contSet/contSet
- testLong_GJKalgorithm
- test_block_mtimes
- test_block_operation
- test_GJKalgorithm
- test_recompose
- test_removeCollinearVertices2D
- test_removeDuplicates
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/string
unitTests/global/functions/matlab/struct
unitTests/global/functions/matlab/validate/check
- test_assertLoop
- test_compareMatrices
- test_equalDimCheck
- test_isApproxSymmetric
- test_isFuncLinear
- test_withinTol
unitTests/global/functions/matlab/validate/preprocessing
unitTests/global/functions/verbose/ascii/table
unitTests/global/functions/verbose/plot
- test_getUnboundedAxisLimits
- test_plotMultipleSetsAsOne
- test_plotPoints
- test_plotPolygon
- test_plotPolytope3D
unitTests/global/functions/verbose/plot/color
unitTests/global/functions/verbose/print
unitTests/global/functions/verbose/tipoftheday
unitTests/global/functions/verbose/write
unitTests/global/macros
unitTests/global/thirdparty/fourier
unitTests/hybridDynamics/abstractReset
unitTests/hybridDynamics/hybridAutomaton
- testLong_hybridAutomaton_reach_02_powerTrain
- testLong_hybridAutomaton_reach_03_spacecraft
- test_hybridAutomaton_display
- test_hybridAutomaton_hybridAutomaton
- test_hybridAutomaton_isemptyobject
- test_hybridAutomaton_isequal
- test_hybridAutomaton_reach_01_bouncingBall
- test_hybridAutomaton_reach_02_instantTransition
- test_hybridAutomaton_reach_unsafeSet
- test_hybridAutomaton_simulate
- test_hybridAutomaton_simulateRandom
unitTests/hybridDynamics/linearReset
- test_linearReset_evaluate
- test_linearReset_eye
- test_linearReset_isequal
- test_linearReset_lift
- test_linearReset_linearReset
- test_linearReset_nonlinearReset
- test_linearReset_resolve
- test_linearReset_synchronize
unitTests/hybridDynamics/location
- test_location_calcBasis
- test_location_checkFlow
- test_location_display
- test_location_instantReset
- test_location_isemptyobject
- test_location_isequal
- test_location_location
- test_location_potInt
- test_location_potOut
- test_location_reach
- test_location_simulate
unitTests/hybridDynamics/nonlinearReset
- test_nonlinearReset_derivatives
- test_nonlinearReset_evaluate
- test_nonlinearReset_isequal
- test_nonlinearReset_lift
- test_nonlinearReset_nonlinearReset
- test_nonlinearReset_resolve
- test_nonlinearReset_synchronize
unitTests/hybridDynamics/parallelHybridAutomaton
- testLong_parallelHybridAutomaton_mergeFlows_01
- testLong_parallelHybridAutomaton_mergeFlows_02
- testLong_parallelHybridAutomaton_mergeInvariants_01
- testLong_parallelHybridAutomaton_mergeTransitionSets_01
- testLong_parallelHybridAutomaton_reach_comparison
- testLong_parallelHybridAutomaton_simulateRandom
- test_parallelHybridAutomaton_display
- test_parallelHybridAutomaton_isemptyobject
- test_parallelHybridAutomaton_isequal
- test_parallelHybridAutomaton_locationProduct
- test_parallelHybridAutomaton_mergeFlows_01
- test_parallelHybridAutomaton_mergeInvariants_01
- test_parallelHybridAutomaton_mergeTransitionSets_01
- test_parallelHybridAutomaton_mergeTransitionSets_03
- test_parallelHybridAutomaton_reach_01_emptyInvGuard
- test_parallelHybridAutomaton_simulate
unitTests/hybridDynamics/transition
- testLong_transition_lift
- test_transition_display
- test_transition_isemptyobject
- test_transition_isequal
- test_transition_transition
unitTests/matrixSet/intervalMatrix
- test_intervalMatrix_abs
- test_intervalMatrix_contains
- test_intervalMatrix_dim
- test_intervalMatrix_display
- test_intervalMatrix_exactSquare
- test_intervalMatrix_expm
- test_intervalMatrix_generateRandom
- test_intervalMatrix_infimum
- test_intervalMatrix_interval
- test_intervalMatrix_isempty
- test_intervalMatrix_matZonotope
- test_intervalMatrix_mtimes
- test_intervalMatrix_norm
- test_intervalMatrix_plus
- test_intervalMatrix_printSet
- test_intervalMatrix_randPoint
- test_intervalMatrix_supremum
unitTests/matrixSet/matPolytope
- test_matPolytope_dim
- test_matPolytope_display
- test_matPolytope_isempty
- test_matPolytope_mtimes
- test_matPolytope_plus
- test_matPolytope_printSet
unitTests/matrixSet/matZonotope
- testLong_matZonotope_norm
- test_matZonotope_center
- test_matZonotope_dim
- test_matZonotope_display
- test_matZonotope_expm
- test_matZonotope_intervalMatrix
- test_matZonotope_isempty
- test_matZonotope_matZonotope
- test_matZonotope_mtimes
- test_matZonotope_numgens
- test_matZonotope_plot
- test_matZonotope_printSet
- test_matZonotope_randPoint
- test_matZonotope_reshape
- test_matZonotope_size
- test_matZonotope_transpose
unitTests/nn
- testFlaky_nn_polyZonotope_cnn_random
- testnn_polyZonotope_cnn_verivital_avg
- testnn_polyZonotope_cnn_verivital_max
- testnn_verify
- testnn_vnnlib2cora
- test_nn_conZonotope_ReLU_approx
- test_nn_conZonotope_ReLU_exact
- test_nn_folderStructure
- test_nn_interval
- test_nn_numeric
- test_nn_polyZonotope_adaptive
- test_nn_polyZonotope_adaptive_large
- test_nn_polyZonotope_adaptive_output_ref
- test_nn_polyZonotope_adaptive_refine
- test_nn_polyZonotope_cub
- test_nn_polyZonotope_lin
- test_nn_polyZonotope_quad
- test_nn_polyZonotope_softmax
- test_nn_random
- test_nn_taylm_ReLU
- test_nn_taylm_sigmoid
- test_nn_taylm_tanh
- test_nn_zonotope_relu
- test_nn_zonotope_tanh
unitTests/nn/helper
unitTests/nn/layers
unitTests/nn/layers/linear
- test_nn_nnAvgPool2DLayer
- test_nn_nnConv2DLayer
- test_nn_nnElementwiseAffineLayer
- test_nn_nnIdentityLayer
- test_nn_nnLinearLayer
unitTests/nn/layers/nonlinear
- test_nn_nnActivationLayer_computeApproxPoly
- test_nn_nnActivationLayer_getDerBounds
- test_nn_nnActivationLayer_instantiateFromString
- test_nn_nnLeakyReLULayer
- test_nn_nnReLULayer
- test_nn_nnSigmoidLayer
- test_nn_nnTanhLayer
unitTests/nn/layers/other
unitTests/nn/neuralNetwork
- testnn_neuralNetwork_addVisualizationLayers
- testnn_neuralNetwork_exportONNXNetwork
- testnn_neuralNetwork_readNetwork
- testnn_neuralNetwork_readONNXNetwork
- testnn_neuralNetwork_train
- testnn_neuralNetwork_train_set
- testnn_neuralNetwork_verify
- test_neuralNetwork_exportNetworkAsCellArray
- test_nn_neuralNetwork_display
- test_nn_neuralNetwork_evaluate
- test_nn_neuralNetwork_evaluate_refine
- test_nn_neuralNetwork_getFromCellArray
- test_nn_neuralNetwork_getNormalForm
- test_nn_neuralNetwork_getNumNeurons
- test_nn_neuralNetwork_neuralNetwork
- test_nn_neuralNetwork_readNNetNetwork
- test_nn_neuralNetwork_readSherlockNetwork
- test_nn_neuralNetwork_readYMLNetwork
- test_nn_neuralNetwork_refine
unitTests/nn/nnHelper
- test_nn_nnHelper_calcSquared
- test_nn_nnHelper_computeBoundsPolyZono
- test_nn_nnHelper_gerDerInterval
- test_nn_nnHelper_heap
- test_nn_nnHelper_leastSquarePolyFunc
- test_nn_nnHelper_minMaxDiffOrder
- test_nn_nnHelper_validateNNoptions
unitTests/nn/optim
unitTests/nn/rl
- testnn_rl_agentRL_train_all
- testnn_rl_agentRL_train_point
- test_nn_rl_agentRL_validateOptions
- test_nn_rl_buffer
- test_nn_rl_ctrlEnv_step
- test_nn_rl_ctrlEnv_validateOptions
unitTests/specification
- test_atomicProposition
- test_finiteKleeneSignalBuilder
- test_fourValued
- test_kleene
- test_onlineReachSetAnalyzer
- test_reachSetAnalyzer
- test_simResultAnalyzer
unitTests/specification/signals/finiteSignal
- test_finiteSignal_at
- test_finiteSignal_combine
- test_finiteSignal_cutoff
- test_finiteSignal_findIntervals
- test_finiteSignal_finiteSignal
- test_finiteSignal_indicator
- test_finiteSignal_max
- test_finiteSignal_plot
- test_finiteSignal_set
- test_finiteSignal_until
unitTests/specification/signals/fourValuedSignal
- test_fourValuedSignal_and
- test_fourValuedSignal_at
- test_fourValuedSignal_combine
- test_fourValuedSignal_conclusiveInterval
- test_fourValuedSignal_findIntervals
- test_fourValuedSignal_fromKleeneSignal
- test_fourValuedSignal_indicator
- test_fourValuedSignal_merge
- test_fourValuedSignal_not
- test_fourValuedSignal_or
- test_fourValuedSignal_plot
- test_fourValuedSignal_set
- test_fourValuedSignal_toKleeneSignal
- test_fourValuedSignal_until
unitTests/specification/signals/fourValuedSignal/private
unitTests/specification/signals/kleeneSignal
- test_kleeneSignal_and
- test_kleeneSignal_at
- test_kleeneSignal_combine
- test_kleeneSignal_findIntervals
- test_kleeneSignal_fromBoolSignal
- test_kleeneSignal_indicator
- test_kleeneSignal_not
- test_kleeneSignal_or
- test_kleeneSignal_plot
- test_kleeneSignal_set
- test_kleeneSignal_toBoolSignal
- test_kleeneSignal_until
unitTests/specification/signals/kleeneSignal/private
unitTests/specification/signals/pointSegmentSignal
- testLong_pointSegmentSignal_set
- test_pointSegmentSignal_allTrue
- test_pointSegmentSignal_and
- test_pointSegmentSignal_anyTrue
- test_pointSegmentSignal_at
- test_pointSegmentSignal_combine
- test_pointSegmentSignal_cutAtFirstFallingEdge
- test_pointSegmentSignal_findIntervals
- test_pointSegmentSignal_findLast
- test_pointSegmentSignal_indicator
- test_pointSegmentSignal_not
- test_pointSegmentSignal_or
- test_pointSegmentSignal_plot
- test_pointSegmentSignal_set
- test_pointSegmentSignal_until
unitTests/specification/signals/tentativeKleeneSignal
- test_tentativeKleeneSignal_emptySignal
- test_tentativeKleeneSignal_getInterval
- test_tentativeKleeneSignal_observe
- test_tentativeKleeneSignal_plot
- test_tentativeKleeneSignal_setInvalid
unitTests/specification/specification
- test_specification_add
- test_specification_check
- test_specification_eq
- test_specification_inverse
- test_specification_isempty
- test_specification_isequal
- test_specification_ne
- test_specification_plot
- test_specification_plotOverTime
- test_specification_printSpec
- test_specification_project
- test_specification_robustness
- test_specification_specification
unitTests/specification/stl
- testLong_stl_modelChecking_bouncingBall
- testLong_stl_modelCheckReachSet_01
- testLong_stl_modelCheckReachSet_02
- testLong_stl_modelCheckReachSet_oscillator
- testLong_stl_verifySTL_bouncingBall
- test_stl_combineAtomicPropositions
- test_stl_desugar
- test_stl_evaluateSignal
- test_stl_isPredicate
- test_stl_masks
- test_stl_modelCheckReachSet
- test_stl_modelCheckTrace
- test_stl_robustness
- test_stl_verifySTL
unitTests/specification/stlInterval
- test_stlInterval_and
- test_stlInterval_contains
- test_stlInterval_infimum
- test_stlInterval_interval
- test_stlInterval_isemptyobject
- test_stlInterval_isequal
- test_stlInterval_leftClosure
- test_stlInterval_minkDiff
- test_stlInterval_minus
- test_stlInterval_plus
- test_stlInterval_representsa
- test_stlInterval_rightClosure
- test_stlInterval_supremum
- test_stlInterval_toLeft
- test_stlInterval_toRight
unitTests/unitTests
unitTests/unitTests/ci
examples/website/contDynamics
examples/website/contSet
- website_capsule.mlx
- website_conHyperplane.mlx
- website_conPolyZono.mlx
- website_conZonotope.mlx
- website_ellipsoid.mlx
- website_emptySet.mlx
- website_fullspace.mlx
- website_halfspace.mlx
- website_interval.mlx
- website_levelSet.mlx
- website_polytope.mlx
- website_polyZonotope.mlx
- website_probZonotope.mlx
- website_spectraShadow.mlx
- website_taylm.mlx
- website_zonoBundle.mlx
- website_zonotope.mlx
examples/website/contSet/operations
examples/website/hybridDynamics
examples/website/nn
examples/website/unitTests
Versionen, die den GitHub-Standardzweig verwenden, können nicht heruntergeladen werden
| Version | Veröffentlicht | Versionshinweise | |
|---|---|---|---|
| 1.0.3 | Release version 2021 |
|
|
| 1.0.2 | Update toolbox logo |
|
|
| 1.0.1 | Update toolbox logo |
|
|
| 1.0.0 |
|
Um Probleme in diesem GitHub Add-On anzuzeigen oder zu melden, besuchen Sie das GitHub Repository.
Um Probleme in diesem GitHub Add-On anzuzeigen oder zu melden, besuchen Sie das GitHub Repository.
Website auswählen
Wählen Sie eine Website aus, um übersetzte Inhalte (sofern verfügbar) sowie lokale Veranstaltungen und Angebote anzuzeigen. Auf der Grundlage Ihres Standorts empfehlen wir Ihnen die folgende Auswahl: .
Sie können auch eine Website aus der folgenden Liste auswählen:
So erhalten Sie die bestmögliche Leistung auf der Website
Wählen Sie für die bestmögliche Website-Leistung die Website für China (auf Chinesisch oder Englisch). Andere landesspezifische Websites von MathWorks sind für Besuche von Ihrem Standort aus nicht optimiert.
Amerika
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- 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)
Asien-Pazifik
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)