(Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic program

DOI10.1093/logcom/exr045zbMath1272.68289OpenAlexW2033579796MaRDI QIDQ2843996

Luca Bortolussi, Alberto Policriti

Publication date: 27 August 2013

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b6e6794e4215178118ad0701bf337473ae51bce5

zbMATH Keywords

Markov chainshybrid automatastochastic concurrent constraint programmingstochastic process algebrasbiological modelingcomputational systems biologyhybrid simulation algorithms

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Systems biology, networks (92C42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

Hybrid semantics for Bio-PEPA ⋮ Stochastic Programs and Hybrid Automata for (Biological) Modeling ⋮ Mean-Field Limits Beyond Ordinary Differential Equations ⋮ System design of stochastic models using robustness of temporal properties ⋮ Hybrid behaviour of Markov population models