(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
相关论文
共 50 条
  • [41] Basics of stochastic automata theory
    不详
    MODELLING, STATE OBSERVATION AND DIAGNOSIS OF QUANTISED SYSTEMS, 2003, 282 : 13 - 35
  • [42] SYNTHESIS OF STOCHASTIC LEARNING AUTOMATA
    NEVILLE, RG
    NICOL, CR
    MARS, P
    ELECTRONICS LETTERS, 1978, 14 (06) : 206 - 208
  • [43] HYDRODYNAMICS OF STOCHASTIC CELLULAR AUTOMATA
    DEMASI, A
    ESPOSITO, R
    LEBOWITZ, JL
    PRESUTTI, E
    COMMUNICATIONS IN MATHEMATICAL PHYSICS, 1989, 125 (01) : 127 - 145
  • [44] Tool for Diagnosis of Stochastic Automata
    Kristofik, Stefan
    Flochova, Jana
    2020 6TH INTERNATIONAL CONFERENCE ON EVENT-BASED CONTROL, COMMUNICATION, AND SIGNAL PROCESSING (EBCCSP), 2020,
  • [45] On the decomposition of stochastic cellular automata
    Bolt, Witold
    Baetens, Jan M.
    De Baets, Bernard
    JOURNAL OF COMPUTATIONAL SCIENCE, 2015, 11 : 245 - 257
  • [46] Identification of Stochastic Automata.
    Bancilhon, F.
    Depeyrot, M.
    Revue Francaise d'Automatique Informatique Recherche Operationnelle, 1974, 8 : 127 - 153
  • [47] Stochastic automata for language modeling
    Riccardi, G
    Pieraccini, R
    Bocchieri, E
    COMPUTER SPEECH AND LANGUAGE, 1996, 10 (04): : 265 - 293
  • [48] A REDUCTION THEOREM FOR STOCHASTIC AUTOMATA
    CLAUS, V
    ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1968, 48 (08): : T115 - &
  • [49] STOCHASTIC AUTOMATA AND SEQUENTIAL GAMES
    TRIES, B
    ANGEWANDTE INFORMATIK, 1977, (05): : 210 - 212
  • [50] GENERALIZED AUTOMATA AND STOCHASTIC LANGUAGES
    TURAKAINEN, P
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 21 (02) : 303 - +
12345