A Python library for control from Signal Temporal Logic (STL) specifications
Project description
stlpy
A python library for control from Signal Temporal Logic (STL) specifications.
Includes implementations of several state-of-the-art synthesis algorithms and benchmark specifications (shown below).
 |
 |
 |
 |
|---|
Documentation
Can be found online at stlpy.readthedocs.io.
Installation
pip install stlpy
The basic installation allows for defining and evaluating STL formulas. The more advanced solvers require one or more of the following additional packages. See the documentation for more details.
- scipy (for gradient-based optimization)
- Drake with Gurboi/Mosek enabled (for MICP-based optimization)
- Drake with SNOPT enabled (for smooth optimization with sparse SQP)
- Gurobi python bindings (version 9.0 or higher) for MICP-based optimization
Usage
See the examples and the documentation.
Contributing
If you have a new STL trajectory synthesis algorithm or benchmark scenario you would like to see included in this package, please open a pull request.
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
File details
Details for the file stlpy-0.2.0.tar.gz.
File metadata
- Download URL: stlpy-0.2.0.tar.gz
- Upload date:
- Size: 25.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.0 CPython/3.8.10
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
5c7c87ccae5c939c79c377e2ed721f8279d1351fcbcef0283f369e447f6f6a4a
|
|
| MD5 |
fafe693b07458d2f484929767b6a488c
|
|
| BLAKE2b-256 |
bc80515fd2941fca61f28405829b88f9350076b730ff8259c51c323283bb75cf
|
