sametuzun781 / D-GMSR
Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures (D-GMSR)
☆11Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for D-GMSR
- Utilities for Numerical Trajectory Optimization☆14Updated 3 months ago
- ☆54Updated 3 months ago
- ☆82Updated last year
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- A unified end-to-end learning and control framework that is able to learn a (neural) control objective function, dynamics equation, contr…☆163Updated last year
- nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.☆52Updated this week
- Implementation of the Successive Convexification algorithm.☆81Updated 4 years ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆44Updated 4 years ago
- Optimizing Dynamic Programming-Based Algorithms☆103Updated this week
- Sequential Convex Programming Toolbox for nonconvex trajectory optimization.☆260Updated last year
- Transforms your CasADi functions into batchable JAX-compatible functions. By combining the power of CasADi with the flexibility of JAX, J…☆116Updated last month
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆57Updated 9 months ago
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆24Updated 2 months ago
- A toolbox for trajectory optimization of dynamical systems☆50Updated 2 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆139Updated 10 months ago
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆119Updated 3 years ago
- Safe Exploration with MPC and Gaussian process models☆89Updated 4 years ago
- A dual active-set algorithm for convex quadratic programming☆63Updated this week
- constraint differential dynamical programming☆26Updated 2 years ago
- Tutorials for SCPToolbox.jl☆22Updated 2 years ago
- Hamilton-Jacobi reachability analysis in JAX.☆113Updated 2 weeks ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆138Updated 4 months ago
- Robot Controls Course Project☆55Updated 3 years ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆31Updated last year
- A pseudo-spectral collocation based multi-phase Optimal control problem solver☆54Updated 4 months ago
- ☆65Updated last week
- Economic tuning of tracking (N)MPC problems.☆30Updated 2 years ago
- Fast contact-implicit model predictive control for robotic systems that make and break contact with their environments.☆114Updated last year
- ☆148Updated 8 months ago
- ☆16Updated last year