Welcome to strategoutil’s documentation!
Strategoutil is a collection of utility functions and classes to interface UPPAAL Stratego controllers with Python. It furthermore provides an interface to perform model-predictive control or online-control using STOMPC.
Getting started
Use pip or clone this git repo to install strategoutil to your environment
pip install strategoutilor
git clone https://github.com/DEIS-Tools/strategoutil.git cd strategoutil pip install -e .
Look how strategoutil is used in Examples of using the STOMPC tool.
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.