Skip to main content
SpringerLink
Log in

Stochastic Programs and Hybrid Automata for (Biological) Modeling

  • Conference paper
Mathematical Theory and Computational Practice (CiE 2009)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5635))

Included in the following conference series:

Abstract

We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of this construction is to provide a framework to approximate the stochastic behavior by a mixed discrete/continuous dynamics with a variable degree of discreteness.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bortolussi, L.: Stochastic concurrent constraint programming. In: Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006). ENTCS, vol. 164, pp. 65–80 (2006)

    Google Scholar 

  2. Bortolussi, L., Policriti, A.: Stochastic concurrent constraint programming and differential equations. In: Proceedings of Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007. ENTCS 16713 (2007)

    Google Scholar 

  3. Bortolussi, L., Policriti, A.: Hybrid approximation of stochastic concurrent constraint programming. In: Proceedings of IFAC 2008, Seoul (2008)

    Google Scholar 

  4. Bortolussi, L., Policriti, A.: The importance of being (a little bit) discrete. In: Proceedings of FBTC 2008. ENTCS 17346 (2008)

    Google Scholar 

  5. Bortolussi, L., Policriti, A.: Modeling biological systems in concurrent constraint programming. Constraints 13(1) (2008)

    Google Scholar 

  6. Bortolussi, L., Policriti, A.: Stochastic Programs and Hybrid Automata for (Biological) Modeling. Technical Report, http://www.dmi.units.it/~bortolu/sccp.htm

  7. Di Pierro, A., Wiklicky, H.: An operational semantics for probabilistic concurrent constraint programming. In: Proceedings of IEEE Computer Society International Conference on Computer Languages (1998)

    Google Scholar 

  8. Gupta, V., Jagadeesan, R., Saraswat, V.A.: Probabilistic Concurrent Constraint Programming. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997, vol. 1243. Springer, Heidelberg (1997)

    Google Scholar 

  9. Gupta, V., Jagadeesan, R., Panangaden, P.: Stochastic processes as concurrent constraint programs. In: Proceedings of POPL 1999 (1999)

    Google Scholar 

  10. Henzinger, T.A.: The theory of hybrid automata. In: LICS 1996: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (1996)

    Google Scholar 

  11. Norris, J.R.: Markov Chains. Cambridge University Press, Cambridge (1997)

    Book  MATH  Google Scholar 

  12. Ross, S.M.: Stochastic Processes. Wiley, New York (1996)

    MATH  Google Scholar 

  13. Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Mathematics and Informatics, University of Trieste, Italy

    Luca Bortolussi

  2. Dept. of Mathematics and Informatics, University of Udine, Italy

    Alberto Policriti

  3. Istituto di Genomica Applicata, Udine, Italy

    Alberto Policriti

Authors
  1. Luca Bortolussi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alberto Policriti
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Heidelberg, Im Neuenheimer Feld 294, 69120, Heidelberg, Germany

    Klaus Ambos-Spies

  2. Universiteit van Amsterdam, Plantage Muidergracht 24, 1018, Amsterdam, TV, The Netherlands

    Benedikt Löwe

  3. Institut für Informatik, Ruprecht-Karls-Universität Heidelberg, Im Neuenheimer Feld 294, 69120, Heidelberg, Germany

    Wolfgang Merkle

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bortolussi, L., Policriti, A. (2009). Stochastic Programs and Hybrid Automata for (Biological) Modeling. In: Ambos-Spies, K., Löwe, B., Merkle, W. (eds) Mathematical Theory and Computational Practice. CiE 2009. Lecture Notes in Computer Science, vol 5635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03073-4_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03073-4_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03072-7

  • Online ISBN: 978-3-642-03073-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation