A Linear Programming Framework for Optimal Event-Triggered LQG Control | Synapse