Hybrid dynamics of stochastic programs
From MaRDI portal
Publication:969181
DOI10.1016/j.tcs.2010.02.008zbMath1198.68175OpenAlexW1996920086MaRDI QIDQ969181
Alberto Policriti, Luca Bortolussi
Publication date: 11 May 2010
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2010.02.008
Related Items
Simulation techniques for the calculus of wrapped compartments, Hybrid semantics for Bio-PEPA, Modelling patterns of gene regulation in the bond-calculus, A semantic equivalence for Bio-PEPA based on discretisation of continuous values, Mean-Field Limits Beyond Ordinary Differential Equations, Efficient simulation of general stochastic hybrid systems, System design of stochastic models using robustness of temporal properties, Hybrid behaviour of Markov population models
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hybrid dynamics of stochastic \(\pi \)-calculus
- A generalized model of the repressilator
- Modeling biological systems in stochastic concurrent constraint programming
- Relating continuous and discrete PEPA models of signalling pathways
- Truly concurrent constraint programming
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- HyTech: A model checker for hybrid systems
- Stochastic Concurrent Constraint Programming and Differential Equations
- Stochastic Programs and Hybrid Automata for (Biological) Modeling
- Markov Chains
- Hybrid Systems: Computation and Control
- The Importance of Being (A Little Bit) Discrete
- On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
- Solutions of ordinary differential equations as limits of pure jump markov processes
- Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems
