Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
WESTFALISCHE LEHRSTUHL FUR INFORMATIK 2
 

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)

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences