sametuzun781 / D-GMSRLinks
Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures (D-GMSR)
☆12Updated last month
Alternatives and similar repositories for D-GMSR
Users that are interested in D-GMSR are comparing it to the libraries listed below
Sorting:
- Utilities for Numerical Trajectory Optimization☆16Updated 9 months ago
- ☆41Updated last week
- Tutorials for SCPToolbox.jl☆30Updated 3 years ago
- nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.☆62Updated last month
- ☆87Updated last year
- Sequential Convex Programming Toolbox for nonconvex trajectory optimization.☆302Updated last year
- ☆35Updated 3 weeks ago
- A unified end-to-end learning and control framework that is able to learn a (neural) control objective function, dynamics equation, contr…☆174Updated last year
- Implementation of the Successive Convexification algorithm.☆92Updated 5 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆33Updated 4 years ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆164Updated 10 months ago
- Demonstration of the PIPG algorithm for trajectory optimization☆22Updated 2 years ago
- ☆46Updated this week
- Transforms your CasADi functions into batchable JAX-compatible functions. By combining the power of CasADi with the flexibility of JAX, J…☆150Updated 3 months ago
- Sequential Convex Programming for 6-DoF Powered Descent Guidance with Continuous-Time Compound State-Triggered Constraints☆12Updated last month
- Python-CasADi-based package containing several algorithms for solving mixed-integer nonlinear programs (MINLPs)☆24Updated last week
- Quadratic Objective Conic Optimizer☆32Updated last month
- constraint differential dynamical programming☆29Updated 2 years ago
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆133Updated 4 years ago
- ☆72Updated 7 years ago
- Repository for Koopman based learning and nonlinear control☆43Updated 2 years ago
- A pseudo-spectral collocation based multi-phase Optimal control problem solver☆58Updated 11 months ago
- A dual active-set algorithm for convex quadratic programming☆76Updated this week
- ☆60Updated 10 months ago
- Use PyTorch Models with CasADi and Acados☆222Updated last year
- Lossless convexification new results (mixed-integer problems)☆32Updated 5 years ago
- ☆20Updated 5 months ago
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆27Updated last month
- Model-based Control using Koopman Operators☆51Updated 4 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆159Updated 3 weeks ago