Strategies for Improving Verification Techniques for Hybrid Systems, Fachbücher von Simon Carroll

Das Buch "Strategies for Improving Verification Techniques for Hybrid Systems" von Simon Carroll bietet eine umfassende Analyse und innovative Ansätze zur Verbesserung der Verifikationstechniken für hybride Systeme. In dieser Dissertation werden verschiedene Methoden vorgestellt, die darauf abzielen, die Effizienz des Rapidly-exploring Random Tree (RRT) Algorithmus zu steigern, der häufig in der Planung und Verifikation von hybriden Systemen eingesetzt wird. Die Autorin oder der Autor führt Experimente durch, die aufzeigen, dass viele Planungs- und Verifikationsprobleme ein schwerfälliges Verhalten aufweisen, was bedeutet, dass sampling-basierte Algorithmen manchmal eine übermässige Anzahl von Knoten benötigen, um Lösungen zu finden. Durch die Implementierung von Neustarts und der Verwendung mehrerer Bäume wird die Lösungszeit signifikant verbessert. Zudem wird die natürliche Trennung des hybriden Zustandsraums in verschiedene Modi hervorgehoben, was die Suche nach Lösungen effizienter gestaltet. Das Buch ist eine wertvolle Ressource für Fachleute und Studierende, die sich mit der Planung und Verifikation komplexer Systeme beschäftigen.