(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 条

[21] Stochastic cellular automata
Fricke, T
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1997, 30 (03) : 1847 - 1858
[22] Stochastic learning feedback hybrid automata for dynamic power management in embedded systems
Erbes, T
Shukla, SK
Kachroo, P
SMCia/05: Proceedings of the 2005 IEEE Mid-Summer Workshop on Soft Computing in Industrial Applications, 2005, : 208 - 213
[23] Diagnosability of stochastic automata
Thorsley, D
Teneketzis, D
42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 6289 - 6294
[24] REALIZATION OF STOCHASTIC AUTOMATA
ELGHOROURY, HN
GUPTA, SC
IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (08) : 889 - +
[25] ASYNCHRONOUS STOCHASTIC AUTOMATA
STARKE, PH
THIELE, H
INFORMATION AND CONTROL, 1970, 17 (03): : 265 - &
[26] GAMES OF STOCHASTIC AUTOMATA
VISWANATHAN, R
NARENDRA, KS
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1974, SMC4 (01): : 131 - 135
[27] DECOMPOSITION OF STOCHASTIC AUTOMATA
BACON, GC
INFORMATION AND CONTROL, 1964, 7 (03): : 320 - &
[28] STOCHASTIC AUTOMATA GAMES
CHANDRASEKARAN, B
SHEN, DWC
IEEE TRANSACTIONS ON SYSTEMS SCIENCE AND CYBERNETICS, 1969, SSC5 (02): : 145 - +
[29] DECOMPOSITION OF STOCHASTIC AUTOMATA
TRIES, B
ANGEWANDTE INFORMATIK, 1975, (12): : 514 - 516
[30] ON STOCHASTIC AUTOMATA AND LANGUAGES
FU, KS
LI, TJ
INFORMATION SCIENCES, 1969, 1 (04) : 403 - &

← 1 2 3 4 5 →