Impulsdifferentialinklus su: ein Viabilitätsansatz für hybride Systeme

Impulsdifferentialinklusionen werden als Rahmen zur Modellierung hybrider Phänomene eingeführt. Verbindungen zu Standardproblemen im Bereich hybrider Systeme werden diskutiert. Bedingungen werden abgeleitet, die es ermöglichen, zu bestimmen, ob eine Menge von Zuständen unter der Wirkung einer Impulsdifferentialinklusion viabel oder invariant ist. Für Mengen, die diese Bedingungen verletzen, werden Methoden entwickelt, um ihre Viabilitäts- und Invarianzkerne zu approximieren, also die größte Teilmenge, die unter der Wirkung der Impulsdifferentialinklusion viabel oder invariant ist. Die Ergebnisse werden anhand von Beispielen demonstriert.