Discrete Event Dynamic Systems resources
- Chapter 1: Introduction to DEDS
- Chapter 2: Languages and Automata
- Notes on conversion between DFSA and Regular Expressions [from Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to Automata Theory, Languages, and Computation (1st ed.) Addison-Wesley]
- Chapter 3: Supervisory Control
- Chapter 4: Petri Nets
- Chapter 5: Timed DES
- Chapter 6: Stochastic Timed Automata and Petri Nets
- Notes on equivalence of ETPNs and MCs [from N. Viswanadham, Y. Narahari. Performance Modeling of Automated Manufacturing Systems , 1992, Prentice Hall]
- Chapter 7: Markov Chains
- Chapter 8: Controlled Markov Chains
- Chapter 9: Reinforcement Learning MDP solution