PisterLab / BotNetLinks
A simulator for optionally networked swarm control up to 1000s of agents.
☆12Updated 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
- Repository for IROS 2019☆27Updated 5 years ago
- Additional environments compatible with OpenAI gym☆21Updated 4 years ago
- ROS-based C++ segway simulation environment. Includes branches for MPC and control barrier functions. New version of cyberpod_sim_ros.☆26Updated 4 years ago
- Toolbox for Robotics Control☆66Updated last month
- collection of rotorcrafts OpenAI gym Mujoco environments☆48Updated 2 years ago
- ☆35Updated 9 months ago
- SPACE (Swarm Planning And Contorl Evaluation) Simulator☆18Updated last week
- Simulation environments for the CrazyFlie quadrotor: Used for Reinforcement Learning and Sim-to-Real Transfer☆36Updated last year
- Automated Robust Co-design for Cyberphysical Systems☆29Updated 2 years ago
- Training efficient drone controllers with Analytic Policy Gradient☆139Updated last year
- ☆24Updated last year
- Linear Temporal Logic Motion Planning with Graphs of Convex Sets☆48Updated last year
- A Python package to make implementing control barrier functions (CBFs) and control Lyapunov functions (CLFs) simple.☆19Updated last year
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆70Updated 2 years ago
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆63Updated 2 years ago
- Path planning from STL (Signal Temporal Logic) specifications☆55Updated 2 years ago
- ☆40Updated 3 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆79Updated 11 months ago
- Reinforcement Learning framework for MAVs using the OpenAI Gym environment☆100Updated 3 years ago
- Repository associated with paper titled "AMSwarm: An Alternating Minimization Approach for Safe Motion Planning of Quadrotor Swarms in Cl…☆46Updated last year
- Planner for Multiple Agent System with Temporal Goals☆28Updated 4 years ago
- ☆28Updated 3 years ago
- Optimizing Dynamic Programming-Based Algorithms☆119Updated 3 weeks ago
- ☆49Updated last year
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆166Updated 2 months ago
- Quadcopter control with RL☆13Updated 3 years ago
- ☆57Updated 3 years ago
- constraint differential dynamical programming☆28Updated 2 years ago
- Repo for paper DATT: Deep Adaptive Trajectory Tracking for Quadrotor Drones☆63Updated last year