Verification of biochemical processes using stochastic hybrid systems

22nd IEEE International Symposium on Intelligent Control, ISIC 2007. Part of IEEE Multi-conference on Systems and Control

Volumn , Issue , 2007, Pages 100-105

  Riley, Derek ^a   Koutsoukos, Xenofon ^a   Riley, Kasandra ^b  

^a VANDERBILT UNIVERSITY   (United States)

^b MAYO CLINIC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC PROGRAMMING; PROBABILITY DISTRIBUTIONS; RANDOM PROCESSES; SUGARS; VERIFICATION;

STOCHASTIC HYBRID SYSTEMS; SUGAR CATARACT;

BIOCHEMICAL ENGINEERING;

EID: 41149096006     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISIC.2007.4450868     Document Type: Conference Paper

References (20)

1. R. Alur, C. Belta, F. Ivanicic, V. Kumar, M. Mintz, G. Pappas, H. Rubin, J. Schug, Hybrid Modeling and Simulation of Biomolecular Networks, Hybrid Systems: Computation and Control, LNCS 2034, pp. 19-33, 2001.
2. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, A. Triona, An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions, Computational Methods in Systems Biology 2005, Edinburgh, 2005.
3. R. Barbuti, S. Cataudella, A. Maggiolo-Schettini, P. Milazzo, A. Triona, A Probabilistic Model For Molecular Systems, Fundamenta Informaticae XX, IOS Press, 1-15, 2005.
4. D. Bertsekas, J. Tsitsiklis, Parallel and Distributed Computation: Numerical Methods, Prentice-Hall, 1989.
5. Y. Cao, H. Li, L. Petzold, Efficient formulation of the stochastic simulation algorithm for chemically reacting systems, J. Chem. Phys., 121, 4059, 2004.
6. M. Elowitz, A. Levine, E Siggia, P. Swain, Stochastic Gene Expression in a Single Cell, Science 297, 1183, 2002.
7. R. Ghosh, C. Tomlin, Symbolic Reachable Set Computation of Piecewise Affine Hybrid Automata and its Application to Biological Modeling: Delta-Notch Protein Signalling, Systems Biology, 1:170-183, 2004.
8. D. Gillespie, A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions. J Comp. Phys., 22:403-434, 1976.
9. E. Haseltine, J. Rawlings, Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics, J Chem. Phys., 117, 6959, 2002.
10. J. Hespanha, A. Singh. Stochastic Models for Chemically Reacting Systems Using Polynomial Stochastic Hybrid Systems, Int. J. on Robust Control, Special Issue on Control at Small Scales, 15:669689, 2005.
11. J. Hu, M. Prandini, and S. Sastry, Probabilistic Safety Analysis in Three Dimensional Aircraft Flight, Proc. of 42nd IEEE Conf. on Decision and Control, pp. 5335-5340, 2003.
12. J. Hu, W. Wu, and S. Sastry, Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems, Hybrid Systems: Computation and Control 2004, LNCS, vol. 2993, pp. 417-431, 2004.
13. X. Koutsoukos, Optimal Control of Stochastic Hybrid Systems Based on Locally Consistent Markov Decision Processes, Int. J. of Hybrid Systems, 4, 301-318, 2004.
14. X. Koutsoukos and D. Riley, Computational Methods for Reachability Analysis of Stochastic Hybrid Systems, Hybrid Systems: Computation and Control 2006 LNCS 3927, pp. 377-391, 2006.
15. X. Koutsoukos and D. Riley, Computational Methods for Verification of Stochastic Hybrid Systems, IEEE Transactions on Systems, Man, and Cybernetics ?Part A. To appear.
16. H. Kushner, P. Dupuis, Numerical Methods for Stochastic Control Problems in Continuous Time, Springer, 2001.
17. I. Marini, L. Bucchioni, P. Borella, A. Del Corso, U. Mura, Sorbitol Dehydrogenase from Bovine Lens: Purification and Properties, Archives of Biochemistry and Biophysics, 340:383-391, 1997.
18. M. Puterman, Markov Decision Processes-Discrete Stochastic Dynamic Programming, Wiley: Hoboken, New Jersey, 2005.
19. D. Riley, X. Koutsoukos, K. Riley, Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems, Hybrid Systems: Computation and Control 2007 LNCS 4416, pp. 758-761, 2007.
20. H. Salis and Y. Kaznessis, Accurate hybrid stochastic simulation of a system of coupled chemical or biochemical reactions, The Journal of Chemical Physics, v122, pp. 54-103, 2005.