Title: Algorithmensynthese für lineare Systeme mit Symmetrie