Modeling Simulation Verification Stochastic by Riley Derek (4 results)
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 50.94
£ 59.69 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Modeling, Simulation, and Verification of Stochastic Hybrid Systems | A computational approach | Derek Riley | Taschenbuch | Englisch | VDM Verlag Dr. Müller | EAN 9783639350500 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de…| Anbieter: preigu.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 130.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 46.30
£ 41.78 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Riley DerekDerek Riley is currently a computer science professor at the University of Wisconsin- Parkside.Formal modeling and analysis methods hold great promise to help further… discovery and innovation for biochemical systems.
- Softcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 60.44
£ 52.16 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 dy…namics 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.
