(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 条
  • [1] Approximate abstraction of Stochastic hybrid automata
    Julius, A. Agung
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 318 - 332
  • [2] A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata
    Pilch, Carina
    Krause, Maurice
    Remke, Anne
    Abraham, Erika
    NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 381 - 400
  • [3] Optimal control of discrete hybrid stochastic automata
    Bemporad, A
    Di Cairano, S
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 151 - 167
  • [4] Representation of hybrid systems by means of stochastic automata
    Lunze, J
    Nixdorf, B
    MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, 2001, 7 (04) : 383 - 422
  • [5] Stochastic Programs and Hybrid Automata for (Biological) Modeling
    Bortolussi, Luca
    Policriti, Alberto
    MATHEMATICAL THEORY AND COMPUTATIONAL PRACTICE, 2009, 5635 : 37 - +
  • [6] Fuzzy Stochastic Automata for reactive learning and hybrid control
    Rigatos, GG
    METHODS AND APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2002, 2308 : 366 - 377
  • [7] Stochastic hybrid automata model for dynamic reliability assessment
    Perez Castaneda, G. A.
    Aubry, J-F
    Brinzei, N.
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2011, 225 (O1) : 28 - 41
  • [8] Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata
    Desgeorges, Loic
    Piriou, Pierre-Yves
    Lemattre, Thibault
    Chraibi, Hassane
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2021, 208
  • [9] Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata
    Desgeorges, Loïc
    Piriou, Pierre-Yves
    Lemattre, Thibault
    Chraibi, Hassane
    Desgeorges, Loïc (loic.desgeorges@univ-lorraine.fr), 1600, Elsevier Ltd (208):
  • [10] Model-Predictive Control of Discrete Hybrid Stochastic Automata
    Bemporad, Alberto
    Di Cairano, Stefano
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (06) : 1307 - 1321
12345