sametuzun781 / D-GMSRLinks
A Smooth and Exact Parameterization of Discrete-time Signal Temporal Logic Specifications (D-GMSR)
☆15Updated 2 weeks 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 2 weeks ago
- Repository for Koopman based learning and nonlinear control☆52Updated 3 years ago
- Utilities for Numerical Trajectory Optimization☆24Updated last year
- Sequential Convex Programming for 6-DoF Powered Descent Guidance with Continuous-Time Compound State-Triggered Constraints☆23Updated 2 weeks ago
- ☆92Updated 2 years ago
- ☆51Updated last year
- Neural Koopman Lyapunov Control☆26Updated 2 years ago
- ☆49Updated 8 months ago
- ☆112Updated this week
- constraint differential dynamical programming☆28Updated 3 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
- ☆28Updated last year
- Codebase associated with paper "Memory-Efficient Learning of Stable Linear Dynamical Systems for Prediction and Control"☆24Updated 5 years ago
- Safety-critical control for autonomous systems☆15Updated 2 years ago
- Various Control Barrier Functions realized on cartpole.☆25Updated last year
- Lyapunov-stable Neural Control for State and Output Feedback☆81Updated last year
- Python-CasADi-based package containing several algorithms for solving mixed-integer nonlinear programs (MINLPs)☆34Updated this week
- A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints☆15Updated 2 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- Model-based Control using Koopman Operators☆57Updated 5 years ago
- Solving a constrained robust optimal control problem with uncertain neural network dynanmics through convex optimization.☆11Updated 2 years ago
- Lossless convexification new results (mixed-integer problems)☆36Updated 6 years ago
- A solver for nonlinear programming based on a sequential quadratic programming strategy with feasible intermediate iterates.☆22Updated 11 months ago
- Successive Convexification for Trajectory Optimization with Continuous-Time Constraint Satisfaction☆11Updated last year
- Advanced Model Predictive Control in Python☆21Updated this week
- ☆80Updated 7 years ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆180Updated last year
- Papers on Safety Critical Controls using Control Barrier Functions☆52Updated last year
- implementation of sequential convex programming (successive convexification)☆16Updated 3 years ago
- Economic tuning of tracking (N)MPC problems.☆41Updated 8 months ago