Ein neuartiges einheitliches Framework zur Lösung von Erreichbarkeits-, Viabilitäts- und Invarianzproblemen