Modeling, Simulation, and Verification of Stochastic Hybrid Systems, Fachbücher von Derek Riley
68,00 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
