Considers the multiple trade-offs at various abstraction levels and scales when designing complex, multi-component systems. Covers topics from foundational principles to advanced applications, emphasizing the role of compositional thinking in engineering. Introduces category theory as a mathematical framework for abstraction and composition, enabling a unified and modular approach to modeling, analyzing, and designing interconnected systems. Showcases successful applications in areas such as dynamical systems and automated system design optimization, with a focus on autonomous robotics and mobility. Offers students the opportunity to work on their own application through a dedicated project in the second half of the term.
Students taking graduate version complete additional assignments.
Schedule
Lecture: MW 11-12:30
Recitation: F 1-2
Location
Lecture: 1-150
Lab: 1-246
Prerequisites
Calculus, linear algebra, and dynamical systems at undergraduate level; or permission of instructor.
Can Be Repeated for Credit
Yes