Airspace-Encounter-Models / em-model-manned-bayes
Manned Bayesian Network Encounter Models
☆16Updated 8 months ago
Alternatives and similar repositories for em-model-manned-bayes:
Users that are interested in em-model-manned-bayes are comparing it to the libraries listed below
- Simulation and analysis tools for autonomous F-16 maneuvers as a V&V benchmark☆64Updated last year
- Template files for mavsim, the simulator developed in Small Unmanned Aircraft: Theory and Practice☆69Updated last year
- Python Version of F-16 Maneuver Verification Benchmark☆112Updated last week
- Robust Online Motion Planning using Contraction Theory☆54Updated 6 years ago
- Repository associated with paper titled "AMSwarm: An Alternating Minimization Approach for Safe Motion Planning of Quadrotor Swarms in Cl…☆40Updated last year
- ☆19Updated 3 years ago
- ☆22Updated 6 years ago
- ☆19Updated 11 months ago
- MIT ACL distributed formation flying using multirotors☆69Updated 4 years ago
- DAA Evaluation of Guidance, Alerting, and Surveillance☆11Updated 3 years ago
- Simplexes with Minimum Volume Enclosing Polynomial Curves☆75Updated last year
- A Framework for Zero-Shot Sim2Real Drone Racing☆96Updated 4 years ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆57Updated 11 months ago
- A multirotor simulator with aerodynamics for education and research.☆116Updated last week
- ☆31Updated 4 years ago
- AVDC 2021 - GNC of a SWARM of UAVs in a numerical simulation by Alex Martinez and Tom Antoine☆42Updated 3 years ago
- Hierarchical Model Predictive Control for the F1/10 autonmous car☆21Updated 4 years ago
- Optimal solution of the Generalized Dubins Interval Problem (GDIP)☆20Updated 2 years ago
- Team 5 Capstone git for the F16 Modeling and Simulation. Winter/Spring 2020-2021.☆20Updated 3 years ago
- GNC of a SWARM of UAVs in a SITL by Tom Antoine and Alex Martinez - Cranfield University AVDC MSc 2021☆26Updated 3 years ago
- An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications☆14Updated last year
- ☆66Updated 6 years ago
- ☆25Updated 3 years ago
- Get started with Reachability-based Trajectory Design for static obstacles☆62Updated 2 years ago
- High-Level Fixed Wing UAV Simulator☆15Updated 4 years ago
- Bio-inspired run and tumble and obstacle avoidance behaviour on Crazyflie 2.1☆19Updated 3 years ago
- ILQR and MPC Control of Swarms using Random Finite Set Theory☆13Updated 4 years ago
- A collection of Jupyter/IPython notebooks that implement quadrotor control schemes in an expository manner☆45Updated 5 years ago
- This is a minimal repository containing the Matlab / Simulink to test a quadrotor subjected to single / double rotor failures, the increm…☆59Updated last year
- Dubins Path Planner C++ Library☆24Updated 8 years ago