Erreichbare Mengen stellen ein zentrales Konzept der Regelungs- und Systemtheorie dar. Der Antragsteller verfolgt das Ziel, Verfahren zur Abschätzung solcher Mengen für nichtlineare kontinuierliche Systeme zu entwickeln. Diese Verfahren sollen sich speziell für den abstraktionsbasierten Entwurf von Reglern für Abtastsysteme eignen.