heyinUCB / Stability-Analysis-using-Quadratic-Constraints-for-Systems-with-Neural-Network-ControllersView on GitHub
☆13Apr 19, 2022Updated 4 years ago
Alternatives and similar repositories for Stability-Analysis-using-Quadratic-Constraints-for-Systems-with-Neural-Network-Controllers
Users that are interested in Stability-Analysis-using-Quadratic-Constraints-for-Systems-with-Neural-Network-Controllers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Apr 8, 2021Updated 5 years ago
- Repository for computing the probability distribution of an optimal control problem☆11Oct 4, 2021Updated 5 years ago
- LDS-toolbox: a matlab toolbox for linear dynamical systems (LDSs) modeling☆13Mar 23, 2018Updated 8 years ago
- RobustStabilityGuaranteeRL☆10Aug 22, 2019Updated 7 years ago
- Segway Simulation Environment☆11Dec 31, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Formal Verification of Neural Feedback Loops (NFLs)☆86Sep 12, 2024Updated 2 years ago
- Use pictures to understand the main contents of Control Theory☆11Apr 27, 2022Updated 4 years ago
- Enforcing robust control guarantees within neural network policies☆55Apr 24, 2021Updated 5 years ago
- Primal-Dual Policy Learning Simple Example☆15Apr 12, 2021Updated 5 years ago
- Predictive Triggering Framework for Distributed Control of Resource Constrained Multi-agent Systems☆14May 19, 2019Updated 7 years ago
- ☆23Oct 19, 2022Updated 4 years ago
- VSC with Grid-Forming strategies☆10May 15, 2020Updated 6 years ago
- ☆12Nov 1, 2024Updated 2 years ago
- Code needed to replicate the examples from "Learning Hybrid Control Barrier Functions from Data" by L. Lindemann et al., to appear at CoR…☆25Aug 12, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Codebase associated with paper "Memory-Efficient Learning of Stable Linear Dynamical Systems for Prediction and Control"☆27Dec 8, 2020Updated 5 years ago
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆144May 3, 2021Updated 5 years ago
- ☆26Jan 20, 2022Updated 4 years ago
- Sequential decision-making in JAX.☆10Sep 21, 2026Updated last month
- IPython-based debugging and exploring - a collection of auxiliary functions☆16Oct 9, 2026Updated 3 weeks ago
- Demonstration examples of the Deep Q Direct Torque Control algorithm for permanent magnet synchronous motors☆18Apr 2, 2024Updated 2 years ago
- Minimal working examples applying Finite Element Method with Firedrake framework☆12Mar 16, 2026Updated 7 months ago
- CaΣoS is a nonlinear sum-of-squares optimization suite. It provides symbolic polynomial expressions, nonconvex optimization algorithms, a…☆21Updated this week
- Almost Surely Stable Deep Dynamics [NeurIPS 2020]☆12Dec 8, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Safety-Critical-Control-using-Robust-CBFs☆12Jun 15, 2022Updated 4 years ago
- ☆20May 15, 2026Updated 5 months ago
- 《케라스로 구현하는 고급 딥러닝 알고리즘》 예 제 코드☆12Oct 17, 2019Updated 7 years ago
- ☆12Mar 8, 2020Updated 6 years ago
- A python project of a Model Predictive Controller (MPC) for Urban Drainage Networks (UDNs) to mitigate Combined Sewer Overflows (CSOs)☆14Jun 22, 2020Updated 6 years ago
- OVAL framework for BaB-based Neural Network Verification☆18May 8, 2026Updated 5 months ago
- Code for the paper: Kernel Distributionally Robust Optimization☆13Feb 21, 2021Updated 5 years ago
- ☆10Jun 16, 2020Updated 6 years ago
- Multilevel Diffusion: Infinite dimensional score☆11Oct 30, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Contains the code for "BaRC: Backward Reachability Curriculum for Robotic Reinforcement Learning" by Boris Ivanovic, James Harrison, Apoo…☆12Jun 20, 2018Updated 8 years ago
- Python library that implements ZPC: Zonotopic Data-Driven Predictive Control.☆12Sep 7, 2022Updated 4 years ago
- PELCA - Power Electronics Life Cycle Assessment☆16Oct 6, 2026Updated last month
- Explainable neural dynamic model for motor temperature prediction☆12Mar 17, 2025Updated last year
- Implementations of several primal-dual subgradient methods for searching traffic equilibria in the Stable Dynamics model and the Beckmann…☆10Nov 18, 2022Updated 3 years ago
- ☆13May 25, 2026Updated 5 months ago
- A PyTorch implementation of SVGD (Stein Variational Gradient Descent), contains all examples including bayesian inference in the paper☆12Jul 30, 2020Updated 6 years ago