Online supervision of discrete event systems. - Rajinderjeet Minhas; Walter Murray Wonham (ACC, 2003)