sametuzun781 / D-GMSRLinks
A Smooth and Exact Parameterization of Discrete-time Signal Temporal Logic Specifications (D-GMSR)
☆15Updated last week
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 8 months ago
- Repository for Koopman based learning and nonlinear control☆52Updated 3 years ago
- Utilities for Numerical Trajectory Optimization☆23Updated last year
- Sequential Convex Programming for 6-DoF Powered Descent Guidance with Continuous-Time Compound State-Triggered Constraints☆20Updated 2 weeks ago
- ☆50Updated last year
- Neural Koopman Lyapunov Control☆26Updated 2 years ago
- ☆90Updated 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
- ☆43Updated 3 years ago
- Lossless convexification new results (mixed-integer problems)☆36Updated 6 years ago
- constraint differential dynamical programming☆28Updated 3 years ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆178Updated last year
- Safety-critical control for autonomous systems☆15Updated 2 years ago
- Solving a constrained robust optimal control problem with uncertain neural network dynanmics through convex optimization.☆11Updated last year
- Lyapunov-stable Neural Control for State and Output Feedback☆82Updated last year
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆34Updated 5 years ago
- Various Control Barrier Functions realized on cartpole.☆25Updated last year
- Code for learning Trajectory Optimization with GPOPS-II☆23Updated 5 years ago
- ☆16Updated 3 years ago
- Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition☆14Updated last year
- Model-based Control using Koopman Operators☆57Updated 5 years ago
- Demonstration of the PIPG algorithm for trajectory optimization☆25Updated 3 years ago
- ☆26Updated last year
- Safety-critical control for autonomous systems☆26Updated 2 years ago
- "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
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- Papers on Safety Critical Controls using Control Barrier Functions☆50Updated last year
- ☆20Updated 5 years ago
- implementation of sequential convex programming (successive convexification)☆16Updated 3 years ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆32Updated 3 years ago