Reachability.jl：不确定性动力系统的可达性和安全性
需积分: 5 180 浏览量
2021-02-04
02:09:42
上传
评论
收藏 116KB ZIP 举报
Reachability_jl-master.zip （88个子文件） 
Reachability.jl-master 
.travis.yml 2KB Project.toml 2KB docs make.jl 965B Project.toml 152B src assets juliareach.css 10KB about.md 3KB publications.md 12KB lib algorithms.md 299B transformations.md 727B distributed.md 1KB systems.md 2KB discretize.md 296B interface.md 334B citations.md 3KB index.md 2KB test Systems unit_NonDeterministicInput.jl 916B unit_System.jl 4KB alltests.jl 166B ReachSets unit_discretization.jl 7KB alltests.jl 89B runtests.jl 377B Reachability models thermostat.jl 2KB bouncing_ball.jl 2KB solve_hybrid.jl 2KB unit_options.jl 1KB alltests.jl 243B solve_continuous.jl 10KB Properties alltests.jl 67B unit_tune.jl 788B LICENSE 1KB src ReachSets CheckSolution.jl 669B ContinuousPost ContinuousPost.jl 130B TMJets init.jl 1KB TMJets.jl 583B reach.jl 5KB post.jl 4KB ASB07 init.jl 249B reach.jl 852B post.jl 2KB options.jl 893B ASB07.jl 527B BFFPSV18 reach_blocks.jl 13KB check_property.jl 5KB reach_blocks_wrapping_effect.jl 2KB reach.jl 9KB compute_dimensions.jl 412B BFFPSV18.jl 15KB check_blocks.jl 10KB partitions.jl 2KB ASB07_decomposed init.jl 524B reach.jl 2KB post.jl 2KB options.jl 1KB ASB07_decomposed.jl 619B GLGM06 init.jl 1KB GLGM06.jl 513B reach.jl 1KB post.jl 1KB BFFPS19 reach_blocks.jl 11KB reach.jl 9KB BFFPS19.jl 9KB tune.jl 3KB ReachSet.jl 2KB discretize.jl 31KB ReachSets.jl 4KB project_reach.jl 4KB ReachSolution.jl 1023B DiscretePost DiscretePost.jl 4KB ConcreteDiscretePost.jl 5KB DecomposedDiscretePost.jl 4KB LazyDiscretePost.jl 8KB Flowpipe.jl 408B PostOperator.jl 258B Reachability.jl 1KB logging.jl 3KB plot_recipes.jl 4KB solve.jl 8KB Options dictionary.jl 14KB validation.jl 3KB default_options.jl 6KB Utils AbstractSolution.jl 156B systems.jl 5KB normalization.jl 7KB transformations.jl 4KB Utils.jl 11KB codecov.yml 15B .gitignore 140B README.md 3KB资源评论
