JuliaReach/Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

语言：Julia · GitHub 星标：49 · Fork：4

话题：automatic-control · control-systems · control-theory · cyber-physical-systems · dynamical-systems · engineering · formal-verification · hybrid-systems

在 GitHub 上查看原仓库