heirung / pytope
Minimal package for operations on polytopes, zonotopes, and invariant sets.
☆44Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for pytope
- ☆54Updated 3 months ago
- ☆70Updated 7 months ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆57Updated 9 months ago
- Toolbox for Reachability Analysis☆109Updated this week
- Robot Controls Course Project☆56Updated 3 years ago
- Economic tuning of tracking (N)MPC problems.☆31Updated 2 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- Robust Online Motion Planning using Contraction Theory☆53Updated 5 years ago
- Sampling based GP MPC☆14Updated 2 weeks ago
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆59Updated last year
- A dual active-set algorithm for convex quadratic programming☆63Updated this week
- Stochastic Optimal Control in Robotics Project☆13Updated 5 years ago
- ☆82Updated last year
- ☆16Updated last year
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆31Updated last year
- A python library for control from Signal Temporal Logic (STL) specifications☆35Updated 2 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆139Updated 11 months ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆57Updated last year
- Differential Dynamic Programming on Lie groups☆14Updated 4 years ago
- Github Mirror of https://gitlab.mech.kuleuven.be/meco-software/rockit☆42Updated last month
- ☆38Updated 5 months ago
- constraint differential dynamical programming☆26Updated 2 years ago
- Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"☆25Updated 2 years ago
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆28Updated last month
- A GPU Accelerated Quadratic Programming Solver for Model-Predictive Control☆41Updated 2 months ago
- Repository for Koopman based learning and nonlinear control☆37Updated last year
- Get started with Reachability-based Trajectory Design for static obstacles☆62Updated 2 years ago
- Model-based Control using Koopman Operators☆47Updated 4 years ago
- ☆20Updated 3 years ago
- Optimal Control for Robotics -- Tufts University -- ME 149 -- Spring 2018☆51Updated 6 years ago