sametuzun781 / D-GMSR
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
- Utilities for Numerical Trajectory Optimization☆16Updated 6 months ago
- ☆84Updated last year
- ☆22Updated this week
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- Sequential Convex Programming Toolbox for nonconvex trajectory optimization.☆282Updated last year
- ☆17Updated 2 months ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆149Updated 7 months ago
- ☆26Updated 6 months ago
- A unified end-to-end learning and control framework that is able to learn a (neural) control objective function, dynamics equation, contr…☆169Updated last year
- ☆58Updated 7 months ago
- ☆164Updated 11 months ago
- Optimizing Dynamic Programming-Based Algorithms☆108Updated last week
- Implementation of the Successive Convexification algorithm.☆85Updated 5 years ago
- Tutorials for SCPToolbox.jl☆26Updated 3 years ago
- Hamilton-Jacobi reachability analysis in JAX.☆123Updated 3 months ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆31Updated 2 years ago
- nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.☆60Updated this week
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆149Updated 3 weeks ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆58Updated last year
- constraint differential dynamical programming☆28Updated 2 years ago
- Transforms your CasADi functions into batchable JAX-compatible functions. By combining the power of CasADi with the flexibility of JAX, J…☆132Updated last week
- Soure code for Deep Koopman with Control☆70Updated 2 years ago
- A pseudo-spectral collocation based multi-phase Optimal control problem solver☆55Updated 8 months ago
- Lossless convexification new results (mixed-integer problems)☆30Updated 5 years ago
- Safe Exploration with MPC and Gaussian process models☆90Updated 4 years ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆61Updated last year
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆61Updated 2 years ago
- Repository for Koopman based learning and nonlinear control☆38Updated 2 years ago
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆129Updated 3 years ago
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆25Updated 2 months ago