sametuzun781 / D-GMSRLinks
Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures (D-GMSR)
☆12Updated 2 months ago
Alternatives and similar repositories for D-GMSR
Users that are interested in D-GMSR are comparing it to the libraries listed below
Sorting:
- Successive Convexification for Nonlinear Model Predictive Control with Continuous-Time Constraint Satisfaction☆9Updated 2 months ago
- Utilities for Numerical Trajectory Optimization☆16Updated 11 months ago
- A general python-based successive convexification implementation which uses a JAX backend.☆18Updated this week
- ☆87Updated 2 years ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆46Updated 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…☆176Updated last year
- Sequential Convex Programming Toolbox for nonconvex trajectory optimization.☆309Updated last year
- Optimizing Dynamic Programming-Based Algorithms☆118Updated last week
- ☆50Updated 2 weeks ago
- Transforms your CasADi functions into batchable JAX-compatible functions. By combining the power of CasADi with the flexibility of JAX, J…☆153Updated 4 months ago
- Codes for designing Neural Contraction Metrics (NCMs)☆33Updated 4 years ago
- Implementation of the Successive Convexification algorithm.☆95Updated 5 years ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆168Updated last year
- HILO-MPC is a Python toolbox for easy, flexible and fast development of machine-learning-supported optimal control and estimation problem…☆181Updated last year
- nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.☆63Updated 3 months ago
- Hamilton-Jacobi reachability analysis in JAX.☆138Updated 8 months ago
- constraint differential dynamical programming☆28Updated 2 years ago
- ☆38Updated 2 months ago
- Safe Exploration with MPC and Gaussian process models☆89Updated 4 years ago
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆29Updated 3 months ago
- Neural Networks with CasADi☆10Updated 3 months ago
- Use PyTorch Models with CasADi and Acados☆226Updated last year
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆134Updated 4 years ago
- Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling☆13Updated 4 years ago
- A Python package for linear subspace identification, nonlinear system identification, and nonlinear regression using Jax☆40Updated last month
- Benchmark for quadratic programming solvers available in Python☆146Updated 3 weeks ago
- ☆50Updated 3 weeks ago
- MPC with Gaussian Process☆220Updated 6 years ago
- Tutorials for SCPToolbox.jl☆30Updated 3 years ago
- Demonstration of the PIPG algorithm for trajectory optimization☆23Updated 3 years ago