https://github.com/juliareach/closedloopreachability.jl

Reachability analysis for closed-loop control systems in Julia
control-systems differential-equations hybrid-systems neural-network robotics robustness
Added: over 1 year ago - Last Synced: 11 months ago - Created: January 30, 2020

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Polar
  • Commits: 605
  • Committers: 11
  • Issues: 23
  • Pull Requests: 129
  • Owner: JuliaReach
  • Stars: 44
  • Forks: 2
  • Packages: 1
https://github.com/jonniedie/componentarrays.jl

Arrays with arbitrarily nested named components.
array arrays control-systems controls controls-and-dynamics differential-equations differentialequations dynamical-systems julia machine-learning modeling modeling-language named-tuples neural-networks neural-ode optimization scientific-machine-learning simulation simulation-modeling
Added: over 1 year ago - Last Synced: 11 months ago - Created: April 10, 2020

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Julia
  • Commits: 428
  • Committers: 28
  • Issues: 81
  • Pull Requests: 74
  • Owner: jonniedie
  • Stars: 280
  • Forks: 34
  • Packages: 1