Loading...
conference paper
Approximations for Stochastic Graph Rewriting
Merz, Stephan
•
Pang, Jun
2014
Formal Methods and Software Engineering -- 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
In this note we present a method to compute approximate descriptions of a class of stochastic systems. For the method to apply, the system must be presented as a Markov chain on a state space consisting in graphs or graph-like objects, and jumps must be described by transformations which follow a finite set of local rules.
Loading...
Name
icfem.pdf
Type
Postprint
Access type
openaccess
Size
646.64 KB
Format
Adobe PDF
Checksum (MD5)
2c7425058123b143b2bedf79d2e3af0b