Generalized semi-Markov process: a view through supervisory control

The generalized semi-Markov process (GSMP) is a useful model for discrete-event stochastic systems. The theory of GSMPs, however, does not provide a mechanism for specifying the active event list, which is dynamically changing as the system evolves. It is shown that this issue can be formally addressed using the theory of supervisory control, and the advantages of studying the GSMP from such a viewpoint are discussed.<<ETX>>