Airspace-Encounter-Models / em-model-manned-bayes
Manned Bayesian Network Encounter Models
☆16Updated 10 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
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆58Updated last year
- Simulation and analysis tools for autonomous F-16 maneuvers as a V&V benchmark☆65Updated last year
- Robust Online Motion Planning using Contraction Theory☆55Updated 6 years ago
- ☆84Updated last year
- Python Version of F-16 Maneuver Verification Benchmark☆112Updated last week
- Public examples for FORCES NLP☆12Updated 7 years ago
- Robust Model Predictive Control for Micro Aerial Vehicles☆39Updated 8 years ago
- ☆43Updated 3 months ago
- implementation of sequential convex programming (successive convexification)☆14Updated 2 years ago
- Team 5 Capstone git for the F16 Modeling and Simulation. Winter/Spring 2020-2021.☆21Updated 3 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆78Updated 5 months ago
- Decentralized Multiagent Trajectory Planner Robust to Communication Delay☆90Updated 9 months ago
- ☆19Updated 3 years ago
- Implementation of several multiagent trajectory generation algorithms☆12Updated 4 years ago
- ☆32Updated 4 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
- Lossless convexification new results (mixed-integer problems)☆30Updated 5 years ago
- AVDC 2021 - GNC of a SWARM of UAVs in a numerical simulation by Alex Martinez and Tom Antoine☆42Updated 3 years ago
- Implementation of SHARP: Shielding-Aware Robust Planning for Safe and Efficient Human-Robot Interaction - RAL 2022☆30Updated 2 years ago
- A Tool for multi-drone planning using Signal Temporal Logic Objectives☆22Updated 3 years ago
- Get started with Reachability-based Trajectory Design for static obstacles☆62Updated 2 years ago
- ☆52Updated 9 months ago
- A multirotor simulator with aerodynamics for education and research.☆119Updated last week
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆24Updated 4 years ago
- Implementation of "Successive Convexification for 6-DoF Mars Rocket Powered Landing with Free-Final-Time"☆71Updated 6 years ago
- vittoriocataffo / A-Nonlinear-Model-Predictive-Control-Strategy-for-Autonomous-Racing-of-Scale-VehiclesA Nonlinear Model Predictive Control (NMPC)-based algorithm aimed at controlling a scale car model for autonomous racing☆21Updated last year
- Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"☆26Updated 2 years ago
- ☆21Updated 4 years ago
- MATLAB LMPC implementation for a double integrator system☆57Updated 3 years ago
- ☆28Updated last year