mihsamusev / stratego_mpc_example

Minimal example running UPPAAL Stratego as a part of model predictive control MPC loop
0 stars 0 forks source link

Add a second example #1

Closed magoorden closed 3 years ago

magoorden commented 3 years ago

This pull requests adds a second example of using the strategoutils library. It is the room heating example from the paper Online and Compositional Learning of Controllers with Application to Floor Heating, DOI:10.1007/978-3-662-49674-9_14.