| | |
Summary: RHEINISCH-
WESTF¨ALISCHE
TECHNISCHE
HOCHSCHULE
AACHEN
LEHRSTUHL F¨UR INFORMATIK 2
RWTH Aachen · D-52056 Aachen
http://www-i2.informatik.rwth-aachen.de/ 2
Prof. Dr. Ir. J.-P. Katoen
F. Gretz & F. Sher
Modeling and Verification of Probabilistic Systems
Summer term 2011
Series 2
Hand in on April 27th before the exercise class.
Exercise 1 (3 points)
Consider the DTMC below:
Let A = {s3} and B = {s2}. (Hint: for a),b),d) and e) you do not have to solve linear equation systems
or compute powers of matrices.)
a) Compute the probability measure of the union of the following cylinder sets:
Cyl(s0s1), Cyl(s0s5s6), Cyl(s0s5s4s3), Cyl(s0s1s6)
|
