☆46Jun 15, 2023Updated 2 years ago
Alternatives and similar repositories for LyapunovLearning
Users that are interested in LyapunovLearning are comparing it to the libraries listed below
Sorting:
- ☆25May 23, 2024Updated last year
- Segway Simulation Environment☆11Dec 31, 2020Updated 5 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆176Jun 2, 2025Updated 9 months ago
- ☆15Feb 25, 2026Updated last week
- Example Systems using PowerDynamics.jl☆12Oct 10, 2022Updated 3 years ago
- ☆31Oct 16, 2021Updated 4 years ago
- SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.☆11Aug 18, 2025Updated 6 months ago
- LAMPOS, a strategy-based solution approach for mp-MILPs for real-time mixed-integer MPC with sub-optimality quantification☆11Jun 25, 2023Updated 2 years ago
- ☆14Aug 7, 2025Updated 7 months ago
- Primal-Dual Policy Learning Simple Example☆15Apr 12, 2021Updated 4 years ago
- KVXOPT -- Python Software for Convex Optimization containing more wrappers suite-sparse.☆13Feb 22, 2026Updated 2 weeks ago
- ☆14Jun 8, 2023Updated 2 years ago
- ☆11Jul 29, 2021Updated 4 years ago
- Enforcing robust control guarantees within neural network policies☆56Apr 24, 2021Updated 4 years ago
- Repository Associated with the Paper☆16Apr 24, 2022Updated 3 years ago
- Myriad is a real-world testbed that aims to bridge trajectory optimization and deep learning.☆67Sep 12, 2023Updated 2 years ago
- Code release for Efficient Planning in a Compact Latent Action Space (ICLR2023) https://arxiv.org/abs/2208.10291.☆113May 12, 2023Updated 2 years ago
- Variational Reinforcement Learning☆17Jul 25, 2024Updated last year
- Optimal approximate sampling from discrete probability distributions☆18Mar 9, 2021Updated 5 years ago
- ☆17Mar 11, 2019Updated 6 years ago
- Companion code for Closed-Loop Koopman Operator Approximation☆16Mar 24, 2024Updated last year
- Experiments from the paper "On Second Order Behaviour in Augmented Neural ODEs"☆61Sep 30, 2024Updated last year
- ☆15Dec 15, 2020Updated 5 years ago
- Code for Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations☆18Mar 4, 2022Updated 4 years ago
- JAX code for the paper "Control-Oriented Model-Based Reinforcement Learning with Implicit Differentiation"☆44Jun 14, 2021Updated 4 years ago
- Bayesian Learning-Based Adaptive Control for Safety Critical Systems☆20Nov 23, 2019Updated 6 years ago
- HIVE™ is a mobility services research platform☆26Nov 6, 2023Updated 2 years ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆182Jul 10, 2024Updated last year
- ☆22Feb 4, 2025Updated last year
- Safety Critical Control of Autonomous Vehicles by Control Barrier Functions☆16Sep 9, 2022Updated 3 years ago
- ☆19Jun 24, 2022Updated 3 years ago
- Reduced-space optimization, for optimal power flow.☆21Mar 30, 2025Updated 11 months ago
- Gradient Boosting Models on Real-Time Sensor Data for AI-Enhanced Vehicle Predictive Maintenance. By using a web-based interface to forec…☆19Nov 17, 2024Updated last year
- ☆110Aug 26, 2024Updated last year
- Code for the NeurIPS 2021 paper "Safe Reinforcement Learning by Imagining the Near Future"☆51Apr 8, 2022Updated 3 years ago
- ☆24Jan 20, 2022Updated 4 years ago
- Control Synthesis from Formal Specifications using Reinforcement Learning☆24Aug 15, 2025Updated 6 months ago
- stochastic 2-D motion planning with a POMDP framework☆22Oct 8, 2018Updated 7 years ago
- Meta Optimal Transport☆108May 25, 2023Updated 2 years ago