Call Us 080-41656200 (Mon-Sat: 10AM-8PM)
Free Shipping above Rs. 1499
Cash On Delivery*

Modeling, Simulation, and Verification of Stochastic Hybrid Systems

 

Marketed By :  VDM Verlag Dr. Müller   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

 

Check Your Delivery Options

 
Rs. 5,066

Availability: In stock

 
  • Product Description
 

Formal modeling and analysis methods hold great promise to help further discovery and innovation for biochemical systems. This work uses Stochastic Hybrid Systems for modeling and analysis because they can formally capture the complex dynamics of a large class of biochemical systems. An advanced fixed step simulation technique is presented for SHS. Further, an adaptive time stepping simulation method for SHS is implemented to improve accuracy and efficiency. An exhaustive verification method for SHS based on dynamic programming is developed as a tool for analyzing reachability properties for the entire state space. Reachability analysis can also be performed using Monte Carlo methods, so Monte Carlo methods for SHS are implemented. Realistic case studies are used to demonstrate the modeling capabilities of SHS and the analysis methods. The case studies include models of sugar cataract development in the lens of a human eye, a commercial biodiesel production system, glycolysis, which is a cellular energy conversion mechanism found in every living cell, and the water and electrolyte balance system in humans.

Product Specifications
SKU :COC72361
AuthorDerek Riley
LanguageEnglish
BindingPaperback
Number of Pages164
Publishing Year2011-04-21T00:00:00.000
ISBN978-3639350500
Edition1 st
Book TypeComputer networking & communications
Country of ManufactureIndia
Product BrandVDM Verlag Dr. Müller
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-10-08 00:00:00
0 Review(s)