sametuzun781 / D-GMSRLinks
Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures (D-GMSR)
☆14Updated 7 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 7 months ago
- Utilities for Numerical Trajectory Optimization☆23Updated last year
- ☆89Updated 2 years ago
- Repository for Koopman based learning and nonlinear control☆51Updated 3 years ago
- ☆50Updated last year
- Neural Koopman Lyapunov Control☆26Updated 2 years ago
- Solving a constrained robust optimal control problem with uncertain neural network dynanmics through convex optimization.☆11Updated last year
- Stochastic Optimal Control in Robotics Project☆21Updated 6 years ago
- A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints☆14Updated 2 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
- Demonstration of the PIPG algorithm for trajectory optimization☆25Updated 3 years ago
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆34Updated 5 years ago
- Lossless convexification new results (mixed-integer problems)☆36Updated 6 years ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆176Updated last year
- Safe Exploration with MPC and Gaussian process models☆89Updated 5 years ago
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆139Updated 4 years ago
- Codebase associated with paper "Memory-Efficient Learning of Stable Linear Dynamical Systems for Prediction and Control"☆24Updated 5 years ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆48Updated 5 years ago
- Hamilton-Jacobi reachability analysis in JAX.☆157Updated last year
- "Safety-Critical Control using Optimal-decay Control Barrier Functions with Guaranteed Point-wise Feasibility" by J. Zeng, B. Zhang, Z. L…☆31Updated 4 years ago
- Lyapunov-stable Neural Control for State and Output Feedback☆79Updated last year
- Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition☆14Updated last year
- ☆26Updated 11 months ago
- constraint differential dynamical programming☆28Updated 3 years ago
- ☆20Updated 5 years ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆32Updated 3 years ago
- Implementation of the Successive Convexification algorithm.☆100Updated 5 years ago
- Safety-critical control for autonomous systems☆15Updated 2 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆70Updated 4 years ago
- Model-based Control using Koopman Operators☆57Updated 5 years ago