• Syllabus
• Network Description
• LECTURE 1 (DES intro)
• LECTURE 2 (DES observers, composition, and control)
• EXERCISE 1
• EXERCISE 2
• LECTURE 3 (Discrete state Markov Chains)
• LECTURE 3 (supplement)
• LECTURE 4 (Monte Carlo Method)
• EXERCISE 3
• LECTURE 5 (MCMC)
• EXERCISE 4
• LECTURE 6 (Validation)
• EXERCISE 5
• FINAL PROJECT