Hybrid Modeling and Simulation of Biomolecular Networks
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Safety analysis of sugar cataract development using stochastic hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Reconstruction of switching thresholds in piecewise-affine models of genetic regulatory networks
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Computational methods for reachability analysis of stochastic hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
| Hi-index | 0.00 |
As biomedical research advances there is an increasing need to model and simulate more complicated systems to better understand them. Since biochemical processes are inherently stochastic and often contain both continuous and discrete behavior, stochastic hybrid systems are an ideal modeling paradigm for capturing their dynamics. In this paper we present a framework for modeling biochemical systems and demonstrate the approach for the sugar cataract development process including two methods of modeling drug treatment. Further, we present a simulation method that uses second-order Taylor approximations for the continuous dynamics and an improved method for detecting boundary hits. We use the sugar cataract development process to demonstrate the results of the method.