Validation of Stochastic Systems

DOI10.1007/B98484zbMATH Open1203.68116OpenAlexW657718082MaRDI QIDQ5325840FDOQ5325840

Peter Buchholz, Peter Kemper

Publication date: 24 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98484

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Continuous-time Markov processes on discrete state spaces (60J27) Discrete event control/observation systems (93C65)

Cited In (11)

• Approximate lumpability for Markovian agent-based models using local symmetries
• Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums
• Model Decomposition and Stochastic Fragments
• Title not available (Why is that?)
• A Stochastic Automata Network Description for Spatial DNA-Methylation Models
• Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models
• Compositional model checking of product-form CTMCs
• Stochastic Semantics of Signaling as a Composition of Agent-view Automata
• Title not available (Why is that?)
• Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
• Compact representation of solution vectors in Kronecker-based Markovian analysis

Uses Software

• APNN-Toolbox

This page was built for publication: Validation of Stochastic Systems

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