sadraddini / pypolycontainLinks
A Toolbox For Polytopic Objects, Operations, and Containment Problems
☆24Updated 7 months ago
Alternatives and similar repositories for pypolycontain
Users that are interested in pypolycontain are comparing it to the libraries listed below
Sorting:
- A Tool for Continuous Reachability Analysis.☆133Updated 2 months ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆46Updated 4 years ago
- Matlab interface for OSQP☆50Updated 2 months ago
- ☆72Updated last year
- Data Driven Reachability Analysis from Noisy Data☆29Updated last year
- Toolbox for Automated Controller Synthesis☆17Updated last year
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆63Updated last year
- ☆24Updated 8 months ago
- Library for High-Performance implementation of solvers for MPC.☆58Updated 2 months ago
- Economic tuning of tracking (N)MPC problems.☆37Updated 3 months ago
- A fork of the Systems Polynomial Optimization Toolbox.☆31Updated 6 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- Open collection of model predictive control (MPC) benchmarking problems☆26Updated last year
- A trajectory optimization algorithm that doesn't require dynamics derivatives☆36Updated 8 years ago
- Demonstration of the PIPG algorithm for trajectory optimization☆24Updated 3 years ago
- Github Mirror of https://gitlab.mech.kuleuven.be/meco-software/rockit☆56Updated 4 months ago
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆68Updated 2 months ago
- MATLAB LMPC implementation for a double integrator system☆59Updated 4 years ago
- Python-CasADi-based package containing several algorithms for solving mixed-integer nonlinear programs (MINLPs)☆25Updated this week
- A solver for nonlinear programming based on a sequential quadratic programming strategy with feasible intermediate iterates.☆22Updated 6 months ago
- This repo collets few LMPC examples coded in Python☆84Updated last year
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆165Updated 2 months ago
- Formal Verification of Neural Feedback Loops (NFLs)☆80Updated 11 months ago
- List of literature and software for optimal control and numerical optimization.☆77Updated 6 years ago
- ☆87Updated 2 years ago
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆31Updated 4 years ago
- MPC with Gaussian Process☆221Updated 6 years ago
- ☆17Updated 9 years ago
- This repository contains the source code for “Unscented Kalman filter stochastic nonlinear model predictive control” (UKF-SNMPC).☆59Updated 2 years ago
- Robust Online Motion Planning using Contraction Theory☆59Updated 6 years ago