1. Relative observability of discrete-event systems and its supremal sublanguages;Cai;IEEE TAC,2015
2. Introduction to discrete event systems;Cassandras,2009
3. On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation;Cho;Mathematics of Control, Signals and Systems,1989
4. Supervisory control of discrete-event processes with partial observations;Cieslak;IEEE TAC,1988
5. Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit;Fokkink,2023