issues
search
mihsamusev
/
stratego_mpc_example
Minimal example running UPPAAL Stratego as a part of model predictive control MPC loop
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Room heating example is broken on Stratego 8.8, works well on Stratego 8.7
#8
mihsamusev
opened
3 years ago
1
Maybe merge stratego_mpc_example project into strategoutil
#7
magoorden
opened
3 years ago
0
Improve and extend documentation for the user
#6
magoorden
opened
3 years ago
0
Missing `model_cfg_dict` in TrafficLight `model_interface`
#5
mihsamusev
closed
3 years ago
1
Too many parameters MPCSetupRoomHeating
#4
mihsamusev
closed
3 years ago
1
Interactive bash parameter stops both *.py simulations after 2nd step and freezes in debug mode
#3
mihsamusev
opened
3 years ago
0
Include matrix with versions of Stratego that examples work on
#2
mihsamusev
opened
3 years ago
1
Add a second example
#1
magoorden
closed
3 years ago
0