jgoppert/px4vv jgoppert/px4vv

  • Stars
    star
    2
  • Language
    C
  • License
    Other
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jgoppert/px4vv
github

jgoppert

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

PX4 + Model Checking

More Repositories

1

sysid

Python system identification library.
Python
36
star
2

control-systems

Control Systems
Jupyter Notebook
24
star
3

pybswarm

Drone swarm control.
Python
20
star
4

auav_2022_sample

Example for AUAV 2022 with obstacle avoidance.
Jupyter Notebook
19
star
5

PX4-SIL

PX4 Software in the loop.
Python
16
star
6

fixedwing_gazebo

Gazebo fixedwing models.
Jupyter Notebook
8
star
7

cymoca

A Modelica compiler written in modern C++ with Python bindings.
C++
8
star
8

pumlg

A flexible code generator for plantuml diagrams based on the Antlr4 C++ runtime.
CMake
8
star
9

auav_f22

Jupyter Notebook
7
star
10

lie_groups_for_robotics

Lie Groups for Robotics
Jupyter Notebook
5
star
11

lpe-analysis

LPE Estimator Analysis
Python
5
star
12

aae451-notebook

AAE 451 Aircraft Design
HTML
5
star
13

modelica-flight

Flight dynamics library for Modelica.
4
star
14

autopilotone

A unified autopilot system supporting multiple platforms.
C++
4
star
15

bswarm

Swarm research.
Jupyter Notebook
4
star
16

openpilot

OpenPilot SVN mirror
C
4
star
17

iekf_analysis

Analysis of IEKF for PX4
Jupyter Notebook
4
star
18

casadi_f16

F16 model for Casadi.
Jupyter Notebook
4
star
19

pdas

Open aae software, primarily in fortran.
Fortran
4
star
20

asiocomm

Boost ASIO TCP/UDP/Serial IO Channel Implementations
C++
4
star
21

aae497-f19

UAS Research Class
Jupyter Notebook
3
star
22

pyecca

Python Casadi based Control and Estimation Library
Python
2
star
23

antlr2xsd

Converts ANTLR g4 grammar to XSD (XML schemas)
Python
2
star
24

aae364_notebook

AAE 364 Class Notebook
Jupyter Notebook
2
star
25

fsm

Python based finite state machine compiler using antlr4 with built in model checking.
Python
2
star
26

catkin_purt

PURT mocap base workspace
2
star
27

aae301_notebook

AAE 301 Class Notebook
Jupyter Notebook
2
star
28

qualisys_ros

ROS Qualisys Package
C++
1
star
29

xmi2src

Python
1
star
30

xmodelica

Xtext based Modelica Compiler
Java
1
star
31

modpeg

A PEG based Modelica compiler for python.
Python
1
star
32

cuesr

CUESR
C++
1
star
33

px4mbeddr

PX4 + mbeddr
C
1
star
34

jsbsim

Branch of JSBSim, now moved to arktools.
1
star
35

px4_ros

px4 ROS node
Python
1
star
36

simplify3d-profiles

Printing profiles for Simplify3D
1
star
37

vvpilot

C
1
star
38

pymoca_fmu

Pymoca based C++ FMU
C
1
star