dreal / probreach
Probabilistic reachability and parameter set synthesis for stochastic hybrid systems
☆17Updated 4 months ago
Alternatives and similar repositories for probreach:
Users that are interested in probreach are comparing it to the libraries listed below
- A fork of the Systems Polynomial Optimization Toolbox.☆29Updated 6 years ago
- An open source first-order MATLAB solver for conic programs with row sparsity.☆11Updated 7 years ago
- Open collection of model predictive control (MPC) benchmarking problems☆26Updated last year
- A Neural Network Approach for Real-Time High-Dimensional Optimal Control☆26Updated 2 years ago
- Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes☆39Updated 5 years ago
- pycombina - Solving binary approximation problems in Python☆21Updated last year
- This repository contains the source code for “Unscented Kalman filter stochastic nonlinear model predictive control” (UKF-SNMPC).☆59Updated 2 years ago
- Reduced Order Model Predictive Control☆23Updated 3 years ago
- Toolbox for Automated Controller Synthesis☆17Updated last year
- Chance constraints in CVXPY☆18Updated 6 years ago
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆64Updated last month
- Files for my Nonlinear Systems and Controls class.☆28Updated 6 years ago
- Data Driven Reachability Analysis from Noisy Data☆27Updated last year
- BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signa…☆29Updated 7 years ago
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆15Updated last year
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆77Updated 3 years ago
- Python simulation and hardware library for learning and control☆20Updated last year
- Matlab interface for OSQP☆48Updated last month
- Nonlinear model of F16 flight dynamics.☆39Updated last month
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆18Updated last month
- Matlab interface for ECOS☆20Updated 5 years ago
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆27Updated 4 years ago
- Generate taylored code for Differential Dynamic Programming (DDP) aka Iterative Linear Quadratic Gaussian (iLQG) solvers for finite time …☆15Updated 7 years ago
- A Toolbox For Polytopic Objects, Operations, and Containment Problems☆23Updated 4 months ago
- ☆20Updated 4 months ago
- Repository for construction of Koopman eigenfunctions for unknown dynamical systems and identification of a lifted state-space model usin…☆27Updated 2 years ago
- A trajectory optimization algorithm that doesn't require dynamics derivatives☆36Updated 8 years ago
- Robust INner and Outer approximated reachability analysis☆9Updated last year
- Dynamic Programming and Optimal Control (151-0563-01) Fall 2019 Programming Exercise☆18Updated 5 years ago
- Stabilizable Nonlinear Dynamics Learning☆21Updated 5 years ago