jlwu002 / nlc_discreteView external linksLinks
[NeurIPS 2023] Neural Lyapunov Control for Discrete-Time Systems
☆15Jul 29, 2024Updated last year
Alternatives and similar repositories for nlc_discrete
Users that are interested in nlc_discrete are comparing it to the libraries listed below
Sorting:
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆15Mar 30, 2023Updated 2 years ago
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆22Oct 23, 2023Updated 2 years ago
- ☆18Updated this week
- AutoAim by FuXing PS☆11Apr 15, 2021Updated 4 years ago
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆144May 3, 2021Updated 4 years ago
- PyTorch Official Implementation of CoRL 2023 Paper: Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-a…☆36May 30, 2024Updated last year
- Implementation of Belief Rule Base(BRB) Algorithm in Python.☆10May 25, 2017Updated 8 years ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 2 years ago
- Safe MPC using Learned Viability☆12Nov 26, 2025Updated 2 months ago
- Solving Logic Grid Puzzles with Part-of-Speech Tagging and First-Order Logic☆11Dec 18, 2016Updated 9 years ago
- WinEdt plugin for previewing current paragraph☆10Nov 8, 2019Updated 6 years ago
- Code for paper "Model-free Safe Control for Zero-Violation Reinforcement Learning" at Conference on Robot Learning (CoRL) 2021.☆10Nov 1, 2021Updated 4 years ago
- ☆13Aug 11, 2025Updated 6 months ago
- Quick reachability using zonotopes.☆11May 25, 2020Updated 5 years ago
- ☆15Aug 13, 2023Updated 2 years ago
- DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems☆12Jun 11, 2018Updated 7 years ago
- ☆11Jan 28, 2019Updated 7 years ago
- Automatic learning of (linear and nonlinear) control functions for nonlinear dynamical systems with stability certificates. The stability…☆14Jan 9, 2025Updated last year
- Hamiltonian neural network implementation for Henon Heiles dynamical system learning mix of order and chaos☆11Dec 2, 2023Updated 2 years ago
- ☆13Jul 25, 2019Updated 6 years ago
- [IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas☆10Mar 25, 2023Updated 2 years ago
- Code for L4DC 2022 paper: Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning.☆15Jul 31, 2023Updated 2 years ago
- Repository for "Known Unknowns: Uncertainty Quality in Bayesian Neural Networks" paper.☆12Mar 3, 2017Updated 8 years ago
- ☆16Jan 30, 2025Updated last year
- ☆11Oct 5, 2021Updated 4 years ago
- ☆14Aug 7, 2025Updated 6 months ago
- ☆14May 17, 2022Updated 3 years ago
- ☆11Feb 26, 2023Updated 2 years ago
- A tool for modifying reinforcement learning environments to incorporate Signal Temporal Logic (STL) specifications in the reward function…☆12Jan 16, 2023Updated 3 years ago
- Transient Stability Analysis of Networked Microgrids Using Rapid Neural Lyapunov Method☆13Sep 13, 2023Updated 2 years ago
- ☆12Jul 29, 2021Updated 4 years ago
- RobustStabilityGuaranteeRL☆11Aug 22, 2019Updated 6 years ago
- Arxiv2Kindle is a simple script written in python that converts LaTeX source downloaded from Arxiv and recompiles it to better fit a Kind…☆18Nov 15, 2022Updated 3 years ago
- Multi-UAV ROS control simulation and experiment☆11Mar 14, 2024Updated last year
- Code for the NeurIPS 2021 paper "Safe Reinforcement Learning by Imagining the Near Future"☆51Apr 8, 2022Updated 3 years ago
- Benchmark on interactive safety☆12Dec 4, 2019Updated 6 years ago
- Code implementation of Soft Matter submission with title "Learning 3D Shape Proprioception for Continuum Soft Robots with Multiple Magnet…☆16Mar 21, 2025Updated 10 months ago
- ☆11Oct 31, 2020Updated 5 years ago
- Training neural networks with back-prop, feedback-alignment and direct feedback-alignment☆11Mar 20, 2017Updated 8 years ago