Discrete Event Dynamic Systems resources: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
* Chapter 5: [[Media:chap5_deds.pdf|Timed DES]] | * Chapter 5: [[Media:chap5_deds.pdf|Timed DES]] | ||
* Chapter 6: [[Media:chap6_deds.pdf|Stochastic Timed Automata and Petri Nets]] | * Chapter 6: [[Media:chap6_deds.pdf|Stochastic Timed Automata and Petri Nets]] | ||
* Notes on [[Media:ETPN-MC.pdf|equivalence of ETPNs and MCs]] [from N. Viswanadham, Y. Narahari. Performance Modeling of Automated Manufacturing Systems , 1992, Prentice Hall] | |||
* Chapter 7: [[Media:chap7_deds.pdf|Markov Chains]] | * Chapter 7: [[Media:chap7_deds.pdf|Markov Chains]] | ||
* Chapter 8: [[Media:chap8_deds.pdf|Controlled Markov Chains]] | * Chapter 8: [[Media:chap8_deds.pdf|Controlled Markov Chains]] | ||
Revision as of 14:45, 15 December 2009
- 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