PrototypeCommune
JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
- Propriétaire
- JuliaReach (organisation)
- Étoiles
- Étoiles : 218
- Forks
- Forks : 17
- Langage
- Julia
- Licence
- MIT
- Création
- 2019
- Sujets
- numerical-analysishybrid-systemsformal-verificationcyber-physical-systemsreachability-analysisrigorous-numericsdifferential-equationsinterval-arithmeticdynamical-systemscontrol-systems
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de JuliaReach
Les 2 dépôts de JuliaReach- JuliaReach/LazySets.jlÉtoiles : 258JuliaAlpha
D’autres dépôts Julia
Tous les dépôts Julia- gaurav-arya/StochasticAD.jlÉtoiles : 219JuliaPrototype
- JuliaLang/METADATA.jlÉtoiles : 218JuliaPrototype
- JuliaGPU/oneAPI.jlÉtoiles : 218JuliaPrototype
- JuliaGeometry/GeometryBasics.jlÉtoiles : 217JuliaPrototype
- SciML/Sundials.jlÉtoiles : 216JuliaPrototype