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
Sorting:
- Orientation estimation for IMUs using multi-kernel maximum Correntropy Kalman filter☆12Sep 7, 2022Updated 3 years ago
- Code for CDC2022 submission☆11Sep 1, 2025Updated 6 months ago
- A data-driven framework for control of nonlinear flows with Koopman Model Predictive Control☆10May 21, 2018Updated 7 years ago
- 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 2 years ago
- All the code needed to learn models from data using Koopman operator approach.☆13Apr 18, 2019Updated 6 years ago
- Synthesis of control barrier functions with SOS☆15Sep 9, 2023Updated 2 years ago
- Modeling time series using TensorFlow, scikit-learn, SINDy, SARIMA☆16May 25, 2022Updated 3 years ago
- a repository of the codes related with the paper published in the journal paper (check the readme file).☆20Aug 5, 2020Updated 5 years ago
- This repo is for developing a Koopman operator based MPC for autonomous vehicles.☆20Dec 12, 2022Updated 3 years ago
- ☆27Jan 12, 2022Updated 4 years ago
- Control Of Mobile Robotics Using Barrier Functions And Temporal Logic☆22Jul 3, 2020Updated 5 years ago
- A tool to solve optimal control problem☆24Jun 3, 2023Updated 2 years ago
- ☆22Jul 30, 2021Updated 4 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 4 years ago
- Codebase for generating linear/bilinear/nonlinear Koopman model realizations from data and constructing MPC controllers.☆29Sep 20, 2021Updated 4 years ago
- Neural Koopman Lyapunov Control☆26May 5, 2023Updated 2 years ago
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆74Feb 12, 2026Updated 2 weeks ago
- Python code for implementing a set of basic robust model predictive control (RMPC) algorithms for linear systems.☆26Mar 30, 2022Updated 3 years ago
- FBS2e examples in Python☆34Jan 18, 2026Updated last month
- Implement SLS MPC for linear systems subject to polytopic model uncertainty and additive disturbances.☆28May 3, 2024Updated last year
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- Solves Fractional Differential Equations numerically using Haar wavelets.☆12Feb 6, 2017Updated 9 years ago
- Realizing chaos of fractional order chaotic system☆11Mar 3, 2017Updated 8 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 8 months ago
- Hybrid systems equations simulator, development repository☆14Oct 11, 2025Updated 4 months ago
- QCLAB Matlab Toolbox☆13Dec 22, 2025Updated 2 months ago
- ☆11Sep 19, 2019Updated 6 years ago
- Nuclei AI Library Optimized For RISC-V Vector☆14Oct 15, 2025Updated 4 months ago
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated last year
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- ☆10Aug 13, 2024Updated last year
- Simulate and Render MuJoCo in the Browser with 3DGS.☆34Feb 4, 2026Updated 3 weeks ago
- Javascript tool for animation of linear physical systems☆16Aug 2, 2016Updated 9 years ago
- UI for the GoodProtocol smart contracts☆11Feb 19, 2026Updated last week
- A package implementing various controllers for first order DS tasks☆10Sep 12, 2019Updated 6 years ago
- ☆13Aug 10, 2021Updated 4 years ago
- VGA LCD Core (OpenCores)☆14May 22, 2018Updated 7 years ago
- ☆12Nov 19, 2024Updated last year
- Learning globally stable dynamical systems policies through imitation. A modification of the original work, focussing on waypoint-based i…☆12Oct 12, 2024Updated last year