發送短信: Optimal control for safety-critical systems