https://1library.org/document/y6evvg4z-optimal-control-synthesis-max-plus-linear-dynamical-systems.html