strategoutil
Collection of utility functions and classes to interface UPPAAL Stratego controllers with Python.
Repo status
See which OS and Python versions combinations are supported here.
Getting started
- Use pip or clone this git repo to install
strategoutilto your environment
pip install strategoutil
# OR
git clone https://github.com/DEIS-Tools/strategoutil.git
cd strategoutil
pip install -e .
-
Look how
strategoutilis used with example projects -
Look at the documentation
Functionality
Currently, strategoutil contains the tool STOMPC that is capable of performing the following actions:
- Write input variables to Stratego model
*.xmlfiles - Parse outputs of
simulatequeries to get timeseries of important variables - Run
verifytawith chosen query*.qand run parameters - Create model predictive control (MPC) routines where plant is either defined within the same Stratego model, or plant is defined as external process, simulataor, etc.
1 maintainer
Release files for strategoutil 0.1.4
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| strategoutil-0.1.4.tar.gz | 11.3 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| strategoutil-0.1.4-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 21.2 kB
Release files / strategoutil-0.1.4.tar.gz
| Download URL | strategoutil-0.1.4.tar.gz |
|---|---|
| Size | 11.3 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
25d5820f3f10012019ed73167c7964da157a45d4245e4dcd51732f25f0881f29
|
|
BLAKE2b-256 checksum How to use checksums |
3ec61d9f702548ca037a89f82f7541e53b2cea0e3c9305636d72db8f38596954
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/5.1.0 CPython/3.12.4
|
Release files / strategoutil-0.1.4-py3-none-any.whl
| Download URL | strategoutil-0.1.4-py3-none-any.whl |
|---|---|
| Size | 10.0 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
0fc738e438d33bb11248117a657cafe0e5a20d4c69a818c4e14659aaa5f401bd
|
|
BLAKE2b-256 checksum How to use checksums |
8b850a96ab5ab2cd0edcf8a62296a9c4af8be250c1f1e6e141b15124a1e91c72
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/5.1.0 CPython/3.12.4
|
