Stochastic Programs and Hybrid Automata for (Biological) Modeling

Authors:
Luca Bortolussi;Alberto Policriti
Affiliations:
Dept. of Mathematics and Informatics, University of Trieste, Italy;Dept. of Mathematics and Informatics, University of Udine, Italy and Istituto di Genomica Applicata, Udine, Italy
Venue:
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Year:
2009

Citing 6
Cited 1

Concurrent constraint programming

Concurrent constraint programming
Stochastic processes as concurrent constraint programs

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Probabilistic Concurrent Constraint Programming

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
An Operational Semantics for Probabilistic Concurrent Constraint Programming

ICCL '98 Proceedings of the 1998 International Conference on Computer Languages
Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Constraints

Limit behavior of the hybrid approximation of stochastic process algebras

ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications

Quantified Score

Hi-index	0.01

Visualization

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.