Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with automatic-control
A curated list of projects in awesome lists tagged with automatic-control .
https://github.com/juliareach/reachabilityanalysis.jl
Computing reachable states of dynamical systems in Julia
automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification
Last synced: 30 Sep 2024
https://github.com/JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification
Last synced: 31 Jul 2024
https://github.com/aattk/raspauto
Raspberry Automation Control System
automatic-control home python raspberry telegram telegram-bot
Last synced: 02 Aug 2024