Stochastic Programs and Hybrid Automata for (Biological) Modeling.

TitleStochastic Programs and Hybrid Automata for (Biological) Modeling.
Publication TypeConference Paper
Year of Publication2009
AuthorsBortolussi L, Policriti A
EditorAmbos-Spies K, Lowe B, Merkle W
Conference NameComputability in Europe, CiE 2009
Volume5635
Pages37–48
Date Published24, 2009
PublisherSpringer
KeywordsHybrid Automata, Hybrid Semantics of Programming Languages, stochastic concurrent constraint programming
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.

URLhttp://www.springerlink.com/content/026g745267581425/
DOI10.1007/978-3-642-03073-4_5