Airspace-Encounter-Models / em-overviewLinks
Overview of the aircraft encounter models that support safety analysis and development of aircraft avoidance systems.
☆23Updated 3 years ago
Alternatives and similar repositories for em-overview
Users that are interested in em-overview are comparing it to the libraries listed below
Sorting:
- Python Version of F-16 Maneuver Verification Benchmark☆116Updated last month
- open source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volum…☆65Updated 11 months ago
- Well-Clear Boundary Models for Integration of UAS in the NAS☆51Updated 4 years ago
- Manned Bayesian Network Encounter Models☆17Updated last year
- Repository for "Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace from Position Data"☆17Updated 6 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆79Updated 8 months ago
- This project contains the UNIFIER19 C7A-HARW aircraft Flight Dynamics Simulator Simulink model and XPlane-11 model.☆24Updated 7 months ago
- ICAROUS is a software architecture for the development of UAS applications☆167Updated 2 years ago
- F-16 Aircraft Dynamics Model from Stevens and Lewis "Aircraft Control and Simulation".☆58Updated 2 years ago
- Agent-Based of the ELSA project for Air Traffic Management☆10Updated 8 years ago
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆20Updated last year
- ☆72Updated 5 years ago
- Jax version of F16 dynamics☆22Updated 9 months ago
- ☆87Updated 5 months ago
- ☆29Updated 7 years ago
- Simulation and analysis tools for autonomous F-16 maneuvers as a V&V benchmark☆67Updated last year
- A reinforcement learning environment for aircraft control using the JSBSim flight dynamics model☆54Updated 9 months ago
- Web-based air traffic simulation and visualization platform for ATM research. Development branch: https://github.com/HKUST-OCTAD-LAB/AirT…☆51Updated last week
- Trajectory Optimization for Python☆117Updated 3 years ago
- DAA Evaluation of Guidance, Alerting, and Surveillance☆11Updated 3 years ago
- Open aircraft performance model and Python toolkit☆106Updated 2 weeks ago
- Temporal Logic Extractor☆11Updated 8 years ago
- Machine Learning + Spacecraft Trajectory Optimisation☆31Updated 2 years ago
- Differential Algebra Computational Toolbox☆40Updated last month
- A Matlab tool to visualize recorded or simulated flight data☆162Updated last week
- A python library for control from Signal Temporal Logic (STL) specifications☆43Updated 3 years ago
- ☆70Updated last year
- RL environments and tools for spacecraft autonomy research, built on Basilisk. Developed by the AVS Lab.☆63Updated this week
- Multi-rendezvous Spacecraft Trajectory Optimization with Beam P-ACO☆35Updated 7 years ago
- ☆61Updated last year