Projekt H4 entwickelt Konzepte, Theorien und Algorithmen zur automatischen Analyse und Verifikation sowie dem werkzeug-unterstützten Entwurf von konvergierenden und

stabilisierenden hybriden Systemen verschiedener Systemklassen. Durch die Ausnutzung leistungsstarker Abstraktionen zur Zustandsraumreduktion, innovativer Transformationen und zielgerichteter Kompositions- und Dekompositionstechniken wird eine effektive, effiziente und über den Stand der Forschung hinausgehende Systemanalyse ermöglicht. Die im Projekt H4 entwickelten Methoden ermöglichen zudem die Analyse und den Entwurf von robusten und kosten-effizienten hybriden Systemen.