메뉴 건너뛰기




Volumn 411, Issue 20, 2010, Pages 2052-2077

Hybrid dynamics of stochastic programs

Author keywords

Discreteness; Dynamical systems; Hybrid automata; Robustness; Stochastic concurrent constraint programming

Indexed keywords

APPROXIMATION TECHNIQUES; CIRCADIAN CLOCK; CONCURRENT CONSTRAINT PROGRAMMING; CONTINUOUS TIME MARKOV CHAIN; DYNAMICAL EVOLUTION; HYBRID AUTOMATA; HYBRID AUTOMATONS; HYBRID DYNAMICS; REPRESSILATOR; SEMANTIC MODEL; STOCHASTIC PROCESS ALGEBRAS; STOCHASTIC SEMANTICS;

EID: 77950459132     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2010.02.008     Document Type: Article
Times cited : (28)

References (51)
  • 1
    • 84944214361 scopus 로고    scopus 로고
    • Hybrid modeling and simulation of biomolecular networks
    • in: Proceedings of Fourth International Workshop on Hybrid Systems: Computation and Control
    • R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, H. Rubin, J. Schug, Hybrid modeling and simulation of biomolecular networks, in: Proceedings of Fourth International Workshop on Hybrid Systems: Computation and Control, in: LNCS, vol. 2034, 2001, pp. 19-32.
    • (2001) LNCS , vol.2034 , pp. 19-32
    • Alur, R.1    Belta, C.2    Ivancic, F.3    Kumar, V.4    Mintz, M.5    Pappas, G.6    Rubin, H.7    Schug, J.8
  • 2
    • 33749511375 scopus 로고    scopus 로고
    • Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems
    • Alfonsi A., Cances E., Turinici G., Di Ventura B., and Huisinga W. Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems. Proceedings of ESAIM vol. 14 (2005) 1-13
    • (2005) Proceedings of ESAIM , vol.14 , pp. 1-13
    • Alfonsi, A.1    Cances, E.2    Turinici, G.3    Di Ventura, B.4    Huisinga, W.5
  • 4
    • 77950458550 scopus 로고    scopus 로고
    • A. Aziz, V. Singhal, F. Balarin, R. Brayton, A. Sangiovanni-Vincentelli, Verifying continuous time markov chains. in: Proceedings of CAV96, 1996.
    • A. Aziz, V. Singhal, F. Balarin, R. Brayton, A. Sangiovanni-Vincentelli, Verifying continuous time markov chains. in: Proceedings of CAV96, 1996.
  • 5
    • 51849166317 scopus 로고    scopus 로고
    • Compositionality, stochasticity and cooperativity in dynamic models of gene regulation
    • Blossey R., Cardelli L., and Phillips A. Compositionality, stochasticity and cooperativity in dynamic models of gene regulation. HFPS Journal 2 1 (2008) 17-28
    • (2008) HFPS Journal , vol.2 , Issue.1 , pp. 17-28
    • Blossey, R.1    Cardelli, L.2    Phillips, A.3
  • 6
    • 49049093202 scopus 로고    scopus 로고
    • L. Bortolussi, S. Fonda, A. Policriti, Constraint-based simulation of biological systems described by molecular interaction maps, in: Proceedings of IEEE conference on Bioinformatics and Biomedicine, BIBM 2007, 2007.
    • L. Bortolussi, S. Fonda, A. Policriti, Constraint-based simulation of biological systems described by molecular interaction maps, in: Proceedings of IEEE conference on Bioinformatics and Biomedicine, BIBM 2007, 2007.
  • 7
    • 85128536950 scopus 로고    scopus 로고
    • M.L. Bujorianu, J. Lygeros, General stochastic hybrid systems: Modeling and optimal control. In Proceedings of 43rd IEEE Conference on Decision and Control, CDC 2004, 2004, pp. 182-187.
    • M.L. Bujorianu, J. Lygeros, General stochastic hybrid systems: Modeling and optimal control. In Proceedings of 43rd IEEE Conference on Decision and Control, CDC 2004, 2004, pp. 182-187.
  • 8
    • 77950457974 scopus 로고    scopus 로고
    • M.L. Bujorianu, J. Lygeros, Theoretical foundations of stochastic hybrid systems, in: Proceedings XVI Int. Symp. on Math. Theory of Networks and Systems, MTNS 2004, 2004.
    • M.L. Bujorianu, J. Lygeros, Theoretical foundations of stochastic hybrid systems, in: Proceedings XVI Int. Symp. on Math. Theory of Networks and Systems, MTNS 2004, 2004.
  • 9
    • 33750046029 scopus 로고    scopus 로고
    • L. Bortolussi, Stochastic concurrent constraint programming, in: Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, in: ENTCS, 164, 2006, pp. 65-80.
    • L. Bortolussi, Stochastic concurrent constraint programming, in: Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, in: ENTCS, vol. 164, 2006, pp. 65-80.
  • 10
    • 57449096951 scopus 로고    scopus 로고
    • L. Bortolussi, A master equation approach to differential approximations of stochastic concurrent constraint programming, in: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, in: ENTCS, 220, 2008, pp. 163-180.
    • L. Bortolussi, A master equation approach to differential approximations of stochastic concurrent constraint programming, in: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, in: ENTCS, vol. 220, 2008, pp. 163-180.
  • 11
    • 34548268951 scopus 로고    scopus 로고
    • L. Bortolussi, A. Policriti, Stochastic concurrent constraint programming and differential equations, in: Proceedings of Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, in: ENTCS, 167, 2007.
    • L. Bortolussi, A. Policriti, Stochastic concurrent constraint programming and differential equations, in: Proceedings of Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, in: ENTCS, vol. 167, 2007.
  • 12
    • 45749113795 scopus 로고    scopus 로고
    • Hybrid systems and biology: Continuous and discrete modeling for systems biology
    • Formal Methods for Computational Systems Biology, Springer-Verlag Chapter
    • Bortolussi L., and Policriti A. Hybrid systems and biology: Continuous and discrete modeling for systems biology. Formal Methods for Computational Systems Biology. LNCS vol. 5016 (2008), Springer-Verlag 424-448 Chapter
    • (2008) LNCS , vol.5016 , pp. 424-448
    • Bortolussi, L.1    Policriti, A.2
  • 13
    • 79961017924 scopus 로고    scopus 로고
    • L. Bortolussi, A. Policriti, Hybrid approximation of stochastic concurrent constraint programming, in: Proceeding of IFAC 2008, 2008.
    • L. Bortolussi, A. Policriti, Hybrid approximation of stochastic concurrent constraint programming, in: Proceeding of IFAC 2008, 2008.
  • 15
    • 43049179364 scopus 로고    scopus 로고
    • Modeling biological systems in concurrent constraint programming
    • Bortolussi L., and Policriti A. Modeling biological systems in concurrent constraint programming. Constraints 13 1 (2008)
    • (2008) Constraints , vol.13 , Issue.1
    • Bortolussi, L.1    Policriti, A.2
  • 17
    • 84880543237 scopus 로고    scopus 로고
    • Hybrid semantics of stochastic programs with dynamic reconfiguration
    • L. Bortolussi, A. Policriti, Hybrid semantics of stochastic programs with dynamic reconfiguration, in: Proceedings of CompMod, 2009.
    • (2009) Proceedings of CompMod
    • Bortolussi, L.1    Policriti, A.2
  • 18
    • 76249104524 scopus 로고    scopus 로고
    • Stochastic programs and hybrid automata for (biological) modeling
    • L. Bortolussi, A. Policriti, Stochastic programs and hybrid automata for (biological) modeling, in: Proceedings of CiE 2009, 2009.
    • (2009) Proceedings of CiE
    • Bortolussi, L.1    Policriti, A.2
  • 19
    • 34548747486 scopus 로고    scopus 로고
    • Robustness analysis and tuning of synthetic gene networks
    • Batt G., Yordanov B., Belta C., and Weiss R. Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23 18 (2007) 2415-2422
    • (2007) Bioinformatics , vol.23 , Issue.18 , pp. 2415-2422
    • Batt, G.1    Yordanov, B.2    Belta, C.3    Weiss, R.4
  • 20
    • 33747877324 scopus 로고    scopus 로고
    • Biocham: An environment for modeling biological systems and formalizing experimental knowledge
    • Calzone L., Fages F., and Soliman S. Biocham: An environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22 (2006) 1805-1807
    • (2006) Bioinformatics , vol.22 , pp. 1805-1807
    • Calzone, L.1    Fages, F.2    Soliman, S.3
  • 21
    • 77950461665 scopus 로고    scopus 로고
    • Seattle CompBio Group, Institute for Systems Biology. Dizzy home page
    • Seattle CompBio Group, Institute for Systems Biology. Dizzy home page.
  • 22
    • 38549120134 scopus 로고    scopus 로고
    • Modelling the influence of rkip on the erk signalling pathway using the stochastic process algebra PEPA
    • Calder M., Gilmore S., and Hillston J. Modelling the influence of rkip on the erk signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology 4230 (2006) 1-23
    • (2006) Transactions on Computational Systems Biology , vol.4230 , pp. 1-23
    • Calder, M.1    Gilmore, S.2    Hillston, J.3
  • 24
    • 0034688173 scopus 로고    scopus 로고
    • A synthetic oscillatory network of transcriptional regulators
    • Elowitz M.B., and Leibler S. A synthetic oscillatory network of transcriptional regulators. Nature 403 (2000) 335-338
    • (2000) Nature , vol.403 , pp. 335-338
    • Elowitz, M.B.1    Leibler, S.2
  • 25
    • 0001144902 scopus 로고    scopus 로고
    • Efficient exact simulation of chemical systems with many species and many channels
    • Gibson M., and Bruck J. Efficient exact simulation of chemical systems with many species and many channels. Journal Physical Chemistry 104 9 (2000) 1876-1889
    • (2000) Journal Physical Chemistry , vol.104 , Issue.9 , pp. 1876-1889
    • Gibson, M.1    Bruck, J.2
  • 26
    • 0037157677 scopus 로고    scopus 로고
    • Biochemical clocks and molecular noise: Theoretical study of robustness factors
    • Gonze D., Halloy J., and Gaspard P. Biochemical clocks and molecular noise: Theoretical study of robustness factors. Journal of Chemical Physics 116 12 (2002) 10997-11010
    • (2002) Journal of Chemical Physics , vol.116 , Issue.12 , pp. 10997-11010
    • Gonze, D.1    Halloy, J.2    Gaspard, P.3
  • 27
    • 49249084626 scopus 로고    scopus 로고
    • Relating continuous and discrete pepa models of signalling pathways
    • Geisweiller N., Hillston J., and Stenico M. Relating continuous and discrete pepa models of signalling pathways. Theoretical Computer Science 404 1-2 (2008) 97-111
    • (2008) Theoretical Computer Science , vol.404 , Issue.1-2 , pp. 97-111
    • Geisweiller, N.1    Hillston, J.2    Stenico, M.3
  • 28
    • 0017030517 scopus 로고
    • A general method for numerically simulating the stochastic time evolution of coupled chemical reactions
    • Gillespie D.T. A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. Journal of Computational Physics 22 (1976)
    • (1976) Journal of Computational Physics , vol.22
    • Gillespie, D.T.1
  • 29
    • 33645429016 scopus 로고
    • Exact stochastic simulation of coupled chemical reactions
    • Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 25 (1977)
    • (1977) Journal of Physical Chemistry , vol.81 , Issue.25
    • Gillespie, D.T.1
  • 30
    • 0034225547 scopus 로고    scopus 로고
    • The chemical langevin equation
    • Gillespie D. The chemical langevin equation. Journal of Chemical Physics 113 1 (2000) 297-306
    • (2000) Journal of Chemical Physics , vol.113 , Issue.1 , pp. 297-306
    • Gillespie, D.1
  • 31
    • 0037079015 scopus 로고    scopus 로고
    • Computational approaches to cellular rhythms
    • Goldbeter A. Computational approaches to cellular rhythms. Nature 420 (2002) 238-245
    • (2002) Nature , vol.420 , pp. 238-245
    • Goldbeter, A.1
  • 32
    • 14344265954 scopus 로고    scopus 로고
    • Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-notch protein signalling
    • Ghosh R., and Tomlin C. Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-notch protein signalling. IEEE Systems Biology 1 1 (2004) 170-183
    • (2004) IEEE Systems Biology , vol.1 , Issue.1 , pp. 170-183
    • Ghosh, R.1    Tomlin, C.2
  • 36
    • 0037109565 scopus 로고    scopus 로고
    • Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics
    • Haseltine E.L., and Rawlings J.B. Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics. Journal of Chemical Physics 117 15 (2002)
    • (2002) Journal of Chemical Physics , vol.117 , Issue.15
    • Haseltine, E.L.1    Rawlings, J.B.2
  • 38
    • 0037079054 scopus 로고    scopus 로고
    • Computational systems biology
    • Kitano H. Computational systems biology. Nature 420 (2002) 206-210
    • (2002) Nature , vol.420 , pp. 206-210
    • Kitano, H.1
  • 40
    • 0002232633 scopus 로고
    • Solutions of ordinary differential equations as limits of pure jump markov processes
    • Kurtz T.G. Solutions of ordinary differential equations as limits of pure jump markov processes. Journal of Applied Probability 7 (1970) 49-58
    • (1970) Journal of Applied Probability , vol.7 , pp. 49-58
    • Kurtz, T.G.1
  • 42
    • 77950460760 scopus 로고    scopus 로고
    • home
    • Prism home page. http://www.cs.bham.ac.uk/~dxp/prism/.
  • 44
    • 35048867002 scopus 로고    scopus 로고
    • Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysis
    • Proceedings of 7th International Workshop on Hybrid Systems: Computation and Control, HSCC
    • N.A. Neogi, Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysis, in: Proceedings of 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, in: LNCS, vol. 2993, 2004, pp. 463-476.
    • (2004) LNCS , vol.2993 , pp. 463-476
    • Neogi, N.A.1
  • 45
    • 0003781238 scopus 로고    scopus 로고
    • Cambridge University Press
    • Norris J.R. Markov Chains (1997), Cambridge University Press
    • (1997) Markov Chains
    • Norris, J.R.1
  • 46
    • 60849119860 scopus 로고    scopus 로고
    • Biochemical simulations: Stochastic, approximate stochastic and hybrid approaches
    • Pahle J. Biochemical simulations: Stochastic, approximate stochastic and hybrid approaches. Brief Bioinformatics 10 1 (2009) 53-64
    • (2009) Brief Bioinformatics , vol.10 , Issue.1 , pp. 53-64
    • Pahle, J.1
  • 47
    • 0035888407 scopus 로고    scopus 로고
    • Application of a stochastic name-passing calculus to representation and simulation of molecular processes
    • Priami C., Regev A., Shapiro E.Y., and Silverman W. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 1 (2001) 25-31
    • (2001) Information Processing Letters , vol.80 , Issue.1 , pp. 25-31
    • Priami, C.1    Regev, A.2    Shapiro, E.Y.3    Silverman, W.4


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.