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

[31] Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia
Pranevicius, Henrikas
Naujokaitis, Darius
Pilkauskas, Vytautas
Pranevicius, Osvaldas
Pranevicius, Mindaugas
ELEKTRONIKA IR ELEKTROTECHNIKA, 2017, 23 (06) : 10 - 18
[32] STOCHASTIC TIMED AUTOMATA
Bertrand, Nathalie
Bouyer, Patricia
Brihaye, Thomas
Menet, Quentin
Baier, Christel
Groesser, Marcus
Jurdzinski, Marcin
LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (04)
[33] GAMES OF STOCHASTIC AUTOMATA
PLETNEV, AI
CYBERNETICS, 1983, 19 (02): : 271 - 277
[34] GAMES OF STOCHASTIC AUTOMATA
EIDELMAN, SD
EZROKHI, AI
DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1979, (08): : 663 - 667
[35] Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction
Da Silva, Carina
Schupp, Stefan
Remke, Anne
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2023, 33 (04):
[36] GENERAL DEFINITION OF STOCHASTIC AUTOMATA
PAREDAENS, JJ
COMPUTING, 1974, 13 (02) : 93 - 105
[37] GEOMETRIC MODEL FOR STOCHASTIC AUTOMATA
BANCILHON, F
IEEE TRANSACTIONS ON COMPUTERS, 1974, C 23 (12) : 1290 - 1299
[38] Learning Stochastic finite automata
de la Higuera, C
Oncina, J
GRAMMATICAL INFERENCE: ALGORITHMS AND APPLICATIONS, PROCEEDINGS, 2004, 3264 : 175 - 186
[39] DIMENSION OF STABILITY OF STOCHASTIC AUTOMATA
RYTTER, W
INFORMATION AND CONTROL, 1974, 24 (03): : 201 - 211
[40] STRUCTURAL SYNTHESIS OF STOCHASTIC AUTOMATA
AGASANDYAN, GA
SRAGOVICH, VG
ENGINEERING CYBERNETICS, 1971, 9 (06): : 1077 - +

← 1 2 3 4 5 →