Supervisory control of discrete-event systems with output: Application to hybrid systems. - Pedram Mahdavinezhad; Peyman Gohari; Amir G. Aghdam (Int. J. Control, 2008)