Repository navigation
autonomy
- Website
- Wikipedia
An open autonomous driving platform
Central repository for tools, tutorials, resources, and documentation for robotics simulation in Unity.
OpenEMMA, a permissively licensed open source "reproduction" of Waymo’s EMMA model.
Generator of runtime monitors for flight and robotics applications.
A framework for the elicitation, specification, formalization and analysis of requirements.
A complete end-to-end demonstration in which we collect training data in Unity and use that data to train a deep neural network to predict the pose of a cube. This model is then deployed in a simulated robotic pick-and-place task.
Object detection / tracking / fusion based on Apollo r3.0.0 perception module in ROS
Open-source Autonomy Software in Rust-lang using gRPC for the Roomba series robot vacuum cleaners. Under development.
an easy-to-use, secure and decentralized conference call application (this repository is a mirror of an internal work repository)
Neural Network Verification Software Tool
A framework for the creation of autonomous agent services.
This package provides a CLF-based reactive planning system, described in paper: Efficient Anytime CLF Reactive Planning System for a Bipedal Robot on Undulating Terrain. The reactive planning system consists of a 5-Hz planning thread to guide a robot to a distant goal and a 300-Hz Control-Lyapunov-Function-based (CLF-based) reactive thread to cope with robot deviations. The planning system allowed Cassie Blue to autonomously traverse sinusoidally varying terrain. More experiments are still being conducted and this repo and the paper will be updated accordingly.
An inexpensive, autonomous, regolith-mining robot
F-16 Aircraft Dynamics Model from Stevens and Lewis "Aircraft Control and Simulation".
RL environments and tools for spacecraft autonomy research, built on Basilisk. Developed by the AVS Lab.
Record rosbags automatically for events on robot 🤖 👜
Boilerplate for robot autonomy. Designed for multi-robot, real world deployment with TAK.
Library for modeling, simulation, and verification of interacting autonomous agents
Agile energy dense agricultural robot design plans and open source code repository