Andere Kunden interessierten sich auch für
![Performance Modeling, Stochastic Networks, and Statistical Multiplexing, Second Edition]( "Performance Modeling, Stochastic Networks, and Statistical Multiplexing, Second Edition")
Performance Modeling, Stochastic Networks, and Statistical Multiplexing, Second Edition42,79 €![Strategies for Improving Verification Techniques for Hybrid Systems]( "Strategies for Improving Verification Techniques for Hybrid Systems")
Strategies for Improving Verification Techniques for Hybrid Systems38,99 €![Sustainability Analysis and Environmental Decision-Making Using Simulation, Optimization, and Computational Analytics]( "Sustainability Analysis and Environmental Decision-Making Using Simulation, Optimization, and Computational Analytics")
Sustainability Analysis and Environmental Decision-Making Using Simulation, Optimization, and Computational Analytics82,99 €![Stochastic Network Optimization with Application to Communication and Queueing Systems]( "Stochastic Network Optimization with Application to Communication and Queueing Systems")
Stochastic Network Optimization with Application to Communication and Queueing Systems32,09 €![Modelling and Simulation]( "Modelling and Simulation")
Modelling and Simulation55,99 €![Stochastic Computing]( "Stochastic Computing")
Stochastic Computing19,99 €![Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation]( "Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation")
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation78,99 €
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.