sametuzun781 / D-GMSRLinks
Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures (D-GMSR)
☆14Updated 5 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 5 months ago
- ☆89Updated 2 years ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆173Updated last year
- Repository for Koopman based learning and nonlinear control☆49Updated 2 years ago
- constraint differential dynamical programming☆28Updated 3 years ago
- ☆51Updated last year
- Neural Koopman Lyapunov Control☆25Updated 2 years ago
- Hamilton-Jacobi reachability analysis in JAX.☆151Updated 11 months 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
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆47Updated 4 years ago
- ☆15Updated 3 years ago
- ☆42Updated 3 years ago
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆138Updated 4 years ago
- Safe Exploration with MPC and Gaussian process models☆88Updated 5 years ago
- ☆43Updated 5 months ago
- Utilities for Numerical Trajectory Optimization☆20Updated last year
- Optimizing Dynamic Programming-Based Algorithms☆123Updated last month
- Model-based Control using Koopman Operators☆52Updated 5 years ago
- Codebase associated with paper "Memory-Efficient Learning of Stable Linear Dynamical Systems for Prediction and Control"☆24Updated 4 years ago
- "Safety-Critical Control using Optimal-decay Control Barrier Functions with Guaranteed Point-wise Feasibility" by J. Zeng, B. Zhang, Z. L…☆33Updated 4 years ago
- ☆81Updated last week
- Papers on Safety Critical Controls using Control Barrier Functions☆43Updated last year
- Soure code for Deep Koopman with Control☆93Updated 3 years ago
- Lossless convexification new results (mixed-integer problems)☆36Updated 5 years ago
- Various Control Barrier Functions realized on cartpole.☆25Updated last year
- Solving a constrained robust optimal control problem with uncertain neural network dynanmics through convex optimization.☆11Updated last year
- ☆26Updated 10 months ago
- Demonstration of the PIPG algorithm for trajectory optimization☆25Updated 3 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆168Updated 4 months ago