Skip to content

Latest commit

 

History

History
39 lines (25 loc) · 1.68 KB

README.md

File metadata and controls

39 lines (25 loc) · 1.68 KB
Raw

strategoutil

Collection of utility functions and classes to interface UPPAAL Stratego controllers with Python.

Repo status

Project Status: Active – The project has reached a stable, usable state and is being actively developed. badge Documentation 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 .

  1. Look how strategoutil is used with example projects

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