Background results for robust minmax control of linear dynamical systems | Synapse