krudie / IDESLinks
Integrated Discrete-Event Systems Software
☆13Updated 2 years ago
Alternatives and similar repositories for IDES
Users that are interested in IDES are comparing it to the libraries listed below
Sorting:
- ☆28Updated last year
- A Tool for Continuous Reachability Analysis.☆149Updated 3 months ago
- Codebase associated with paper "Memory-Efficient Learning of Stable Linear Dynamical Systems for Prediction and Control"☆25Updated 5 years ago
- A python library for control from Signal Temporal Logic (STL) specifications☆55Updated 7 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
- A Smooth and Exact Parameterization of Discrete-time Signal Temporal Logic Specifications (D-GMSR)☆15Updated 3 weeks ago
- A Toolbox For Polytopic Objects, Operations, and Containment Problems☆26Updated last year
- Homomorphic encryption library for encrypted control☆12Updated last year
- DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems☆12Updated 7 years ago
- Safe Exploration with MPC and Gaussian process models☆89Updated 5 years ago
- heyinUCB / Stability-Analysis-using-Quadratic-Constraints-for-Systems-with-Neural-Network-Controllers☆13Updated 3 years ago
- A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints☆15Updated 2 years ago
- Accompanying repository for our work "On the relationship between data-enabled predictive control and subspace predictive control".☆27Updated 3 years ago
- Gradient descent algorithms for LQG control☆14Updated 3 years ago
- Successive Convexification for Nonlinear Model Predictive Control with Continuous-Time Constraint Satisfaction☆11Updated 3 weeks ago
- BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signa…☆30Updated 7 years ago
- ☆51Updated last year
- Approximate dynamic programming for stochastic optimal control in Pytorch☆24Updated 2 years ago
- ☆46Updated 3 years ago
- Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes☆39Updated 6 years ago
- A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!☆38Updated 2 years ago
- Solving a constrained robust optimal control problem with uncertain neural network dynanmics through convex optimization.☆11Updated 2 years ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆180Updated last year
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆50Updated 5 years ago
- An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications☆16Updated 2 years ago
- Repository for Koopman based learning and nonlinear control☆52Updated 3 years ago
- Python code for implementing a set of basic robust model predictive control (RMPC) algorithms for linear systems.☆26Updated 3 years ago
- ☆11Updated 4 months ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆174Updated 8 months ago
- Continuous-time system identification with neural networks☆28Updated 6 months ago