JuliaReach/ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

语言：Julia · GitHub 星标：218 · Fork：17

话题：automatic-control · control-systems · cyber-physical-systems · differential-equations · dynamical-systems · flowpipe · formal-verification · hybrid-systems

在 GitHub 上查看原仓库