This is the official code base for paper 'Analytical Lyapunov Function Discovery: An RL-based Generative Approach'.
☆13Jul 20, 2025Updated last year
Alternatives and similar repositories for Analytical-Lyapunov-Function-Discovery
Users that are interested in Analytical-Lyapunov-Function-Discovery are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A blender's python based code that simulates a big ocean and its waves recording the pitch and the roll for Machine Learning purposes☆15Sep 23, 2019Updated 7 years ago
- code and data for C&OR paper 'a GRL framework for neural ALNS'☆12Mar 5, 2025Updated last year
- DeepControl: Neural Network Controller for Quadrotor☆10Jan 5, 2020Updated 6 years ago
- Field-oriented control firmware for B-G431B-ESC1☆15Sep 22, 2022Updated 4 years ago
- Simulation of BLDC control algorithms☆11Jan 4, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆16Feb 26, 2019Updated 7 years ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆25Oct 14, 2026Updated 3 weeks ago
- Code for “ACE-HGNN: Adaptive Curvature ExplorationHyperbolic Graph Neural Network”☆17Mar 3, 2022Updated 4 years ago
- MatrixWorld: A pursuit-evasion platform for safe multi-agent coordination and autocurricula☆18Feb 26, 2025Updated last year
- Automatic learning of (linear and nonlinear) control functions for nonlinear dynamical systems with stability certificates. The stability…☆14Jan 9, 2025Updated last year
- [Version 0.5.0][Registered Package][Functional] (max,+) and (min,+) algebra toolbox for Julia from Scilab toolbox☆10Sep 28, 2026Updated last month
- Koopman based MPC of bicycle vehicle model. The code was used to create the paper "Model predictive control of vehicle dynamics based on …☆14Dec 10, 2020Updated 5 years ago
- [ICRA26] Recovering Metric Scale in Generative Navigation Policies☆13Feb 25, 2026Updated 8 months ago
- Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (cl…☆16Nov 21, 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.
- Android port of umamusume-localify, supports JAP&KOR&CHT client☆10Dec 28, 2023Updated 2 years ago
- Sample implementation accompanying the NeurIPS 2019 paper 'Powerset Convolutional Neural Networks' by Chris Wendler, Dan Alistarh, and Ma…☆10Oct 26, 2020Updated 6 years ago
- This package can convert a LTL formula to Full Product Automaton☆10Mar 3, 2019Updated 7 years ago
- Implementation of vanilla stochaistic (categorical) policy gradient algorithm to play cartpole.☆16Apr 1, 2021Updated 5 years ago
- ☆13Oct 11, 2023Updated 3 years ago
- 东华大学 LaTeX 论文模板 | Donghua University LaTeX Thesis Template☆13Apr 17, 2024Updated 2 years ago
- Persistence Mayer Vietoris spectral sequence☆13Nov 7, 2022Updated 3 years ago
- Implements a compositional algorithm for computing shortest paths on weighted graphs☆13Sep 1, 2023Updated 3 years ago
- A package for compositional system analysis and design☆36Oct 30, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Convert yolo models to ONNX, TensorRT add NMSBatched.☆16Mar 27, 2024Updated 2 years ago
- This is the Simulation(Animation) of Inverted Pendulum's Swing up & Balance Control, For Swing up Control: Energy based Collocated Feedb…☆17Jul 30, 2021Updated 5 years ago
- Codes for the Numerical Results of the paper "Tangent Bundle Neural Networks: from Manifolds to Celullar Sheaves and Back"☆12Oct 13, 2026Updated 3 weeks ago
- Source code for TRO paper "Temporal Logic Task Allocation in Heterogeneous Multi-Robot Systems"☆18Jan 6, 2024Updated 2 years ago
- Meta repository for UWslam dataset☆18May 25, 2023Updated 3 years ago
- [TMLR 2025] A collection of research papers on constraint inference within the field of RL☆11May 9, 2025Updated last year
- [NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"☆84Nov 4, 2024Updated 2 years ago
- 图像处理评价标准☆18Jan 31, 2026Updated 9 months ago
- ☆14Oct 29, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Euler-Lagrange Library☆19Mar 26, 2024Updated 2 years ago
- A MuJoCo-based simulator for soil digging using an excavator☆22Jan 3, 2024Updated 2 years ago
- Implementations of methods proposed in the paper "Conformal Prediction Sets for Graph Neural Networks"☆15Jun 19, 2023Updated 3 years ago
- ☆15Jun 16, 2026Updated 4 months ago
- ☆20Apr 19, 2026Updated 6 months ago
- Tropical Numbers☆17Nov 2, 2025Updated last year
- ☆14Mar 4, 2024Updated 2 years ago