PisterLab / BotNetLinks
A simulator for optionally networked swarm control up to 1000s of agents.
☆13Updated 3 years ago
Alternatives and similar repositories for BotNet
Users that are interested in BotNet are comparing it to the libraries listed below
Sorting:
- A clean, extensible toolbox for running experiments on the Crazyflie 2.0 quadrotor.☆18Updated last year
- ☆36Updated last year
- Repository for IROS 2019☆28Updated 6 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆170Updated 5 months ago
- collection of rotorcrafts OpenAI gym Mujoco environments☆48Updated 2 years ago
- Toolbox for Robotics Control☆76Updated 2 months ago
- Planner for Multiple Agent System with Temporal Goals☆28Updated 4 years ago
- Automated Robust Co-design for Cyberphysical Systems☆31Updated 2 years ago
- Training efficient drone controllers with Analytic Policy Gradient☆142Updated last year
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆65Updated 2 years ago
- Scalable Crazyflie simulation using JAX.☆44Updated this week
- A python library for control from Signal Temporal Logic (STL) specifications☆50Updated 5 months ago
- Jax version of F16 dynamics☆25Updated last year
- Linear Temporal Logic Motion Planning with Graphs of Convex Sets☆55Updated 2 years ago
- Non-Gaussian Risk Bounded Trajectory Optimization for StochasticNonlinear Systems in Uncertain Environments☆33Updated 3 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- ☆89Updated 2 years ago
- An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications☆16Updated 2 years ago
- ☆30Updated 4 years ago
- A Python simulator for the Robotarium! See your algorithm run on real robots!☆135Updated 7 months ago
- Optimizing Dynamic Programming-Based Algorithms☆126Updated 2 months ago
- Gymnasium environment for reinforcement learning with multicopters☆31Updated last year
- Deep RL ROS2 package for synchronous or asynchronous training a single or multiple robots.☆39Updated 4 years ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆73Updated 2 years ago
- SPACE (Swarm Planning And Contorl Evaluation) Simulator☆21Updated 3 weeks ago
- Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach☆15Updated 5 years ago
- Iterative Linearized Control Toolbox☆38Updated last year
- Sampling based Model Predictive Control package for Model-Based RL research☆55Updated 5 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆81Updated last year
- Robot Controls Course Project☆62Updated 4 years ago