Stratego MPC example

Minimal examples running UPPAAL Stratego as a part of model predictive control MPC loop using strategoutil.

Repo status

Getting started

pip install -r requirements.txt

Examples

Click on the following examples to learn more:

• Room heating - MPC with both controller and plan defined within UPPAAL Stratego
• Traffic light - MPC with UPPAAL Stratego controller and external plant defined in python