1. Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Boston
2. Cho H (1990) Designing observation functions in supervisory control. In: Proc. Korean automatic control conference, Seoul, 26–27 October 1990, pp 523–528
3. Feng L (2007) Computationally efficient supervisor design in discrete-event systems. PhD thesis, Department of ECE, University of Toronto, Toronto, ON, Canada. http://www.control.utoronto.ca/fenglei
4. Feng L, Wonham WM (2006a) Computationally efficient supervisor design in discrete-event systems: abstraction and modularity. In: Lafortune S, Lin F, Tilbury D (eds) Proc. the 8th international workshop on discrete event systems, Ann Arbor, 10–12 July 2006, pp 3–8
5. Feng L, Wonham WM (2006b) On the computation of natural observers in discrete-event systems. In: Proc. the 45th IEEE conference on decision and control, San Diego, 13–15 December 2006, pp 428–433