You are now following this Submission
- You will see updates in your followed content feed
- You may receive emails, depending on your communication preferences
993 Downloads
Updated 23 May 2022
From GitHub
Version History
Versions that use the GitHub default branch cannot be downloaded
|
1.0.3 | Release version 2021 |
|
|
1.0.2 | Update toolbox logo |
|
|
1.0.1 | Update toolbox logo |
|
|
1.0.0 |
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.
Cite As
Matthias Althoff (2022). CORA (https://github.com/TUMcps/CORA), GitHub. Retrieved .
Requires
MPT toolbox (see http://people.ee.ethz.ch/~mpt/3/)
MATLAB Release Compatibility
Created with
R2021a
Compatible with R2017b to R2021a
Platform Compatibility
Windows macOS LinuxCategories
Acknowledgements
Inspired: AROC
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Discover Live Editor
Create scripts with code, output, and formatted text in a single executable document.
app
app/auxiliary
contDynamics/@contDynamics
- contDynamics
- derivatives
- dimension
- display
- linReach
- observe
- observe_stripBased
- pruneDynamics
- reach
- simulateRandom
- symVariables
contDynamics/@contDynamics/private
- abstrerr_lin
- abstrerr_poly.m
- checkTensorRecomputation
- create3rdOrderTensorFile
- createHessianTensorFile
- createHigherOrderTensorFiles
- createJacobianFile
- createJacobianFile_freeParam
- createParametricDynamicFile
- linError
- linError_higherOrder
- linError_mixed_noInt
- linError_thirdOrder.m
- observe_intersectionMethod_I
- observe_intersectionMethod_II
- precompStatError
- reportReachError
- select
- simulateGaussian
- simulateNormal
- simulateRRT
contDynamics/@linParamSys
- coreReach
- display
- errorSolution
- getfcn
- initReach
- initReach_inputDependence
- linParamSys
- LinParamWrapper_initReach
- post
- postReach
- preReach
- simulate
contDynamics/@linParamSys/private
- apprSquare
- dependentHomSol
- dependentInputSol
- highOrderMappingMatrix
- inputSolution
- inputTie
- mappingMatrix
- mappingMatrix
- nonlinMap
- tie
contDynamics/@linProbSys
contDynamics/@linProbSys/private
contDynamics/@linearSys
- coreReach
- deltaReach
- deltaReach_adaptive
- display
- errorSolution
- errorSolution_adaptive
- exponentialMatrices
- getfcn
- initReach
- initReach_adaptive
- initReach_Euclidean
- linearSys
- linearSysDT
- linError
- post
- postReach
- post_Euclidean
- preReach
- reach
- reachInner
- simulate
- trajectoryError
contDynamics/@linearSys/private
- constInputSolution
- expmtie_adaptive
- exponential
- exponential_Krylov
- exponential_Krylov_precomputed
- exponential_Krylov_projected
- initOutputEquation
- initReach_Decomp
- initReach_Krylov
- inputInducedUpdates
- inputSolution
- inputSolution_Krylov
- inputTie
- outputSet
- post_Krylov
- post_Krylov
- reach_adaptive
- reach_adaptive_old
- reach_decomp
- reach_fromStart
- reach_krylov
- reach_standard
- reach_wrappingfree
- subspace_Krylov
- subspace_Krylov_individual
- subspace_Krylov_individual_Wang
- tie
contDynamics/@linearSysDT
contDynamics/@linearSysDT/private
- 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_ROPO
- observe_volMinA
- observe_volMinB
- outputSet
contDynamics/@nonlinDASys
- consistentInitialState
- display
- getfcn
- initReach
- linReach
- nonlinDASys
- post
- simulate
- simulateRRT
- simulateRRT_det
contDynamics/@nonlinDASys/private
contDynamics/@nonlinParamSys
contDynamics/@nonlinParamSys/private
contDynamics/@nonlinearSys
- createRemainderFile_certainInput
- display
- getfcn
- initReach
- initReach_adaptive
- linearize
- linReach_adaptive
- nonlinearSys
- post
- reachInner
- reach_adaptive
- simulate
- taylor
contDynamics/@nonlinearSys/private
- abstractionError_adaptive
- allowedError
- errorEval
- precompStatError_adaptive
- reachInnerParallelotope
- reachInnerProjection
- reachInnerScaling
contDynamics/@nonlinearSysDT
contDynamics/@nonlinearSysDT/private
- linearize
- linError_mixed_noInt
- linError_thirdOrder
- observe_FRadA
- observe_FRadB
- observe_FRadC
- observe_intersectionFreeAdaptive
- observe_volMinA
- observe_volMinB
contSet/@affine
contSet/@capsule
- capsule
- center
- conPolyZono
- dim
- display
- enlarge
- generateRandom
- in
- interval
- isempty
- isequal
- isFullDim
- isIntersecting
- mtimes
- plot
- plus
- polygon
- project
- radius
- randPoint
- supportFunc
- volume
- zonotope
contSet/@capsule/private
contSet/@conHyperplane
- and
- conHyperplane
- dim
- display
- distance
- in
- isempty
- isequal
- isHyperplane
- isIntersecting
- mptPolytope
- plot
- projectHighDim
- projectOnHyperplane
- supportFunc
contSet/@conHyperplane/private
contSet/@conPolyZono
- and
- cartProd
- center
- compact
- conPolyZono
- convHull
- conZonotope
- dim
- display
- ellipsoid
- enclose
- exactPlus
- generateRandom
- getSubset
- in
- interval
- isempty
- isequal
- isFullDim
- isIntersecting
- linComb
- minus
- mtimes
- or
- plot
- plus
- polygon
- polyZonotope
- project
- quadMap
- randPoint
- reduce
- reduceConstraints
- rescale
- split
- splitDepFactor
- splitLongestGen
- supportFunc
- zonotope
contSet/@conPolyZono/private
contSet/@conZonotope
- and
- cartProd
- center
- conIntersect
- conPolyZono
- convHull
- conZonotope
- cubMap
- deleteZeros
- dim
- display
- enclose
- generateRandom
- in
- intersectStrip
- interval
- intervalMultiplication
- isempty
- isFullDim
- isIntersecting
- minus
- mptPolytope
- mtimes
- or
- plot
- plotZono
- plus
- polyZonotope
- project
- quadMap
- randPoint
- reduce
- reduceConstraints
- rescale
- split
- supportFunc
- vertices
- zonoBundle
- zonotope
contSet/@conZonotope/private
contSet/@contSet
contSet/@ellipsoid
- and
- cartProd
- center
- conPolyZono
- convHull
- dim
- display
- distance
- ellipsoid
- ellipsoidNorm
- enclose
- enclosePoints
- enlarge
- eq
- generateRandom
- in
- intersectStrip
- interval
- isempty
- isequal
- isFullDim
- isIntersecting
- minus
- mtimes
- norm
- or
- plot
- plus
- project
- radius
- randPoint
- rank
- supportFunc
- volume
- zonotope
contSet/@ellipsoid/private
- andEllipsoidIA
- andEllipsoidOA
- andHalfspace
- andHyperplane
- boundary
- compIntersectionParam
- containsPoint
- distanceEllipsoid
- distanceHyperplane
- distanceMptPolytope
- distancePoint
- enc_parallelotope
- enc_zonotope
- inEllipsoid
- insc_parallelotope
- insc_zonotope
- isBadDir
- isIntersectingMixed
- issymmetric
- lminus
- lplus
- minusEllipsoid
- orEllipsoidOA
- plusEllipsoid
- rootfnc
contSet/@halfspace
- and
- commonPoint
- dim
- display
- generateRandom
- halfspace
- in
- isempty
- isequal
- isIntersecting
- mptPolytope
- mtimes
- plot
- plus
- projectHighDim
- rotate
contSet/@halfspace/private
contSet/@interval
- abs
- acos
- acosh
- and
- asin
- asinh
- atan
- atanh
- capsule
- cartProd
- center
- conPolyZono
- convHull
- conZonotope
- cos
- cosh
- ctranspose
- diag
- dim
- display
- ellipsoid
- enclosePoints
- enlarge
- eq
- exp
- generateRandom
- gridPoints
- horzcat
- in
- infimum
- interval
- isempty
- isequal
- isFullDim
- isIntersecting
- isscalar
- le
- length
- log
- lt
- minkDiff
- minus
- mpower
- mptPolytope
- mrdivide
- mtimes
- ne
- norm
- or
- partition
- plot
- plus
- polytope
- polyZonotope
- power
- prod
- project
- quadMap
- rad
- radius
- randPoint
- rdivide
- reshape
- sin
- sinh
- size
- split
- sqrt
- subsasgn
- subsref
- sum
- supportFunc
- supremum
- tan
- tanh
- times
- transpose
- uminus
- uplus
- vertcat
- vertices
- volume
- zonoBundle
- zonotope
contSet/@interval/private
contSet/@levelSet
contSet/@mptPolytope
- and
- cartProd
- center
- conPolyZono
- convHull
- conZonotope
- dim
- display
- distance
- ellipsoid
- enclose
- enclosePoints
- enclosingPolytope
- eq
- eventFcn
- generateRandom
- get
- halfspace
- hausdorffDist
- in
- interval
- isConHyperplane
- isempty
- isFullDim
- isIntersecting
- le
- levelSet
- minus
- mldivide
- mptPolytope
- mtimes
- or
- plot
- plus
- polytope
- polyZonotope
- project
- projectHighDim
- randPoint
- removedHalfspaces
- removeRedundancies
- supportFunc
- vertices
- volume
- zonoBundle
contSet/@polyZonotope
- approxVolumeRatio
- cartProd
- center
- compact
- conPolyZono
- containsPointSet
- convHull
- cubMap
- deleteZeros
- dim
- display
- ellipsoid
- enclose
- exactPlus
- fhandle
- generateRandom
- getSubset
- hausdorffDist
- hessianHandle
- in
- innerApprox
- interval
- isempty
- isequal
- isFullDim
- isIntersecting
- isInterval
- isPolytope
- isZero
- isZonotope
- jacobian
- jacobianHandle
- linComb
- mptPolytope
- mtimes
- noIndep
- onlyId
- partZonotope
- plot
- plotRandPoint
- plus
- polygon
- polyZonotope
- project
- quadMap
- randPoint
- reduce
- replaceId
- resolve
- restoreId
- restructure
- split
- splitDepFactor
- splitLongestGen
- stack
- subs
- sum
- supportFunc
- taylm
- zonotope
contSet/@polyZonotope/private
- multiply
- reduceAdaptive
- removeZeroExponents
- restructureReduce
- restructureReduceFull
- restructureReducePart
- restructureZono
contSet/@probZonotope
- abs
- center
- dim
- display
- enclose
- enclosingPolytope
- enclosingProbability
- generators
- interval
- max
- mean
- mtimes
- plot
- plus
- probReduce
- probZonotope
- project
- pyramid
- randPoint
- reduce
- sigma
- singleGenPlot
- sup
- vertices
- zonotope
contSet/@probZonotope/private
contSet/@taylm
- acos
- asin
- atan
- conPolyZono
- cos
- cosh
- det
- display
- exp
- getCoef
- getRem
- getSyms
- interval
- log
- minus
- mpower
- mrdivide
- mtimes
- optBernstein
- optBnb
- optBnbAdv
- optLinQuad
- plus
- polyZonotope
- power
- prod
- rdivide
- reexpand
- set
- setName
- sin
- sinh
- sqrt
- subsasgn
- subsref
- sum
- supportFunc
- tan
- tanh
- taylm
- times
- trace
- uminus
- uplus
contSet/@taylm/private
contSet/@zonoBundle
- and
- cartProd
- center
- conPolyZono
- convHull
- conZonotope
- dim
- display
- enclose
- encloseTight
- enclosingPolytope
- enlarge
- generateRandom
- in
- interval
- isempty
- isequal
- isFullDim
- isIntersecting
- mptPolytope
- mtimes
- or
- plot
- plus
- polytope
- polyZonotope
- project
- quadMap
- randPoint
- reduce
- reduceCombined
- replace
- shrink
- split
- supportFunc
- vertices
- volume
- zonoBundle
- zonotope
contSet/@zonoBundle/private
contSet/@zonotope
- abs
- and
- box
- capsule
- cartProd
- center
- conPolyZono
- constrSat
- convHull
- conZonotope
- cubMap
- deleteAligned
- deleteZeros
- dH2box
- dim
- display
- dominantDirections
- ellipsoid
- enclose
- encloseMany
- enclosePoints
- enclosingPolytope
- enlarge
- exactPlus
- filterOut
- generateRandom
- generatorLength
- generators
- halfspace
- in
- innerApprox
- intersectStrip
- interval
- intervalMultiplication
- isempty
- isequal
- isFullDim
- isIntersecting
- isInterval
- minnorm
- minus
- mptPolytope
- mtimes
- norm
- or
- orthVectors
- plot
- plus
- polygon
- polytope
- polyZonotope
- project
- projectHighDim
- quadMap
- quadMap_parallel
- radius
- randPoint
- rank
- reduce
- reduceUnderApprox
- rotate
- sampleBox
- split
- splitFirstGen
- supportFunc
- taylm
- tensorMultiplication
- tensorMultiplication_zono
- underapproximate
- vertices
- volume
- volumeRatio
- zonoBundle
- zonotope
- zonotopeNorm
contSet/@zonotope/private
- andAveraging
- enc_ellipsoid
- evaluateRotations
- generatorVolumeFilter
- insc_ellipsoid
- kmeansFilter
- lengthFilter
- MVEE
- MVIE
- ndimCross
- nonzeroFilter
- norm_exact
- norm_ub
- pickedGenerators
- reduceAdaptive
- reduceCluster
- reduceCombastel
- reduceConstOpt
- reduceGirard
- reduceMethA
- reduceMethB
- reduceMethC
- reduceMethE
- reduceMethF
- reducePCA
- reduceRedistribute
- reduceScott
- reorderingFilter
- volumeFilter
contSet/@zoo
contSet/@zoo/private
converter/commonroad2cora
converter/cora2spaceex
converter/cora2spaceex/private
- assignment_cora2spaceex
- conHyperplane_cora2spaceex
- flow_cora2spaceex
- guard_cora2spaceex
- headline_cora2spaceex
- hybrid_cora2spaceex
- invariant_cora2spaceex
- levelSet_cora2spaceex
- location_cora2spaceex
- mptPolytope_cora2spaceex
- parameter_cora2spaceex
- transition_cora2spaceex
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
converter/spaceex2cora/phase1/step4
converter/spaceex2cora/phase1/step5
- applySymMapping
- classifyVariables.m
- eq2linSys
- eq2linSysFlat
- eq2set
- FormalizeBaseComponent
- outputMatrices
converter/spaceex2cora/phase2
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/linear
- example_hybrid_reach_ARCH21_brake_BRKDC01
- example_hybrid_reach_ARCH21_brake_BRKNC01
- example_hybrid_reach_ARCH21_brake_BRKNP01
- example_hybrid_reach_ARCH21_gearbox_GRBX01
- example_hybrid_reach_ARCH21_gearbox_GRBX02
- example_hybrid_reach_ARCH21_heat3D_HEAT01
- example_hybrid_reach_ARCH21_heat3D_HEAT02
- example_hybrid_reach_ARCH21_heat3D_HEAT03
- example_hybrid_reach_ARCH21_powerTrain_DTN01
- example_hybrid_reach_ARCH21_powerTrain_DTN02
- example_hybrid_reach_ARCH21_powerTrain_DTN03
- example_hybrid_reach_ARCH21_powerTrain_DTN04
- example_hybrid_reach_ARCH21_powerTrain_DTN05
- example_hybrid_reach_ARCH21_powerTrain_DTN06
- example_hybrid_reach_ARCH21_rendezvous_SRA01
- example_hybrid_reach_ARCH21_rendezvous_SRA02
- example_hybrid_reach_ARCH21_rendezvous_SRA03
- example_hybrid_reach_ARCH21_rendezvous_SRA04
- example_hybrid_reach_ARCH21_rendezvous_SRA05
- example_hybrid_reach_ARCH21_rendezvous_SRA06
- example_hybrid_reach_ARCH21_rendezvous_SRA07
- example_hybrid_reach_ARCH21_rendezvous_SRA08
- example_hybrid_reach_ARCH21_rendezvous_SRNA01
- example_hybrid_reach_ARCH21_rendezvous_SRU01
- example_hybrid_reach_ARCH21_rendezvous_SRU02
- example_linearParam_reach_ARCH21_platoon_PLAA01_BND42
- example_linearParam_reach_ARCH21_platoon_PLAA01_BND50
- example_linearParam_reach_ARCH21_platoon_PLAD01_BND30
- example_linearParam_reach_ARCH21_platoon_PLAD01_BND42
- example_linearParam_reach_ARCH21_platoon_PLAN01
- example_linear_reach_ARCH21_beam_CB01
- example_linear_reach_ARCH21_building_BLDC01
- example_linear_reach_ARCH21_building_BLDF01
- example_linear_reach_ARCH21_iss_ISSC01_ISS02
- example_linear_reach_ARCH21_iss_ISSC01_ISU02
- example_linear_reach_ARCH21_iss_ISSF01_ISS01
- example_linear_reach_ARCH21_iss_ISSF01_ISU01
examples/ARCHcompetition/nonlinear
- example_hybrid_reach_ARCH21_lotkaVolterra
- example_hybrid_reach_ARCH21_spacecraft
- example_nonlinear_reach_ARCH21_laubLoomis
- example_nonlinear_reach_ARCH21_Robertson
- example_nonlinear_reach_ARCH21_vanDerPol
examples/contDynamics/linParamSys
examples/contDynamics/linProbSys
examples/contDynamics/linearSys
- example_linear_reach_01_5dim
- example_linear_reach_02_5dim_rrt
- example_linear_reach_03_inputTrajectory
- example_linear_reach_04_adaptive
- example_linear_reach_05_innerApprox
examples/contDynamics/linearSysDT
- example_linearDT_reach_01_5dim
- example_linearDT_reach_02_5dim
- 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
examples/contDynamics/nonlinDASys
- example_nonlinearDA_reach_01_powerSystem_3bus
- example_nonlinearDA_reach_02_swing1bus
- example_nonlinearDA_reach_03_LPVSMIB
examples/contDynamics/nonlinParamSys
- example_nonlinearParam_reach_01_tank
- example_nonlinearParam_reach_02_tank_certainCase
- example_nonlinearParam_reach_03_tank_linearRemainder
- example_nonlinearParam_reach_04_vanderPol_linearRemainder
examples/contDynamics/nonlinearSys
- example_nonlinear_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_freeRigidBody
examples/contDynamics/nonlinearSysDT
- example_nonlinearDT_reach_cstrDisc
- example_nonlinearDT_reach_tank
- example_nonlinearSysDT_observe_01_tank
examples/contSet
- example_affine
- example_capsule
- example_conHyperplane
- example_conPolyZono
- example_conZonotope
- example_ellipsoid
- example_halfspace
- example_interval
- example_levelSet
- example_mptPolytope
- example_polyZonotope
- example_probZonotope
- example_taylm
- example_zonoBundle
- example_zonotope
- example_zoo
examples/discrDynamics/probOccupancyPrediction
examples/hybridDynamics
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/section2
examples/manual/section4
examples/matrixSet
global/classes
global/classes/@reachSet
- add
- append
- containsSimResult
- find
- mtimes
- plot
- plotAllDim
- plotAllOverTime
- plotOverTime
- plotTimeStep
- plus
- query
- reachSet