AutoVerse-ai / Verse-library
Library for modeling, simulation, and verification of interacting autonomous agents
☆29Updated this week
Related projects: ⓘ
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆20Updated 10 months ago
- Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach☆12Updated 4 years ago
- Stochastic Optimal Control and Reachability Toolbox Written in Python☆13Updated last year
- [IROS 22'] Model-free Neural Lyapunov Control☆19Updated last year
- Risk-averse trajectory optimization☆15Updated 11 months ago
- A python library for control from Signal Temporal Logic (STL) specifications☆30Updated 2 years ago
- This project implements various multi-agent coordination techniques.☆15Updated last month
- A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!☆36Updated 11 months ago
- ☆12Updated last year
- A package for compositional system analysis and design☆19Updated 2 months ago
- Automated Robust Co-design for Cyberphysical Systems☆27Updated last year
- Safe Control for Nonlinear Systems☆18Updated 4 years ago
- LAMPOS, a strategy-based solution approach for mp-MILPs for real-time mixed-integer MPC with sub-optimality quantification☆11Updated last year
- Precedence constrained multi-agent task assignment and path finding☆10Updated 8 months ago
- A collection of free online materials for control engineering☆14Updated 2 years ago
- ☆16Updated 10 months ago
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆18Updated last year
- Safe guaranteed exploration for non-linear systems☆13Updated 7 months ago
- ☆21Updated 2 years ago
- SocialGym 2: A lightweight benchmark and simulator for multi-robot social navigation using ROS and the OpenAI gym.☆52Updated 5 months ago
- Model-based reinforcement learning using CEM, MPC and PETS☆16Updated 4 years ago
- Examples shown in class and recitation from AA203: Optimal and Learning-Based Control.☆47Updated 4 months ago
- Lyapunov-stable Neural Control for State and Output Feedback☆53Updated 2 months ago
- Online Signal Temporal Logic (STL) Monte-Carlo Tree Search for Guided Imitation Learning☆21Updated last year
- High-level Python Particle Sequential Convex Programming Model Predictive Control (SCP PMPC) interface☆13Updated 10 months ago
- Formal Verification of Neural Feedback Loops (NFLs)☆75Updated last week
- Stochastic Sequential Action Control for Continuous-Time Belief Space Planning in Julia☆15Updated 2 years ago
- ☆10Updated 2 years ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆54Updated last year
- Control Of Mobile Robotics Using Barrier Functions And Temporal Logic☆17Updated 4 years ago