AutoLife (HutchLiu)

HutchLiu

Geek Repo

Company:Southeast University, CN

Github PK Tool:Github PK Tool

AutoLife's repositories

CLF-CBF-QP

Matlab class/functions to simulate a system implementing a control lyapunov-control barrier function quadratic program controller

Language:MATLABStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

nnv

Neural Network Verification Software Tool

Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

RobotPathPlanning

Sampling-based Mobile Robot Path Planning Algorithm by Dijkstra, Astar and Dynamic Programming on Undirected Graph

Language:MATLABLicense:Apache-2.0Stargazers:0Issues:0Issues:0

robust-tube-mpc

Robust model predictive control using tube

Language:MATLABLicense:MITStargazers:0Issues:0Issues:0

STLPlanning

Path planning from STL (Signal Temporal Logic) specifications

Language:PythonStargazers:0Issues:0Issues:0