Effiziente Synthese symbolischer Steuerung durch symmetriebasierte Abstraktion

Ein effizienter Algorithmus zur Synthese symbolischer Steuerung für äquivariante kontinuierliche dynamische Systeme, der Symmetrien nutzt, um schlanke Abstraktionen zu konstruieren und redundante Berechnungen während der Synthese zu vermeiden.