sametuzun781 / D-GMSR
Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures (D-GMSR)
☆12Updated 3 months ago
Alternatives and similar repositories for D-GMSR:
Users that are interested in D-GMSR are comparing it to the libraries listed below
- Utilities for Numerical Trajectory Optimization☆16Updated 8 months ago
- ☆34Updated this week
- nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.☆62Updated 2 weeks ago
- ☆33Updated 2 months ago
- Tutorials for SCPToolbox.jl☆30Updated 3 years ago
- ☆45Updated 2 months ago
- ☆85Updated last year
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆27Updated 3 weeks ago
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- ☆60Updated 9 months ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆45Updated 4 years ago
- ☆20Updated 4 months ago
- Python-CasADi-based package containing several algorithms for solving mixed-integer nonlinear programs (MINLPs)☆25Updated last week
- Implementation of the Successive Convexification algorithm.☆90Updated 5 years ago
- Transforms your CasADi functions into batchable JAX-compatible functions. By combining the power of CasADi with the flexibility of JAX, J…☆149Updated 2 months ago
- Economic tuning of tracking (N)MPC problems.☆36Updated 2 years ago
- Lossless convexification new results (mixed-integer problems)☆32Updated 5 years ago
- Demonstration of the PIPG algorithm for trajectory optimization☆21Updated 2 years ago
- A dual active-set algorithm for convex quadratic programming☆74Updated last week
- constraint differential dynamical programming☆29Updated 2 years ago
- Sequential Convex Programming for 6-DoF Powered Descent Guidance with Continuous-Time Compound State-Triggered Constraints☆12Updated 2 weeks ago
- Sequential Convex Programming Toolbox for nonconvex trajectory optimization.☆298Updated last year
- A pseudo-spectral collocation based multi-phase Optimal control problem solver☆58Updated 10 months ago
- Repository for Koopman based learning and nonlinear control☆42Updated 2 years ago
- A unified end-to-end learning and control framework that is able to learn a (neural) control objective function, dynamics equation, contr…☆173Updated last year
- Robust Online Motion Planning using Contraction Theory☆56Updated 6 years ago
- Neural Networks with CasADi☆10Updated last month
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆62Updated 2 years ago
- A GPU Accelerated Quadratic Programming Solver for Model-Predictive Control☆51Updated 3 weeks ago
- A CasADi Python wrapper for the acados integrators.☆23Updated last year