Guaranteed margins for LQG regulators | Synapse