Stanford Autonomous Systems Lab's repositories
neural-network-lyapunov
Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
hj_reachability
Hamilton-Jacobi reachability analysis in JAX.
AA203-Examples
Examples shown in class and recitation from AA203: Optimal and Learning-Based Control.
soft-robot-control
Implementation of reduced-order optimal control schemes for finite element models of Soft Robots
AA203-Homework
Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.
stochastic-prog
Sample Average Approximation for Stochastic Programming with Equality Constraints
graph-rl-for-eamod
Official implementation of "Real-time Control of Electric Autonomous Mobility-on-Demand Systems via Graph Reinforcement Learning"
nn_robustness_analysis
Python tools for analyzing the robustness properties of neural networks (NNs) from MIT ACL
reachbot_manipulation
Code for "Task-Driven Manipulation with Reconfigurable Parallel Robots"
asl-tb3-utils
ASL Turtlebot 3 ROS2 Autonomy Stack Building Block
asl-tb3-driver
ASL Turtlebot 3 ROS2 Driver
asl-tb3-setup
Instructions for flashing a Jetson TX2 with the Stanford AA274 system image.
osqp
The Operator Splitting QP Solver
osqp-eigen
Simple Eigen-C++ wrapper for OSQP library