Mathematical Foundations for System Design: Modeling, Analysis, and Synthesis