sametuzun781 / D-GMSRLinks
Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures (D-GMSR)
☆14Updated 6 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☆11Updated 6 months ago
- Utilities for Numerical Trajectory Optimization☆20Updated last year
- ☆50Updated last year
- Repository for Koopman based learning and nonlinear control☆49Updated 2 years ago
- ☆89Updated 2 years ago
- Lossless convexification new results (mixed-integer problems)☆36Updated 5 years ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆73Updated 2 years ago
- implementation of sequential convex programming (successive convexification)☆16Updated 3 years ago
- ☆26Updated 10 months ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆48Updated 5 years ago
- constraint differential dynamical programming☆28Updated 3 years ago
- Neural Koopman Lyapunov Control☆25Updated 2 years ago
- The implementation of 《Successive Convexification for 6-DoF Mars Rocket Powered Landing with Free-Final-Time》☆15Updated 5 years ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆174Updated last year
- Implementation of the Successive Convexification algorithm.☆99Updated 5 years ago
- Lyapunov-stable Neural Control for State and Output Feedback☆78Updated last year
- Successive Convexification OPtimal conTrol 2.0☆11Updated 4 years ago
- The impletation of 《Convex Programming Approach to Powered Descent Guidance》☆10Updated 5 years ago
- ☆44Updated 6 months ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆34Updated 4 years ago
- Safety-critical control for autonomous systems☆15Updated 2 years ago
- Demonstration of the PIPG algorithm for trajectory optimization☆25Updated 3 years ago
- Tutorials for SCPToolbox.jl☆33Updated 3 years ago
- Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition☆14Updated last year
- Adaptive control-oriented meta-learning for nonlinear systems☆69Updated 4 years ago
- Various Control Barrier Functions realized on cartpole.☆25Updated last year
- Successive Convexification with Continuous-Time Constraint Satisfaction☆14Updated last year
- Solving a constrained robust optimal control problem with uncertain neural network dynanmics through convex optimization.☆11Updated last year
- ☆88Updated last week