66 search results - page 1 / 14 » Stochastic Programs and Hybrid Automata for (Biological) Mod... |
CIE
2009
Springer
13 years 11 months ago
2009
Springer
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 ...
ICLP
2009
Springer
14 years 5 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
HYBRID
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
HYBRID
2005
Springer
13 years 10 months ago
2005
Springer
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
RECOMB
2004
Springer
14 years 4 months ago
2004
Springer