Hybrid dynamics of stochastic programs

DOI10.1016/J.TCS.2010.02.008zbMATH Open1198.68175OpenAlexW1996920086MaRDI QIDQ969181FDOQ969181

Authors: Luca Bortolussi, Alberto Policriti 

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

Recommendations

• Stochastic programs and hybrid automata for (biological) modeling
• (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program
• The Importance of Being (A Little Bit) Discrete
• Stochastic concurrent constraint programming and differential equations
• Hybrid behaviour of Markov population models

zbMATH Keywords

dynamical systemsrobustnesshybrid automatastochastic concurrent constraint programmingdiscreteness

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• HyTech: A model checker for hybrid systems
• Markov Chains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stochastic modelling for systems biology.
• Truly concurrent constraint programming
• Title not available (Why is that?)
• Solutions of ordinary differential equations as limits of pure jump markov processes
• Hybrid dynamics of stochastic \(\pi \)-calculus
• Modeling biological systems in stochastic concurrent constraint programming
• A generalized model of the repressilator
• Title not available (Why is that?)
• Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Toward a general theory of stochastic hybrid systems
• Relating continuous and discrete PEPA models of signalling pathways
• Stochastic concurrent constraint programming and differential equations
• Stochastic programs and hybrid automata for (biological) modeling
• Hybrid Systems: Computation and Control
• The Importance of Being (A Little Bit) Discrete
• On the approximation of stochastic concurrent constraint programming by master equation

Cited In (16)

• Hybrid behaviour of Markov population models
• Stochastic programs and hybrid automata for (biological) modeling
• Stochastic concurrent constraint programming and differential equations
• Simulation techniques for the calculus of wrapped compartments
• A semantic equivalence for Bio-PEPA based on discretisation of continuous values
• Modeling biological systems in stochastic concurrent constraint programming
• On the approximation of stochastic concurrent constraint programming by master equation
• Mean-field limits beyond ordinary differential equations
• System design of stochastic models using robustness of temporal properties
• Hybrid semantics for Bio-PEPA
• (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program
• Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
• Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
• Modelling patterns of gene regulation in the bond-calculus
• Efficient simulation of general stochastic hybrid systems
• Hybrid Semantics for Stochastic π-Calculus

Uses Software

• PRISM
• SCCP
• HyTech
• BIOCHAM
• PEPA

This page was built for publication: Hybrid dynamics of stochastic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q969181)