(Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program

被引：9
作者：
Bortolussi, Luca [1 ]
Policriti, Alberto [2 ]
机构：
[1] Univ Trieste, Dept Math & Comp Sci, I-34127 Trieste, Italy
[2] Univ Udine, Dept Math & Comp Sci, I-33100 Udine, Italy
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2013年 / 23卷 / 04期
关键词：
Stochastic process algebras; hybrid automata; Markov chains; biological modeling; hybrid simulation algorithms; computational systems biology; stochastic concurrent constraint programming; ORDINARY DIFFERENTIAL-EQUATIONS; BIOLOGICAL-SYSTEMS; SIMULATION;
D O I：
10.1093/logcom/exr045
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We define a semantics for stochastic Concurrent Constraint Programming (sCCP), a stochastic process algebra, in terms of stochastic hybrid automata with piecewise deterministic continuous dynamics. To each program we associate a lattice of hybrid models, parameterized with respect to the degree of discreteness left. We study some properties of this lattice, presenting also an alternative semantics in which the degree of discreteness can be dynamically changed.
引用
收藏
页码：761 / 798
页数：38
相关论文
共 37 条
[1]  
Alfonsi A., 2005, ESAIM P, V14, P1, DOI DOI 10.1051/PROC:2005001
[2]   A THEORY OF TIMED AUTOMATA [J].
ALUR, R ;
DILL, DL .
THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235
[3]  
Blossey R, 2006, LECT NOTES COMPUT SC, V3939, P99
[4]  
Bortolussi L., 2008, P INT FED AUT CONTR
[5]  
Bortolussi L., 2009, P BIOL 09, P42
[6]   Stochastic Concurrent Constraint Programming [J].
Bortolussi, Luca .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (03) :65-80
[7]   Modeling biological systems in stochastic concurrent constraint programming [J].
Bortolussi, Luca ;
Policriti, Alberto .
CONSTRAINTS, 2008, 13 (1-2) :66-90
[8]   Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration [J].
Bortolussi, Luca ;
Policriti, Alberto .
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (06) :63-76
[9]   The Importance of Being (A Little Bit) Discrete [J].
Bortolussi, Luca ;
Policriti, Alberto .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 229 (01) :75-92
[10]  
Bortolussi L, 2010, LECT NOTES COMPUT SC, V6148, P367, DOI 10.1007/978-3-642-13568-2_26
1234