• Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Python
  • License
    MIT License
  • Created almost 6 years ago
  • Updated almost 6 years ago

Reviews

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

Repository Details

A python library for Signal Temporal Logic

More Repositories

1

drake_ddp

Differential Dynamic Programming and Iterative LQR in Drake
Python
46
star
2

ltl_gcs

Linear Temporal Logic Motion Planning with Graphs of Convex Sets
Python
37
star
3

nmpc_dynamic_planning

Path planning using nonlinear model predictive control in dynamic environments
MATLAB
31
star
4

stlpy

A python library for control from Signal Temporal Logic (STL) specifications
Python
30
star
5

quadruped_drake

Using Drake to Simulate and Control Quadrupedal Robots
C++
24
star
6

kinova_drake

Code for controlling a Kinova Gen3 Manipulator via Drake.
Python
22
star
7

rnn_collvoid

Dynamic collision avoidance using LSTM to predict time-dependent obstacle behaviors
Python
18
star
8

CollisionAvoidance

Multi-Robot Collision Avoidance using Reinforcement Learning
Python
13
star
9

drax

Direct Trajectory Optimization in JAX
Python
9
star
10

passivity_cbf_demo

Passivity-based manipulator control with guaranteed constraint satisfaction in Drake
Python
9
star
11

spatial_v2

A copy of Roy Featherstone's rigid-body dynamics software for Matlab
MATLAB
4
star
12

drake_quadrotor

A simple demo of using Drake to control a simulated quadrotor.
Python
4
star
13

basic-robot-manipulation

A series of Google Colab notebooks for learning about the basics of robot manipulation with a simulated Kinova Gen3 robot arm
Jupyter Notebook
4
star
14

STL_optimization

Comparison of optimization methods for controller synthesis from STL specifications
Python
3
star
15

valkyrie_drake

Example of controlling a simulated Valkyrie humanoid using Drake
Python
3
star
16

double_pendulum_demo

A simple example of using the Spatial v2 library to simulate a double pendulum in Matlab
MATLAB
2
star
17

mppi_playground

Scratch workspace for exploring Model Predictive Path Integral control
Python
2
star
18

SDD_graph

Utilities for extracting graph data from the Stanford Drone Dataset
Python
1
star
19

multilink-balancer-gazebo

Gazebo/ROS model of a 4-link balancing robot with a square foot
CMake
1
star
20

rddp

Reward-Driven Diffusion Policy
Python
1
star
21

daily-abstract

Compose and send emails with random recent abstracts from arXiv.org
Python
1
star
22

cube_rotation_ppo

Reproducing the OpenAI cube rotation task with PPO and Brax/MJX
Python
1
star
23

robot_noise_models

Bayesian evaluation of different noise models for robot localisation
Python
1
star
24

drake_trajopt_examples

Examples of trajectory optimization for simple systems in Drake
Python
1
star