Discrete Event Dynamic Systems resources

From ISRWiki

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