Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
From MaRDI portal
Publication:3642958
DOI10.1007/978-3-642-04186-0_11zbMath1260.92020MaRDI QIDQ3642958
Luca Bortolussi, Alberto Policriti
Publication date: 10 November 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04186-0_11
90C15: Stochastic programming
92C40: Biochemistry, molecular biology
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
34C60: Qualitative investigation and simulation of ordinary differential equation models
92C42: Systems biology, networks
Related Items
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation, Hybrid behaviour of Markov population models, Model checking single agent behaviours by fluid approximation, Exact fluid lumpability in Markovian process algebra, Mean-Field Limits Beyond Ordinary Differential Equations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- 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
- The origins of structural operational semantics
- On process rate semantics
- Stochastic Concurrent Constraint Programming and Differential Equations
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
- Stochastic Programs and Hybrid Automata for (Biological) Modeling
- Markov Chains
- Stochastic Petri Nets
- The Importance of Being (A Little Bit) Discrete
- On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
- A Compositional Approach to Performance Modelling
- Solutions of ordinary differential equations as limits of pure jump markov processes
- Limit theorems for sequences of jump Markov processes approximating ordinary differential processes
- Transactions on Computational Systems Biology IV