pheidlauf / AeroBenchVVView external linksLinks
Simulation and analysis tools for autonomous F-16 maneuvers as a V&V benchmark
☆77Jul 12, 2023Updated 2 years ago
Alternatives and similar repositories for AeroBenchVV
Users that are interested in AeroBenchVV are comparing it to the libraries listed below
Sorting:
- F-16 Aircraft Dynamics Model from Stevens and Lewis "Aircraft Control and Simulation".☆69Jul 30, 2022Updated 3 years ago
- Team 5 Capstone git for the F16 Modeling and Simulation. Winter/Spring 2020-2021.☆25Jun 8, 2021Updated 4 years ago
- A python interface for DATCOM. Provides export/ parsing capabilities.☆28Aug 18, 2012Updated 13 years ago
- Nonlinear model of F16 flight dynamics.☆44Apr 2, 2025Updated 10 months ago
- Nonlinear simulation of hypersonic flight dynamics, made with MATLAB and FlightGear☆22May 2, 2017Updated 8 years ago
- A reinforcement learning environment for aircraft control using the JSBSim flight dynamics model☆241Feb 26, 2021Updated 4 years ago
- Open Flight Data analysis tools☆13May 18, 2021Updated 4 years ago
- Python implementation of a small fixed wing UAV simulator from Small Unmanned Aircraft: Theory and Practice☆44Nov 9, 2021Updated 4 years ago
- DATCOM-XL is a transparent and easy to use aircraft aerodynamic derivative estimation tool.☆11Apr 11, 2024Updated last year
- Online JSBSim manual (User, and Programmer Manual)☆24Jan 11, 2026Updated last month
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆22Jul 16, 2024Updated last year
- Simulation system for path planning evaluation☆14Dec 13, 2025Updated 2 months ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- Julia package for representing linear, time-invariant system models and operations defined on them.☆10Oct 18, 2019Updated 6 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- An open source flight dynamics & control software library☆1,891Updated this week
- GNC of a SWARM of UAVs in a SITL by Tom Antoine and Alex Martinez - Cranfield University AVDC MSc 2021☆28Apr 6, 2021Updated 4 years ago
- Project for simulating multi-UAV missions☆87Dec 18, 2025Updated last month
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 6 years ago
- ☆10Mar 24, 2023Updated 2 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 2 years ago
- A simulator for finding the optimal path of an Autonomous Surface Vehicle (ASV) using Genetic Algorithm (GA) to perform monitoring of an …☆13May 26, 2022Updated 3 years ago
- https://celestrak.com/software/vallado-sw.asp☆33Jun 30, 2017Updated 8 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Jul 8, 2021Updated 4 years ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆16Jan 20, 2026Updated 3 weeks ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆30Apr 14, 2020Updated 5 years ago
- Exact Verification of ReLU Neural Control Barrier Functions☆11Oct 13, 2023Updated 2 years ago
- This Simulink Project shows the implementation of a Remotely Piloted Radio-Control fixed-wing aircraft (i.e. Drone, UAV), an autopilot fo…☆170Mar 17, 2025Updated 10 months ago
- Based on the 1976 USAF STABILITY AND CONTROL DIGITAL DATCOM PROGRAM, the tool is designed to provide a simpler AND more convenient form i…☆32Apr 24, 2022Updated 3 years ago
- Implementation of sliding mode controllers and differentiator of Matlab☆15Nov 15, 2016Updated 9 years ago
- A flight simulator for a MAV based on the book Small Unmanned Aircraft by Beard and McLain done in ROS☆16Feb 22, 2020Updated 5 years ago
- F16 Simulator - Live Piloted Python Simulation ; based on the 'Non-linear F-16 Simulation using Simulink and Matlb' of the University of …☆14Dec 20, 2018Updated 7 years ago
- An OpenMETA model for the conceptual design of an autonomous transport aircraft, inspired by Vahana from A^3 by Airbus.☆14Jun 28, 2021Updated 4 years ago
- ☆12Dec 14, 2021Updated 4 years ago
- OpenMDAO 2020 Reverse Hackathon☆16Aug 23, 2024Updated last year
- Matlab Rocket Flight Simulator☆34Jan 13, 2015Updated 11 years ago
- MATLAB / Simulink and FlightGear based Space Shuttle launch simulation based on real thrust data.☆16Nov 29, 2016Updated 9 years ago
- [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning☆14Jan 14, 2020Updated 6 years ago
- MoonLight: a light-weight framework for runtime monitoring.☆19Jan 25, 2026Updated 3 weeks ago