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 zwisch... Mehr erfahren
Finde die besten Angebote
Bester Preis69 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer