darioizzo / neurostabilityLinks
The code used for the paper "On the stability analysis of optimal state feedbacks as represented by deep neural models"
☆16Updated 5 years ago
Alternatives and similar repositories for neurostability
Users that are interested in neurostability are comparing it to the libraries listed below
Sorting:
- A Neural Network Approach for Real-Time High-Dimensional Optimal Control☆26Updated 2 years ago
- A PyTorch library for all things nonlinear control and reinforcement learning.☆46Updated 3 years ago
- Implementation of a differetiable discrete-time algebraic Riccati equation (DARE) solver in PyTorch.☆11Updated 2 years ago
- Source code for the examples accompanying the paper "Learning convex optimization control policies."☆84Updated 2 years ago
- Almost Surely Stable Deep Dynamics [NeurIPS 2020]☆13Updated 2 years ago
- Offline Contextual Bayesian Optimization☆14Updated last year
- Safe Exploration with MPC and Gaussian process models☆89Updated 4 years ago
- Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes☆38Updated 5 years ago
- A framework for neural network control of dynamical systems over graphs.☆57Updated 2 years ago
- Companion code to "Learning Stable Deep Dynamics Models" (Manek and Kolter, 2019)☆33Updated 5 years ago
- ☆36Updated 2 years ago
- Implementation of the work Variational multiple shooting for Bayesian ODEs with Gaussian processes☆12Updated 2 years ago
- Unofficial Implementation of the paper "Data-Efficient Reinforcement Learning with Probabilistic Model Predictive Control", applied to gy…☆141Updated 2 years ago
- Library for simulation of nonlinear control systems, control design, and Lyapunov-based learning.☆41Updated 2 years ago
- Stochastic Optimal Control and Reachability Toolbox Written in Python☆15Updated last year
- Enforcing robust control guarantees within neural network policies☆53Updated 4 years ago
- Implementation of robust adaptive control methods for the linear quadratic regulator☆38Updated 3 years ago
- Model-based reinforcement learning in TensorFlow☆56Updated 3 years ago
- Learning unknown ODE models with Gaussian processes☆26Updated 6 years ago
- Online variational GPs☆35Updated 2 years ago
- A unified end-to-end learning and control framework that is able to learn a (neural) control objective function, dynamics equation, contr…☆175Updated last year
- A toolbox for trajectory optimization of dynamical systems☆53Updated 3 years ago
- ☆58Updated last month
- EPFL Verifier for Approximate Neural Networks and QPs☆9Updated last year
- Safe Bayesian Optimization☆146Updated 2 years ago
- ☆30Updated last year
- Formal Verification of Neural Feedback Loops (NFLs)☆79Updated 9 months ago
- Neural ODEs as Feedback Policies for Nonlinear Optimal Control (IFAC 2023) https://doi.org/10.1016/j.ifacol.2023.10.1248☆16Updated last year
- ☆217Updated last year
- Chance constraints in CVXPY☆18Updated 6 years ago