Invia SMS: Robust Explicit Control of Complex Hybrid Discrete Processes