Skip to content

JuliaReach/ClosedLoopReachability.jl

BranchesTags
 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
dev
dev
 
 
index.html
index.html
 
 
versions.js
versions.js
 
 

About

Reachability analysis for closed-loop control systems in Julia

juliareach.github.io/ClosedLoopReachability.jl/

Topics

neural-network robotics control-systems differential-equations hybrid-systems robustness

License

MIT license
Activity
Custom properties

Stars

44 stars

Watchers

6 watching

Forks

3 forks
Report repository

Releases 14

v0.6.0 Latest
Jun 3, 2024
+ 13 releases

Contributors 6

Languages