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

1. 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 .

2. Look how strategoutil is used with example projects

3. 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.