Title: Symbolic Methods in Control System Analysis and Design