Stars
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 …
Open-Source Releases of the Phoenix Tail-sitter Drone Project
The open platform implementation for INSPECTA.
This repository contains the code and documentation for an automatic autopilot tuning framework utilizing Genetic Algorithm and System Identification. The framework is designed to optimize tuning p…
PX4 Simulink Software-In-Loop Simulation
Dynamics | Controller | Trajectory Generator | Path Planner
Environmet to develop control algorithms for the Crazyflie 2.X
PX4/JMAVSim Crazyflie quadcopter simulator created for 18/24-776 Nonlinear Control (CMU Fall 2020)
A Python package to make implementing control barrier functions (CBFs) and control Lyapunov functions (CLFs) simple.
本工作以大型民用客机波音747-100为研究对象，建立了自动飞行控制系统的整体数学模型，并对飞行过程进行综合数字仿真。This work takes the large civil airliner Boeing 747-100 as the research object, establishes an overall mathematical model of the automatic…
HALE Specific Flight Control Design Toolbox