Sciweavers

Share
70 search results - page 1 / 14
» Stochastic Programs and Hybrid Automata for (Biological) Mod...
Sort
View
CIE
2009
Springer
9 years 1 months ago
Stochastic Programs and Hybrid Automata for (Biological) Modeling
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 ...
Luca Bortolussi, Alberto Policriti
ICLP
2009
Springer
9 years 7 months ago
Constraint Based Languages for Biological Reactions
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...
Marco Bottalico, Stefano Bistarelli
HYBRID
2003
Springer
9 years 12 days ago
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin
HYBRID
2005
Springer
9 years 22 days ago
Optimal Control of Discrete Hybrid Stochastic Automata
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...
Alberto Bemporad, Stefano Di Cairano
books