Verification and Control of Hybrid Systems, Fachbücher von Paulo Tabuada

Das Buch "Verification and Control of Hybrid Systems" von Paulo Tabuada bietet eine umfassende Analyse der Interaktion zwischen Software und der physischen Welt, die durch hybride Systeme dargestellt wird. Diese Systeme kombinieren endliche Modelle, wie endliche Zustandsmaschinen, mit unendlichen Modellen, wie Differentialgleichungen. Die Herausforderungen der Verifikation und der Synthese von Controllern für hybride Systeme werden eingehend behandelt. Das Buch hebt spezifische Klassen von hybriden Systemen hervor, die symbolische oder endliche Modelle zulassen, und präsentiert systematisch die Beziehungen zwischen diesen hybriden Systemen und ihren entsprechenden symbolischen Modellen. Durch die Darstellung mehrerer Schlüsselergebnisse zur Verifikation und zum Design von Controllern für endliche Systeme wird der praktische Nutzen dieser Modelle verdeutlicht. Zahlreiche Beispiele veranschaulichen die diskutierten Methoden und Techniken, was das Buch zu einer wertvollen Ressource für Fachleute und Studierende im Bereich der hybriden Systeme macht.