Model-Based Control: : Bridging Rigorous Theory and