Discrete Event Dynamic Systems credit: 3 or

4 Hours

Modeling, analysis, control, and performance evaluation of discrete event dynamic systems (DEDS), which are characterized by state changes only at discrete points in time in response to the occurrence of particular events. Discrete-state and discrete-event models decidability, computational issues, forbidden-state problems, forbidden-string problems, enforcing safety and liveness properties via supervision, generalized semi-Markov processes, sensitivity analysis via likelihood ratio and infinitesimal perturbation methods. Prerequisite: CS 173 or MATH 213 ; CS 225 ; MATH 415 ; MATH 461 .