Modeling, Simulation, and Verification of Stochastic Hybrid Systems, Fachbücher von Derek Riley
Das Buch "Modeling, Simulation, and Verification of Stochastic Hybrid Systems" bietet eine umfassende Untersuchung der formal... Mehr erfahren
Finde die besten Angebote
Bester Preis34 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Modeling, Simulation, and Verification of Stochastic Hybrid Systems" bietet eine umfassende Untersuchung der formalen Modellierungs- und Analysemethoden für biochemische Systeme. Es konzentriert sich auf Stochastische Hybride Systeme (SHS), die in der Lage sind, die komplexen Dynamiken einer Vielzahl biochemischer Prozesse präzise abzubilden. Die Arbeit stellt fortschrittliche Simulationstechniken vor, darunter eine feste Schrittweite und eine adaptive Zeitsteuerung, um sowohl die Genauigkeit als auch die Effizienz der Simulation zu verbessern. Darüber hinaus wird eine umfassende Verifizierungsmethode entwickelt, die auf dynamischer Programmierung basiert und zur Analyse der Erreichbarkeitsmerkmale des gesamten Zustandsraums dient. Die Anwendung von Monte-Carlo-Methoden zur Erreichbarkeitsanalyse wird ebenfalls behandelt. Anhand realistischer Fallstudien, wie der Entwicklung von Zuckerkatarakt, einem Biodieselproduktionssystem und dem Glykolyseprozess, werden die Modellierungsfähigkeiten und Analysemethoden von SHS demonstriert.
Informationen
Lieferzeit:2-4 Werktage
Marke:VDM