hildebrandt-carl
Ph.D. Student at the University of Virginia. Interested in the validation of autonomous systems.
University of VirginiaCharlottesville, Virginia
Pinned Repositories
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.
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.
ODD_diLLMma_Artifact
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
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.
ROSSimulationTutorial
A tutorial on the basics of RViz and Gazebo
SpinROS
This is my testing verification and analysis final project. The aim was to develop a spin model of ROS's communication protocol.
WorldInTheLoop
World-in-the-Loop (WIL) simulation: a mixed-reality approach integrating real-world and simulated sensor data to reduce the simulation-reality gap in autonomous system validation, enhancing fault detection before deployment.
hildebrandt-carl's Repositories
hildebrandt-carl/ROSSimulationTutorial
A tutorial on the basics of RViz and Gazebo
hildebrandt-carl/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.
hildebrandt-carl/WorldInTheLoop
World-in-the-Loop (WIL) simulation: a mixed-reality approach integrating real-world and simulated sensor data to reduce the simulation-reality gap in autonomous system validation, enhancing fault detection before deployment.
hildebrandt-carl/ODD_diLLMma_Artifact
hildebrandt-carl/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.
hildebrandt-carl/PythonUnityBridgeExample
Unity TCP Server with Python Client for Real-Time GameObject Control
hildebrandt-carl/SpinROS
This is my testing verification and analysis final project. The aim was to develop a spin model of ROS's communication protocol.
hildebrandt-carl/AutoLaserTestGen
Automatic test generation for a robot with hardware changes.
hildebrandt-carl/DJITelloPy
DJI Tello drone python interface using the official Tello SDK. Feel free to contribute!
hildebrandt-carl/EchoLocation
This is the final project for Autonomous Mobile Robots course.
hildebrandt-carl/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/hildebrandt-carl.github.io
My personal websites, forked from mmistakes/minimal-mistakes
hildebrandt-carl/ImprovingNeuralNetworks
An attempt to make more robust neural networks using N-Version programming.
hildebrandt-carl/RAD_Contiki
hildebrandt-carl/RAD_Controller
hildebrandt-carl/RAD_Lab2
hildebrandt-carl/RAD_Lab3
hildebrandt-carl/RAD_Server
Server to connect all devices to our automatic drumkit.
hildebrandt-carl/RAD_VirtualReality
hildebrandt-carl/RAD_Website
hildebrandt-carl/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.
hildebrandt-carl/SoftwareSecurityFinalProject
This is my final software security project at UVA 2018.
hildebrandt-carl/DroneSim
hildebrandt-carl/Freyja
High-level flight controller for multirotors developed in the Nimbus Lab.
hildebrandt-carl/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.
hildebrandt-carl/RAD_WizziMote
hildebrandt-carl/RobotTestGenerationArtifact
hildebrandt-carl/SafeReinforcementLearning
hildebrandt-carl/Simulations
This contains instructions on how to get multiple simulations running in ROS.
hildebrandt-carl/VirtualDrumKit
This project features an internet-connected drum kit operated via VR, web, and API interfaces, showcasing innovative remote musical performances and interactive experiences