hildebrandt-carl Goto Github PK

autolasertestgen

Automatic test generation for a robot with hardware changes.

concolictesting

Our project enables Concolic Execution, a powerful testing strategy that efficiently explores program paths by combining symbolic and concrete execution techniques. By targeting LLVM bitcode, it offers versatility for testing various languages and utilizes LLVM passes for comprehensive path exploration.

djitellopy

DJI Tello drone python interface using the official Tello SDK. Feel free to contribute!

dronesim

echolocation

This is the final project for Autonomous Mobile Robots course.

freyja

High-level flight controller for multirotors developed in the Nimbus Lab.

hapticsuit

A haptic suit framework for drones, designed to simulate real-world forces like wind and payload variations with minimal cost and space requirements, enabling precise validation of drone behavior under various external force scenarios.

hildebrandt-carl.github.io

My personal websites, forked from mmistakes/minimal-mistakes

improvingneuralnetworks

An attempt to make more robust neural networks using N-Version programming.

odd_dillmma_artifact

openpilot

openpilot is an open source driver assistance system. openpilot performs the functions of Automated Lane Centering and Adaptive Cruise Control for 250+ supported car makes and models.

physicalcoverage

PhysCov, a novel approach for quantifying autonomous vehicle testing adequacy by analyzing sensor data and physical reachability, enabling more efficient test suite coverage with real-world examples.

pythonunitybridgeexample

Unity TCP Server with Python Client for Real-Time GameObject Control

rad_contiki

rad_controller

rad_lab1

This is the code used in LAB 1 of our advanced embedded systems course

rad_lab2

rad_lab3

rad_server

Server to connect all devices to our automatic drumkit.

rad_virtualreality

rad_website

rad_wizzimote

robottestgeneration

A framework for mobile robot validation, which integrates kinematic and dynamic models to generate physically valid, stress-inducing trajectories, significantly increase stress and reduces generation cost in simulations and real-world tests.

robottestgenerationartifact

rossimulationtutorial

A tutorial on the basics of RViz and Gazebo

safereinforcementlearning

simulations

This contains instructions on how to get multiple simulations running in ROS.

softwaresecurityfinalproject

This is my final software security project at UVA 2018.

spinros

This is my testing verification and analysis final project. The aim was to develop a spin model of ROS's communication protocol.

virtualdrumkit

This project features an internet-connected drum kit operated via VR, web, and API interfaces, showcasing innovative remote musical performances and interactive experiences