Stars
A repository of FRETISH requirements sets for a variety of Use Cases. Inititally for demonstrating refactoring functionality in Mu-FRET.
A lightweight C library based on one-one and many-one model for threading.
This project implements Recurrent Neural Networks (LSTM and GRU) and use it on a PX4 sensors fusion test case
Simulation for dynamics and control of a quadrotor biplane tailsitter
Simulation environments for the CrazyFlie quadrotor: Used for Reinforcement Learning and Sim-to-Real Transfer
Our public repository for the Crazyflie 2.0 nanoquadcopter from Bitcraze
Google Summer of Code 2025: SITL AI Reinforcement Learning Concept Script
NASA cFS use case and test rig for DSL and MBSE experimentation.
projetoChi2p / fs-nasa-cfs-osal
Forked from nasa/osalThe Core Flight System (cFS) Operating System Abstraction Layer (OSAL)
A MATLAB/SIMULINK tilt-wing aircraft control system integration package for a PX4 Simulink I/O Framework.
Simulations & Animation of the tailsitter system
Embedded Operations Environment for Robotics (satellites, drones, rovers)
Provides a framework and tools for developing, downloading, and integrating core Flight System (cFS) applications into an operational system.
Incremental Nonlinear Dynamic Inversion (INDI) control for a longitudinal missile model.
A collection of tools to develop controllers for the Crazyflie using Drake
Code for "TD-MPC2: Scalable, Robust World Models for Continuous Control"
Toolkit for learning controllers based on robust control Lyapunov barrier functions
The VeriNet toolkit for verification of neural networks
Contains formal methods material developed for RTEMS SMP with support from ESA, and subsequent additions by student projects
IQClab - gateway for robustness analysis and control design
Integrating advanced flight simulation with PX4 SITL, this plugin adds support for hybrid VTOLs, fixed-wing, and multirotor aircraft in X-Plane. Perfect for researchers and hobbyists interested in …