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:
- Lyapunov-stable Neural Control for State and Output Feedback☆71Updated last year
- ☆24Updated 6 months ago
- ☆48Updated last year
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆168Updated last year
- ☆32Updated 6 years ago
- Code for CDC2022 submission☆11Updated 5 months ago
- Safe control of unknown dynamic systems with reinforcement learning and model predictive control☆49Updated 6 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆163Updated last month
- Repository collecting the code for papers and projects at our control group at University of Salerno (lead contact: Giovanni Russo)☆12Updated 3 months ago
- ☆19Updated 4 years ago
- This repository includes a realization of the resilient projection-based consensus actor-critic algorithm that is resilient to adversaria…☆10Updated 3 years ago
- Source code for examples in Book "Robust Adaptive Dynamic Programming"☆142Updated 2 years ago
- Implementation of a paper on adaptive optimal control (solving ARE) based on policy iterations☆30Updated 5 years ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆70Updated last year
- A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!☆38Updated last year
- ☆48Updated 3 years ago
- Exact Verification of ReLU Neural Control Barrier Functions☆10Updated last year
- Code for learning Trajectory Optimization with GPOPS-II☆20Updated 4 years ago
- Repository containing the code for safe reinforcement learning in two custom environments☆45Updated 3 months ago
- Proof of concept example for the idea of using distributed model predictive control as a function approximator in distributed reinforceme…☆15Updated 4 months ago
- ADP☆9Updated 8 years ago
- Homomorphic encryption library for encrypted control☆12Updated 11 months ago
- ☆42Updated 2 years ago
- Neural Koopman Lyapunov Control☆25Updated 2 years ago
- Solving a constrained robust optimal control problem with uncertain neural network dynanmics through convex optimization.☆11Updated last year
- ☆15Updated last month
- Various Control Barrier Functions realized on cartpole.☆25Updated last year
- Pytorch version of the MPC in model-based reinforcement learning (MBRL), currently only test in the CartPole-swing-up environment☆88Updated 4 years ago
- Codebase associated with paper "Memory-Efficient Learning of Stable Linear Dynamical Systems for Prediction and Control"☆24Updated 4 years ago
- Papers on Safety Critical Controls using Control Barrier Functions☆40Updated 8 months ago