Modellbildung und Analyse hybrider dynamischer Systeme als Grundlage für den Entwurf hybrider SteuerungenBewachen