A sum-of-squares toolbox for stability analysis
☆10Dec 4, 2024Updated last year
Alternatives and similar repositories for SOStab
Users that are interested in SOStab are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Orientation estimation for IMUs using multi-kernel maximum Correntropy Kalman filter☆12Sep 7, 2022Updated 4 years ago
- Code for CDC2022 submission☆11Sep 1, 2025Updated last year
- A data-driven framework for control of nonlinear flows with Koopman Model Predictive Control☆10May 21, 2018Updated 8 years ago
- Modeling time series using TensorFlow, scikit-learn, SINDy, SARIMA☆16May 25, 2022Updated 4 years ago
- All the code needed to learn models from data using Koopman operator approach.☆13Apr 18, 2019Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- This is a Python realization for Milan Korda and Igor Mezic's paper Linear predictors for nonlinear dynamical systems: Koopman operator m…☆14Apr 5, 2023Updated 3 years ago
- a repository of the codes related with the paper published in the journal paper (check the readme file).☆20Aug 5, 2020Updated 6 years ago
- This repo is for developing a Koopman operator based MPC for autonomous vehicles.☆21Dec 12, 2022Updated 3 years ago
- ☆23Jul 30, 2021Updated 5 years ago
- Neural Koopman Lyapunov Control☆33May 5, 2023Updated 3 years ago
- Replicated, encrypted, scalable and realtime collections based database for Twake☆17Jul 27, 2021Updated 5 years ago
- Python code of the paper "Efficient Calibration of Embedded MPC" (2020 IFAC World Congress) by Marco Forgione, Dario Piga, and Alberto Be…☆26May 5, 2021Updated 5 years ago
- Python code for implementing a set of basic robust model predictive control (RMPC) algorithms for linear systems.☆28Mar 30, 2022Updated 4 years ago
- ☆29Jan 12, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Codebase for generating linear/bilinear/nonlinear Koopman model realizations from data and constructing MPC controllers.☆31Sep 20, 2021Updated 5 years ago
- Implement SLS MPC for linear systems subject to polytopic model uncertainty and additive disturbances.☆28May 3, 2024Updated 2 years ago
- Android application for LinShare - https://linshare.org/☆18May 4, 2022Updated 4 years ago
- In electrical distribution systems, a great amount of power are wasting across the lines, also nowadays power factors, voltage profiles a…☆16Nov 11, 2018Updated 7 years ago
- Control Of Mobile Robotics Using Barrier Functions And Temporal Logic☆22Jul 3, 2020Updated 6 years ago
- IIB Master's Project: Deep Learning for Koopman Optimal Predictive Control☆53Nov 15, 2020Updated 5 years ago
- a collection of modern sparse (regularized) linear regression algorithms.☆65May 10, 2020Updated 6 years ago
- ☆11Sep 19, 2019Updated 7 years ago
- Synthesis of control barrier functions with SOS☆15Sep 9, 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.
- A tool to solve optimal control problem☆23Jun 3, 2023Updated 3 years ago
- This Repository contains the matlab codes to generate the figures in Chapter 4 of the book "Demand Response in Smart Grids".☆15Oct 12, 2019Updated 6 years ago
- PPO-LSTM deep reinforcement learning based controller for buck-boost converter with constant power load Data File☆34Jul 15, 2022Updated 4 years ago
- nodal energy price in hydrogen-blended integrated electricity and gas systems☆16Mar 12, 2026Updated 6 months ago
- Successive Convexification OPtimal conTrol 2.0☆11Jan 12, 2021Updated 5 years ago
- 这个仓库存放的是《基于多模态数据融合的无人车自主循迹避障软件》大创项目在研究过程过研究和实现的5个算法（A*、PRM、DWA、APF和MPC）的程序以及它们在Webots平台上对应的控制器搭载适配。这个仓库还包括和Webots相关的世界（World），World里面有大创小…☆23Feb 7, 2026Updated 8 months ago
- ☆17Jan 24, 2024Updated 2 years ago
- AutoKoopman - automated Koopman operator methods for data-driven dynamical systems analysis and control.☆84May 7, 2024Updated 2 years ago
- BOARR : A Benchmark for quadrotors Obstacle Avoidance using ROS and RotorS☆11Oct 28, 2020Updated 5 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.
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆76Sep 13, 2026Updated 3 weeks ago
- Calculate Earth orientation parameters from IERS tables in Julia☆20Sep 29, 2026Updated last week
- ☆83May 3, 2018Updated 8 years ago
- Wrapper for cminpack multivariate root finding routines☆19May 30, 2024Updated 2 years ago
- A Python package to learn the Koopman operator.☆84Jun 25, 2026Updated 3 months ago
- ☆14Feb 26, 2020Updated 6 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 5 years ago