Python utility functions library for UPPAAL Stratego
Project description
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
strategoutil
to your environment
pip install strategoutil
# OR
git clone https://github.com/DEIS-Tools/strategoutil.git
cd strategoutil
pip install -e .
-
Look how
strategoutil
is 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
*.xml
files - Parse outputs of
simulate
queries to get timeseries of important variables - Run
verifyta
with chosen query*.q
and 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.
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
strategoutil-0.1.1.tar.gz
(11.0 kB
view hashes)
Built Distribution
Close
Hashes for strategoutil-0.1.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3f2b4b2ec142e56f6dbe04ffd79faa4749b7ba8fc9e6ef762fdbf68e1b3f3af1 |
|
MD5 | 5245eaea7e09535ce7b837873b39b3a3 |
|
BLAKE2b-256 | d31395a04a7d032a2b6bab4f9a90b0ef022c7065585e357a5aa93bb7b2eaf097 |